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-3372576-1305687235/watcher-3372576-1305687235 -o /tmp/evaluation-result-3372576-1305687235/solver-3372576-1305687235 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372576-1305687235.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: 17.86 28.49 30.66 1/413 29842
/proc/meminfo: memFree=255517552/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=12576 CPUtime=0.02 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202496 1217 1249 0 0 2 0 0 0 20 0 1 0 680210005 12877824 1148 268435456000 4194304 4417452 140734050960576 18446744073709551615 4231423 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29842/statm: 3144 1148 145 55 0 1030 0
[startup+0.100965 s]
/proc/loadavg: 17.86 28.49 30.66 1/413 29842
/proc/meminfo: memFree=255517552/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=19296 CPUtime=0.08 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202496 2913 1249 0 0 8 0 0 0 20 0 1 0 680210005 19759104 2844 268435456000 4194304 4417452 140734050960576 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29842/statm: 4824 2844 145 55 0 2710 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19296
[startup+0.200967 s]
/proc/loadavg: 17.86 28.49 30.66 1/413 29842
/proc/meminfo: memFree=255517552/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=28348 CPUtime=0.19 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202496 5145 1249 0 0 18 1 0 0 20 0 1 0 680210005 29028352 5076 268435456000 4194304 4417452 140734050960576 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29842/statm: 7087 5076 146 55 0 4973 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28348
[startup+0.300992 s]
/proc/loadavg: 17.86 28.49 30.66 1/413 29842
/proc/meminfo: memFree=255517552/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=34732 CPUtime=0.28 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202496 6750 1249 0 0 27 1 0 0 21 0 1 0 680210005 35565568 6681 268435456000 4194304 4417452 140734050960576 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29842/statm: 8683 6701 146 55 0 6569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34732
[startup+0.701015 s]
/proc/loadavg: 17.86 28.49 30.66 1/413 29842
/proc/meminfo: memFree=255517552/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=64656 CPUtime=0.68 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202496 14254 1249 0 0 65 3 0 0 22 0 1 0 680210005 66207744 14185 268435456000 4194304 4417452 140734050960576 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29842/statm: 16164 14185 146 55 0 14050 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 64656
[startup+1.50103 s]
/proc/loadavg: 17.86 28.49 30.66 2/414 29848
/proc/meminfo: memFree=255432256/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=151840 CPUtime=1.48 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202496 36050 1249 0 0 140 8 0 0 25 0 1 0 680210005 155484160 35981 268435456000 4194304 4417452 140734050960576 18446744073709551615 4322355 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29842/statm: 37960 35981 146 55 0 35846 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 151840
[startup+3.10109 s]
/proc/loadavg: 16.51 28.03 30.50 2/414 29848
/proc/meminfo: memFree=255296680/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=292740 CPUtime=3.08 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202496 71338 1249 0 0 293 15 0 0 25 0 1 0 680210005 299765760 71206 268435456000 4194304 4417452 140734050960576 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/29842/statm: 73185 71206 146 55 0 71071 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 292740
[startup+6.30206 s]
/proc/loadavg: 16.51 28.03 30.50 34/446 29880
/proc/meminfo: memFree=254849264/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=1294736 CPUtime=41.69 cores=0-31
/proc/29842/stat : 29842 (plingeling) S 29840 29842 29816 0 -1 4202496 269041 1249 0 0 3979 190 0 0 19 0 33 0 680210005 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/29842/statm: 323684 172278 169 55 0 321570 0
[pid=29842/tid=29849] ppid=29840 vsize=1294736 CPUtime=1.15 cores=0-31
/proc/29842/task/29849/stat : 29849 (plingeling) R 29840 29842 29816 0 -1 4202560 3653 1249 0 0 110 5 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29842/tid=29850] ppid=29840 vsize=1294736 CPUtime=1.15 cores=0-31
/proc/29842/task/29850/stat : 29850 (plingeling) R 29840 29842 29816 0 -1 4202560 4376 1249 0 0 111 4 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4290684 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29842/tid=29851] ppid=29840 vsize=1294736 CPUtime=1.16 cores=0-31
/proc/29842/task/29851/stat : 29851 (plingeling) R 29840 29842 29816 0 -1 4202560 2441 1249 0 0 112 4 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29842/tid=29852] ppid=29840 vsize=1294736 CPUtime=1.16 cores=0-31
/proc/29842/task/29852/stat : 29852 (plingeling) R 29840 29842 29816 0 -1 4202560 2346 1249 0 0 115 1 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4356796 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29842/tid=29853] ppid=29840 vsize=1294736 CPUtime=1.15 cores=0-31
/proc/29842/task/29853/stat : 29853 (plingeling) R 29840 29842 29816 0 -1 4202560 4638 1249 0 0 110 5 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29842/tid=29854] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29854/stat : 29854 (plingeling) R 29840 29842 29816 0 -1 4202560 4268 1249 0 0 108 6 0 0 21 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29842/tid=29855] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29855/stat : 29855 (plingeling) R 29840 29842 29816 0 -1 4202560 5169 1249 0 0 109 5 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29842/tid=29856] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29856/stat : 29856 (plingeling) R 29840 29842 29816 0 -1 4202560 3138 1249 0 0 110 4 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4290499 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29842/tid=29857] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29857/stat : 29857 (plingeling) R 29840 29842 29816 0 -1 4202560 4724 1249 0 0 108 6 0 0 19 0 33 0 680210516 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29842/tid=29858] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29858/stat : 29858 (plingeling) R 29840 29842 29816 0 -1 4202560 2462 1249 0 0 110 4 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29842/tid=29859] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29859/stat : 29859 (plingeling) R 29840 29842 29816 0 -1 4202560 4700 1249 0 0 109 5 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284746 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29842/tid=29860] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29860/stat : 29860 (plingeling) R 29840 29842 29816 0 -1 4202560 3919 1249 0 0 109 5 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29842/tid=29861] ppid=29840 vsize=1294736 CPUtime=1.15 cores=0-31
/proc/29842/task/29861/stat : 29861 (plingeling) R 29840 29842 29816 0 -1 4202560 4638 1249 0 0 109 6 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4289629 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29842/tid=29862] ppid=29840 vsize=1294736 CPUtime=1.15 cores=0-31
/proc/29842/task/29862/stat : 29862 (plingeling) R 29840 29842 29816 0 -1 4202560 3571 1249 0 0 110 5 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284247 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29842/tid=29863] ppid=29840 vsize=1294736 CPUtime=1.15 cores=0-31
/proc/29842/task/29863/stat : 29863 (plingeling) R 29840 29842 29816 0 -1 4202560 4354 1249 0 0 109 6 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29842/tid=29864] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29864/stat : 29864 (plingeling) R 29840 29842 29816 0 -1 4202560 3569 1249 0 0 110 4 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29842/tid=29865] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29865/stat : 29865 (plingeling) R 29840 29842 29816 0 -1 4202560 6015 1249 0 0 109 5 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29842/tid=29866] ppid=29840 vsize=1294736 CPUtime=1.15 cores=0-31
/proc/29842/task/29866/stat : 29866 (plingeling) R 29840 29842 29816 0 -1 4202560 2964 1249 0 0 111 4 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29842/tid=29867] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29867/stat : 29867 (plingeling) R 29840 29842 29816 0 -1 4202560 4728 1249 0 0 110 4 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29842/tid=29868] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29868/stat : 29868 (plingeling) R 29840 29842 29816 0 -1 4202560 3769 1249 0 0 109 5 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4287359 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29842/tid=29869] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29869/stat : 29869 (plingeling) R 29840 29842 29816 0 -1 4202560 2984 1249 0 0 108 6 0 0 19 0 33 0 680210517 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29842/tid=29870] ppid=29840 vsize=1294736 CPUtime=1.13 cores=0-31
/proc/29842/task/29870/stat : 29870 (plingeling) R 29840 29842 29816 0 -1 4202560 3679 1249 0 0 108 5 0 0 19 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29842/tid=29871] ppid=29840 vsize=1294736 CPUtime=1.13 cores=0-31
/proc/29842/task/29871/stat : 29871 (plingeling) R 29840 29842 29816 0 -1 4202560 3680 1249 0 0 108 5 0 0 19 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29842/tid=29872] ppid=29840 vsize=1294736 CPUtime=1.13 cores=0-31
/proc/29842/task/29872/stat : 29872 (plingeling) R 29840 29842 29816 0 -1 4202560 4615 1249 0 0 108 5 0 0 21 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29842/tid=29873] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29873/stat : 29873 (plingeling) R 29840 29842 29816 0 -1 4202560 2353 1249 0 0 109 5 0 0 21 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4286233 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29842/tid=29874] ppid=29840 vsize=1294736 CPUtime=1.1 cores=0-31
/proc/29842/task/29874/stat : 29874 (plingeling) R 29840 29842 29816 0 -1 4202560 4726 1249 0 0 106 4 0 0 21 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29842/tid=29875] ppid=29840 vsize=1294736 CPUtime=1.08 cores=0-31
/proc/29842/task/29875/stat : 29875 (plingeling) R 29840 29842 29816 0 -1 4202560 2961 1249 0 0 108 0 0 0 19 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4281513 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29842/tid=29876] ppid=29840 vsize=1294736 CPUtime=1.11 cores=0-31
/proc/29842/task/29876/stat : 29876 (plingeling) R 29840 29842 29816 0 -1 4202560 5244 1249 0 0 107 4 0 0 21 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29842/tid=29877] ppid=29840 vsize=1294736 CPUtime=1.14 cores=0-31
/proc/29842/task/29877/stat : 29877 (plingeling) R 29840 29842 29816 0 -1 4202560 4724 1249 0 0 108 6 0 0 19 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29842/tid=29878] ppid=29840 vsize=1294736 CPUtime=1.11 cores=0-31
/proc/29842/task/29878/stat : 29878 (plingeling) R 29840 29842 29816 0 -1 4202560 5398 1249 0 0 108 3 0 0 23 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29842/tid=29879] ppid=29840 vsize=1294736 CPUtime=1.12 cores=0-31
/proc/29842/task/29879/stat : 29879 (plingeling) R 29840 29842 29816 0 -1 4202560 4618 1249 0 0 108 4 0 0 19 0 33 0 680210518 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4293135 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29842/tid=29880] ppid=29840 vsize=1294736 CPUtime=1.01 cores=0-31
/proc/29842/task/29880/stat : 29880 (plingeling) R 29840 29842 29816 0 -1 4202560 3049 1249 0 0 100 1 0 0 19 0 33 0 680210520 1325809664 172278 268435456000 4194304 4417452 140734050960576 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 41.69
Current children cumulated vsize (KiB) 1294736
[startup+12.7023 s]
/proc/loadavg: 18.97 28.18 30.52 33/446 29880
/proc/meminfo: memFree=254516516/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=1540672 CPUtime=241.25 cores=0-31
/proc/29842/stat : 29842 (plingeling) S 29840 29842 29816 0 -1 4202496 411238 1249 0 0 23777 348 0 0 19 0 33 0 680210005 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/29842/statm: 385168 282228 174 55 0 383054 0
[pid=29842/tid=29849] ppid=29840 vsize=1540672 CPUtime=7.38 cores=0-31
/proc/29842/task/29849/stat : 29849 (plingeling) R 29840 29842 29816 0 -1 4202560 6219 1249 0 0 732 6 0 0 24 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4272148 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29842/tid=29850] ppid=29840 vsize=1540672 CPUtime=7.27 cores=0-31
/proc/29842/task/29850/stat : 29850 (plingeling) R 29840 29842 29816 0 -1 4202560 6430 1249 0 0 718 9 0 0 23 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4253405 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29842/tid=29851] ppid=29840 vsize=1540672 CPUtime=7.53 cores=0-31
/proc/29842/task/29851/stat : 29851 (plingeling) R 29840 29842 29816 0 -1 4202560 5141 1249 0 0 749 4 0 0 25 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29842/tid=29852] ppid=29840 vsize=1540672 CPUtime=7.56 cores=0-31
/proc/29842/task/29852/stat : 29852 (plingeling) R 29840 29842 29816 0 -1 4202560 2346 1249 0 0 755 1 0 0 25 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4250651 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29842/tid=29853] ppid=29840 vsize=1540672 CPUtime=7.53 cores=0-31
/proc/29842/task/29853/stat : 29853 (plingeling) R 29840 29842 29816 0 -1 4202560 12047 1249 0 0 741 12 0 0 25 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29842/tid=29854] ppid=29840 vsize=1540672 CPUtime=7.18 cores=0-31
/proc/29842/task/29854/stat : 29854 (plingeling) R 29840 29842 29816 0 -1 4202560 13852 1249 0 0 701 17 0 0 22 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4233447 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29842/tid=29855] ppid=29840 vsize=1540672 CPUtime=7.54 cores=0-31
/proc/29842/task/29855/stat : 29855 (plingeling) R 29840 29842 29816 0 -1 4202560 9597 1249 0 0 748 6 0 0 25 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29842/tid=29856] ppid=29840 vsize=1540672 CPUtime=7.52 cores=0-31
/proc/29842/task/29856/stat : 29856 (plingeling) R 29840 29842 29816 0 -1 4202560 11726 1249 0 0 740 12 0 0 25 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4257132 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29842/tid=29857] ppid=29840 vsize=1540672 CPUtime=7.21 cores=0-31
/proc/29842/task/29857/stat : 29857 (plingeling) R 29840 29842 29816 0 -1 4202560 8353 1249 0 0 706 15 0 0 23 0 33 0 680210516 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29842/tid=29858] ppid=29840 vsize=1540672 CPUtime=7.34 cores=0-31
/proc/29842/task/29858/stat : 29858 (plingeling) R 29840 29842 29816 0 -1 4202560 5540 1249 0 0 723 11 0 0 24 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4252180 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29842/tid=29859] ppid=29840 vsize=1540672 CPUtime=7.54 cores=0-31
/proc/29842/task/29859/stat : 29859 (plingeling) R 29840 29842 29816 0 -1 4202560 7261 1249 0 0 748 6 0 0 25 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29842/tid=29860] ppid=29840 vsize=1540672 CPUtime=7.17 cores=0-31
/proc/29842/task/29860/stat : 29860 (plingeling) R 29840 29842 29816 0 -1 4202560 12491 1249 0 0 702 15 0 0 22 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29842/tid=29861] ppid=29840 vsize=1540672 CPUtime=7.39 cores=0-31
/proc/29842/task/29861/stat : 29861 (plingeling) R 29840 29842 29816 0 -1 4202560 9307 1249 0 0 726 13 0 0 24 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29842/tid=29862] ppid=29840 vsize=1540672 CPUtime=7.34 cores=0-31
/proc/29842/task/29862/stat : 29862 (plingeling) R 29840 29842 29816 0 -1 4202560 7161 1249 0 0 722 12 0 0 24 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4252007 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29842/tid=29863] ppid=29840 vsize=1540672 CPUtime=7.53 cores=0-31
/proc/29842/task/29863/stat : 29863 (plingeling) R 29840 29842 29816 0 -1 4202560 6838 1249 0 0 746 7 0 0 25 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4366509 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29842/tid=29864] ppid=29840 vsize=1540672 CPUtime=7.37 cores=0-31
/proc/29842/task/29864/stat : 29864 (plingeling) R 29840 29842 29816 0 -1 4202560 7329 1249 0 0 726 11 0 0 24 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4318918 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29842/tid=29865] ppid=29840 vsize=1540672 CPUtime=7.42 cores=0-31
/proc/29842/task/29865/stat : 29865 (plingeling) R 29840 29842 29816 0 -1 4202560 18486 1249 0 0 728 14 0 0 25 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4257642 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29842/tid=29866] ppid=29840 vsize=1540672 CPUtime=7.34 cores=0-31
/proc/29842/task/29866/stat : 29866 (plingeling) R 29840 29842 29816 0 -1 4202560 5326 1249 0 0 726 8 0 0 23 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4257072 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29842/tid=29867] ppid=29840 vsize=1540672 CPUtime=7.53 cores=0-31
/proc/29842/task/29867/stat : 29867 (plingeling) R 29840 29842 29816 0 -1 4202560 9140 1249 0 0 748 5 0 0 25 0 33 0 680210517 1577648128 282228 268435456000 4194304 4417452 140734050960576 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29842/tid=29868] ppid=29840 vsize=1540672 CPUtime=7.23 cores=0-31
################
# More data... #
################
/proc/29842/task/29856/stat : 29856 (plingeling) R 29840 29842 29816 0 -1 4202560 696112 1249 0 0 235993 548 0 0 25 0 33 0 680210516 5679611904 1273231 268435456000 4194304 4417452 140734050960576 18446744073709551615 4358082 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29842/tid=29857] ppid=29840 vsize=5546496 CPUtime=2361.36 cores=0-31
/proc/29842/task/29857/stat : 29857 (plingeling) R 29840 29842 29816 0 -1 4202560 1129086 1249 0 0 235305 831 0 0 25 0 33 0 680210516 5679611904 1273242 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29842/tid=29858] ppid=29840 vsize=5546496 CPUtime=2363.44 cores=0-31
/proc/29842/task/29858/stat : 29858 (plingeling) R 29840 29842 29816 0 -1 4202560 914763 1249 0 0 235515 829 0 0 25 0 33 0 680210517 5679611904 1273251 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29842/tid=29859] ppid=29840 vsize=5546496 CPUtime=2362.2 cores=0-31
/proc/29842/task/29859/stat : 29859 (plingeling) R 29840 29842 29816 0 -1 4202560 930031 1249 0 0 235390 830 0 0 25 0 33 0 680210517 5679611904 1273260 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29842/tid=29860] ppid=29840 vsize=5546496 CPUtime=2363.89 cores=0-31
/proc/29842/task/29860/stat : 29860 (plingeling) R 29840 29842 29816 0 -1 4202560 1058377 1249 0 0 235456 933 0 0 25 0 33 0 680210517 5679611904 1273270 268435456000 4194304 4417452 140734050960576 18446744073709551615 4250882 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29842/tid=29861] ppid=29840 vsize=5546496 CPUtime=2361.76 cores=0-31
/proc/29842/task/29861/stat : 29861 (plingeling) R 29840 29842 29816 0 -1 4202560 824420 1249 0 0 235565 611 0 0 25 0 33 0 680210517 5679611904 1273280 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29842/tid=29862] ppid=29840 vsize=5546496 CPUtime=2364.98 cores=0-31
/proc/29842/task/29862/stat : 29862 (plingeling) R 29840 29842 29816 0 -1 4202560 814710 1249 0 0 235734 764 0 0 25 0 33 0 680210517 5679611904 1273290 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29842/tid=29863] ppid=29840 vsize=5546496 CPUtime=2363.28 cores=0-31
/proc/29842/task/29863/stat : 29863 (plingeling) R 29840 29842 29816 0 -1 4202560 974159 1249 0 0 235587 741 0 0 25 0 33 0 680210517 5679611904 1273299 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29842/tid=29864] ppid=29840 vsize=5546496 CPUtime=2367.3 cores=0-31
/proc/29842/task/29864/stat : 29864 (plingeling) R 29840 29842 29816 0 -1 4202560 1052113 1249 0 0 235885 845 0 0 25 0 33 0 680210517 5679611904 1273311 268435456000 4194304 4417452 140734050960576 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29842/tid=29865] ppid=29840 vsize=5546496 CPUtime=2365.94 cores=0-31
/proc/29842/task/29865/stat : 29865 (plingeling) R 29840 29842 29816 0 -1 4202560 802618 1249 0 0 235888 706 0 0 25 0 33 0 680210517 5679611904 1273321 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29842/tid=29866] ppid=29840 vsize=5546496 CPUtime=2363.04 cores=0-31
/proc/29842/task/29866/stat : 29866 (plingeling) R 29840 29842 29816 0 -1 4202560 953989 1249 0 0 235512 792 0 0 25 0 33 0 680210517 5679611904 1273331 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29842/tid=29867] ppid=29840 vsize=5546496 CPUtime=2364.18 cores=0-31
/proc/29842/task/29867/stat : 29867 (plingeling) R 29840 29842 29816 0 -1 4202560 796445 1249 0 0 235711 707 0 0 25 0 33 0 680210517 5679611904 1273341 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29842/tid=29868] ppid=29840 vsize=5546496 CPUtime=2363.69 cores=0-31
/proc/29842/task/29868/stat : 29868 (plingeling) R 29840 29842 29816 0 -1 4202560 920896 1249 0 0 235572 797 0 0 25 0 33 0 680210517 5679611904 1273350 268435456000 4194304 4417452 140734050960576 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29842/tid=29869] ppid=29840 vsize=5546496 CPUtime=2364.66 cores=0-31
/proc/29842/task/29869/stat : 29869 (plingeling) R 29840 29842 29816 0 -1 4202560 1270317 1249 0 0 235241 1225 0 0 25 0 33 0 680210517 5679611904 1273361 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29842/tid=29870] ppid=29840 vsize=5546496 CPUtime=2361.77 cores=0-31
/proc/29842/task/29870/stat : 29870 (plingeling) R 29840 29842 29816 0 -1 4202560 1018847 1249 0 0 235252 925 0 0 25 0 33 0 680210518 5679611904 1273371 268435456000 4194304 4417452 140734050960576 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29842/tid=29871] ppid=29840 vsize=5546496 CPUtime=2364.86 cores=0-31
/proc/29842/task/29871/stat : 29871 (plingeling) R 29840 29842 29816 0 -1 4202560 690561 1249 0 0 235833 653 0 0 25 0 33 0 680210518 5679611904 1273381 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29842/tid=29872] ppid=29840 vsize=5546496 CPUtime=2362.33 cores=0-31
/proc/29842/task/29872/stat : 29872 (plingeling) R 29840 29842 29816 0 -1 4202560 976775 1249 0 0 235356 877 0 0 25 0 33 0 680210518 5679611904 1273390 268435456000 4194304 4417452 140734050960576 18446744073709551615 4236920 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29842/tid=29873] ppid=29840 vsize=5546496 CPUtime=2364.24 cores=0-31
/proc/29842/task/29873/stat : 29873 (plingeling) R 29840 29842 29816 0 -1 4202560 889235 1249 0 0 235589 835 0 0 25 0 33 0 680210518 5679611904 1273401 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29842/tid=29874] ppid=29840 vsize=5546496 CPUtime=2364.99 cores=0-31
/proc/29842/task/29874/stat : 29874 (plingeling) R 29840 29842 29816 0 -1 4202560 838296 1249 0 0 235830 669 0 0 25 0 33 0 680210518 5679611904 1273411 268435456000 4194304 4417452 140734050960576 18446744073709551615 4357589 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29842/tid=29875] ppid=29840 vsize=5546496 CPUtime=2364.39 cores=0-31
/proc/29842/task/29875/stat : 29875 (plingeling) R 29840 29842 29816 0 -1 4202560 1145497 1249 0 0 235323 1116 0 0 25 0 33 0 680210518 5679611904 1273420 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29842/tid=29876] ppid=29840 vsize=5546496 CPUtime=2365.66 cores=0-31
/proc/29842/task/29876/stat : 29876 (plingeling) R 29840 29842 29816 0 -1 4202560 902752 1249 0 0 235660 906 0 0 25 0 33 0 680210518 5679611904 1273430 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29842/tid=29877] ppid=29840 vsize=5546496 CPUtime=2362.26 cores=0-31
/proc/29842/task/29877/stat : 29877 (plingeling) R 29840 29842 29816 0 -1 4202560 927335 1249 0 0 235417 809 0 0 25 0 33 0 680210518 5679611904 1273440 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29842/tid=29878] ppid=29840 vsize=5546496 CPUtime=2363.28 cores=0-31
/proc/29842/task/29878/stat : 29878 (plingeling) R 29840 29842 29816 0 -1 4202560 1048263 1249 0 0 235533 795 0 0 25 0 33 0 680210518 5679611904 1273449 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29842/tid=29879] ppid=29840 vsize=5546496 CPUtime=2364.58 cores=0-31
/proc/29842/task/29879/stat : 29879 (plingeling) R 29840 29842 29816 0 -1 4202560 773371 1249 0 0 235847 611 0 0 25 0 33 0 680210518 5679611904 1273459 268435456000 4194304 4417452 140734050960576 18446744073709551615 4330541 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29842/tid=29880] ppid=29840 vsize=5546496 CPUtime=2363.36 cores=0-31
/proc/29842/task/29880/stat : 29880 (plingeling) R 29840 29842 29816 0 -1 4202560 997284 1249 0 0 235450 886 0 0 25 0 33 0 680210520 5679611904 1273469 268435456000 4194304 4417452 140734050960576 18446744073709551615 4358082 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 75661.8
Current children cumulated vsize (KiB) 5546496
Solver just ended. Dumping a history of the last processes samples
[startup+2384 s]
/proc/loadavg: 32.04 32.06 31.94 33/446 29956
/proc/meminfo: memFree=250394876/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=5556128 CPUtime=75716.1 cores=0-31
/proc/29842/stat : 29842 (plingeling) S 29840 29842 29816 0 -1 4202496 29647987 1249 0 0 7546096 25512 0 0 19 0 33 0 680210005 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/29842/statm: 1389032 1277005 175 55 0 1386918 0
[pid=29842/tid=29849] ppid=29840 vsize=5556128 CPUtime=2368.73 cores=0-31
/proc/29842/task/29849/stat : 29849 (plingeling) R 29840 29842 29816 0 -1 4202560 1328505 1249 0 0 235969 904 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29842/tid=29850] ppid=29840 vsize=5556128 CPUtime=2368.29 cores=0-31
/proc/29842/task/29850/stat : 29850 (plingeling) R 29840 29842 29816 0 -1 4202560 970250 1249 0 0 235983 846 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29842/tid=29851] ppid=29840 vsize=5556128 CPUtime=2366.41 cores=0-31
/proc/29842/task/29851/stat : 29851 (plingeling) R 29840 29842 29816 0 -1 4202560 909012 1249 0 0 235900 741 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4366090 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29842/tid=29852] ppid=29840 vsize=5556128 CPUtime=2372.38 cores=0-31
/proc/29842/task/29852/stat : 29852 (plingeling) R 29840 29842 29816 0 -1 4202560 148101 1249 0 0 237071 167 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29842/tid=29853] ppid=29840 vsize=5556128 CPUtime=2366.33 cores=0-31
/proc/29842/task/29853/stat : 29853 (plingeling) R 29840 29842 29816 0 -1 4202560 769738 1249 0 0 235841 792 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29842/tid=29854] ppid=29840 vsize=5556128 CPUtime=2364.56 cores=0-31
/proc/29842/task/29854/stat : 29854 (plingeling) R 29840 29842 29816 0 -1 4202560 967491 1249 0 0 235611 845 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29842/tid=29855] ppid=29840 vsize=5556128 CPUtime=2364.74 cores=0-31
/proc/29842/task/29855/stat : 29855 (plingeling) R 29840 29842 29816 0 -1 4202560 1058738 1249 0 0 235553 921 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29842/tid=29856] ppid=29840 vsize=5556128 CPUtime=2367.11 cores=0-31
/proc/29842/task/29856/stat : 29856 (plingeling) R 29840 29842 29816 0 -1 4202560 696112 1249 0 0 236163 548 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29842/tid=29857] ppid=29840 vsize=5556128 CPUtime=2363.06 cores=0-31
/proc/29842/task/29857/stat : 29857 (plingeling) R 29840 29842 29816 0 -1 4202560 1130438 1249 0 0 235475 831 0 0 25 0 33 0 680210516 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4355849 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29842/tid=29858] ppid=29840 vsize=5556128 CPUtime=2365.13 cores=0-31
/proc/29842/task/29858/stat : 29858 (plingeling) R 29840 29842 29816 0 -1 4202560 914763 1249 0 0 235684 829 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29842/tid=29859] ppid=29840 vsize=5556128 CPUtime=2363.89 cores=0-31
/proc/29842/task/29859/stat : 29859 (plingeling) R 29840 29842 29816 0 -1 4202560 930031 1249 0 0 235559 830 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29842/tid=29860] ppid=29840 vsize=5556128 CPUtime=2365.58 cores=0-31
/proc/29842/task/29860/stat : 29860 (plingeling) R 29840 29842 29816 0 -1 4202560 1058377 1249 0 0 235625 933 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364842 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29842/tid=29861] ppid=29840 vsize=5556128 CPUtime=2363.41 cores=0-31
/proc/29842/task/29861/stat : 29861 (plingeling) R 29840 29842 29816 0 -1 4202560 824420 1249 0 0 235730 611 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29842/tid=29862] ppid=29840 vsize=5556128 CPUtime=2366.68 cores=0-31
/proc/29842/task/29862/stat : 29862 (plingeling) R 29840 29842 29816 0 -1 4202560 814710 1249 0 0 235904 764 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29842/tid=29863] ppid=29840 vsize=5556128 CPUtime=2364.98 cores=0-31
/proc/29842/task/29863/stat : 29863 (plingeling) R 29840 29842 29816 0 -1 4202560 974159 1249 0 0 235757 741 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29842/tid=29864] ppid=29840 vsize=5556128 CPUtime=2369 cores=0-31
/proc/29842/task/29864/stat : 29864 (plingeling) R 29840 29842 29816 0 -1 4202560 1053399 1249 0 0 236054 846 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29842/tid=29865] ppid=29840 vsize=5556128 CPUtime=2367.63 cores=0-31
/proc/29842/task/29865/stat : 29865 (plingeling) R 29840 29842 29816 0 -1 4202560 802618 1249 0 0 236057 706 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29842/tid=29866] ppid=29840 vsize=5556128 CPUtime=2364.74 cores=0-31
/proc/29842/task/29866/stat : 29866 (plingeling) R 29840 29842 29816 0 -1 4202560 955701 1249 0 0 235682 792 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29842/tid=29867] ppid=29840 vsize=5556128 CPUtime=2365.88 cores=0-31
/proc/29842/task/29867/stat : 29867 (plingeling) R 29840 29842 29816 0 -1 4202560 796445 1249 0 0 235881 707 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29842/tid=29868] ppid=29840 vsize=5556128 CPUtime=2365.39 cores=0-31
/proc/29842/task/29868/stat : 29868 (plingeling) R 29840 29842 29816 0 -1 4202560 920896 1249 0 0 235742 797 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4365181 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29842/tid=29869] ppid=29840 vsize=5556128 CPUtime=2366.36 cores=0-31
/proc/29842/task/29869/stat : 29869 (plingeling) R 29840 29842 29816 0 -1 4202560 1270317 1249 0 0 235411 1225 0 0 25 0 33 0 680210517 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29842/tid=29870] ppid=29840 vsize=5556128 CPUtime=2363.46 cores=0-31
/proc/29842/task/29870/stat : 29870 (plingeling) R 29840 29842 29816 0 -1 4202560 1018963 1249 0 0 235421 925 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29842/tid=29871] ppid=29840 vsize=5556128 CPUtime=2366.56 cores=0-31
/proc/29842/task/29871/stat : 29871 (plingeling) R 29840 29842 29816 0 -1 4202560 690561 1249 0 0 236003 653 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29842/tid=29872] ppid=29840 vsize=5556128 CPUtime=2364.03 cores=0-31
/proc/29842/task/29872/stat : 29872 (plingeling) R 29840 29842 29816 0 -1 4202560 976775 1249 0 0 235526 877 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29842/tid=29873] ppid=29840 vsize=5556128 CPUtime=2365.94 cores=0-31
/proc/29842/task/29873/stat : 29873 (plingeling) R 29840 29842 29816 0 -1 4202560 889235 1249 0 0 235759 835 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4365946 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29842/tid=29874] ppid=29840 vsize=5556128 CPUtime=2366.7 cores=0-31
/proc/29842/task/29874/stat : 29874 (plingeling) R 29840 29842 29816 0 -1 4202560 841805 1249 0 0 235991 679 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4353636 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29842/tid=29875] ppid=29840 vsize=5556128 CPUtime=2366.09 cores=0-31
/proc/29842/task/29875/stat : 29875 (plingeling) R 29840 29842 29816 0 -1 4202560 1145497 1249 0 0 235493 1116 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29842/tid=29876] ppid=29840 vsize=5556128 CPUtime=2367.36 cores=0-31
/proc/29842/task/29876/stat : 29876 (plingeling) R 29840 29842 29816 0 -1 4202560 902752 1249 0 0 235830 906 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29842/tid=29877] ppid=29840 vsize=5556128 CPUtime=2363.96 cores=0-31
/proc/29842/task/29877/stat : 29877 (plingeling) R 29840 29842 29816 0 -1 4202560 927335 1249 0 0 235587 809 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29842/tid=29878] ppid=29840 vsize=5556128 CPUtime=2364.98 cores=0-31
/proc/29842/task/29878/stat : 29878 (plingeling) R 29840 29842 29816 0 -1 4202560 1048263 1249 0 0 235703 795 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29842/tid=29879] ppid=29840 vsize=5556128 CPUtime=2366.28 cores=0-31
/proc/29842/task/29879/stat : 29879 (plingeling) R 29840 29842 29816 0 -1 4202560 773728 1249 0 0 236017 611 0 0 25 0 33 0 680210518 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29842/tid=29880] ppid=29840 vsize=5556128 CPUtime=2365.05 cores=0-31
/proc/29842/task/29880/stat : 29880 (plingeling) R 29840 29842 29816 0 -1 4202560 997284 1249 0 0 235619 886 0 0 25 0 33 0 680210520 5689475072 1277005 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 75716.1
Current children cumulated vsize (KiB) 5556128
[startup+2384.8 s]
/proc/loadavg: 32.04 32.06 31.94 3/416 29956
/proc/meminfo: memFree=250408136/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=5532404 CPUtime=75737.4 cores=0-31
/proc/29842/stat : 29842 (plingeling) S 29840 29842 29816 0 -1 4202496 29656183 1249 0 0 7548227 25514 0 0 18 0 3 0 680210005 5665181696 1273628 268435456000 4194304 4417452 140734050960576 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/29842/statm: 1383101 1273628 176 55 0 1380987 0
[pid=29842/tid=29853] ppid=29840 vsize=5532404 CPUtime=2367.15 cores=0-31
/proc/29842/task/29853/stat : 29853 (plingeling) R 29840 29842 29816 0 -1 4202560 769738 1249 0 0 235923 792 0 0 25 0 3 0 680210516 5665181696 1273628 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29842/tid=29867] ppid=29840 vsize=5532404 CPUtime=2366.7 cores=0-31
/proc/29842/task/29867/stat : 29867 (plingeling) R 29840 29842 29816 0 -1 4202560 796445 1249 0 0 235963 707 0 0 25 0 3 0 680210517 5665181696 1273628 268435456000 4194304 4417452 140734050960576 18446744073709551615 4277291 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 75737.4
Current children cumulated vsize (KiB) 5532404
[startup+2385.2 s]
/proc/loadavg: 32.04 32.06 31.94 3/416 29956
/proc/meminfo: memFree=250408136/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=5532376 CPUtime=75738.2 cores=0-31
/proc/29842/stat : 29842 (plingeling) S 29840 29842 29816 0 -1 4202496 29656183 1249 0 0 7548302 25515 0 0 18 0 3 0 680210005 5665153024 1273621 268435456000 4194304 4417452 140734050960576 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/29842/statm: 1383094 1273621 176 55 0 1380980 0
[pid=29842/tid=29853] ppid=29840 vsize=5532376 CPUtime=2367.53 cores=0-31
/proc/29842/task/29853/stat : 29853 (plingeling) R 29840 29842 29816 0 -1 4202560 769738 1249 0 0 235961 792 0 0 25 0 3 0 680210516 5665153024 1273621 268435456000 4194304 4417452 140734050960576 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29842/tid=29867] ppid=29840 vsize=5532376 CPUtime=2367.07 cores=0-31
/proc/29842/task/29867/stat : 29867 (plingeling) R 29840 29842 29816 0 -1 4202560 796445 1249 0 0 236000 707 0 0 25 0 3 0 680210517 5665153024 1273621 268435456000 4194304 4417452 140734050960576 18446744073709551615 4270219 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 75738.2
Current children cumulated vsize (KiB) 5532376
[startup+2385.6 s]
/proc/loadavg: 32.04 32.06 31.94 3/416 29956
/proc/meminfo: memFree=250408136/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=0 CPUtime=75738.7 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202500 29656187 1249 0 0 7548330 25538 0 0 16 0 1 0 680210005 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 30 0 0 0
/proc/29842/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 75738.7
Current children cumulated vsize (KiB) 0
[startup+2385.7 s]
/proc/loadavg: 32.04 32.06 31.94 3/416 29956
/proc/meminfo: memFree=250408136/264257624 swapFree=67111528/67111528
[pid=29842] ppid=29840 vsize=0 CPUtime=75738.8 cores=0-31
/proc/29842/stat : 29842 (plingeling) R 29840 29842 29816 0 -1 4202500 29656187 1249 0 0 7548330 25548 0 0 16 0 1 0 680210005 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 30 0 0 0
/proc/29842/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 75738.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2385.77
CPU time (s): 75738.9
CPU user time (s): 75483.3
CPU system time (s): 255.566
CPU usage (%): 3174.6
Max. virtual memory (cumulated for all children) (KiB): 6751336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75483.3
system time used= 255.566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29657436
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= 29779
involuntary context switches= 189739
runsolver used 12.6441 second user time and 54.8937 second system time
The end
Begin job on node200 at 2011-05-18 04:53:56
IDJOB=3372576
IDBENCH=82467
IDSOLVER=1852
FILE ID=node200/3372576-1305687235
RUNJOBID= node200-1305687222-29830
PBS_JOBID= 13357379
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372576-1305687235/watcher-3372576-1305687235 -o /tmp/evaluation-result-3372576-1305687235/solver-3372576-1305687235 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372576-1305687235.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8dae13531986e2a9bdb6559418f57130
RANDOM SEED=1815457467
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: 255517716 kB
Buffers: 451764 kB
Cached: 7891592 kB
SwapCached: 0 kB
Active: 7404280 kB
Inactive: 1008024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255517716 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4568 kB
Writeback: 0 kB
AnonPages: 68696 kB
Mapped: 14408 kB
Slab: 251428 kB
PageTables: 4324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190668 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= 62048 MiB
End job on node200 at 2011-05-18 05:33:42