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-3372801-1306049148/watcher-3372801-1306049148 -o /tmp/evaluation-result-3372801-1306049148/solver-3372801-1306049148 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372801-1306049148.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: 31.48 31.78 31.34 1/413 24670
/proc/meminfo: memFree=255497756/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=11676 CPUtime=0.02 cores=0-31
/proc/24670/stat : 24670 (plingeling) R 24668 24670 24644 0 -1 4202496 1000 1241 0 0 2 0 0 0 25 0 1 0 716401241 11956224 931 268435456000 4194304 4417452 140736869775200 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24670/statm: 2919 931 145 55 0 805 0
[startup+0.057095 s]
/proc/loadavg: 31.48 31.78 31.34 1/413 24670
/proc/meminfo: memFree=255497756/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=12796 CPUtime=0.04 cores=0-31
/proc/24670/stat : 24670 (plingeling) R 24668 24670 24644 0 -1 4202496 1272 1241 0 0 4 0 0 0 25 0 1 0 716401241 13103104 1203 268435456000 4194304 4417452 140736869775200 18446744073709551615 4227787 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24670/statm: 3199 1203 145 55 0 1085 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12796
[startup+0.101094 s]
/proc/loadavg: 31.48 31.78 31.34 1/413 24670
/proc/meminfo: memFree=255497756/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=16712 CPUtime=0.08 cores=0-31
/proc/24670/stat : 24670 (plingeling) R 24668 24670 24644 0 -1 4202496 2267 1241 0 0 8 0 0 0 25 0 1 0 716401241 17113088 2198 268435456000 4194304 4417452 140736869775200 18446744073709551615 4231518 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24670/statm: 4178 2198 145 55 0 2064 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16712
[startup+0.301104 s]
/proc/loadavg: 31.48 31.78 31.34 1/413 24670
/proc/meminfo: memFree=255497756/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=31140 CPUtime=0.28 cores=0-31
/proc/24670/stat : 24670 (plingeling) R 24668 24670 24644 0 -1 4202496 5859 1241 0 0 27 1 0 0 25 0 1 0 716401241 31887360 5790 268435456000 4194304 4417452 140736869775200 18446744073709551615 4264920 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24670/statm: 7785 5790 146 55 0 5671 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31140
[startup+0.701134 s]
/proc/loadavg: 31.48 31.78 31.34 1/413 24670
/proc/meminfo: memFree=255497756/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=70596 CPUtime=0.68 cores=0-31
/proc/24670/stat : 24670 (plingeling) R 24668 24670 24644 0 -1 4202496 15723 1241 0 0 64 4 0 0 25 0 1 0 716401241 72290304 15654 268435456000 4194304 4417452 140736869775200 18446744073709551615 4231619 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24670/statm: 17649 15654 146 55 0 15535 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 70596
[startup+1.501 s]
/proc/loadavg: 31.48 31.78 31.34 2/414 24676
/proc/meminfo: memFree=255393704/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=768180 CPUtime=12.11 cores=0-31
/proc/24670/stat : 24670 (plingeling) S 24668 24670 24644 0 -1 4202496 34781 1241 0 0 1201 10 0 0 18 0 33 0 716401241 786616320 27305 268435456000 4194304 4417452 140736869775200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/24670/statm: 192045 27305 172 55 0 189931 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 768180
[startup+3.10205 s]
/proc/loadavg: 31.52 31.78 31.34 33/446 24708
/proc/meminfo: memFree=255376136/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=782172 CPUtime=63.26 cores=0-31
/proc/24670/stat : 24670 (plingeling) S 24668 24670 24644 0 -1 4202496 43014 1241 0 0 6311 15 0 0 18 0 33 0 716401241 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/24670/statm: 195543 30810 175 55 0 193429 0
[pid=24670/tid=24677] ppid=24668 vsize=782172 CPUtime=1.96 cores=0-31
/proc/24670/task/24677/stat : 24677 (plingeling) R 24668 24670 24644 0 -1 4202560 301 1241 0 0 196 0 0 0 25 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=782172 CPUtime=1.96 cores=0-31
/proc/24670/task/24678/stat : 24678 (plingeling) R 24668 24670 24644 0 -1 4202560 249 1241 0 0 196 0 0 0 20 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24679/stat : 24679 (plingeling) R 24668 24670 24644 0 -1 4202560 379 1241 0 0 195 0 0 0 20 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4357106 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=782172 CPUtime=1.93 cores=0-31
/proc/24670/task/24680/stat : 24680 (plingeling) R 24668 24670 24644 0 -1 4202560 1202 1241 0 0 193 0 0 0 20 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=782172 CPUtime=1.96 cores=0-31
/proc/24670/task/24681/stat : 24681 (plingeling) R 24668 24670 24644 0 -1 4202560 346 1241 0 0 196 0 0 0 20 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24682/stat : 24682 (plingeling) R 24668 24670 24644 0 -1 4202560 351 1241 0 0 195 0 0 0 25 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=782172 CPUtime=1.94 cores=0-31
/proc/24670/task/24683/stat : 24683 (plingeling) R 24668 24670 24644 0 -1 4202560 453 1241 0 0 194 0 0 0 25 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=782172 CPUtime=1.96 cores=0-31
/proc/24670/task/24684/stat : 24684 (plingeling) R 24668 24670 24644 0 -1 4202560 118 1241 0 0 196 0 0 0 21 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24685/stat : 24685 (plingeling) R 24668 24670 24644 0 -1 4202560 230 1241 0 0 195 0 0 0 20 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4258491 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24686/stat : 24686 (plingeling) R 24668 24670 24644 0 -1 4202560 619 1241 0 0 195 0 0 0 20 0 33 0 716401353 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249193 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=782172 CPUtime=1.94 cores=0-31
/proc/24670/task/24687/stat : 24687 (plingeling) R 24668 24670 24644 0 -1 4202560 693 1241 0 0 194 0 0 0 21 0 33 0 716401354 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4365221 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24688/stat : 24688 (plingeling) R 24668 24670 24644 0 -1 4202560 247 1241 0 0 195 0 0 0 20 0 33 0 716401354 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24670/tid=24689] ppid=24668 vsize=782172 CPUtime=1.93 cores=0-31
/proc/24670/task/24689/stat : 24689 (plingeling) R 24668 24670 24644 0 -1 4202560 309 1241 0 0 193 0 0 0 25 0 33 0 716401354 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24670/tid=24690] ppid=24668 vsize=782172 CPUtime=1.93 cores=0-31
/proc/24670/task/24690/stat : 24690 (plingeling) R 24668 24670 24644 0 -1 4202560 184 1241 0 0 193 0 0 0 25 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24670/tid=24691] ppid=24668 vsize=782172 CPUtime=1.94 cores=0-31
/proc/24670/task/24691/stat : 24691 (plingeling) R 24668 24670 24644 0 -1 4202560 645 1241 0 0 194 0 0 0 21 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24670/tid=24692] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24692/stat : 24692 (plingeling) R 24668 24670 24644 0 -1 4202560 454 1241 0 0 195 0 0 0 21 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4250306 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24670/tid=24693] ppid=24668 vsize=782172 CPUtime=1.94 cores=0-31
/proc/24670/task/24693/stat : 24693 (plingeling) R 24668 24670 24644 0 -1 4202560 466 1241 0 0 194 0 0 0 21 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24670/tid=24694] ppid=24668 vsize=782172 CPUtime=1.94 cores=0-31
/proc/24670/task/24694/stat : 24694 (plingeling) R 24668 24670 24644 0 -1 4202560 323 1241 0 0 194 0 0 0 20 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24670/tid=24695] ppid=24668 vsize=782172 CPUtime=1.93 cores=0-31
/proc/24670/task/24695/stat : 24695 (plingeling) R 24668 24670 24644 0 -1 4202560 376 1241 0 0 193 0 0 0 25 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24670/tid=24696] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24696/stat : 24696 (plingeling) R 24668 24670 24644 0 -1 4202560 171 1241 0 0 195 0 0 0 20 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24670/tid=24697] ppid=24668 vsize=782172 CPUtime=1.94 cores=0-31
/proc/24670/task/24697/stat : 24697 (plingeling) R 24668 24670 24644 0 -1 4202560 337 1241 0 0 194 0 0 0 20 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249151 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24670/tid=24698] ppid=24668 vsize=782172 CPUtime=1.95 cores=0-31
/proc/24670/task/24698/stat : 24698 (plingeling) R 24668 24670 24644 0 -1 4202560 258 1241 0 0 195 0 0 0 21 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24670/tid=24699] ppid=24668 vsize=782172 CPUtime=1.92 cores=0-31
/proc/24670/task/24699/stat : 24699 (plingeling) R 24668 24670 24644 0 -1 4202560 487 1241 0 0 192 0 0 0 20 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24670/tid=24700] ppid=24668 vsize=782172 CPUtime=1.93 cores=0-31
/proc/24670/task/24700/stat : 24700 (plingeling) R 24668 24670 24644 0 -1 4202560 374 1241 0 0 193 0 0 0 20 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249151 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24670/tid=24701] ppid=24668 vsize=782172 CPUtime=1.91 cores=0-31
/proc/24670/task/24701/stat : 24701 (plingeling) R 24668 24670 24644 0 -1 4202560 341 1241 0 0 191 0 0 0 25 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24670/tid=24702] ppid=24668 vsize=782172 CPUtime=1.91 cores=0-31
/proc/24670/task/24702/stat : 24702 (plingeling) R 24668 24670 24644 0 -1 4202560 228 1241 0 0 191 0 0 0 20 0 33 0 716401355 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24670/tid=24703] ppid=24668 vsize=782172 CPUtime=1.91 cores=0-31
/proc/24670/task/24703/stat : 24703 (plingeling) R 24668 24670 24644 0 -1 4202560 573 1241 0 0 191 0 0 0 25 0 33 0 716401356 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4251187 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24670/tid=24704] ppid=24668 vsize=782172 CPUtime=1.92 cores=0-31
/proc/24670/task/24704/stat : 24704 (plingeling) R 24668 24670 24644 0 -1 4202560 213 1241 0 0 192 0 0 0 25 0 33 0 716401356 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24670/tid=24705] ppid=24668 vsize=782172 CPUtime=1.9 cores=0-31
/proc/24670/task/24705/stat : 24705 (plingeling) R 24668 24670 24644 0 -1 4202560 334 1241 0 0 190 0 0 0 25 0 33 0 716401356 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4250013 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24670/tid=24706] ppid=24668 vsize=782172 CPUtime=1.91 cores=0-31
/proc/24670/task/24706/stat : 24706 (plingeling) R 24668 24670 24644 0 -1 4202560 201 1241 0 0 191 0 0 0 25 0 33 0 716401356 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249935 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24670/tid=24707] ppid=24668 vsize=782172 CPUtime=1.91 cores=0-31
/proc/24670/task/24707/stat : 24707 (plingeling) R 24668 24670 24644 0 -1 4202560 632 1241 0 0 191 0 0 0 21 0 33 0 716401356 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4365167 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24670/tid=24708] ppid=24668 vsize=782172 CPUtime=1.91 cores=0-31
/proc/24670/task/24708/stat : 24708 (plingeling) R 24668 24670 24644 0 -1 4202560 431 1241 0 0 191 0 0 0 25 0 33 0 716401356 800944128 30810 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 63.26
Current children cumulated vsize (KiB) 782172
[startup+6.30217 s]
/proc/loadavg: 31.52 31.78 31.34 32/446 24708
/proc/meminfo: memFree=255260152/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=894620 CPUtime=164.45 cores=0-31
/proc/24670/stat : 24670 (plingeling) S 24668 24670 24644 0 -1 4202496 96792 1241 0 0 16367 78 0 0 18 0 33 0 716401241 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/24670/statm: 223655 61209 175 55 0 221541 0
[pid=24670/tid=24677] ppid=24668 vsize=894620 CPUtime=5.12 cores=0-31
/proc/24670/task/24677/stat : 24677 (plingeling) R 24668 24670 24644 0 -1 4202560 2276 1241 0 0 510 2 0 0 22 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=894620 CPUtime=5.11 cores=0-31
/proc/24670/task/24678/stat : 24678 (plingeling) R 24668 24670 24644 0 -1 4202560 1974 1241 0 0 510 1 0 0 25 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=894620 CPUtime=5.12 cores=0-31
/proc/24670/task/24679/stat : 24679 (plingeling) R 24668 24670 24644 0 -1 4202560 2332 1241 0 0 511 1 0 0 25 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4250747 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=894620 CPUtime=5.11 cores=0-31
/proc/24670/task/24680/stat : 24680 (plingeling) R 24668 24670 24644 0 -1 4202560 3559 1241 0 0 507 4 0 0 18 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4366652 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=894620 CPUtime=5.11 cores=0-31
/proc/24670/task/24681/stat : 24681 (plingeling) R 24668 24670 24644 0 -1 4202560 2736 1241 0 0 509 2 0 0 25 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=894620 CPUtime=5.14 cores=0-31
/proc/24670/task/24682/stat : 24682 (plingeling) R 24668 24670 24644 0 -1 4202560 1713 1241 0 0 512 2 0 0 25 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=894620 CPUtime=5.12 cores=0-31
/proc/24670/task/24683/stat : 24683 (plingeling) R 24668 24670 24644 0 -1 4202560 2613 1241 0 0 509 3 0 0 20 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4320932 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=894620 CPUtime=5.09 cores=0-31
/proc/24670/task/24684/stat : 24684 (plingeling) R 24668 24670 24644 0 -1 4202560 1599 1241 0 0 507 2 0 0 18 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=894620 CPUtime=5.1 cores=0-31
/proc/24670/task/24685/stat : 24685 (plingeling) R 24668 24670 24644 0 -1 4202560 1953 1241 0 0 509 1 0 0 25 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=894620 CPUtime=5.12 cores=0-31
/proc/24670/task/24686/stat : 24686 (plingeling) R 24668 24670 24644 0 -1 4202560 2253 1241 0 0 510 2 0 0 20 0 33 0 716401353 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249970 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=894620 CPUtime=5.11 cores=0-31
/proc/24670/task/24687/stat : 24687 (plingeling) R 24668 24670 24644 0 -1 4202560 2688 1241 0 0 508 3 0 0 25 0 33 0 716401354 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=894620 CPUtime=5.12 cores=0-31
/proc/24670/task/24688/stat : 24688 (plingeling) R 24668 24670 24644 0 -1 4202560 2127 1241 0 0 511 1 0 0 25 0 33 0 716401354 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24670/tid=24689] ppid=24668 vsize=894620 CPUtime=5.1 cores=0-31
/proc/24670/task/24689/stat : 24689 (plingeling) R 24668 24670 24644 0 -1 4202560 1437 1241 0 0 509 1 0 0 25 0 33 0 716401354 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24670/tid=24690] ppid=24668 vsize=894620 CPUtime=5.07 cores=0-31
/proc/24670/task/24690/stat : 24690 (plingeling) R 24668 24670 24644 0 -1 4202560 2077 1241 0 0 505 2 0 0 19 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4247954 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24670/tid=24691] ppid=24668 vsize=894620 CPUtime=5.1 cores=0-31
/proc/24670/task/24691/stat : 24691 (plingeling) R 24668 24670 24644 0 -1 4202560 2700 1241 0 0 507 3 0 0 19 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4357851 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24670/tid=24692] ppid=24668 vsize=894620 CPUtime=5.07 cores=0-31
/proc/24670/task/24692/stat : 24692 (plingeling) R 24668 24670 24644 0 -1 4202560 1909 1241 0 0 506 1 0 0 25 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24670/tid=24693] ppid=24668 vsize=894620 CPUtime=5.1 cores=0-31
/proc/24670/task/24693/stat : 24693 (plingeling) R 24668 24670 24644 0 -1 4202560 1917 1241 0 0 510 0 0 0 20 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24670/tid=24694] ppid=24668 vsize=894620 CPUtime=5.09 cores=0-31
/proc/24670/task/24694/stat : 24694 (plingeling) R 24668 24670 24644 0 -1 4202560 1353 1241 0 0 508 1 0 0 25 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24670/tid=24695] ppid=24668 vsize=894620 CPUtime=5.11 cores=0-31
/proc/24670/task/24695/stat : 24695 (plingeling) R 24668 24670 24644 0 -1 4202560 1944 1241 0 0 510 1 0 0 25 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4366024 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24670/tid=24696] ppid=24668 vsize=894620 CPUtime=5.11 cores=0-31
/proc/24670/task/24696/stat : 24696 (plingeling) R 24668 24670 24644 0 -1 4202560 1523 1241 0 0 509 2 0 0 25 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24670/tid=24697] ppid=24668 vsize=894620 CPUtime=5.08 cores=0-31
/proc/24670/task/24697/stat : 24697 (plingeling) R 24668 24670 24644 0 -1 4202560 1859 1241 0 0 506 2 0 0 18 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24670/tid=24698] ppid=24668 vsize=894620 CPUtime=5.1 cores=0-31
/proc/24670/task/24698/stat : 24698 (plingeling) R 24668 24670 24644 0 -1 4202560 2169 1241 0 0 508 2 0 0 18 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24670/tid=24699] ppid=24668 vsize=894620 CPUtime=5.12 cores=0-31
/proc/24670/task/24699/stat : 24699 (plingeling) R 24668 24670 24644 0 -1 4202560 1765 1241 0 0 511 1 0 0 25 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24670/tid=24700] ppid=24668 vsize=894620 CPUtime=5.1 cores=0-31
/proc/24670/task/24700/stat : 24700 (plingeling) R 24668 24670 24644 0 -1 4202560 1589 1241 0 0 509 1 0 0 25 0 33 0 716401355 916090880 61209 268435456000 4194304 4417452 140736869775200 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 26 0 0 0
################
# More data... #
################
/proc/24670/task/24702/stat : 24702 (plingeling) R 24668 24670 24644 0 -1 4202560 2330 1241 0 0 588 1 0 0 25 0 33 0 716401355 928464896 64228 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24670/tid=24703] ppid=24668 vsize=906704 CPUtime=5.89 cores=0-31
/proc/24670/task/24703/stat : 24703 (plingeling) R 24668 24670 24644 0 -1 4202560 2520 1241 0 0 586 3 0 0 18 0 33 0 716401356 928464896 64228 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24670/tid=24704] ppid=24668 vsize=906704 CPUtime=5.81 cores=0-31
/proc/24670/task/24704/stat : 24704 (plingeling) R 24668 24670 24644 0 -1 4202560 2593 1241 0 0 578 3 0 0 25 0 33 0 716401356 928464896 64228 268435456000 4194304 4417452 140736869775200 18446744073709551615 4250894 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24670/tid=24705] ppid=24668 vsize=906704 CPUtime=5.8 cores=0-31
/proc/24670/task/24705/stat : 24705 (plingeling) R 24668 24670 24644 0 -1 4202560 2142 1241 0 0 577 3 0 0 21 0 33 0 716401356 928464896 64228 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24670/tid=24706] ppid=24668 vsize=906704 CPUtime=5.85 cores=0-31
/proc/24670/task/24706/stat : 24706 (plingeling) R 24668 24670 24644 0 -1 4202560 1518 1241 0 0 583 2 0 0 25 0 33 0 716401356 928464896 64228 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24670/tid=24707] ppid=24668 vsize=906704 CPUtime=5.9 cores=0-31
/proc/24670/task/24707/stat : 24707 (plingeling) R 24668 24670 24644 0 -1 4202560 2592 1241 0 0 588 2 0 0 18 0 33 0 716401356 928464896 64228 268435456000 4194304 4417452 140736869775200 18446744073709551615 4232523 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24670/tid=24708] ppid=24668 vsize=906704 CPUtime=5.89 cores=0-31
/proc/24670/task/24708/stat : 24708 (plingeling) R 24668 24670 24644 0 -1 4202560 2575 1241 0 0 587 2 0 0 19 0 33 0 716401356 928464896 64228 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364508 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (KiB) 906704
[startup+7.50221 s]
/proc/loadavg: 31.52 31.78 31.34 33/446 24708
/proc/meminfo: memFree=255233040/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=914196 CPUtime=202.72 cores=0-31
/proc/24670/stat : 24670 (plingeling) S 24668 24670 24644 0 -1 4202496 112570 1241 0 0 20171 101 0 0 18 0 33 0 716401241 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/24670/statm: 228549 66100 175 55 0 226435 0
[pid=24670/tid=24677] ppid=24668 vsize=914196 CPUtime=6.32 cores=0-31
/proc/24670/task/24677/stat : 24677 (plingeling) R 24668 24670 24644 0 -1 4202560 2646 1241 0 0 629 3 0 0 25 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=914196 CPUtime=6.31 cores=0-31
/proc/24670/task/24678/stat : 24678 (plingeling) R 24668 24670 24644 0 -1 4202560 2353 1241 0 0 630 1 0 0 25 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=914196 CPUtime=6.31 cores=0-31
/proc/24670/task/24679/stat : 24679 (plingeling) R 24668 24670 24644 0 -1 4202560 2838 1241 0 0 630 1 0 0 25 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=914196 CPUtime=6.3 cores=0-31
/proc/24670/task/24680/stat : 24680 (plingeling) R 24668 24670 24644 0 -1 4202560 4188 1241 0 0 625 5 0 0 20 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4353743 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=914196 CPUtime=6.31 cores=0-31
/proc/24670/task/24681/stat : 24681 (plingeling) R 24668 24670 24644 0 -1 4202560 3492 1241 0 0 628 3 0 0 25 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=914196 CPUtime=6.33 cores=0-31
/proc/24670/task/24682/stat : 24682 (plingeling) R 24668 24670 24644 0 -1 4202560 2048 1241 0 0 631 2 0 0 25 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=914196 CPUtime=6.32 cores=0-31
/proc/24670/task/24683/stat : 24683 (plingeling) R 24668 24670 24644 0 -1 4202560 2921 1241 0 0 628 4 0 0 23 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24684/stat : 24684 (plingeling) R 24668 24670 24644 0 -1 4202560 2050 1241 0 0 627 2 0 0 20 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24685/stat : 24685 (plingeling) R 24668 24670 24644 0 -1 4202560 2363 1241 0 0 627 2 0 0 25 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=914196 CPUtime=6.32 cores=0-31
/proc/24670/task/24686/stat : 24686 (plingeling) R 24668 24670 24644 0 -1 4202560 2497 1241 0 0 630 2 0 0 23 0 33 0 716401353 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=914196 CPUtime=6.31 cores=0-31
/proc/24670/task/24687/stat : 24687 (plingeling) R 24668 24670 24644 0 -1 4202560 3155 1241 0 0 627 4 0 0 25 0 33 0 716401354 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=914196 CPUtime=6.31 cores=0-31
/proc/24670/task/24688/stat : 24688 (plingeling) R 24668 24670 24644 0 -1 4202560 2666 1241 0 0 630 1 0 0 19 0 33 0 716401354 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24670/tid=24689] ppid=24668 vsize=914196 CPUtime=6.3 cores=0-31
/proc/24670/task/24689/stat : 24689 (plingeling) R 24668 24670 24644 0 -1 4202560 1924 1241 0 0 628 2 0 0 25 0 33 0 716401354 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24670/tid=24690] ppid=24668 vsize=914196 CPUtime=6.28 cores=0-31
/proc/24670/task/24690/stat : 24690 (plingeling) R 24668 24670 24644 0 -1 4202560 2424 1241 0 0 625 3 0 0 21 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24670/tid=24691] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24691/stat : 24691 (plingeling) R 24668 24670 24644 0 -1 4202560 3403 1241 0 0 625 4 0 0 21 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24670/tid=24692] ppid=24668 vsize=914196 CPUtime=6.24 cores=0-31
/proc/24670/task/24692/stat : 24692 (plingeling) R 24668 24670 24644 0 -1 4202560 2628 1241 0 0 622 2 0 0 25 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4237176 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24670/tid=24693] ppid=24668 vsize=914196 CPUtime=6.31 cores=0-31
/proc/24670/task/24693/stat : 24693 (plingeling) R 24668 24670 24644 0 -1 4202560 2179 1241 0 0 630 1 0 0 23 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4250464 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24670/tid=24694] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24694/stat : 24694 (plingeling) R 24668 24670 24644 0 -1 4202560 1857 1241 0 0 627 2 0 0 25 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24670/tid=24695] ppid=24668 vsize=914196 CPUtime=6.3 cores=0-31
/proc/24670/task/24695/stat : 24695 (plingeling) R 24668 24670 24644 0 -1 4202560 2651 1241 0 0 629 1 0 0 25 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24670/tid=24696] ppid=24668 vsize=914196 CPUtime=6.31 cores=0-31
/proc/24670/task/24696/stat : 24696 (plingeling) R 24668 24670 24644 0 -1 4202560 2092 1241 0 0 629 2 0 0 25 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4356867 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24670/tid=24697] ppid=24668 vsize=914196 CPUtime=6.28 cores=0-31
/proc/24670/task/24697/stat : 24697 (plingeling) R 24668 24670 24644 0 -1 4202560 2278 1241 0 0 625 3 0 0 20 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24670/tid=24698] ppid=24668 vsize=914196 CPUtime=6.3 cores=0-31
/proc/24670/task/24698/stat : 24698 (plingeling) R 24668 24670 24644 0 -1 4202560 2528 1241 0 0 627 3 0 0 20 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24670/tid=24699] ppid=24668 vsize=914196 CPUtime=6.32 cores=0-31
/proc/24670/task/24699/stat : 24699 (plingeling) R 24668 24670 24644 0 -1 4202560 2247 1241 0 0 631 1 0 0 25 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24670/tid=24700] ppid=24668 vsize=914196 CPUtime=6.3 cores=0-31
/proc/24670/task/24700/stat : 24700 (plingeling) R 24668 24670 24644 0 -1 4202560 2124 1241 0 0 628 2 0 0 19 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4265625 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24670/tid=24701] ppid=24668 vsize=914196 CPUtime=6.26 cores=0-31
/proc/24670/task/24701/stat : 24701 (plingeling) R 24668 24670 24644 0 -1 4202560 2348 1241 0 0 625 1 0 0 18 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24670/tid=24702] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24702/stat : 24702 (plingeling) R 24668 24670 24644 0 -1 4202560 2853 1241 0 0 628 1 0 0 18 0 33 0 716401355 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4357079 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24670/tid=24703] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24703/stat : 24703 (plingeling) R 24668 24670 24644 0 -1 4202560 2629 1241 0 0 626 3 0 0 19 0 33 0 716401356 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24670/tid=24704] ppid=24668 vsize=914196 CPUtime=6.21 cores=0-31
/proc/24670/task/24704/stat : 24704 (plingeling) R 24668 24670 24644 0 -1 4202560 2888 1241 0 0 617 4 0 0 18 0 33 0 716401356 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24670/tid=24705] ppid=24668 vsize=914196 CPUtime=6.2 cores=0-31
/proc/24670/task/24705/stat : 24705 (plingeling) R 24668 24670 24644 0 -1 4202560 2249 1241 0 0 617 3 0 0 22 0 33 0 716401356 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24670/tid=24706] ppid=24668 vsize=914196 CPUtime=6.25 cores=0-31
/proc/24670/task/24706/stat : 24706 (plingeling) R 24668 24670 24644 0 -1 4202560 2015 1241 0 0 622 3 0 0 25 0 33 0 716401356 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24670/tid=24707] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24707/stat : 24707 (plingeling) R 24668 24670 24644 0 -1 4202560 2678 1241 0 0 627 2 0 0 19 0 33 0 716401356 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24670/tid=24708] ppid=24668 vsize=914196 CPUtime=6.29 cores=0-31
/proc/24670/task/24708/stat : 24708 (plingeling) R 24668 24670 24644 0 -1 4202560 2869 1241 0 0 627 2 0 0 20 0 33 0 716401356 936136704 66100 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 202.72
Current children cumulated vsize (KiB) 914196
[startup+7.90223 s]
/proc/loadavg: 31.56 31.78 31.34 34/446 24708
/proc/meminfo: memFree=255222616/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=916900 CPUtime=215.44 cores=0-31
/proc/24670/stat : 24670 (plingeling) S 24668 24670 24644 0 -1 4202496 117948 1241 0 0 21437 107 0 0 18 0 33 0 716401241 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/24670/statm: 229225 66772 175 55 0 227111 0
[pid=24670/tid=24677] ppid=24668 vsize=916900 CPUtime=6.71 cores=0-31
/proc/24670/task/24677/stat : 24677 (plingeling) R 24668 24670 24644 0 -1 4202560 2842 1241 0 0 668 3 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24670/tid=24678] ppid=24668 vsize=916900 CPUtime=6.7 cores=0-31
/proc/24670/task/24678/stat : 24678 (plingeling) R 24668 24670 24644 0 -1 4202560 2539 1241 0 0 668 2 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4354483 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24670/tid=24679] ppid=24668 vsize=916900 CPUtime=6.72 cores=0-31
/proc/24670/task/24679/stat : 24679 (plingeling) R 24668 24670 24644 0 -1 4202560 3093 1241 0 0 670 2 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24670/tid=24680] ppid=24668 vsize=916900 CPUtime=6.7 cores=0-31
/proc/24670/task/24680/stat : 24680 (plingeling) R 24668 24670 24644 0 -1 4202560 4188 1241 0 0 665 5 0 0 21 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24670/tid=24681] ppid=24668 vsize=916900 CPUtime=6.71 cores=0-31
/proc/24670/task/24681/stat : 24681 (plingeling) R 24668 24670 24644 0 -1 4202560 3658 1241 0 0 667 4 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24670/tid=24682] ppid=24668 vsize=916900 CPUtime=6.73 cores=0-31
/proc/24670/task/24682/stat : 24682 (plingeling) R 24668 24670 24644 0 -1 4202560 2154 1241 0 0 671 2 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24670/tid=24683] ppid=24668 vsize=916900 CPUtime=6.71 cores=0-31
/proc/24670/task/24683/stat : 24683 (plingeling) R 24668 24670 24644 0 -1 4202560 3054 1241 0 0 667 4 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4251060 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24670/tid=24684] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24684/stat : 24684 (plingeling) R 24668 24670 24644 0 -1 4202560 2335 1241 0 0 666 3 0 0 20 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24670/tid=24685] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24685/stat : 24685 (plingeling) R 24668 24670 24644 0 -1 4202560 2486 1241 0 0 666 3 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24670/tid=24686] ppid=24668 vsize=916900 CPUtime=6.71 cores=0-31
/proc/24670/task/24686/stat : 24686 (plingeling) R 24668 24670 24644 0 -1 4202560 2995 1241 0 0 669 2 0 0 25 0 33 0 716401353 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24670/tid=24687] ppid=24668 vsize=916900 CPUtime=6.7 cores=0-31
/proc/24670/task/24687/stat : 24687 (plingeling) R 24668 24670 24644 0 -1 4202560 3269 1241 0 0 666 4 0 0 25 0 33 0 716401354 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24670/tid=24688] ppid=24668 vsize=916900 CPUtime=6.71 cores=0-31
/proc/24670/task/24688/stat : 24688 (plingeling) R 24668 24670 24644 0 -1 4202560 2700 1241 0 0 670 1 0 0 20 0 33 0 716401354 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4265418 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24670/tid=24689] ppid=24668 vsize=916900 CPUtime=6.7 cores=0-31
/proc/24670/task/24689/stat : 24689 (plingeling) R 24668 24670 24644 0 -1 4202560 2046 1241 0 0 668 2 0 0 25 0 33 0 716401354 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4353615 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24670/tid=24690] ppid=24668 vsize=916900 CPUtime=6.67 cores=0-31
/proc/24670/task/24690/stat : 24690 (plingeling) R 24668 24670 24644 0 -1 4202560 2812 1241 0 0 664 3 0 0 22 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24670/tid=24691] ppid=24668 vsize=916900 CPUtime=6.68 cores=0-31
/proc/24670/task/24691/stat : 24691 (plingeling) R 24668 24670 24644 0 -1 4202560 3527 1241 0 0 664 4 0 0 22 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24670/tid=24692] ppid=24668 vsize=916900 CPUtime=6.61 cores=0-31
/proc/24670/task/24692/stat : 24692 (plingeling) R 24668 24670 24644 0 -1 4202560 2727 1241 0 0 659 2 0 0 25 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24670/tid=24693] ppid=24668 vsize=916900 CPUtime=6.7 cores=0-31
/proc/24670/task/24693/stat : 24693 (plingeling) R 24668 24670 24644 0 -1 4202560 2236 1241 0 0 669 1 0 0 25 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24670/tid=24694] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24694/stat : 24694 (plingeling) R 24668 24670 24644 0 -1 4202560 1970 1241 0 0 667 2 0 0 25 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24670/tid=24695] ppid=24668 vsize=916900 CPUtime=6.7 cores=0-31
/proc/24670/task/24695/stat : 24695 (plingeling) R 24668 24670 24644 0 -1 4202560 2835 1241 0 0 669 1 0 0 25 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24670/tid=24696] ppid=24668 vsize=916900 CPUtime=6.7 cores=0-31
/proc/24670/task/24696/stat : 24696 (plingeling) R 24668 24670 24644 0 -1 4202560 2212 1241 0 0 668 2 0 0 25 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4357902 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24670/tid=24697] ppid=24668 vsize=916900 CPUtime=6.68 cores=0-31
/proc/24670/task/24697/stat : 24697 (plingeling) R 24668 24670 24644 0 -1 4202560 2666 1241 0 0 665 3 0 0 18 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4357787 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24670/tid=24698] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24698/stat : 24698 (plingeling) R 24668 24670 24644 0 -1 4202560 2832 1241 0 0 666 3 0 0 21 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24670/tid=24699] ppid=24668 vsize=916900 CPUtime=6.72 cores=0-31
/proc/24670/task/24699/stat : 24699 (plingeling) R 24668 24670 24644 0 -1 4202560 2345 1241 0 0 671 1 0 0 25 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24670/tid=24700] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24700/stat : 24700 (plingeling) R 24668 24670 24644 0 -1 4202560 2230 1241 0 0 667 2 0 0 20 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24670/tid=24701] ppid=24668 vsize=916900 CPUtime=6.65 cores=0-31
/proc/24670/task/24701/stat : 24701 (plingeling) R 24668 24670 24644 0 -1 4202560 2469 1241 0 0 664 1 0 0 19 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24670/tid=24702] ppid=24668 vsize=916900 CPUtime=6.68 cores=0-31
/proc/24670/task/24702/stat : 24702 (plingeling) R 24668 24670 24644 0 -1 4202560 3102 1241 0 0 667 1 0 0 18 0 33 0 716401355 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24670/tid=24703] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24703/stat : 24703 (plingeling) R 24668 24670 24644 0 -1 4202560 2751 1241 0 0 666 3 0 0 19 0 33 0 716401356 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24670/tid=24704] ppid=24668 vsize=916900 CPUtime=6.61 cores=0-31
/proc/24670/task/24704/stat : 24704 (plingeling) R 24668 24670 24644 0 -1 4202560 3080 1241 0 0 657 4 0 0 18 0 33 0 716401356 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24670/tid=24705] ppid=24668 vsize=916900 CPUtime=6.59 cores=0-31
/proc/24670/task/24705/stat : 24705 (plingeling) R 24668 24670 24644 0 -1 4202560 2362 1241 0 0 656 3 0 0 18 0 33 0 716401356 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4236761 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24670/tid=24706] ppid=24668 vsize=916900 CPUtime=6.64 cores=0-31
/proc/24670/task/24706/stat : 24706 (plingeling) R 24668 24670 24644 0 -1 4202560 2136 1241 0 0 661 3 0 0 25 0 33 0 716401356 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24670/tid=24707] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24707/stat : 24707 (plingeling) R 24668 24670 24644 0 -1 4202560 2798 1241 0 0 666 3 0 0 20 0 33 0 716401356 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24670/tid=24708] ppid=24668 vsize=916900 CPUtime=6.69 cores=0-31
/proc/24670/task/24708/stat : 24708 (plingeling) R 24668 24670 24644 0 -1 4202560 3010 1241 0 0 667 2 0 0 21 0 33 0 716401356 938905600 66772 268435456000 4194304 4417452 140736869775200 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 215.44
Current children cumulated vsize (KiB) 916900
[startup+8.00239 s]
/proc/loadavg: 31.56 31.78 31.34 34/446 24708
/proc/meminfo: memFree=255222616/264257624 swapFree=67111528/67111528
[pid=24670] ppid=24668 vsize=422972 CPUtime=217.06 cores=0-31
/proc/24670/stat : 24670 (plingeling) R 24668 24670 24644 0 -1 4202496 118841 1241 0 0 21597 109 0 0 17 0 1 0 716401241 433123328 13911 268435456000 4194304 4417452 140736869775200 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 30 0 0 0
/proc/24670/statm: 105743 13707 176 55 0 103629 0
Current children cumulated CPU time (s) 217.06
Current children cumulated vsize (KiB) 422972
Child status: 20
Real time (s): 8.00846
CPU time (s): 217.09
CPU user time (s): 215.98
CPU system time (s): 1.10983
CPU usage (%): 2710.76
Max. virtual memory (cumulated for all children) (KiB): 916900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.98
system time used= 1.10983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120086
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= 2613
involuntary context switches= 589
runsolver used 0.052991 second user time and 0.198969 second system time
The end
Begin job on node200 at 2011-05-22 09:25:48
IDJOB=3372801
IDBENCH=83454
IDSOLVER=1852
FILE ID=node200/3372801-1306049148
RUNJOBID= node200-1306049148-24658
PBS_JOBID= 13387808
Free space on /tmp= 62044 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372801-1306049148/watcher-3372801-1306049148 -o /tmp/evaluation-result-3372801-1306049148/solver-3372801-1306049148 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372801-1306049148.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e53b8f4e61e6411a209ad63833d35585
RANDOM SEED=920535809
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: 255498284 kB
Buffers: 454808 kB
Cached: 7899216 kB
SwapCached: 0 kB
Active: 7433472 kB
Inactive: 989804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255498284 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 752 kB
Writeback: 0 kB
AnonPages: 70164 kB
Mapped: 13484 kB
Slab: 252952 kB
PageTables: 4720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 183140 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= 62044 MiB
End job on node200 at 2011-05-22 09:25:56