runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372987-1306176468/watcher-3372987-1306176468 -o /tmp/evaluation-result-3372987-1306176468/solver-3372987-1306176468 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372987-1306176468.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 16.52 26.05 28.30 1/413 4455
/proc/meminfo: memFree=255077276/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=32288 CPUtime=0 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 5433 1250 0 0 0 0 0 0 22 0 1 0 729133803 33062912 5364 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 8072 5379 136 55 0 5958 0
[startup+0.0771151 s]
/proc/loadavg: 16.52 26.05 28.30 1/413 4455
/proc/meminfo: memFree=255077276/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=91940 CPUtime=0.06 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 20836 1250 0 0 2 4 0 0 22 0 1 0 729133803 94146560 20767 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 22985 20788 144 55 0 20871 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 91940
[startup+0.101162 s]
/proc/loadavg: 16.52 26.05 28.30 1/413 4455
/proc/meminfo: memFree=255077276/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=118564 CPUtime=0.08 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 27626 1250 0 0 3 5 0 0 22 0 1 0 729133803 121409536 27557 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 29641 27575 146 55 0 27527 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 118564
[startup+0.301121 s]
/proc/loadavg: 16.52 26.05 28.30 1/413 4455
/proc/meminfo: memFree=255077276/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=303784 CPUtime=0.28 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 74000 1250 0 0 15 13 0 0 23 0 1 0 729133803 311074816 73931 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650652667 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 75946 73943 146 55 0 73832 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 303784
[startup+0.701137 s]
/proc/loadavg: 16.52 26.05 28.30 1/413 4455
/proc/meminfo: memFree=255077276/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=584872 CPUtime=0.69 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 144284 1250 0 0 42 27 0 0 25 0 1 0 729133803 598908928 144215 268435456000 4194304 4417452 140733858789648 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 146218 144215 146 55 0 144104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 584872
[startup+1.50116 s]
/proc/loadavg: 15.28 25.63 28.15 2/414 4461
/proc/meminfo: memFree=254292896/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=1136096 CPUtime=1.48 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 282098 1250 0 0 97 51 0 0 25 0 1 0 729133803 1163362304 282029 268435456000 4194304 4417452 140733858789648 18446744073709551615 4231557 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 284024 282029 146 55 0 281910 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1136096
[startup+3.10122 s]
/proc/loadavg: 15.28 25.63 28.15 2/414 4461
/proc/meminfo: memFree=253892128/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=1299668 CPUtime=3.09 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 323007 1250 0 0 250 59 0 0 25 0 1 0 729133803 1330860032 322938 268435456000 4194304 4417452 140733858789648 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 324917 322938 146 55 0 322803 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1299668
[startup+6.30034 s]
/proc/loadavg: 15.28 25.63 28.15 2/414 4461
/proc/meminfo: memFree=253568300/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=1514632 CPUtime=6.28 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 376748 1250 0 0 558 70 0 0 25 0 1 0 729133803 1550983168 376679 268435456000 4194304 4417452 140733858789648 18446744073709551615 4235999 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 378658 376679 146 55 0 376544 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1514632
[startup+12.7006 s]
/proc/loadavg: 13.08 24.82 27.86 2/414 4461
/proc/meminfo: memFree=253173156/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=2141696 CPUtime=12.67 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 533531 1250 0 0 1168 99 0 0 25 0 1 0 729133803 2193096704 533445 268435456000 4194304 4417452 140733858789648 18446744073709551615 4231483 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 535424 533445 146 55 0 533310 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2141696
[startup+25.501 s]
/proc/loadavg: 11.22 24.04 27.57 2/414 4461
/proc/meminfo: memFree=251949932/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=3133480 CPUtime=25.47 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 781477 1250 0 0 2402 145 0 0 25 0 1 0 729133803 3208683520 781391 268435456000 4194304 4417452 140733858789648 18446744073709551615 4274405 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4455/statm: 783370 781391 146 55 0 781256 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 3133480
[startup+51.1009 s]
/proc/loadavg: 7.73 22.18 26.86 2/414 4461
/proc/meminfo: memFree=249961744/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=5118536 CPUtime=51.06 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 1277741 1250 0 0 4867 239 0 0 25 0 1 0 729133803 5241380864 1277655 268435456000 4194304 4417452 140733858789648 18446744073709551615 4259138 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/4455/statm: 1279634 1277655 146 55 0 1277520 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 5118536
[startup+102.334 s]
/proc/loadavg: 3.85 18.66 25.39 2/414 4463
/proc/meminfo: memFree=245987288/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=9084496 CPUtime=102.29 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 2269231 1250 0 0 9799 430 0 0 25 0 1 0 729133803 9302523904 2269145 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/4455/statm: 2271124 2269145 146 55 0 2269010 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 9084496
[startup+162.302 s]
/proc/loadavg: 12.59 17.93 24.68 31/446 4497
/proc/meminfo: memFree=243951732/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=11773972 CPUtime=786.42 cores=0-31
/proc/4455/stat : 4455 (plingeling) S 4453 4455 4390 0 -1 4202496 5949060 1250 0 0 73924 4718 0 0 18 0 33 0 729133803 12056547328 2744719 268435456000 4194304 4417452 140733858789648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4455/statm: 2943493 2744749 172 55 0 2941379 0
[pid=4455/tid=4466] ppid=4453 vsize=11773972 CPUtime=20.41 cores=0-31
/proc/4455/task/4466/stat : 4466 (plingeling) R 4453 4455 4390 0 -1 4202560 124484 1250 0 0 1890 151 0 0 23 0 33 0 729147858 12056547328 2744763 268435456000 4194304 4417452 140733858789648 18446744073709551615 4274446 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4455/tid=4467] ppid=4453 vsize=11773972 CPUtime=20.26 cores=0-31
/proc/4455/task/4467/stat : 4467 (plingeling) R 4453 4455 4390 0 -1 4202560 91470 1250 0 0 1879 147 0 0 18 0 33 0 729147858 12056547328 2744777 268435456000 4194304 4417452 140733858789648 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=4455/tid=4468] ppid=4453 vsize=11773972 CPUtime=20.27 cores=0-31
/proc/4455/task/4468/stat : 4468 (plingeling) R 4453 4455 4390 0 -1 4202560 113376 1250 0 0 1934 93 0 0 19 0 33 0 729147858 12056547328 2744788 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234260 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4455/tid=4469] ppid=4453 vsize=11773972 CPUtime=21.51 cores=0-31
/proc/4455/task/4469/stat : 4469 (plingeling) R 4453 4455 4390 0 -1 4202560 31740 1250 0 0 2072 79 0 0 25 0 33 0 729147858 12056547328 2744802 268435456000 4194304 4417452 140733858789648 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4455/tid=4470] ppid=4453 vsize=11773972 CPUtime=20.12 cores=0-31
/proc/4455/task/4470/stat : 4470 (plingeling) R 4453 4455 4390 0 -1 4202560 117677 1250 0 0 1921 91 0 0 18 0 33 0 729147859 12056547328 2744813 268435456000 4194304 4417452 140733858789648 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=4455/tid=4471] ppid=4453 vsize=11773972 CPUtime=20.42 cores=0-31
/proc/4455/task/4471/stat : 4471 (plingeling) R 4453 4455 4390 0 -1 4202560 91086 1250 0 0 1894 148 0 0 18 0 33 0 729147859 12056547328 2744826 268435456000 4194304 4417452 140733858789648 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4455/tid=4472] ppid=4453 vsize=11773972 CPUtime=20.04 cores=0-31
/proc/4455/task/4472/stat : 4472 (plingeling) R 4453 4455 4390 0 -1 4202560 122064 1250 0 0 1870 134 0 0 25 0 33 0 729147859 12056547328 2744838 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=4455/tid=4473] ppid=4453 vsize=11773972 CPUtime=20.22 cores=0-31
/proc/4455/task/4473/stat : 4473 (plingeling) R 4453 4455 4390 0 -1 4202560 119425 1250 0 0 1950 72 0 0 18 0 33 0 729147859 12056547328 2744852 268435456000 4194304 4417452 140733858789648 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=4455/tid=4474] ppid=4453 vsize=11773972 CPUtime=20.05 cores=0-31
/proc/4455/task/4474/stat : 4474 (plingeling) R 4453 4455 4390 0 -1 4202560 118434 1250 0 0 1894 111 0 0 19 0 33 0 729147859 12056547328 2744864 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234289 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=4455/tid=4475] ppid=4453 vsize=11773972 CPUtime=20.94 cores=0-31
/proc/4455/task/4475/stat : 4475 (plingeling) R 4453 4455 4390 0 -1 4202560 91645 1250 0 0 1984 110 0 0 20 0 33 0 729147859 12056547328 2744877 268435456000 4194304 4417452 140733858789648 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=4455/tid=4476] ppid=4453 vsize=11773972 CPUtime=20.61 cores=0-31
/proc/4455/task/4476/stat : 4476 (plingeling) R 4453 4455 4390 0 -1 4202560 133049 1250 0 0 1972 89 0 0 18 0 33 0 729147859 12056547328 2744889 268435456000 4194304 4417452 140733858789648 18446744073709551615 4317337 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=4455/tid=4477] ppid=4453 vsize=11773972 CPUtime=20.07 cores=0-31
/proc/4455/task/4477/stat : 4477 (plingeling) R 4453 4455 4390 0 -1 4202560 113428 1250 0 0 1837 170 0 0 25 0 33 0 729147859 12056547328 2744901 268435456000 4194304 4417452 140733858789648 18446744073709551615 4274337 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=4455/tid=4478] ppid=4453 vsize=11773972 CPUtime=20.51 cores=0-31
/proc/4455/task/4478/stat : 4478 (plingeling) R 4453 4455 4390 0 -1 4202560 113659 1250 0 0 1923 128 0 0 25 0 33 0 729147859 12056547328 2744912 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4455/tid=4479] ppid=4453 vsize=11773972 CPUtime=19.85 cores=0-31
/proc/4455/task/4479/stat : 4479 (plingeling) R 4453 4455 4390 0 -1 4202560 134810 1250 0 0 1813 172 0 0 19 0 33 0 729147859 12056547328 2744924 268435456000 4194304 4417452 140733858789648 18446744073709551615 4274337 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4455/tid=4480] ppid=4453 vsize=11773972 CPUtime=19.69 cores=0-31
/proc/4455/task/4480/stat : 4480 (plingeling) R 4453 4455 4390 0 -1 4202560 115183 1250 0 0 1819 150 0 0 18 0 33 0 729147860 12056547328 2744936 268435456000 4194304 4417452 140733858789648 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=4455/tid=4481] ppid=4453 vsize=11773972 CPUtime=20.52 cores=0-31
/proc/4455/task/4481/stat : 4481 (plingeling) R 4453 4455 4390 0 -1 4202560 114972 1250 0 0 1929 123 0 0 19 0 33 0 729147860 12056547328 2744949 268435456000 4194304 4417452 140733858789648 18446744073709551615 4259845 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=4455/tid=4482] ppid=4453 vsize=11773972 CPUtime=20.15 cores=0-31
/proc/4455/task/4482/stat : 4482 (plingeling) R 4453 4455 4390 0 -1 4202560 105876 1250 0 0 1874 141 0 0 25 0 33 0 729147860 12056547328 2744961 268435456000 4194304 4417452 140733858789648 18446744073709551615 4266534 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4455/tid=4483] ppid=4453 vsize=11773972 CPUtime=20.05 cores=0-31
/proc/4455/task/4483/stat : 4483 (plingeling) R 4453 4455 4390 0 -1 4202560 138982 1250 0 0 1889 116 0 0 19 0 33 0 729147860 12056547328 2744974 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4455/tid=4484] ppid=4453 vsize=11773972 CPUtime=20.27 cores=0-31
/proc/4455/task/4484/stat : 4484 (plingeling) R 4453 4455 4390 0 -1 4202560 113694 1250 0 0 1894 133 0 0 20 0 33 0 729147860 12056547328 2744986 268435456000 4194304 4417452 140733858789648 18446744073709551615 4265940 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4455/tid=4485] ppid=4453 vsize=11773972 CPUtime=19.94 cores=0-31
/proc/4455/task/4485/stat : 4485 (plingeling) R 4453 4455 4390 0 -1 4202560 131932 1250 0 0 1853 141 0 0 18 0 33 0 729147860 12056547328 2745000 268435456000 4194304 4417452 140733858789648 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4455/tid=4486] ppid=4453 vsize=11773972 CPUtime=19.65 cores=0-31
/proc/4455/task/4486/stat : 4486 (plingeling) R 4453 4455 4390 0 -1 4202560 148621 1250 0 0 1821 144 0 0 17 0 33 0 729147860 12056547328 2745014 268435456000 4194304 4417452 140733858789648 18446744073709551615 4302020 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=4455/tid=4487] ppid=4453 vsize=11773972 CPUtime=19.28 cores=0-31
/proc/4455/task/4487/stat : 4487 (plingeling) R 4453 4455 4390 0 -1 4202560 124012 1250 0 0 1779 149 0 0 18 0 33 0 729147860 12056547328 2745028 268435456000 4194304 4417452 140733858789648 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=4455/tid=4488] ppid=4453 vsize=11773972 CPUtime=20.11 cores=0-31
/proc/4455/task/4488/stat : 4488 (plingeling) R 4453 4455 4390 0 -1 4202560 128324 1250 0 0 1831 180 0 0 19 0 33 0 729147860 12056547328 2745039 268435456000 4194304 4417452 140733858789648 18446744073709551615 4265832 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4455/tid=4489] ppid=4453 vsize=11773972 CPUtime=19.71 cores=0-31
/proc/4455/task/4489/stat : 4489 (plingeling) R 4453 4455 4390 0 -1 4202560 99927 1250 0 0 1834 137 0 0 25 0 33 0 729147860 12056547328 2745053 268435456000 4194304 4417452 140733858789648 18446744073709551615 4256010 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4455/tid=4490] ppid=4453 vsize=11773972 CPUtime=20.36 cores=0-31
/proc/4455/task/4490/stat : 4490 (plingeling) R 4453 4455 4390 0 -1 4202560 95624 1250 0 0 1915 121 0 0 25 0 33 0 729147860 12056547328 2745065 268435456000 4194304 4417452 140733858789648 18446744073709551615 4228498 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4455/tid=4491] ppid=4453 vsize=11773972 CPUtime=20.5 cores=0-31
/proc/4455/task/4491/stat : 4491 (plingeling) R 4453 4455 4390 0 -1 4202560 117984 1250 0 0 1900 150 0 0 18 0 33 0 729147860 12056547328 2745078 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=4455/tid=4492] ppid=4453 vsize=11773972 CPUtime=20.01 cores=0-31
/proc/4455/task/4492/stat : 4492 (plingeling) R 4453 4455 4390 0 -1 4202560 116344 1250 0 0 1854 147 0 0 19 0 33 0 729147861 12056547328 2745090 268435456000 4194304 4417452 140733858789648 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4455/tid=4493] ppid=4453 vsize=11773972 CPUtime=19.9 cores=0-31
/proc/4455/task/4493/stat : 4493 (plingeling) R 4453 4455 4390 0 -1 4202560 130228 1250 0 0 1807 183 0 0 25 0 33 0 729147861 12056547328 2745103 268435456000 4194304 4417452 140733858789648 18446744073709551615 4255615 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4455/tid=4494] ppid=4453 vsize=11773972 CPUtime=19.68 cores=0-31
/proc/4455/task/4494/stat : 4494 (plingeling) R 4453 4455 4390 0 -1 4202560 98390 1250 0 0 1879 89 0 0 18 0 33 0 729147861 12056547328 2745115 268435456000 4194304 4417452 140733858789648 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4455/tid=4495] ppid=4453 vsize=11773972 CPUtime=20.3 cores=0-31
/proc/4455/task/4495/stat : 4495 (plingeling) R 4453 4455 4390 0 -1 4202560 139298 1250 0 0 1863 167 0 0 19 0 33 0 729147861 12056547328 2745126 268435456000 4194304 4417452 140733858789648 18446744073709551615 4259186 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=4455/tid=4496] ppid=4453 vsize=11773972 CPUtime=20.42 cores=0-31
/proc/4455/task/4496/stat : 4496 (plingeling) R 4453 4455 4390 0 -1 4202560 119879 1250 0 0 1904 138 0 0 20 0 33 0 729147861 12056547328 2745140 268435456000 4194304 4417452 140733858789648 18446744073709551615 4270970 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4455/tid=4497] ppid=4453 vsize=11773972 CPUtime=19.8 cores=0-31
/proc/4455/task/4497/stat : 4497 (plingeling) R 4453 4455 4390 0 -1 4202560 124448 1250 0 0 1818 162 0 0 25 0 33 0 729147861 12056547328 2745152 268435456000 4194304 4417452 140733858789648 18446744073709551615 4255694 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 786.42
Current children cumulated vsize (KiB) 11773972
################
# More data... #
################
[pid=4455/tid=4483] ppid=4453 vsize=11871616 CPUtime=23.36 cores=0-31
/proc/4455/task/4483/stat : 4483 (plingeling) R 4453 4455 4390 0 -1 4202560 163560 1250 0 0 2192 144 0 0 18 0 33 0 729147860 12156534784 2740488 268435456000 4194304 4417452 140733858789648 18446744073709551615 4274655 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4455/tid=4484] ppid=4453 vsize=11871616 CPUtime=23.42 cores=0-31
/proc/4455/task/4484/stat : 4484 (plingeling) R 4453 4455 4390 0 -1 4202560 161637 1250 0 0 2175 167 0 0 19 0 33 0 729147860 12156534784 2740505 268435456000 4194304 4417452 140733858789648 18446744073709551615 4274337 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4455/tid=4485] ppid=4453 vsize=11871616 CPUtime=23.61 cores=0-31
/proc/4455/task/4485/stat : 4485 (plingeling) R 4453 4455 4390 0 -1 4202560 143972 1250 0 0 2205 156 0 0 21 0 33 0 729147860 12156534784 2740525 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650653366 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4455/tid=4486] ppid=4453 vsize=11871616 CPUtime=22.47 cores=0-31
/proc/4455/task/4486/stat : 4486 (plingeling) R 4453 4455 4390 0 -1 4202560 173199 1250 0 0 2095 152 0 0 16 0 33 0 729147860 12156534784 2740540 268435456000 4194304 4417452 140733858789648 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=4455/tid=4487] ppid=4453 vsize=11871616 CPUtime=22.93 cores=0-31
/proc/4455/task/4487/stat : 4487 (plingeling) R 4453 4455 4390 0 -1 4202560 124012 1250 0 0 2142 151 0 0 23 0 33 0 729147860 12156534784 2740559 268435456000 4194304 4417452 140733858789648 18446744073709551615 4265940 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=4455/tid=4488] ppid=4453 vsize=11871616 CPUtime=23.45 cores=0-31
/proc/4455/task/4488/stat : 4488 (plingeling) R 4453 4455 4390 0 -1 4202560 181184 1250 0 0 2111 234 0 0 19 0 33 0 729147860 12156534784 2740578 268435456000 4194304 4417452 140733858789648 18446744073709551615 4274417 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4455/tid=4489] ppid=4453 vsize=11871616 CPUtime=23.36 cores=0-31
/proc/4455/task/4489/stat : 4489 (plingeling) R 4453 4455 4390 0 -1 4202560 135827 1250 0 0 2183 153 0 0 18 0 33 0 729147860 12156534784 2740596 268435456000 4194304 4417452 140733858789648 18446744073709551615 4317553 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4455/tid=4490] ppid=4453 vsize=11871616 CPUtime=24.15 cores=0-31
/proc/4455/task/4490/stat : 4490 (plingeling) R 4453 4455 4390 0 -1 4202560 134010 1250 0 0 2275 140 0 0 20 0 33 0 729147860 12156534784 2740616 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4455/tid=4491] ppid=4453 vsize=11871616 CPUtime=23.9 cores=0-31
/proc/4455/task/4491/stat : 4491 (plingeling) R 4453 4455 4390 0 -1 4202560 152714 1250 0 0 2222 168 0 0 18 0 33 0 729147860 12156534784 2740634 268435456000 4194304 4417452 140733858789648 18446744073709551615 4261418 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4455/tid=4492] ppid=4453 vsize=11871616 CPUtime=23.66 cores=0-31
/proc/4455/task/4492/stat : 4492 (plingeling) R 4453 4455 4390 0 -1 4202560 148870 1250 0 0 2192 174 0 0 25 0 33 0 729147861 12156534784 2740653 268435456000 4194304 4417452 140733858789648 18446744073709551615 4261381 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4455/tid=4493] ppid=4453 vsize=11871616 CPUtime=23.77 cores=0-31
/proc/4455/task/4493/stat : 4493 (plingeling) R 4453 4455 4390 0 -1 4202560 148218 1250 0 0 2184 193 0 0 25 0 33 0 729147861 12156534784 2740671 268435456000 4194304 4417452 140733858789648 18446744073709551615 4317637 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=4455/tid=4494] ppid=4453 vsize=11871616 CPUtime=23.12 cores=0-31
/proc/4455/task/4494/stat : 4494 (plingeling) R 4453 4455 4390 0 -1 4202560 134927 1250 0 0 2182 130 0 0 18 0 33 0 729147861 12156534784 2740690 268435456000 4194304 4417452 140733858789648 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4455/tid=4495] ppid=4453 vsize=11871616 CPUtime=23.96 cores=0-31
/proc/4455/task/4495/stat : 4495 (plingeling) R 4453 4455 4390 0 -1 4202560 178340 1250 0 0 2205 191 0 0 25 0 33 0 729147861 12156534784 2740709 268435456000 4194304 4417452 140733858789648 18446744073709551615 4317337 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=4455/tid=4496] ppid=4453 vsize=11871616 CPUtime=24.37 cores=0-31
/proc/4455/task/4496/stat : 4496 (plingeling) R 4453 4455 4390 0 -1 4202560 136264 1250 0 0 2271 166 0 0 25 0 33 0 729147861 12156534784 2740728 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234178 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4455/tid=4497] ppid=4453 vsize=11871616 CPUtime=23.2 cores=0-31
/proc/4455/task/4497/stat : 4497 (plingeling) R 4453 4455 4390 0 -1 4202560 151348 1250 0 0 2145 175 0 0 22 0 33 0 729147861 12156534784 2740746 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 898.75
Current children cumulated vsize (KiB) 11871616
[startup+179.102 s]
/proc/loadavg: 16.89 18.62 24.80 32/445 4497
/proc/meminfo: memFree=244645324/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=11475660 CPUtime=1296.18 cores=0-31
/proc/4455/stat : 4455 (plingeling) S 4453 4455 4390 0 -1 4202496 8430201 1250 0 0 123548 6070 0 0 18 0 31 0 729133803 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4455/statm: 2868915 2645375 176 55 0 2866801 0
[pid=4455/tid=4466] ppid=4453 vsize=11475660 CPUtime=36.07 cores=0-31
/proc/4455/task/4466/stat : 4466 (plingeling) R 4453 4455 4390 0 -1 4202560 199275 1250 0 0 3419 188 0 0 25 0 31 0 729147858 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233447 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4455/tid=4467] ppid=4453 vsize=11475660 CPUtime=35.98 cores=0-31
/proc/4455/task/4467/stat : 4467 (plingeling) R 4453 4455 4390 0 -1 4202560 197109 1250 0 0 3401 197 0 0 25 0 31 0 729147858 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4320455 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=4455/tid=4468] ppid=4453 vsize=11475660 CPUtime=36.3 cores=0-31
/proc/4455/task/4468/stat : 4468 (plingeling) R 4453 4455 4390 0 -1 4202560 243591 1250 0 0 3469 161 0 0 25 0 31 0 729147858 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4268496 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=4455/tid=4470] ppid=4453 vsize=11475660 CPUtime=36.25 cores=0-31
/proc/4455/task/4470/stat : 4470 (plingeling) R 4453 4455 4390 0 -1 4202560 230227 1250 0 0 3485 140 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4333602 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=4455/tid=4471] ppid=4453 vsize=11475660 CPUtime=36.11 cores=0-31
/proc/4455/task/4471/stat : 4471 (plingeling) R 4453 4455 4390 0 -1 4202560 184962 1250 0 0 3380 231 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4320482 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=4455/tid=4472] ppid=4453 vsize=11475660 CPUtime=36.14 cores=0-31
/proc/4455/task/4472/stat : 4472 (plingeling) R 4453 4455 4390 0 -1 4202560 181809 1250 0 0 3439 175 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4282520 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4455/tid=4473] ppid=4453 vsize=11475660 CPUtime=35.9 cores=0-31
/proc/4455/task/4473/stat : 4473 (plingeling) R 4453 4455 4390 0 -1 4202560 182335 1250 0 0 3491 99 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4247716 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=4455/tid=4474] ppid=4453 vsize=11475660 CPUtime=36.03 cores=0-31
/proc/4455/task/4474/stat : 4474 (plingeling) R 4453 4455 4390 0 -1 4202560 183284 1250 0 0 3438 165 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233504 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=4455/tid=4475] ppid=4453 vsize=11475660 CPUtime=36.93 cores=0-31
/proc/4455/task/4475/stat : 4475 (plingeling) R 4453 4455 4390 0 -1 4202560 185818 1250 0 0 3553 140 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4216249 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4455/tid=4477] ppid=4453 vsize=11475660 CPUtime=35.87 cores=0-31
/proc/4455/task/4477/stat : 4477 (plingeling) R 4453 4455 4390 0 -1 4202560 179776 1250 0 0 3382 205 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233269 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=4455/tid=4478] ppid=4453 vsize=11475660 CPUtime=36.72 cores=0-31
/proc/4455/task/4478/stat : 4478 (plingeling) R 4453 4455 4390 0 -1 4202560 153071 1250 0 0 3525 147 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4210366 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4455/tid=4479] ppid=4453 vsize=11475660 CPUtime=35.88 cores=0-31
/proc/4455/task/4479/stat : 4479 (plingeling) R 4453 4455 4390 0 -1 4202560 246366 1250 0 0 3350 238 0 0 25 0 31 0 729147859 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=4455/tid=4480] ppid=4453 vsize=11475660 CPUtime=35.56 cores=0-31
/proc/4455/task/4480/stat : 4480 (plingeling) R 4453 4455 4390 0 -1 4202560 210918 1250 0 0 3351 205 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=4455/tid=4481] ppid=4453 vsize=11475660 CPUtime=36.62 cores=0-31
/proc/4455/task/4481/stat : 4481 (plingeling) R 4453 4455 4390 0 -1 4202560 186857 1250 0 0 3495 167 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233447 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4455/tid=4482] ppid=4453 vsize=11475660 CPUtime=36.24 cores=0-31
/proc/4455/task/4482/stat : 4482 (plingeling) R 4453 4455 4390 0 -1 4202560 184990 1250 0 0 3450 174 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4216463 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4455/tid=4483] ppid=4453 vsize=11475660 CPUtime=36.02 cores=0-31
/proc/4455/task/4483/stat : 4483 (plingeling) R 4453 4455 4390 0 -1 4202560 198344 1250 0 0 3442 160 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233504 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=4455/tid=4484] ppid=4453 vsize=11475660 CPUtime=35.97 cores=0-31
/proc/4455/task/4484/stat : 4484 (plingeling) R 4453 4455 4390 0 -1 4202560 205798 1250 0 0 3413 184 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234178 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4455/tid=4485] ppid=4453 vsize=11475660 CPUtime=35.91 cores=0-31
/proc/4455/task/4485/stat : 4485 (plingeling) R 4453 4455 4390 0 -1 4202560 221506 1250 0 0 3413 178 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233447 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4455/tid=4486] ppid=4453 vsize=11475660 CPUtime=35.22 cores=0-31
/proc/4455/task/4486/stat : 4486 (plingeling) R 4453 4455 4390 0 -1 4202560 213530 1250 0 0 3358 164 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4252252 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=4455/tid=4487] ppid=4453 vsize=11475660 CPUtime=35.09 cores=0-31
/proc/4455/task/4487/stat : 4487 (plingeling) R 4453 4455 4390 0 -1 4202560 162553 1250 0 0 3326 183 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4239069 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=4455/tid=4488] ppid=4453 vsize=11475660 CPUtime=35.94 cores=0-31
/proc/4455/task/4488/stat : 4488 (plingeling) R 4453 4455 4390 0 -1 4202560 238334 1250 0 0 3337 257 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4266588 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4455/tid=4489] ppid=4453 vsize=11475660 CPUtime=35.92 cores=0-31
/proc/4455/task/4489/stat : 4489 (plingeling) R 4453 4455 4390 0 -1 4202560 166201 1250 0 0 3429 163 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233384 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4455/tid=4490] ppid=4453 vsize=11475660 CPUtime=36.7 cores=0-31
/proc/4455/task/4490/stat : 4490 (plingeling) R 4453 4455 4390 0 -1 4202560 197865 1250 0 0 3513 157 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4253524 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4455/tid=4491] ppid=4453 vsize=11475660 CPUtime=36.27 cores=0-31
/proc/4455/task/4491/stat : 4491 (plingeling) R 4453 4455 4390 0 -1 4202560 195666 1250 0 0 3422 205 0 0 25 0 31 0 729147860 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233535 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4455/tid=4492] ppid=4453 vsize=11475660 CPUtime=36.39 cores=0-31
/proc/4455/task/4492/stat : 4492 (plingeling) R 4453 4455 4390 0 -1 4202560 197788 1250 0 0 3451 188 0 0 25 0 31 0 729147861 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4282379 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=4455/tid=4493] ppid=4453 vsize=11475660 CPUtime=36.26 cores=0-31
/proc/4455/task/4493/stat : 4493 (plingeling) R 4453 4455 4390 0 -1 4202560 195048 1250 0 0 3416 210 0 0 25 0 31 0 729147861 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233447 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4455/tid=4494] ppid=4453 vsize=11475660 CPUtime=35.68 cores=0-31
/proc/4455/task/4494/stat : 4494 (plingeling) R 4453 4455 4390 0 -1 4202560 171467 1250 0 0 3424 144 0 0 25 0 31 0 729147861 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4455/tid=4495] ppid=4453 vsize=11475660 CPUtime=36.32 cores=0-31
/proc/4455/task/4495/stat : 4495 (plingeling) R 4453 4455 4390 0 -1 4202560 217041 1250 0 0 3407 225 0 0 25 0 31 0 729147861 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4254706 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4455/tid=4496] ppid=4453 vsize=11475660 CPUtime=37.06 cores=0-31
/proc/4455/task/4496/stat : 4496 (plingeling) R 4453 4455 4390 0 -1 4202560 186873 1250 0 0 3526 180 0 0 25 0 31 0 729147861 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4302600 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4455/tid=4497] ppid=4453 vsize=11475660 CPUtime=35.35 cores=0-31
/proc/4455/task/4497/stat : 4497 (plingeling) R 4453 4455 4390 0 -1 4202560 181871 1250 0 0 3346 189 0 0 25 0 31 0 729147861 11751075840 2645375 268435456000 4194304 4417452 140733858789648 18446744073709551615 4240332 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1296.18
Current children cumulated vsize (KiB) 11475660
[startup+182.301 s]
/proc/loadavg: 16.98 18.61 24.77 15/428 4497
/proc/meminfo: memFree=244457636/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=11500696 CPUtime=1357.81 cores=0-31
/proc/4455/stat : 4455 (plingeling) S 4453 4455 4390 0 -1 4202496 8620796 1250 0 0 129660 6121 0 0 18 0 10 0 729133803 11776712704 2636932 268435456000 4194304 4417452 140733858789648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4455/statm: 2875174 2636954 176 55 0 2873060 0
[pid=4455/tid=4466] ppid=4453 vsize=11500696 CPUtime=39.26 cores=0-31
/proc/4455/task/4466/stat : 4466 (plingeling) R 4453 4455 4390 0 -1 4202560 201159 1250 0 0 3738 188 0 0 25 0 10 0 729147858 11776712704 2636963 268435456000 4194304 4417452 140733858789648 18446744073709551615 4267544 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4455/tid=4467] ppid=4453 vsize=11500696 CPUtime=39.16 cores=0-31
/proc/4455/task/4467/stat : 4467 (plingeling) R 4453 4455 4390 0 -1 4202560 197109 1250 0 0 3719 197 0 0 25 0 10 0 729147858 11776712704 2636973 268435456000 4194304 4417452 140733858789648 18446744073709551615 4233563 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4455/tid=4471] ppid=4453 vsize=11500696 CPUtime=39.29 cores=0-31
/proc/4455/task/4471/stat : 4471 (plingeling) R 4453 4455 4390 0 -1 4202560 184962 1250 0 0 3698 231 0 0 25 0 10 0 729147859 11776712704 2636981 268435456000 4194304 4417452 140733858789648 18446744073709551615 4254187 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=4455/tid=4475] ppid=4453 vsize=11500696 CPUtime=40.12 cores=0-31
/proc/4455/task/4475/stat : 4475 (plingeling) R 4453 4455 4390 0 -1 4202560 198398 1250 0 0 3870 142 0 0 25 0 10 0 729147859 11776712704 2636991 268435456000 4194304 4417452 140733858789648 18446744073709551615 4240332 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4455/tid=4478] ppid=4453 vsize=11500696 CPUtime=39.9 cores=0-31
/proc/4455/task/4478/stat : 4478 (plingeling) R 4453 4455 4390 0 -1 4202560 161555 1250 0 0 3840 150 0 0 25 0 10 0 729147859 11776712704 2637001 268435456000 4194304 4417452 140733858789648 18446744073709551615 4270875 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4455/tid=4491] ppid=4453 vsize=11500696 CPUtime=39.46 cores=0-31
/proc/4455/task/4491/stat : 4491 (plingeling) R 4453 4455 4390 0 -1 4202560 204150 1250 0 0 3740 206 0 0 25 0 10 0 729147860 11776712704 2637013 268435456000 4194304 4417452 140733858789648 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4455/tid=4494] ppid=4453 vsize=11500696 CPUtime=38.88 cores=0-31
/proc/4455/task/4494/stat : 4494 (plingeling) R 4453 4455 4390 0 -1 4202560 178116 1250 0 0 3743 145 0 0 25 0 10 0 729147861 11776712704 2637022 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4455/tid=4495] ppid=4453 vsize=11500696 CPUtime=39.51 cores=0-31
/proc/4455/task/4495/stat : 4495 (plingeling) R 4453 4455 4390 0 -1 4202560 225525 1250 0 0 3725 226 0 0 25 0 10 0 729147861 11776712704 2637032 268435456000 4194304 4417452 140733858789648 18446744073709551615 4301776 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=4455/tid=4497] ppid=4453 vsize=11500696 CPUtime=38.52 cores=0-31
/proc/4455/task/4497/stat : 4497 (plingeling) R 4453 4455 4390 0 -1 4202560 182162 1250 0 0 3663 189 0 0 25 0 10 0 729147861 11776712704 2637040 268435456000 4194304 4417452 140733858789648 18446744073709551615 4301776 0 0 4096 17442 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 1357.81
Current children cumulated vsize (KiB) 11500696
[startup+183.901 s]
/proc/loadavg: 16.98 18.61 24.77 4/417 4497
/proc/meminfo: memFree=244477052/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=11471172 CPUtime=1365.5 cores=0-31
/proc/4455/stat : 4455 (plingeling) S 4453 4455 4390 0 -1 4202496 8651389 1250 0 0 130423 6127 0 0 18 0 4 0 729133803 11746480128 2643680 268435456000 4194304 4417452 140733858789648 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/4455/statm: 2867793 2643680 176 55 0 2865679 0
[pid=4455/tid=4467] ppid=4453 vsize=11471172 CPUtime=40.75 cores=0-31
/proc/4455/task/4467/stat : 4467 (plingeling) R 4453 4455 4390 0 -1 4202560 205308 1250 0 0 3877 198 0 0 25 0 4 0 729147858 11746480128 2643680 268435456000 4194304 4417452 140733858789648 18446744073709551615 4265940 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4455/tid=4471] ppid=4453 vsize=11471172 CPUtime=40.89 cores=0-31
/proc/4455/task/4471/stat : 4471 (plingeling) R 4453 4455 4390 0 -1 4202560 185253 1250 0 0 3858 231 0 0 25 0 4 0 729147859 11746480128 2643680 268435456000 4194304 4417452 140733858789648 18446744073709551615 4234176 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=4455/tid=4494] ppid=4453 vsize=11471172 CPUtime=40.47 cores=0-31
/proc/4455/task/4494/stat : 4494 (plingeling) R 4453 4455 4390 0 -1 4202560 187652 1250 0 0 3900 147 0 0 25 0 4 0 729147861 11746480128 2643680 268435456000 4194304 4417452 140733858789648 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1365.5
Current children cumulated vsize (KiB) 11471172
[startup+184.701 s]
/proc/loadavg: 16.98 18.61 24.77 2/414 4497
/proc/meminfo: memFree=247473224/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=8037256 CPUtime=1366.78 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 8651389 1250 0 0 130520 6158 0 0 16 0 1 0 729133803 8230150144 1822627 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4455/statm: 2009314 1822627 176 55 0 2007200 0
Current children cumulated CPU time (s) 1366.78
Current children cumulated vsize (KiB) 8037256
[startup+185.101 s]
/proc/loadavg: 16.98 18.61 24.77 2/414 4497
/proc/meminfo: memFree=247473224/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=3201256 CPUtime=1367.16 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202496 8651389 1250 0 0 130520 6196 0 0 17 0 1 0 729133803 3278086144 684641 268435456000 4194304 4417452 140733858789648 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4455/statm: 800314 684129 176 55 0 798200 0
Current children cumulated CPU time (s) 1367.16
Current children cumulated vsize (KiB) 3201256
[startup+185.301 s]
/proc/loadavg: 16.98 18.61 24.77 2/414 4497
/proc/meminfo: memFree=247473224/264257624 swapFree=67111528/67111528
[pid=4455] ppid=4453 vsize=0 CPUtime=1367.36 cores=0-31
/proc/4455/stat : 4455 (plingeling) R 4453 4455 4390 0 -1 4202500 8651393 1250 0 0 130520 6216 0 0 17 0 1 0 729133803 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/4455/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1367.36
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 185.31
CPU time (s): 1367.39
CPU user time (s): 1305.21
CPU system time (s): 62.1805
CPU usage (%): 737.891
Max. virtual memory (cumulated for all children) (KiB): 12855756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.21
system time used= 62.1805
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8652643
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11867
involuntary context switches= 3700
runsolver used 1.44578 second user time and 4.08138 second system time
The end
Begin job on node200 at 2011-05-23 20:47:54
IDJOB=3372987
IDBENCH=88172
IDSOLVER=1852
FILE ID=node200/3372987-1306176468
RUNJOBID= node200-1306176428-4404
PBS_JOBID= 13388025
Free space on /tmp= 61928 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-18-U-10652.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372987-1306176468/watcher-3372987-1306176468 -o /tmp/evaluation-result-3372987-1306176468/solver-3372987-1306176468 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372987-1306176468.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f0f11935e861485056485b47c5e1a7c3
RANDOM SEED=1837960982
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255077548 kB
Buffers: 462396 kB
Cached: 8309252 kB
SwapCached: 0 kB
Active: 7861364 kB
Inactive: 979176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255077548 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 121592 kB
Writeback: 0 kB
AnonPages: 69096 kB
Mapped: 14532 kB
Slab: 255292 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 195728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61928 MiB
End job on node200 at 2011-05-23 20:50:59