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-3372876-1306129154/watcher-3372876-1306129154 -o /tmp/evaluation-result-3372876-1306129154/solver-3372876-1306129154 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372876-1306129154.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: 24.67 29.63 30.54 1/413 30409
/proc/meminfo: memFree=255169624/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=19512 CPUtime=0.02 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 2934 1241 0 0 2 0 0 0 24 0 1 0 724402582 19980288 2866 268435456000 4194304 4417452 140737014798928 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 4878 2866 145 55 0 2764 0
[startup+0.072109 s]
/proc/loadavg: 24.67 29.63 30.54 1/413 30409
/proc/meminfo: memFree=255169624/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=24588 CPUtime=0.06 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 4231 1241 0 0 6 0 0 0 24 0 1 0 724402582 25178112 4163 268435456000 4194304 4417452 140737014798928 18446744073709551615 4231248 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 6147 4163 145 55 0 4033 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24588
[startup+0.101117 s]
/proc/loadavg: 24.67 29.63 30.54 1/413 30409
/proc/meminfo: memFree=255169624/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=24588 CPUtime=0.09 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 4231 1241 0 0 9 0 0 0 24 0 1 0 724402582 25178112 4163 268435456000 4194304 4417452 140737014798928 18446744073709551615 4323193 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 6147 4163 145 55 0 4033 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24588
[startup+0.30112 s]
/proc/loadavg: 24.67 29.63 30.54 1/413 30409
/proc/meminfo: memFree=255169624/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=45548 CPUtime=0.28 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 9472 1241 0 0 27 1 0 0 25 0 1 0 724402582 46641152 9404 268435456000 4194304 4417452 140737014798928 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 11387 9404 146 55 0 9273 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 45548
[startup+0.70112 s]
/proc/loadavg: 24.67 29.63 30.54 1/413 30409
/proc/meminfo: memFree=255169624/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=75988 CPUtime=0.68 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 17070 1241 0 0 65 3 0 0 25 0 1 0 724402582 77811712 17002 268435456000 4194304 4417452 140737014798928 18446744073709551615 4227784 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 18997 17002 146 55 0 16883 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 75988
[startup+1.50116 s]
/proc/loadavg: 24.67 29.63 30.54 2/414 30415
/proc/meminfo: memFree=255101704/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=136192 CPUtime=1.49 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 32105 1241 0 0 142 7 0 0 25 0 1 0 724402582 139460608 32037 268435456000 4194304 4417452 140737014798928 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 34048 32037 146 55 0 31934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136192
[startup+3.10122 s]
/proc/loadavg: 22.78 29.15 30.39 2/414 30415
/proc/meminfo: memFree=255023956/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=254812 CPUtime=3.08 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 61792 1241 0 0 296 12 0 0 25 0 1 0 724402582 260927488 61724 268435456000 4194304 4417452 140737014798928 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 63703 61724 146 55 0 61589 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 254812
[startup+6.30034 s]
/proc/loadavg: 22.78 29.15 30.39 2/414 30415
/proc/meminfo: memFree=254757308/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=494804 CPUtime=6.29 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 121790 1241 0 0 604 25 0 0 25 0 1 0 724402582 506679296 121722 268435456000 4194304 4417452 140737014798928 18446744073709551615 4264926 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 123701 121722 146 55 0 121587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 494804
[startup+12.7006 s]
/proc/loadavg: 19.43 28.22 30.07 2/414 30415
/proc/meminfo: memFree=254355192/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=822484 CPUtime=12.68 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 203710 1241 0 0 1225 43 0 0 25 0 1 0 724402582 842223616 203642 268435456000 4194304 4417452 140737014798928 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30409/statm: 205621 203642 146 55 0 203507 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 822484
[startup+25.501 s]
/proc/loadavg: 16.59 27.33 29.76 2/414 30415
/proc/meminfo: memFree=253551224/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=1628836 CPUtime=25.47 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 405298 1241 0 0 2463 84 0 0 25 0 1 0 724402582 1667928064 405230 268435456000 4194304 4417452 140737014798928 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/30409/statm: 407209 405230 146 55 0 405095 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1628836
[startup+51.1009 s]
/proc/loadavg: 11.27 25.21 28.99 2/414 30417
/proc/meminfo: memFree=251940972/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=3237564 CPUtime=51.06 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 807512 1241 0 0 4942 164 0 0 25 0 1 0 724402582 3315265536 807412 268435456000 4194304 4417452 140737014798928 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 12 0 0 0
/proc/30409/statm: 809391 807412 146 55 0 807277 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 3237564
[startup+102.334 s]
/proc/loadavg: 5.10 21.14 27.38 2/414 30417
/proc/meminfo: memFree=248715896/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=6456352 CPUtime=102.29 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 1612327 1241 0 0 9910 319 0 0 25 0 1 0 724402582 6611304448 1612109 268435456000 4194304 4417452 140737014798928 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 12 0 0 0
/proc/30409/statm: 1614088 1612109 146 55 0 1611974 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 6456352
[startup+162.302 s]
/proc/loadavg: 9.37 18.99 26.22 30/446 30451
/proc/meminfo: memFree=247162752/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=8632900 CPUtime=596.06 cores=0-31
/proc/30409/stat : 30409 (plingeling) S 30407 30409 30383 0 -1 4202496 2576268 1241 0 0 58351 1255 0 0 20 0 33 0 724402582 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/30409/statm: 2158225 2017204 172 55 0 2156111 0
[pid=30409/tid=30420] ppid=30407 vsize=8632900 CPUtime=14.37 cores=0-31
/proc/30409/task/30420/stat : 30420 (plingeling) R 30407 30409 30383 0 -1 4202560 13592 1241 0 0 1420 17 0 0 18 0 33 0 724417349 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4259016 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30409/tid=30421] ppid=30407 vsize=8632900 CPUtime=14.35 cores=0-31
/proc/30409/task/30421/stat : 30421 (plingeling) R 30407 30409 30383 0 -1 4202560 13465 1241 0 0 1423 12 0 0 25 0 33 0 724417349 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247478 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30409/tid=30422] ppid=30407 vsize=8632900 CPUtime=12.18 cores=0-31
/proc/30409/task/30422/stat : 30422 (plingeling) R 30407 30409 30383 0 -1 4202560 53992 1241 0 0 1204 14 0 0 18 0 33 0 724417349 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30409/tid=30423] ppid=30407 vsize=8632900 CPUtime=14.48 cores=0-31
/proc/30409/task/30423/stat : 30423 (plingeling) R 30407 30409 30383 0 -1 4202560 8630 1241 0 0 1441 7 0 0 25 0 33 0 724417350 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30409/tid=30424] ppid=30407 vsize=8632900 CPUtime=14.52 cores=0-31
/proc/30409/task/30424/stat : 30424 (plingeling) R 30407 30409 30383 0 -1 4202560 13462 1241 0 0 1446 6 0 0 25 0 33 0 724417350 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4302045 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30409/tid=30425] ppid=30407 vsize=8632900 CPUtime=14.34 cores=0-31
/proc/30409/task/30425/stat : 30425 (plingeling) R 30407 30409 30383 0 -1 4202560 13282 1241 0 0 1430 4 0 0 25 0 33 0 724417350 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30409/tid=30426] ppid=30407 vsize=8632900 CPUtime=12.67 cores=0-31
/proc/30409/task/30426/stat : 30426 (plingeling) R 30407 30409 30383 0 -1 4202560 52697 1241 0 0 1177 90 0 0 18 0 33 0 724417350 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30409/tid=30427] ppid=30407 vsize=8632900 CPUtime=14.43 cores=0-31
/proc/30409/task/30427/stat : 30427 (plingeling) R 30407 30409 30383 0 -1 4202560 13647 1241 0 0 1426 17 0 0 25 0 33 0 724417350 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30409/tid=30428] ppid=30407 vsize=8632900 CPUtime=14.26 cores=0-31
/proc/30409/task/30428/stat : 30428 (plingeling) R 30407 30409 30383 0 -1 4202560 13268 1241 0 0 1410 16 0 0 25 0 33 0 724417350 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30409/tid=30429] ppid=30407 vsize=8632900 CPUtime=14.41 cores=0-31
/proc/30409/task/30429/stat : 30429 (plingeling) R 30407 30409 30383 0 -1 4202560 13705 1241 0 0 1436 5 0 0 25 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30409/tid=30430] ppid=30407 vsize=8632900 CPUtime=13.61 cores=0-31
/proc/30409/task/30430/stat : 30430 (plingeling) R 30407 30409 30383 0 -1 4202560 46398 1241 0 0 1292 69 0 0 25 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30409/tid=30431] ppid=30407 vsize=8632900 CPUtime=14.47 cores=0-31
/proc/30409/task/30431/stat : 30431 (plingeling) R 30407 30409 30383 0 -1 4202560 13372 1241 0 0 1426 21 0 0 25 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4311285 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30409/tid=30432] ppid=30407 vsize=8632900 CPUtime=14.38 cores=0-31
/proc/30409/task/30432/stat : 30432 (plingeling) R 30407 30409 30383 0 -1 4202560 13310 1241 0 0 1426 12 0 0 25 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4309925 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30409/tid=30433] ppid=30407 vsize=8632900 CPUtime=14.26 cores=0-31
/proc/30409/task/30433/stat : 30433 (plingeling) R 30407 30409 30383 0 -1 4202560 13428 1241 0 0 1402 24 0 0 25 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4295021 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30409/tid=30434] ppid=30407 vsize=8632900 CPUtime=12.82 cores=0-31
/proc/30409/task/30434/stat : 30434 (plingeling) R 30407 30409 30383 0 -1 4202560 46036 1241 0 0 1229 53 0 0 20 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4259603 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30409/tid=30435] ppid=30407 vsize=8632900 CPUtime=14.3 cores=0-31
/proc/30409/task/30435/stat : 30435 (plingeling) R 30407 30409 30383 0 -1 4202560 13635 1241 0 0 1405 25 0 0 25 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4308199 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30409/tid=30436] ppid=30407 vsize=8632900 CPUtime=14.33 cores=0-31
/proc/30409/task/30436/stat : 30436 (plingeling) R 30407 30409 30383 0 -1 4202560 13873 1241 0 0 1413 20 0 0 25 0 33 0 724417351 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247490 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30409/tid=30437] ppid=30407 vsize=8632900 CPUtime=14.12 cores=0-31
/proc/30409/task/30437/stat : 30437 (plingeling) R 30407 30409 30383 0 -1 4202560 13639 1241 0 0 1387 25 0 0 25 0 33 0 724417353 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247533 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30409/tid=30438] ppid=30407 vsize=8632900 CPUtime=13.57 cores=0-31
/proc/30409/task/30438/stat : 30438 (plingeling) R 30407 30409 30383 0 -1 4202560 46406 1241 0 0 1296 61 0 0 20 0 33 0 724417353 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4270978 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30409/tid=30439] ppid=30407 vsize=8632900 CPUtime=14.46 cores=0-31
/proc/30409/task/30439/stat : 30439 (plingeling) R 30407 30409 30383 0 -1 4202560 13642 1241 0 0 1421 25 0 0 25 0 33 0 724417353 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30409/tid=30440] ppid=30407 vsize=8632900 CPUtime=14.23 cores=0-31
/proc/30409/task/30440/stat : 30440 (plingeling) R 30407 30409 30383 0 -1 4202560 13413 1241 0 0 1417 6 0 0 25 0 33 0 724417353 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247500 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30409/tid=30441] ppid=30407 vsize=8632900 CPUtime=14.34 cores=0-31
/proc/30409/task/30441/stat : 30441 (plingeling) R 30407 30409 30383 0 -1 4202560 13373 1241 0 0 1428 6 0 0 25 0 33 0 724417353 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236866 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30409/tid=30442] ppid=30407 vsize=8632900 CPUtime=12.72 cores=0-31
/proc/30409/task/30442/stat : 30442 (plingeling) R 30407 30409 30383 0 -1 4202560 46184 1241 0 0 1190 82 0 0 18 0 33 0 724417354 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4255662 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30409/tid=30443] ppid=30407 vsize=8632900 CPUtime=14.17 cores=0-31
/proc/30409/task/30443/stat : 30443 (plingeling) R 30407 30409 30383 0 -1 4202560 13265 1241 0 0 1401 16 0 0 25 0 33 0 724417354 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236644 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30409/tid=30444] ppid=30407 vsize=8632900 CPUtime=14.17 cores=0-31
/proc/30409/task/30444/stat : 30444 (plingeling) R 30407 30409 30383 0 -1 4202560 12329 1241 0 0 1406 11 0 0 25 0 33 0 724417354 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247520 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30409/tid=30445] ppid=30407 vsize=8632900 CPUtime=14.47 cores=0-31
/proc/30409/task/30445/stat : 30445 (plingeling) R 30407 30409 30383 0 -1 4202560 13389 1241 0 0 1422 25 0 0 25 0 33 0 724417354 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4309175 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30409/tid=30446] ppid=30407 vsize=8632900 CPUtime=13.09 cores=0-31
/proc/30409/task/30446/stat : 30446 (plingeling) R 30407 30409 30383 0 -1 4202560 46150 1241 0 0 1237 72 0 0 23 0 33 0 724417354 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4274913 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30409/tid=30447] ppid=30407 vsize=8632900 CPUtime=14.48 cores=0-31
/proc/30409/task/30447/stat : 30447 (plingeling) R 30407 30409 30383 0 -1 4202560 14111 1241 0 0 1424 24 0 0 25 0 33 0 724417354 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247481 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30409/tid=30448] ppid=30407 vsize=8632900 CPUtime=13.75 cores=0-31
/proc/30409/task/30448/stat : 30448 (plingeling) R 30407 30409 30383 0 -1 4202560 12812 1241 0 0 1364 11 0 0 25 0 33 0 724417355 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4277638 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30409/tid=30449] ppid=30407 vsize=8632900 CPUtime=14.39 cores=0-31
/proc/30409/task/30449/stat : 30449 (plingeling) R 30407 30409 30383 0 -1 4202560 13639 1241 0 0 1424 15 0 0 25 0 33 0 724417355 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30409/tid=30450] ppid=30407 vsize=8632900 CPUtime=13.78 cores=0-31
/proc/30409/task/30450/stat : 30450 (plingeling) R 30407 30409 30383 0 -1 4202560 46310 1241 0 0 1328 50 0 0 25 0 33 0 724417355 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4210871 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30409/tid=30451] ppid=30407 vsize=8632900 CPUtime=14.21 cores=0-31
/proc/30409/task/30451/stat : 30451 (plingeling) R 30407 30409 30383 0 -1 4202560 13301 1241 0 0 1399 22 0 0 25 0 33 0 724417355 8840089600 2017204 268435456000 4194304 4417452 140737014798928 18446744073709551615 4247512 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 596.06
Current children cumulated vsize (KiB) 8632900
################
# More data... #
################
/proc/30409/task/30423/stat : 30423 (plingeling) R 30407 30409 30383 0 -1 4202560 485195 1241 0 0 442607 591 0 0 25 0 33 0 724417350 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30409/tid=30424] ppid=30407 vsize=12290084 CPUtime=4420.38 cores=0-31
/proc/30409/task/30424/stat : 30424 (plingeling) R 30407 30409 30383 0 -1 4202560 595398 1241 0 0 441488 550 0 0 25 0 33 0 724417350 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30409/tid=30425] ppid=30407 vsize=12290084 CPUtime=4418.79 cores=0-31
/proc/30409/task/30425/stat : 30425 (plingeling) R 30407 30409 30383 0 -1 4202560 451515 1241 0 0 441451 428 0 0 25 0 33 0 724417350 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30409/tid=30426] ppid=30407 vsize=12290084 CPUtime=4422.57 cores=0-31
/proc/30409/task/30426/stat : 30426 (plingeling) R 30407 30409 30383 0 -1 4202560 593140 1241 0 0 441702 555 0 0 25 0 33 0 724417350 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30409/tid=30427] ppid=30407 vsize=12290084 CPUtime=4426.29 cores=0-31
/proc/30409/task/30427/stat : 30427 (plingeling) R 30407 30409 30383 0 -1 4202560 637036 1241 0 0 442046 583 0 0 25 0 33 0 724417350 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30409/tid=30428] ppid=30407 vsize=12290084 CPUtime=4424.41 cores=0-31
/proc/30409/task/30428/stat : 30428 (plingeling) R 30407 30409 30383 0 -1 4202560 541588 1241 0 0 442179 262 0 0 25 0 33 0 724417350 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30409/tid=30429] ppid=30407 vsize=12290084 CPUtime=4427 cores=0-31
/proc/30409/task/30429/stat : 30429 (plingeling) R 30407 30409 30383 0 -1 4202560 508826 1241 0 0 442247 453 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30409/tid=30430] ppid=30407 vsize=12290084 CPUtime=4426.86 cores=0-31
/proc/30409/task/30430/stat : 30430 (plingeling) R 30407 30409 30383 0 -1 4202560 600394 1241 0 0 442058 628 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30409/tid=30431] ppid=30407 vsize=12290084 CPUtime=4426 cores=0-31
/proc/30409/task/30431/stat : 30431 (plingeling) R 30407 30409 30383 0 -1 4202560 523854 1241 0 0 442228 372 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30409/tid=30432] ppid=30407 vsize=12290084 CPUtime=4419.43 cores=0-31
/proc/30409/task/30432/stat : 30432 (plingeling) R 30407 30409 30383 0 -1 4202560 503268 1241 0 0 441696 247 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30409/tid=30433] ppid=30407 vsize=12290084 CPUtime=4419.75 cores=0-31
/proc/30409/task/30433/stat : 30433 (plingeling) R 30407 30409 30383 0 -1 4202560 547439 1241 0 0 441416 559 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30409/tid=30434] ppid=30407 vsize=12290084 CPUtime=4425.41 cores=0-31
/proc/30409/task/30434/stat : 30434 (plingeling) R 30407 30409 30383 0 -1 4202560 510125 1241 0 0 442023 518 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30409/tid=30435] ppid=30407 vsize=12290084 CPUtime=4423.66 cores=0-31
/proc/30409/task/30435/stat : 30435 (plingeling) R 30407 30409 30383 0 -1 4202560 502987 1241 0 0 442105 261 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30409/tid=30436] ppid=30407 vsize=12290084 CPUtime=4421.83 cores=0-31
/proc/30409/task/30436/stat : 30436 (plingeling) R 30407 30409 30383 0 -1 4202560 609834 1241 0 0 441511 672 0 0 25 0 33 0 724417351 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30409/tid=30437] ppid=30407 vsize=12290084 CPUtime=4423.66 cores=0-31
/proc/30409/task/30437/stat : 30437 (plingeling) R 30407 30409 30383 0 -1 4202560 463807 1241 0 0 441776 590 0 0 25 0 33 0 724417353 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30409/tid=30438] ppid=30407 vsize=12290084 CPUtime=4419.56 cores=0-31
/proc/30409/task/30438/stat : 30438 (plingeling) R 30407 30409 30383 0 -1 4202560 556963 1241 0 0 441437 519 0 0 25 0 33 0 724417353 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30409/tid=30439] ppid=30407 vsize=12290084 CPUtime=4403.32 cores=0-31
/proc/30409/task/30439/stat : 30439 (plingeling) R 30407 30409 30383 0 -1 4202560 559966 1241 0 0 439736 596 0 0 25 0 33 0 724417353 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30409/tid=30440] ppid=30407 vsize=12290084 CPUtime=4424.11 cores=0-31
/proc/30409/task/30440/stat : 30440 (plingeling) R 30407 30409 30383 0 -1 4202560 579800 1241 0 0 442113 298 0 0 25 0 33 0 724417353 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30409/tid=30441] ppid=30407 vsize=12290084 CPUtime=4425.19 cores=0-31
/proc/30409/task/30441/stat : 30441 (plingeling) R 30407 30409 30383 0 -1 4202560 535726 1241 0 0 441926 593 0 0 25 0 33 0 724417353 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265437 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30409/tid=30442] ppid=30407 vsize=12290084 CPUtime=4413.42 cores=0-31
/proc/30409/task/30442/stat : 30442 (plingeling) R 30407 30409 30383 0 -1 4202560 560525 1241 0 0 440790 552 0 0 25 0 33 0 724417354 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30409/tid=30443] ppid=30407 vsize=12290084 CPUtime=4398.35 cores=0-31
/proc/30409/task/30443/stat : 30443 (plingeling) R 30407 30409 30383 0 -1 4202560 505887 1241 0 0 439292 543 0 0 25 0 33 0 724417354 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30409/tid=30444] ppid=30407 vsize=12290084 CPUtime=4415.9 cores=0-31
/proc/30409/task/30444/stat : 30444 (plingeling) R 30407 30409 30383 0 -1 4202560 525626 1241 0 0 441056 534 0 0 25 0 33 0 724417354 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30409/tid=30445] ppid=30407 vsize=12290084 CPUtime=4424.01 cores=0-31
/proc/30409/task/30445/stat : 30445 (plingeling) R 30407 30409 30383 0 -1 4202560 547370 1241 0 0 441908 493 0 0 25 0 33 0 724417354 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30409/tid=30446] ppid=30407 vsize=12290084 CPUtime=4427 cores=0-31
/proc/30409/task/30446/stat : 30446 (plingeling) R 30407 30409 30383 0 -1 4202560 547971 1241 0 0 442225 475 0 0 25 0 33 0 724417354 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30409/tid=30447] ppid=30407 vsize=12290084 CPUtime=4415.91 cores=0-31
/proc/30409/task/30447/stat : 30447 (plingeling) R 30407 30409 30383 0 -1 4202560 503927 1241 0 0 441403 188 0 0 25 0 33 0 724417354 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30409/tid=30448] ppid=30407 vsize=12290084 CPUtime=4425.23 cores=0-31
/proc/30409/task/30448/stat : 30448 (plingeling) R 30407 30409 30383 0 -1 4202560 744953 1241 0 0 441790 733 0 0 25 0 33 0 724417355 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236761 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30409/tid=30449] ppid=30407 vsize=12290084 CPUtime=4424.46 cores=0-31
/proc/30409/task/30449/stat : 30449 (plingeling) R 30407 30409 30383 0 -1 4202560 438005 1241 0 0 441919 527 0 0 25 0 33 0 724417355 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4232595 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30409/tid=30450] ppid=30407 vsize=12290084 CPUtime=4422 cores=0-31
/proc/30409/task/30450/stat : 30450 (plingeling) R 30407 30409 30383 0 -1 4202560 546003 1241 0 0 441757 443 0 0 25 0 33 0 724417355 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30409/tid=30451] ppid=30407 vsize=12290084 CPUtime=4407.96 cores=0-31
/proc/30409/task/30451/stat : 30451 (plingeling) R 30407 30409 30383 0 -1 4202560 566078 1241 0 0 440153 643 0 0 25 0 33 0 724417355 12585046016 2922669 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 141616
Current children cumulated vsize (KiB) 12290084
[startup+4588.7 s]
/proc/loadavg: 32.24 32.13 31.99 33/446 30581
/proc/meminfo: memFree=243465060/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=12289908 CPUtime=141821 cores=0-31
/proc/30409/stat : 30409 (plingeling) S 30407 30409 30383 0 -1 4202496 19365974 1241 0 0 14165635 16443 0 0 20 0 33 0 724402582 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/30409/statm: 3072477 2922625 175 55 0 3070363 0
[pid=30409/tid=30420] ppid=30407 vsize=12289908 CPUtime=4430.62 cores=0-31
/proc/30409/task/30420/stat : 30420 (plingeling) R 30407 30409 30383 0 -1 4202560 545090 1241 0 0 442503 559 0 0 25 0 33 0 724417349 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30409/tid=30421] ppid=30407 vsize=12289908 CPUtime=4424.53 cores=0-31
/proc/30409/task/30421/stat : 30421 (plingeling) R 30407 30409 30383 0 -1 4202560 583265 1241 0 0 441886 567 0 0 25 0 33 0 724417349 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4275756 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30409/tid=30422] ppid=30407 vsize=12289908 CPUtime=4427.89 cores=0-31
/proc/30409/task/30422/stat : 30422 (plingeling) R 30407 30409 30383 0 -1 4202560 553514 1241 0 0 442274 515 0 0 25 0 33 0 724417349 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4257670 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30409/tid=30423] ppid=30407 vsize=12289908 CPUtime=4438.38 cores=0-31
/proc/30409/task/30423/stat : 30423 (plingeling) R 30407 30409 30383 0 -1 4202560 485195 1241 0 0 443247 591 0 0 25 0 33 0 724417350 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30409/tid=30424] ppid=30407 vsize=12289908 CPUtime=4426.77 cores=0-31
/proc/30409/task/30424/stat : 30424 (plingeling) R 30407 30409 30383 0 -1 4202560 595398 1241 0 0 442127 550 0 0 25 0 33 0 724417350 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30409/tid=30425] ppid=30407 vsize=12289908 CPUtime=4425.19 cores=0-31
/proc/30409/task/30425/stat : 30425 (plingeling) R 30407 30409 30383 0 -1 4202560 451515 1241 0 0 442091 428 0 0 25 0 33 0 724417350 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30409/tid=30426] ppid=30407 vsize=12289908 CPUtime=4428.97 cores=0-31
/proc/30409/task/30426/stat : 30426 (plingeling) R 30407 30409 30383 0 -1 4202560 593140 1241 0 0 442342 555 0 0 25 0 33 0 724417350 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4366509 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30409/tid=30427] ppid=30407 vsize=12289908 CPUtime=4432.69 cores=0-31
/proc/30409/task/30427/stat : 30427 (plingeling) R 30407 30409 30383 0 -1 4202560 637036 1241 0 0 442686 583 0 0 25 0 33 0 724417350 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30409/tid=30428] ppid=30407 vsize=12289908 CPUtime=4430.81 cores=0-31
/proc/30409/task/30428/stat : 30428 (plingeling) R 30407 30409 30383 0 -1 4202560 541588 1241 0 0 442819 262 0 0 25 0 33 0 724417350 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30409/tid=30429] ppid=30407 vsize=12289908 CPUtime=4433.4 cores=0-31
/proc/30409/task/30429/stat : 30429 (plingeling) R 30407 30409 30383 0 -1 4202560 508826 1241 0 0 442887 453 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4365579 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30409/tid=30430] ppid=30407 vsize=12289908 CPUtime=4433.26 cores=0-31
/proc/30409/task/30430/stat : 30430 (plingeling) R 30407 30409 30383 0 -1 4202560 616780 1241 0 0 442695 631 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30409/tid=30431] ppid=30407 vsize=12289908 CPUtime=4432.4 cores=0-31
/proc/30409/task/30431/stat : 30431 (plingeling) R 30407 30409 30383 0 -1 4202560 523854 1241 0 0 442868 372 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30409/tid=30432] ppid=30407 vsize=12289908 CPUtime=4425.83 cores=0-31
/proc/30409/task/30432/stat : 30432 (plingeling) R 30407 30409 30383 0 -1 4202560 503268 1241 0 0 442336 247 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4278496 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30409/tid=30433] ppid=30407 vsize=12289908 CPUtime=4426.15 cores=0-31
/proc/30409/task/30433/stat : 30433 (plingeling) R 30407 30409 30383 0 -1 4202560 547439 1241 0 0 442056 559 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30409/tid=30434] ppid=30407 vsize=12289908 CPUtime=4431.81 cores=0-31
/proc/30409/task/30434/stat : 30434 (plingeling) R 30407 30409 30383 0 -1 4202560 510125 1241 0 0 442663 518 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4366491 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30409/tid=30435] ppid=30407 vsize=12289908 CPUtime=4430.06 cores=0-31
/proc/30409/task/30435/stat : 30435 (plingeling) R 30407 30409 30383 0 -1 4202560 502987 1241 0 0 442745 261 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30409/tid=30436] ppid=30407 vsize=12289908 CPUtime=4428.23 cores=0-31
/proc/30409/task/30436/stat : 30436 (plingeling) R 30407 30409 30383 0 -1 4202560 609834 1241 0 0 442151 672 0 0 25 0 33 0 724417351 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30409/tid=30437] ppid=30407 vsize=12289908 CPUtime=4430.06 cores=0-31
/proc/30409/task/30437/stat : 30437 (plingeling) R 30407 30409 30383 0 -1 4202560 463807 1241 0 0 442416 590 0 0 25 0 33 0 724417353 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364480 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30409/tid=30438] ppid=30407 vsize=12289908 CPUtime=4425.96 cores=0-31
/proc/30409/task/30438/stat : 30438 (plingeling) R 30407 30409 30383 0 -1 4202560 556963 1241 0 0 442077 519 0 0 25 0 33 0 724417353 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30409/tid=30439] ppid=30407 vsize=12289908 CPUtime=4409.72 cores=0-31
/proc/30409/task/30439/stat : 30439 (plingeling) R 30407 30409 30383 0 -1 4202560 559966 1241 0 0 440376 596 0 0 25 0 33 0 724417353 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30409/tid=30440] ppid=30407 vsize=12289908 CPUtime=4430.5 cores=0-31
/proc/30409/task/30440/stat : 30440 (plingeling) R 30407 30409 30383 0 -1 4202560 579800 1241 0 0 442752 298 0 0 25 0 33 0 724417353 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30409/tid=30441] ppid=30407 vsize=12289908 CPUtime=4431.58 cores=0-31
/proc/30409/task/30441/stat : 30441 (plingeling) R 30407 30409 30383 0 -1 4202560 535726 1241 0 0 442565 593 0 0 25 0 33 0 724417353 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30409/tid=30442] ppid=30407 vsize=12289908 CPUtime=4419.63 cores=0-31
/proc/30409/task/30442/stat : 30442 (plingeling) R 30407 30409 30383 0 -1 4202560 560525 1241 0 0 441411 552 0 0 25 0 33 0 724417354 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30409/tid=30443] ppid=30407 vsize=12289908 CPUtime=4404.75 cores=0-31
/proc/30409/task/30443/stat : 30443 (plingeling) R 30407 30409 30383 0 -1 4202560 505887 1241 0 0 439932 543 0 0 25 0 33 0 724417354 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30409/tid=30444] ppid=30407 vsize=12289908 CPUtime=4422.3 cores=0-31
/proc/30409/task/30444/stat : 30444 (plingeling) R 30407 30409 30383 0 -1 4202560 525626 1241 0 0 441696 534 0 0 25 0 33 0 724417354 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30409/tid=30445] ppid=30407 vsize=12289908 CPUtime=4430.41 cores=0-31
/proc/30409/task/30445/stat : 30445 (plingeling) R 30407 30409 30383 0 -1 4202560 547370 1241 0 0 442548 493 0 0 25 0 33 0 724417354 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30409/tid=30446] ppid=30407 vsize=12289908 CPUtime=4433.4 cores=0-31
/proc/30409/task/30446/stat : 30446 (plingeling) R 30407 30409 30383 0 -1 4202560 547971 1241 0 0 442865 475 0 0 25 0 33 0 724417354 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4248304 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30409/tid=30447] ppid=30407 vsize=12289908 CPUtime=4422.3 cores=0-31
/proc/30409/task/30447/stat : 30447 (plingeling) R 30407 30409 30383 0 -1 4202560 503927 1241 0 0 442042 188 0 0 25 0 33 0 724417354 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236964 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30409/tid=30448] ppid=30407 vsize=12289908 CPUtime=4431.63 cores=0-31
/proc/30409/task/30448/stat : 30448 (plingeling) R 30407 30409 30383 0 -1 4202560 744953 1241 0 0 442430 733 0 0 25 0 33 0 724417355 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30409/tid=30449] ppid=30407 vsize=12289908 CPUtime=4430.86 cores=0-31
/proc/30409/task/30449/stat : 30449 (plingeling) R 30407 30409 30383 0 -1 4202560 438005 1241 0 0 442559 527 0 0 25 0 33 0 724417355 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30409/tid=30450] ppid=30407 vsize=12289908 CPUtime=4428.4 cores=0-31
/proc/30409/task/30450/stat : 30450 (plingeling) R 30407 30409 30383 0 -1 4202560 546003 1241 0 0 442397 443 0 0 25 0 33 0 724417355 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30409/tid=30451] ppid=30407 vsize=12289908 CPUtime=4414.36 cores=0-31
/proc/30409/task/30451/stat : 30451 (plingeling) R 30407 30409 30383 0 -1 4202560 566078 1241 0 0 440793 643 0 0 25 0 33 0 724417355 12584865792 2922625 268435456000 4194304 4417452 140737014798928 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 141821
Current children cumulated vsize (KiB) 12289908
[startup+4590.33 s]
/proc/loadavg: 32.24 32.13 31.99 2/415 30581
/proc/meminfo: memFree=243487504/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=12267064 CPUtime=141849 cores=0-31
/proc/30409/stat : 30409 (plingeling) S 30407 30409 30383 0 -1 4202496 19374168 1241 0 0 14168493 16445 0 0 18 0 2 0 724402582 12561473536 2916915 268435456000 4194304 4417452 140737014798928 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/30409/statm: 3066766 2916915 176 55 0 3064652 0
[pid=30409/tid=30421] ppid=30407 vsize=12267064 CPUtime=4426.15 cores=0-31
/proc/30409/task/30421/stat : 30421 (plingeling) R 30407 30409 30383 0 -1 4202560 591458 1241 0 0 442046 569 0 0 25 0 2 0 724417349 12561473536 2916915 268435456000 4194304 4417452 140737014798928 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 141849
Current children cumulated vsize (KiB) 12267064
[startup+4591.1 s]
/proc/loadavg: 32.24 32.13 31.99 2/415 30581
/proc/meminfo: memFree=243487504/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=9544212 CPUtime=141850 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 19374168 1241 0 0 14168546 16470 0 0 18 0 1 0 724402582 9773273088 2299983 268435456000 4194304 4417452 140737014798928 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/30409/statm: 2386053 2299471 176 55 0 2383939 0
Current children cumulated CPU time (s) 141850
Current children cumulated vsize (KiB) 9544212
[startup+4591.5 s]
/proc/loadavg: 32.24 32.13 31.99 2/414 30581
/proc/meminfo: memFree=248011020/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=5546760 CPUtime=141851 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202496 19374168 1241 0 0 14168546 16510 0 0 18 0 1 0 724402582 5679882240 1310964 268435456000 4194304 4417452 140737014798928 18446744073709551615 258650999383 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/30409/statm: 1386690 1310964 176 55 0 1384576 0
Current children cumulated CPU time (s) 141851
Current children cumulated vsize (KiB) 5546760
[startup+4591.9 s]
/proc/loadavg: 32.24 32.13 31.99 2/414 30581
/proc/meminfo: memFree=248011020/264257624 swapFree=67111528/67111528
[pid=30409] ppid=30407 vsize=0 CPUtime=141851 cores=0-31
/proc/30409/stat : 30409 (plingeling) R 30407 30409 30383 0 -1 4202500 19374172 1241 0 0 14168546 16550 0 0 19 0 1 0 724402582 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 9 0 0 0
/proc/30409/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 141851
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4591.99
CPU time (s): 141851
CPU user time (s): 141685
CPU system time (s): 165.594
CPU usage (%): 3089.1
Max. virtual memory (cumulated for all children) (KiB): 12388924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141685
system time used= 165.594
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19375413
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= 9249
involuntary context switches= 366158
runsolver used 23.8794 second user time and 106.691 second system time
The end
Begin job on node200 at 2011-05-23 07:39:22
IDJOB=3372876
IDBENCH=85008
IDSOLVER=1852
FILE ID=node200/3372876-1306129154
RUNJOBID= node200-1306129154-30397
PBS_JOBID= 13387831
Free space on /tmp= 61836 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372876-1306129154/watcher-3372876-1306129154 -o /tmp/evaluation-result-3372876-1306129154/solver-3372876-1306129154 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372876-1306129154.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=971630938
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: 255169904 kB
Buffers: 457592 kB
Cached: 8216288 kB
SwapCached: 0 kB
Active: 7771084 kB
Inactive: 971756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255169904 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 213640 kB
Writeback: 0 kB
AnonPages: 69016 kB
Mapped: 14480 kB
Slab: 254920 kB
PageTables: 4368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191312 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= 61836 MiB
End job on node200 at 2011-05-23 08:55:54