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-3372927-1306141063/watcher-3372927-1306141063 -o /tmp/evaluation-result-3372927-1306141063/solver-3372927-1306141063 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372927-1306141063.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: 32.29 32.10 30.99 2/413 556
/proc/meminfo: memFree=255328936/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=9396 CPUtime=0.01 cores=0-31
/proc/556/stat : 556 (plingeling) R 554 556 530 0 -1 4202496 424 1241 0 0 0 0 0 1 18 0 1 0 725592707 9621504 354 268435456000 4194304 4417452 140734960031376 18446744073709551615 4232770 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/556/statm: 2349 354 144 55 0 235 0
[startup+0.165963 s]
/proc/loadavg: 32.29 32.10 30.99 2/413 556
/proc/meminfo: memFree=255328936/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=613468 CPUtime=3.73 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 5179 1241 0 0 366 6 0 1 19 0 33 0 725592707 628191232 4836 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 153985 5513 175 55 0 151871 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 613468
[startup+0.341776 s]
/proc/loadavg: 32.29 32.10 30.99 2/413 556
/proc/meminfo: memFree=255328936/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=621860 CPUtime=9.32 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 8275 1241 0 0 921 10 0 1 19 0 33 0 725592707 636784640 7144 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 155465 7144 175 55 0 153351 0
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (KiB) 621860
[startup+0.404828 s]
/proc/loadavg: 32.29 32.10 30.99 2/413 556
/proc/meminfo: memFree=255328936/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=626748 CPUtime=11.18 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 10614 1241 0 0 1103 14 0 1 19 0 33 0 725592707 641789952 8368 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 156687 8368 175 55 0 154573 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 626748
[startup+0.700313 s]
/proc/loadavg: 32.29 32.10 30.99 2/413 556
/proc/meminfo: memFree=255328936/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=639828 CPUtime=20.39 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 19839 1241 0 0 2011 27 0 1 19 0 33 0 725592707 655183872 11719 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 159957 11719 175 55 0 157843 0
Current children cumulated CPU time (s) 20.39
Current children cumulated vsize (KiB) 639828
[startup+1.50234 s]
/proc/loadavg: 32.26 32.10 30.99 27/446 594
/proc/meminfo: memFree=255268792/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=668088 CPUtime=44.63 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 47068 1241 0 0 4386 76 0 1 19 0 33 0 725592707 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 167022 18601 175 55 0 164908 0
[pid=556/tid=563] ppid=554 vsize=668088 CPUtime=1.42 cores=0-31
/proc/556/task/563/stat : 563 (plingeling) R 554 556 530 0 -1 4202560 1308 1241 0 0 139 2 0 1 19 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4277559 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=556/tid=564] ppid=554 vsize=668088 CPUtime=1.4 cores=0-31
/proc/556/task/564/stat : 564 (plingeling) R 554 556 530 0 -1 4202560 1218 1241 0 0 137 2 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=556/tid=565] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/565/stat : 565 (plingeling) D 554 556 530 0 -1 4202560 1500 1241 0 0 138 2 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=556/tid=566] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/566/stat : 566 (plingeling) R 554 556 530 0 -1 4202560 2030 1241 0 0 136 4 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=556/tid=567] ppid=554 vsize=668088 CPUtime=1.42 cores=0-31
/proc/556/task/567/stat : 567 (plingeling) R 554 556 530 0 -1 4202560 1191 1241 0 0 140 1 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4307742 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=556/tid=568] ppid=554 vsize=668088 CPUtime=1.31 cores=0-31
/proc/556/task/568/stat : 568 (plingeling) R 554 556 530 0 -1 4202560 1456 1241 0 0 128 2 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=556/tid=569] ppid=554 vsize=668088 CPUtime=1.39 cores=0-31
/proc/556/task/569/stat : 569 (plingeling) R 554 556 530 0 -1 4202560 1852 1241 0 0 136 2 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=556/tid=570] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/570/stat : 570 (plingeling) R 554 556 530 0 -1 4202560 1658 1241 0 0 138 2 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366105 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=556/tid=571] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/571/stat : 571 (plingeling) R 554 556 530 0 -1 4202560 1318 1241 0 0 138 2 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4310429 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=556/tid=572] ppid=554 vsize=668088 CPUtime=1.37 cores=0-31
/proc/556/task/572/stat : 572 (plingeling) R 554 556 530 0 -1 4202560 1348 1241 0 0 135 1 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4309653 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=556/tid=573] ppid=554 vsize=668088 CPUtime=1.4 cores=0-31
/proc/556/task/573/stat : 573 (plingeling) R 554 556 530 0 -1 4202560 1768 1241 0 0 138 1 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=556/tid=574] ppid=554 vsize=668088 CPUtime=1.39 cores=0-31
/proc/556/task/574/stat : 574 (plingeling) R 554 556 530 0 -1 4202560 1066 1241 0 0 137 1 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4357708 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=556/tid=575] ppid=554 vsize=668088 CPUtime=1.39 cores=0-31
/proc/556/task/575/stat : 575 (plingeling) R 554 556 530 0 -1 4202560 1762 1241 0 0 135 3 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=556/tid=576] ppid=554 vsize=668088 CPUtime=1.4 cores=0-31
/proc/556/task/576/stat : 576 (plingeling) R 554 556 530 0 -1 4202560 1424 1241 0 0 138 1 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4256265 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=556/tid=577] ppid=554 vsize=668088 CPUtime=1.4 cores=0-31
/proc/556/task/577/stat : 577 (plingeling) R 554 556 530 0 -1 4202560 1760 1241 0 0 136 3 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=556/tid=578] ppid=554 vsize=668088 CPUtime=1.39 cores=0-31
/proc/556/task/578/stat : 578 (plingeling) R 554 556 530 0 -1 4202560 1153 1241 0 0 137 1 0 1 19 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=556/tid=579] ppid=554 vsize=668088 CPUtime=1.33 cores=0-31
/proc/556/task/579/stat : 579 (plingeling) R 554 556 530 0 -1 4202560 1307 1241 0 0 131 1 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=556/tid=580] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/580/stat : 580 (plingeling) R 554 556 530 0 -1 4202560 1278 1241 0 0 139 1 0 1 18 0 33 0 725592711 684122112 18601 268435456000 4194304 4417452 140734960031376 18446744073709551615 4316185 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=556/tid=581] ppid=554 vsize=668088 CPUtime=1.4 cores=0-31
/proc/556/task/581/stat : 581 (plingeling) R 554 556 530 0 -1 4202560 1557 1241 0 0 137 2 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=556/tid=582] ppid=554 vsize=668088 CPUtime=1.39 cores=0-31
/proc/556/task/582/stat : 582 (plingeling) R 554 556 530 0 -1 4202560 1660 1241 0 0 135 3 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=556/tid=583] ppid=554 vsize=668088 CPUtime=1.36 cores=0-31
/proc/556/task/583/stat : 583 (plingeling) R 554 556 530 0 -1 4202560 2043 1241 0 0 132 3 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=556/tid=584] ppid=554 vsize=668088 CPUtime=1.38 cores=0-31
/proc/556/task/584/stat : 584 (plingeling) R 554 556 530 0 -1 4202560 1503 1241 0 0 136 1 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=556/tid=585] ppid=554 vsize=668088 CPUtime=1.4 cores=0-31
/proc/556/task/585/stat : 585 (plingeling) R 554 556 530 0 -1 4202560 1580 1241 0 0 137 2 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364696 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=556/tid=586] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/586/stat : 586 (plingeling) R 554 556 530 0 -1 4202560 1223 1241 0 0 139 1 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4281485 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=556/tid=587] ppid=554 vsize=668088 CPUtime=1.38 cores=0-31
/proc/556/task/587/stat : 587 (plingeling) R 554 556 530 0 -1 4202560 1003 1241 0 0 136 1 0 1 25 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4330439 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=556/tid=588] ppid=554 vsize=668088 CPUtime=1.38 cores=0-31
/proc/556/task/588/stat : 588 (plingeling) D 554 556 530 0 -1 4202560 1247 1241 0 0 136 1 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=556/tid=589] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/589/stat : 589 (plingeling) R 554 556 530 0 -1 4202560 1428 1241 0 0 138 2 0 1 18 0 33 0 725592711 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=556/tid=590] ppid=554 vsize=668088 CPUtime=1.4 cores=0-31
/proc/556/task/590/stat : 590 (plingeling) R 554 556 530 0 -1 4202560 1265 1241 0 0 137 2 0 1 19 0 33 0 725592712 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=556/tid=591] ppid=554 vsize=668088 CPUtime=1.37 cores=0-31
/proc/556/task/591/stat : 591 (plingeling) D 554 556 530 0 -1 4202560 1361 1241 0 0 134 2 0 1 18 0 33 0 725592712 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650649918 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=556/tid=592] ppid=554 vsize=668088 CPUtime=1.41 cores=0-31
/proc/556/task/592/stat : 592 (plingeling) R 554 556 530 0 -1 4202560 1291 1241 0 0 138 2 0 1 25 0 33 0 725592712 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 4251086 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=556/tid=593] ppid=554 vsize=668088 CPUtime=1.43 cores=0-31
/proc/556/task/593/stat : 593 (plingeling) R 554 556 530 0 -1 4202560 1315 1241 0 0 141 1 0 1 18 0 33 0 725592712 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 18446744073699065873 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=556/tid=594] ppid=554 vsize=668088 CPUtime=1.37 cores=0-31
/proc/556/task/594/stat : 594 (plingeling) R 554 556 530 0 -1 4202560 1252 1241 0 0 134 2 0 1 18 0 33 0 725592712 684122112 18602 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 44.63
Current children cumulated vsize (KiB) 668088
[startup+3.10243 s]
/proc/loadavg: 32.26 32.10 30.99 33/446 594
/proc/meminfo: memFree=255228632/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=707516 CPUtime=92.33 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 113817 1241 0 0 9053 179 0 1 19 0 33 0 725592707 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 176879 28042 175 55 0 174765 0
[pid=556/tid=563] ppid=554 vsize=707516 CPUtime=2.93 cores=0-31
/proc/556/task/563/stat : 563 (plingeling) R 554 556 530 0 -1 4202560 3759 1241 0 0 286 6 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364508 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=556/tid=564] ppid=554 vsize=707516 CPUtime=2.93 cores=0-31
/proc/556/task/564/stat : 564 (plingeling) R 554 556 530 0 -1 4202560 3019 1241 0 0 287 5 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4236008 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=556/tid=565] ppid=554 vsize=707516 CPUtime=2.9 cores=0-31
/proc/556/task/565/stat : 565 (plingeling) D 554 556 530 0 -1 4202560 3607 1241 0 0 286 3 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650649796 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=556/tid=566] ppid=554 vsize=707516 CPUtime=2.94 cores=0-31
/proc/556/task/566/stat : 566 (plingeling) D 554 556 530 0 -1 4202560 3364 1241 0 0 286 7 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=556/tid=567] ppid=554 vsize=707516 CPUtime=2.94 cores=0-31
/proc/556/task/567/stat : 567 (plingeling) R 554 556 530 0 -1 4202560 3053 1241 0 0 289 4 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364488 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=556/tid=568] ppid=554 vsize=707516 CPUtime=2.81 cores=0-31
/proc/556/task/568/stat : 568 (plingeling) D 554 556 530 0 -1 4202560 3643 1241 0 0 274 6 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=556/tid=569] ppid=554 vsize=707516 CPUtime=2.9 cores=0-31
/proc/556/task/569/stat : 569 (plingeling) D 554 556 530 0 -1 4202560 4123 1241 0 0 282 7 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=556/tid=570] ppid=554 vsize=707516 CPUtime=2.92 cores=0-31
/proc/556/task/570/stat : 570 (plingeling) D 554 556 530 0 -1 4202560 4189 1241 0 0 284 7 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=556/tid=571] ppid=554 vsize=707516 CPUtime=2.86 cores=0-31
/proc/556/task/571/stat : 571 (plingeling) R 554 556 530 0 -1 4202560 3720 1241 0 0 280 5 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4232620 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=556/tid=572] ppid=554 vsize=707516 CPUtime=2.87 cores=0-31
/proc/556/task/572/stat : 572 (plingeling) R 554 556 530 0 -1 4202560 3220 1241 0 0 282 4 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=556/tid=573] ppid=554 vsize=707516 CPUtime=2.93 cores=0-31
/proc/556/task/573/stat : 573 (plingeling) D 554 556 530 0 -1 4202560 3768 1241 0 0 287 5 0 1 19 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=556/tid=574] ppid=554 vsize=707516 CPUtime=2.87 cores=0-31
/proc/556/task/574/stat : 574 (plingeling) R 554 556 530 0 -1 4202560 3007 1241 0 0 282 4 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4301977 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=556/tid=575] ppid=554 vsize=707516 CPUtime=2.9 cores=0-31
/proc/556/task/575/stat : 575 (plingeling) R 554 556 530 0 -1 4202560 3686 1241 0 0 284 5 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4237278 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=556/tid=576] ppid=554 vsize=707516 CPUtime=2.85 cores=0-31
/proc/556/task/576/stat : 576 (plingeling) R 554 556 530 0 -1 4202560 4060 1241 0 0 279 5 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4354510 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=556/tid=577] ppid=554 vsize=707516 CPUtime=2.84 cores=0-31
/proc/556/task/577/stat : 577 (plingeling) R 554 556 530 0 -1 4202560 3862 1241 0 0 278 5 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=556/tid=578] ppid=554 vsize=707516 CPUtime=2.89 cores=0-31
/proc/556/task/578/stat : 578 (plingeling) R 554 556 530 0 -1 4202560 3460 1241 0 0 283 5 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4250876 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=556/tid=579] ppid=554 vsize=707516 CPUtime=2.79 cores=0-31
/proc/556/task/579/stat : 579 (plingeling) R 554 556 530 0 -1 4202560 3460 1241 0 0 274 4 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=556/tid=580] ppid=554 vsize=707516 CPUtime=2.9 cores=0-31
/proc/556/task/580/stat : 580 (plingeling) R 554 556 530 0 -1 4202560 3357 1241 0 0 286 3 0 1 18 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=556/tid=581] ppid=554 vsize=707516 CPUtime=2.94 cores=0-31
/proc/556/task/581/stat : 581 (plingeling) R 554 556 530 0 -1 4202560 3159 1241 0 0 289 4 0 1 20 0 33 0 725592711 724496384 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=556/tid=582] ppid=554 vsize=708028 CPUtime=2.86 cores=0-31
/proc/556/task/582/stat : 582 (plingeling) D 554 556 530 0 -1 4202560 3724 1241 0 0 279 6 0 1 18 0 33 0 725592711 725020672 28042 268435456000 4194304 4417452 140734960031376 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=556/tid=583] ppid=554 vsize=707880 CPUtime=2.85 cores=0-31
/proc/556/task/583/stat : 583 (plingeling) R 554 556 530 0 -1 4202560 3713 1241 0 0 278 6 0 1 18 0 33 0 725592711 724869120 28005 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=556/tid=584] ppid=554 vsize=707880 CPUtime=2.91 cores=0-31
/proc/556/task/584/stat : 584 (plingeling) R 554 556 530 0 -1 4202560 3584 1241 0 0 286 4 0 1 18 0 33 0 725592711 724869120 27926 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=556/tid=585] ppid=554 vsize=707556 CPUtime=2.97 cores=0-31
/proc/556/task/585/stat : 585 (plingeling) D 554 556 530 0 -1 4202560 3322 1241 0 0 290 6 0 1 19 0 33 0 725592711 724537344 27927 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=556/tid=586] ppid=554 vsize=707556 CPUtime=2.87 cores=0-31
/proc/556/task/586/stat : 586 (plingeling) R 554 556 530 0 -1 4202560 3522 1241 0 0 281 5 0 1 19 0 33 0 725592711 724537344 27928 268435456000 4194304 4417452 140734960031376 18446744073709551615 4306281 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=556/tid=587] ppid=554 vsize=707556 CPUtime=2.9 cores=0-31
/proc/556/task/587/stat : 587 (plingeling) R 554 556 530 0 -1 4202560 3406 1241 0 0 284 5 0 1 18 0 33 0 725592711 724537344 27929 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=556/tid=588] ppid=554 vsize=707556 CPUtime=2.91 cores=0-31
/proc/556/task/588/stat : 588 (plingeling) R 554 556 530 0 -1 4202560 3265 1241 0 0 285 5 0 1 18 0 33 0 725592711 724537344 27929 268435456000 4194304 4417452 140734960031376 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=556/tid=589] ppid=554 vsize=707556 CPUtime=2.89 cores=0-31
/proc/556/task/589/stat : 589 (plingeling) R 554 556 530 0 -1 4202560 3511 1241 0 0 283 5 0 1 18 0 33 0 725592711 724537344 27801 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364805 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=556/tid=590] ppid=554 vsize=707556 CPUtime=2.72 cores=0-31
/proc/556/task/590/stat : 590 (plingeling) R 554 556 530 0 -1 4202560 2602 1241 0 0 267 4 0 1 21 0 33 0 725592712 724537344 27801 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=556/tid=591] ppid=554 vsize=707556 CPUtime=2.91 cores=0-31
################
# More data... #
################
/proc/556/task/576/stat : 576 (plingeling) R 554 556 530 0 -1 4202560 744436 1241 0 0 362692 796 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4247481 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=556/tid=577] ppid=554 vsize=12054680 CPUtime=3638.51 cores=0-31
/proc/556/task/577/stat : 577 (plingeling) R 554 556 530 0 -1 4202560 833057 1241 0 0 362917 933 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=556/tid=578] ppid=554 vsize=12054680 CPUtime=3639.05 cores=0-31
/proc/556/task/578/stat : 578 (plingeling) R 554 556 530 0 -1 4202560 745721 1241 0 0 362952 952 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=556/tid=579] ppid=554 vsize=12054680 CPUtime=3599.99 cores=0-31
/proc/556/task/579/stat : 579 (plingeling) R 554 556 530 0 -1 4202560 773494 1241 0 0 359150 848 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=556/tid=580] ppid=554 vsize=12054680 CPUtime=3638.36 cores=0-31
/proc/556/task/580/stat : 580 (plingeling) R 554 556 530 0 -1 4202560 693663 1241 0 0 363164 671 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=556/tid=581] ppid=554 vsize=12054680 CPUtime=3637.06 cores=0-31
/proc/556/task/581/stat : 581 (plingeling) R 554 556 530 0 -1 4202560 658137 1241 0 0 363032 673 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364893 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=556/tid=582] ppid=554 vsize=12054680 CPUtime=3609.84 cores=0-31
/proc/556/task/582/stat : 582 (plingeling) R 554 556 530 0 -1 4202560 885164 1241 0 0 360102 881 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=556/tid=583] ppid=554 vsize=12054680 CPUtime=3639.54 cores=0-31
/proc/556/task/583/stat : 583 (plingeling) R 554 556 530 0 -1 4202560 785717 1241 0 0 363232 721 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=556/tid=584] ppid=554 vsize=12054680 CPUtime=3637.09 cores=0-31
/proc/556/task/584/stat : 584 (plingeling) R 554 556 530 0 -1 4202560 807100 1241 0 0 362876 832 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=556/tid=585] ppid=554 vsize=12054680 CPUtime=3637.06 cores=0-31
/proc/556/task/585/stat : 585 (plingeling) R 554 556 530 0 -1 4202560 744193 1241 0 0 362705 1000 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=556/tid=586] ppid=554 vsize=12054680 CPUtime=3637.38 cores=0-31
/proc/556/task/586/stat : 586 (plingeling) R 554 556 530 0 -1 4202560 723358 1241 0 0 363029 708 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=556/tid=587] ppid=554 vsize=12054680 CPUtime=3637.77 cores=0-31
/proc/556/task/587/stat : 587 (plingeling) R 554 556 530 0 -1 4202560 678362 1241 0 0 362953 823 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=556/tid=588] ppid=554 vsize=12054680 CPUtime=3638.04 cores=0-31
/proc/556/task/588/stat : 588 (plingeling) R 554 556 530 0 -1 4202560 779939 1241 0 0 363147 656 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366806 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=556/tid=589] ppid=554 vsize=12054680 CPUtime=3627.73 cores=0-31
/proc/556/task/589/stat : 589 (plingeling) R 554 556 530 0 -1 4202560 667954 1241 0 0 361866 906 0 1 25 0 33 0 725592711 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=556/tid=590] ppid=554 vsize=12054680 CPUtime=3635.86 cores=0-31
/proc/556/task/590/stat : 590 (plingeling) R 554 556 530 0 -1 4202560 789598 1241 0 0 362766 819 0 1 25 0 33 0 725592712 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=556/tid=591] ppid=554 vsize=12054680 CPUtime=3639.28 cores=0-31
/proc/556/task/591/stat : 591 (plingeling) R 554 556 530 0 -1 4202560 663546 1241 0 0 363141 786 0 1 25 0 33 0 725592712 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=556/tid=592] ppid=554 vsize=12054680 CPUtime=3638.35 cores=0-31
/proc/556/task/592/stat : 592 (plingeling) R 554 556 530 0 -1 4202560 841800 1241 0 0 363019 815 0 1 25 0 33 0 725592712 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=556/tid=593] ppid=554 vsize=12054680 CPUtime=3638.88 cores=0-31
/proc/556/task/593/stat : 593 (plingeling) R 554 556 530 0 -1 4202560 605127 1241 0 0 363189 698 0 1 25 0 33 0 725592712 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=556/tid=594] ppid=554 vsize=12054680 CPUtime=3638.17 cores=0-31
/proc/556/task/594/stat : 594 (plingeling) R 554 556 530 0 -1 4202560 820343 1241 0 0 362915 901 0 1 25 0 33 0 725592712 12343992320 2881837 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 116335
Current children cumulated vsize (KiB) 12054680
[startup+3702.3 s]
/proc/loadavg: 31.76 32.06 32.07 26/439 704
/proc/meminfo: memFree=244134692/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=11712744 CPUtime=118232 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 24062250 1241 0 0 11796433 26719 0 1 19 0 23 0 725592707 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 2928186 2796296 176 55 0 2926072 0
[pid=556/tid=563] ppid=554 vsize=11712744 CPUtime=3694.48 cores=0-31
/proc/556/task/563/stat : 563 (plingeling) R 554 556 530 0 -1 4202560 762168 1241 0 0 368704 743 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=556/tid=565] ppid=554 vsize=11712744 CPUtime=3698.78 cores=0-31
/proc/556/task/565/stat : 565 (plingeling) R 554 556 530 0 -1 4202560 846815 1241 0 0 368907 970 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=556/tid=567] ppid=554 vsize=11712744 CPUtime=3698.2 cores=0-31
/proc/556/task/567/stat : 567 (plingeling) R 554 556 530 0 -1 4202560 782526 1241 0 0 369173 646 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=556/tid=570] ppid=554 vsize=11712744 CPUtime=3696.94 cores=0-31
/proc/556/task/570/stat : 570 (plingeling) R 554 556 530 0 -1 4202560 694383 1241 0 0 368934 759 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=556/tid=571] ppid=554 vsize=11712744 CPUtime=3697.82 cores=0-31
/proc/556/task/571/stat : 571 (plingeling) R 554 556 530 0 -1 4202560 817021 1241 0 0 368811 970 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=556/tid=572] ppid=554 vsize=11712744 CPUtime=3695.06 cores=0-31
/proc/556/task/572/stat : 572 (plingeling) R 554 556 530 0 -1 4202560 807726 1241 0 0 368690 815 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=556/tid=573] ppid=554 vsize=11712744 CPUtime=3699.05 cores=0-31
/proc/556/task/573/stat : 573 (plingeling) R 554 556 530 0 -1 4202560 769431 1241 0 0 369049 855 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=556/tid=574] ppid=554 vsize=11712744 CPUtime=3696.3 cores=0-31
/proc/556/task/574/stat : 574 (plingeling) R 554 556 530 0 -1 4202560 659391 1241 0 0 368891 738 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=556/tid=575] ppid=554 vsize=11712744 CPUtime=3698.24 cores=0-31
/proc/556/task/575/stat : 575 (plingeling) R 554 556 530 0 -1 4202560 757205 1241 0 0 368912 911 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=556/tid=577] ppid=554 vsize=11712744 CPUtime=3698.48 cores=0-31
/proc/556/task/577/stat : 577 (plingeling) R 554 556 530 0 -1 4202560 833057 1241 0 0 368914 933 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=556/tid=578] ppid=554 vsize=11712744 CPUtime=3698.97 cores=0-31
/proc/556/task/578/stat : 578 (plingeling) R 554 556 530 0 -1 4202560 745721 1241 0 0 368944 952 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=556/tid=579] ppid=554 vsize=11712744 CPUtime=3659.95 cores=0-31
/proc/556/task/579/stat : 579 (plingeling) R 554 556 530 0 -1 4202560 773494 1241 0 0 365146 848 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=556/tid=580] ppid=554 vsize=11712744 CPUtime=3698.33 cores=0-31
/proc/556/task/580/stat : 580 (plingeling) R 554 556 530 0 -1 4202560 751773 1241 0 0 369059 773 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=556/tid=581] ppid=554 vsize=11712744 CPUtime=3697.03 cores=0-31
/proc/556/task/581/stat : 581 (plingeling) R 554 556 530 0 -1 4202560 658137 1241 0 0 369029 673 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=556/tid=583] ppid=554 vsize=11712744 CPUtime=3699.51 cores=0-31
/proc/556/task/583/stat : 583 (plingeling) R 554 556 530 0 -1 4202560 785717 1241 0 0 369229 721 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=556/tid=585] ppid=554 vsize=11712744 CPUtime=3697.03 cores=0-31
/proc/556/task/585/stat : 585 (plingeling) R 554 556 530 0 -1 4202560 744193 1241 0 0 368702 1000 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=556/tid=586] ppid=554 vsize=11712744 CPUtime=3697.35 cores=0-31
/proc/556/task/586/stat : 586 (plingeling) R 554 556 530 0 -1 4202560 723358 1241 0 0 369026 708 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=556/tid=587] ppid=554 vsize=11712744 CPUtime=3697.72 cores=0-31
/proc/556/task/587/stat : 587 (plingeling) R 554 556 530 0 -1 4202560 678362 1241 0 0 368948 823 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=556/tid=588] ppid=554 vsize=11712744 CPUtime=3698.01 cores=0-31
/proc/556/task/588/stat : 588 (plingeling) R 554 556 530 0 -1 4202560 813262 1241 0 0 369078 722 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=556/tid=589] ppid=554 vsize=11712744 CPUtime=3687.69 cores=0-31
/proc/556/task/589/stat : 589 (plingeling) R 554 556 530 0 -1 4202560 667954 1241 0 0 367862 906 0 1 25 0 23 0 725592711 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=556/tid=590] ppid=554 vsize=11712744 CPUtime=3695.83 cores=0-31
/proc/556/task/590/stat : 590 (plingeling) R 554 556 530 0 -1 4202560 789598 1241 0 0 368763 819 0 1 25 0 23 0 725592712 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=556/tid=593] ppid=554 vsize=11712744 CPUtime=3698.84 cores=0-31
/proc/556/task/593/stat : 593 (plingeling) R 554 556 530 0 -1 4202560 605127 1241 0 0 369185 698 0 1 25 0 23 0 725592712 11993849856 2796296 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 118232
Current children cumulated vsize (KiB) 11712744
Solver just ended. Dumping a history of the last processes samples
[startup+3712.1 s]
/proc/loadavg: 28.92 31.45 31.87 9/422 704
/proc/meminfo: memFree=244134352/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=11702500 CPUtime=118381 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 24062250 1241 0 0 11811339 26719 0 1 18 0 9 0 725592707 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 2925625 2796294 176 55 0 2923511 0
[pid=556/tid=567] ppid=554 vsize=11702500 CPUtime=3708 cores=0-31
/proc/556/task/567/stat : 567 (plingeling) R 554 556 530 0 -1 4202560 782526 1241 0 0 370153 646 0 1 25 0 9 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=556/tid=571] ppid=554 vsize=11702500 CPUtime=3707.62 cores=0-31
/proc/556/task/571/stat : 571 (plingeling) R 554 556 530 0 -1 4202560 817021 1241 0 0 369791 970 0 1 25 0 9 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=556/tid=580] ppid=554 vsize=11702500 CPUtime=3708.13 cores=0-31
/proc/556/task/580/stat : 580 (plingeling) R 554 556 530 0 -1 4202560 751773 1241 0 0 370039 773 0 1 25 0 9 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=556/tid=583] ppid=554 vsize=11702500 CPUtime=3709.31 cores=0-31
/proc/556/task/583/stat : 583 (plingeling) R 554 556 530 0 -1 4202560 785717 1241 0 0 370209 721 0 1 25 0 9 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=556/tid=588] ppid=554 vsize=11702500 CPUtime=3707.81 cores=0-31
/proc/556/task/588/stat : 588 (plingeling) R 554 556 530 0 -1 4202560 813262 1241 0 0 370058 722 0 1 25 0 9 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=556/tid=589] ppid=554 vsize=11702500 CPUtime=3697.49 cores=0-31
/proc/556/task/589/stat : 589 (plingeling) R 554 556 530 0 -1 4202560 667954 1241 0 0 368842 906 0 1 25 0 9 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=556/tid=590] ppid=554 vsize=11702500 CPUtime=3705.63 cores=0-31
/proc/556/task/590/stat : 590 (plingeling) R 554 556 530 0 -1 4202560 789598 1241 0 0 369743 819 0 1 25 0 9 0 725592712 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=556/tid=593] ppid=554 vsize=11702500 CPUtime=3708.64 cores=0-31
/proc/556/task/593/stat : 593 (plingeling) R 554 556 530 0 -1 4202560 605127 1241 0 0 370165 698 0 1 25 0 9 0 725592712 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 118381
Current children cumulated vsize (KiB) 11702500
[startup+3718.5 s]
/proc/loadavg: 27.08 31.03 31.73 3/416 704
/proc/meminfo: memFree=244134584/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=11702500 CPUtime=118416 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 24078634 1241 0 0 11814850 26723 0 1 18 0 3 0 725592707 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 2925625 2796294 176 55 0 2923511 0
[pid=556/tid=567] ppid=554 vsize=11702500 CPUtime=3714.4 cores=0-31
/proc/556/task/567/stat : 567 (plingeling) R 554 556 530 0 -1 4202560 782526 1241 0 0 370793 646 0 1 25 0 3 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=556/tid=580] ppid=554 vsize=11702500 CPUtime=3714.52 cores=0-31
/proc/556/task/580/stat : 580 (plingeling) R 554 556 530 0 -1 4202560 768157 1241 0 0 370675 776 0 1 25 0 3 0 725592711 11983360000 2796294 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 118416
Current children cumulated vsize (KiB) 11702500
[startup+3721.7 s]
/proc/loadavg: 25.00 30.53 31.56 2/415 704
/proc/meminfo: memFree=244134832/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=11569328 CPUtime=118421 cores=0-31
/proc/556/stat : 556 (plingeling) S 554 556 530 0 -1 4202496 24078634 1241 0 0 11815363 26723 0 1 18 0 2 0 725592707 11846991872 2796268 268435456000 4194304 4417452 140734960031376 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/556/statm: 2892332 2796268 176 55 0 2890218 0
[pid=556/tid=580] ppid=554 vsize=11569328 CPUtime=3717.72 cores=0-31
/proc/556/task/580/stat : 580 (plingeling) R 554 556 530 0 -1 4202560 768157 1241 0 0 370995 776 0 1 25 0 2 0 725592711 11846991872 2796268 268435456000 4194304 4417452 140734960031376 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 118421
Current children cumulated vsize (KiB) 11569328
[startup+3722.5 s]
/proc/loadavg: 25.00 30.53 31.56 2/414 704
/proc/meminfo: memFree=246327868/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=9185880 CPUtime=118422 cores=0-31
/proc/556/stat : 556 (plingeling) R 554 556 530 0 -1 4202496 24078634 1241 0 0 11815418 26749 0 1 18 0 1 0 725592707 9406341120 2227405 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/556/statm: 2296470 2227263 176 55 0 2294356 0
Current children cumulated CPU time (s) 118422
Current children cumulated vsize (KiB) 9185880
[startup+3722.9 s]
/proc/loadavg: 25.00 30.53 31.56 2/414 704
/proc/meminfo: memFree=246327868/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=5674100 CPUtime=118422 cores=0-31
/proc/556/stat : 556 (plingeling) R 554 556 530 0 -1 4202496 24078634 1241 0 0 11815418 26788 0 1 18 0 1 0 725592707 5810278400 1344433 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/556/statm: 1418525 1344352 176 55 0 1416411 0
Current children cumulated CPU time (s) 118422
Current children cumulated vsize (KiB) 5674100
[startup+3723.3 s]
/proc/loadavg: 25.00 30.53 31.56 2/414 704
/proc/meminfo: memFree=246327868/264257624 swapFree=67111528/67111528
[pid=556] ppid=554 vsize=1308888 CPUtime=118422 cores=0-31
/proc/556/stat : 556 (plingeling) R 554 556 530 0 -1 4202496 24078634 1241 0 0 11815418 26828 0 1 19 0 1 0 725592707 1340301312 241706 268435456000 4194304 4417452 140734960031376 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/556/statm: 327222 241194 176 55 0 325108 0
Current children cumulated CPU time (s) 118422
Current children cumulated vsize (KiB) 1308888
Child status: 20
Real time (s): 3723.37
CPU time (s): 118423
CPU user time (s): 118154
CPU system time (s): 268.365
CPU usage (%): 3180.52
Max. virtual memory (cumulated for all children) (KiB): 12245820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118154
system time used= 268.365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24079879
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= 26749
involuntary context switches= 308782
runsolver used 18.3652 second user time and 86.6548 second system time
The end
Begin job on node200 at 2011-05-23 10:57:43
IDJOB=3372927
IDBENCH=87946
IDSOLVER=1852
FILE ID=node200/3372927-1306141063
RUNJOBID= node200-1306141063-544
PBS_JOBID= 13387843
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT02/industrial/aloul/Homer/homer17.shuffled.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372927-1306141063/watcher-3372927-1306141063 -o /tmp/evaluation-result-3372927-1306141063/solver-3372927-1306141063 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372927-1306141063.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ca62f6128dc3cad7229c7b9ee33a7492
RANDOM SEED=1924318628
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: 255329456 kB
Buffers: 459392 kB
Cached: 8059400 kB
SwapCached: 0 kB
Active: 7609460 kB
Inactive: 978356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255329456 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 20 kB
Writeback: 36 kB
AnonPages: 70212 kB
Mapped: 14332 kB
Slab: 253728 kB
PageTables: 5312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 196200 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-23 11:59:46