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-3372258-1305529807/watcher-3372258-1305529807 -o /tmp/evaluation-result-3372258-1305529807/solver-3372258-1305529807 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372258-1305529807.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: 28.74 30.86 31.57 1/413 16455
/proc/meminfo: memFree=255568088/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=30888 CPUtime=0.03 cores=0-31
/proc/16455/stat : 16455 (plingeling) R 16453 16455 16363 0 -1 4202496 5357 1239 0 0 1 1 0 1 21 0 1 0 664467132 31629312 5289 268435456000 4194304 4417452 140733865086624 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16455/statm: 7722 5301 141 55 0 5608 0
[startup+0.070628 s]
/proc/loadavg: 28.74 30.86 31.57 1/413 16455
/proc/meminfo: memFree=255568088/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=63720 CPUtime=0.06 cores=0-31
/proc/16455/stat : 16455 (plingeling) R 16453 16455 16363 0 -1 4202496 13844 1239 0 0 2 3 0 1 21 0 1 0 664467132 65249280 13776 268435456000 4194304 4417452 140733865086624 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16455/statm: 15930 13791 141 55 0 13816 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 63720
[startup+0.100637 s]
/proc/loadavg: 28.74 30.86 31.57 1/413 16455
/proc/meminfo: memFree=255568088/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=78084 CPUtime=0.1 cores=0-31
/proc/16455/stat : 16455 (plingeling) R 16453 16455 16363 0 -1 4202496 17600 1239 0 0 5 4 0 1 21 0 1 0 664467132 79958016 17532 268435456000 4194304 4417452 140733865086624 18446744073709551615 4209658 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16455/statm: 19521 17532 145 55 0 17407 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 78084
[startup+0.300656 s]
/proc/loadavg: 28.74 30.86 31.57 1/413 16455
/proc/meminfo: memFree=255568088/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=95080 CPUtime=0.29 cores=0-31
/proc/16455/stat : 16455 (plingeling) R 16453 16455 16363 0 -1 4202496 21852 1239 0 0 23 5 0 1 22 0 1 0 664467132 97361920 21784 268435456000 4194304 4417452 140733865086624 18446744073709551615 4274337 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16455/statm: 23770 21784 146 55 0 21656 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 95080
[startup+0.70066 s]
/proc/loadavg: 28.74 30.86 31.57 1/413 16455
/proc/meminfo: memFree=255568088/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=122792 CPUtime=0.69 cores=0-31
/proc/16455/stat : 16455 (plingeling) R 16453 16455 16363 0 -1 4202496 28772 1239 0 0 61 7 0 1 23 0 1 0 664467132 125739008 28704 268435456000 4194304 4417452 140733865086624 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16455/statm: 30698 28704 146 55 0 28584 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122792
[startup+1.50072 s]
/proc/loadavg: 28.74 30.86 31.57 2/414 16461
/proc/meminfo: memFree=255421372/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=226936 CPUtime=1.5 cores=0-31
/proc/16455/stat : 16455 (plingeling) R 16453 16455 16363 0 -1 4202496 54824 1239 0 0 137 12 0 1 25 0 1 0 664467132 232382464 54756 268435456000 4194304 4417452 140733865086624 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16455/statm: 56734 54756 146 55 0 54620 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 226936
[startup+3.10076 s]
/proc/loadavg: 28.74 30.86 31.57 2/414 16461
/proc/meminfo: memFree=255314864/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=325240 CPUtime=3.09 cores=0-31
/proc/16455/stat : 16455 (plingeling) R 16453 16455 16363 0 -1 4202496 79400 1239 0 0 292 16 0 1 25 0 1 0 664467132 333045760 79332 268435456000 4194304 4417452 140733865086624 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/16455/statm: 81310 79332 146 55 0 79196 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 325240
[startup+6.30074 s]
/proc/loadavg: 26.52 30.37 31.41 2/414 16461
/proc/meminfo: memFree=254999576/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=1023824 CPUtime=29.3 cores=0-31
/proc/16455/stat : 16455 (plingeling) S 16453 16455 16363 0 -1 4202496 213250 1239 0 0 2826 103 0 1 18 0 33 0 664467132 1048395776 146547 268435456000 4194304 4417452 140733865086624 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16455/statm: 255956 146547 169 55 0 253842 0
Current children cumulated CPU time (s) 29.3
Current children cumulated vsize (KiB) 1023824
[startup+12.702 s]
/proc/loadavg: 26.96 30.40 31.41 19/446 16493
/proc/meminfo: memFree=254845712/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=1231296 CPUtime=229.87 cores=0-31
/proc/16455/stat : 16455 (plingeling) S 16453 16455 16363 0 -1 4202496 361990 1239 0 0 22769 217 0 1 18 0 33 0 664467132 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16455/statm: 307824 205798 174 55 0 305710 0
[pid=16455/tid=16462] ppid=16453 vsize=1231296 CPUtime=6.96 cores=0-31
/proc/16455/task/16462/stat : 16462 (plingeling) R 16453 16455 16363 0 -1 4202560 6946 1239 0 0 690 5 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16455/tid=16463] ppid=16453 vsize=1231296 CPUtime=7.03 cores=0-31
/proc/16455/task/16463/stat : 16463 (plingeling) R 16453 16455 16363 0 -1 4202560 6021 1239 0 0 696 6 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4253415 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16455/tid=16464] ppid=16453 vsize=1231296 CPUtime=7.13 cores=0-31
/proc/16455/task/16464/stat : 16464 (plingeling) R 16453 16455 16363 0 -1 4202560 2313 1239 0 0 711 1 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4365612 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16455/tid=16465] ppid=16453 vsize=1231296 CPUtime=7.16 cores=0-31
/proc/16455/task/16465/stat : 16465 (plingeling) R 16453 16455 16363 0 -1 4202560 1177 1239 0 0 714 1 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352528 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16455/tid=16466] ppid=16453 vsize=1231296 CPUtime=7.14 cores=0-31
/proc/16455/task/16466/stat : 16466 (plingeling) R 16453 16455 16363 0 -1 4202560 6406 1239 0 0 705 8 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252495 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16455/tid=16467] ppid=16453 vsize=1231296 CPUtime=7.1 cores=0-31
/proc/16455/task/16467/stat : 16467 (plingeling) R 16453 16455 16363 0 -1 4202560 3802 1239 0 0 706 3 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252959 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16455/tid=16468] ppid=16453 vsize=1231296 CPUtime=7.15 cores=0-31
/proc/16455/task/16468/stat : 16468 (plingeling) R 16453 16455 16363 0 -1 4202560 3389 1239 0 0 711 3 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16455/tid=16469] ppid=16453 vsize=1231296 CPUtime=6.91 cores=0-31
/proc/16455/task/16469/stat : 16469 (plingeling) R 16453 16455 16363 0 -1 4202560 7952 1239 0 0 686 4 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4271600 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16455/tid=16470] ppid=16453 vsize=1231296 CPUtime=6.81 cores=0-31
/proc/16455/task/16470/stat : 16470 (plingeling) R 16453 16455 16363 0 -1 4202560 8969 1239 0 0 671 9 0 1 25 0 33 0 664467685 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4248408 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16455/tid=16471] ppid=16453 vsize=1231296 CPUtime=7.02 cores=0-31
/proc/16455/task/16471/stat : 16471 (plingeling) R 16453 16455 16363 0 -1 4202560 6501 1239 0 0 692 9 0 1 25 0 33 0 664467686 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4257792 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16455/tid=16472] ppid=16453 vsize=1231296 CPUtime=7.14 cores=0-31
/proc/16455/task/16472/stat : 16472 (plingeling) R 16453 16455 16363 0 -1 4202560 3746 1239 0 0 710 3 0 1 25 0 33 0 664467686 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16455/tid=16473] ppid=16453 vsize=1231296 CPUtime=6.97 cores=0-31
/proc/16455/task/16473/stat : 16473 (plingeling) R 16453 16455 16363 0 -1 4202560 9822 1239 0 0 687 9 0 1 18 0 33 0 664467686 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4235991 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16455/tid=16474] ppid=16453 vsize=1231296 CPUtime=7.1 cores=0-31
/proc/16455/task/16474/stat : 16474 (plingeling) R 16453 16455 16363 0 -1 4202560 8945 1239 0 0 702 7 0 1 25 0 33 0 664467686 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16455/tid=16475] ppid=16453 vsize=1231296 CPUtime=6.89 cores=0-31
/proc/16455/task/16475/stat : 16475 (plingeling) R 16453 16455 16363 0 -1 4202560 12921 1239 0 0 680 8 0 1 25 0 33 0 664467686 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4257002 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16455/tid=16476] ppid=16453 vsize=1231296 CPUtime=7.15 cores=0-31
/proc/16455/task/16476/stat : 16476 (plingeling) R 16453 16455 16363 0 -1 4202560 3565 1239 0 0 712 2 0 1 25 0 33 0 664467686 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16455/tid=16477] ppid=16453 vsize=1231296 CPUtime=7.02 cores=0-31
/proc/16455/task/16477/stat : 16477 (plingeling) R 16453 16455 16363 0 -1 4202560 5886 1239 0 0 695 6 0 1 18 0 33 0 664467686 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16455/tid=16478] ppid=16453 vsize=1231296 CPUtime=6.91 cores=0-31
/proc/16455/task/16478/stat : 16478 (plingeling) R 16453 16455 16363 0 -1 4202560 8430 1239 0 0 682 8 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4257084 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=16455/tid=16479] ppid=16453 vsize=1231296 CPUtime=6.85 cores=0-31
/proc/16455/task/16479/stat : 16479 (plingeling) R 16453 16455 16363 0 -1 4202560 13548 1239 0 0 675 9 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4320489 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16455/tid=16480] ppid=16453 vsize=1231296 CPUtime=7.05 cores=0-31
/proc/16455/task/16480/stat : 16480 (plingeling) R 16453 16455 16363 0 -1 4202560 4261 1239 0 0 702 2 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250943 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16455/tid=16481] ppid=16453 vsize=1231296 CPUtime=6.99 cores=0-31
/proc/16455/task/16481/stat : 16481 (plingeling) R 16453 16455 16363 0 -1 4202560 6461 1239 0 0 691 7 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16455/tid=16482] ppid=16453 vsize=1231296 CPUtime=6.94 cores=0-31
/proc/16455/task/16482/stat : 16482 (plingeling) R 16453 16455 16363 0 -1 4202560 11402 1239 0 0 688 5 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16455/tid=16483] ppid=16453 vsize=1231296 CPUtime=7.02 cores=0-31
/proc/16455/task/16483/stat : 16483 (plingeling) R 16453 16455 16363 0 -1 4202560 5095 1239 0 0 698 3 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4236343 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16455/tid=16484] ppid=16453 vsize=1231296 CPUtime=7.14 cores=0-31
/proc/16455/task/16484/stat : 16484 (plingeling) R 16453 16455 16363 0 -1 4202560 2656 1239 0 0 711 2 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352317 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16455/tid=16485] ppid=16453 vsize=1231296 CPUtime=6.96 cores=0-31
/proc/16455/task/16485/stat : 16485 (plingeling) R 16453 16455 16363 0 -1 4202560 12681 1239 0 0 690 5 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16455/tid=16486] ppid=16453 vsize=1231296 CPUtime=6.95 cores=0-31
/proc/16455/task/16486/stat : 16486 (plingeling) R 16453 16455 16363 0 -1 4202560 6901 1239 0 0 686 8 0 1 25 0 33 0 664467687 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4253248 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16455/tid=16487] ppid=16453 vsize=1231296 CPUtime=6.92 cores=0-31
/proc/16455/task/16487/stat : 16487 (plingeling) R 16453 16455 16363 0 -1 4202560 7024 1239 0 0 682 9 0 1 25 0 33 0 664467688 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4257209 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16455/tid=16488] ppid=16453 vsize=1231296 CPUtime=7.12 cores=0-31
/proc/16455/task/16488/stat : 16488 (plingeling) R 16453 16455 16363 0 -1 4202560 6371 1239 0 0 708 3 0 1 25 0 33 0 664467689 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16455/tid=16489] ppid=16453 vsize=1231296 CPUtime=6.73 cores=0-31
/proc/16455/task/16489/stat : 16489 (plingeling) R 16453 16455 16363 0 -1 4202560 11648 1239 0 0 666 6 0 1 25 0 33 0 664467689 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252875 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16455/tid=16490] ppid=16453 vsize=1231296 CPUtime=6.93 cores=0-31
/proc/16455/task/16490/stat : 16490 (plingeling) R 16453 16455 16363 0 -1 4202560 6899 1239 0 0 685 7 0 1 25 0 33 0 664467689 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252443 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16455/tid=16491] ppid=16453 vsize=1231296 CPUtime=6.99 cores=0-31
/proc/16455/task/16491/stat : 16491 (plingeling) R 16453 16455 16363 0 -1 4202560 6101 1239 0 0 690 8 0 1 25 0 33 0 664467690 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4236527 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16455/tid=16492] ppid=16453 vsize=1231296 CPUtime=7.11 cores=0-31
/proc/16455/task/16492/stat : 16492 (plingeling) R 16453 16455 16363 0 -1 4202560 3315 1239 0 0 708 2 0 1 25 0 33 0 664467690 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16455/tid=16493] ppid=16453 vsize=1231296 CPUtime=7.07 cores=0-31
/proc/16455/task/16493/stat : 16493 (plingeling) R 16453 16455 16363 0 -1 4202560 8847 1239 0 0 702 4 0 1 25 0 33 0 664467690 1260847104 205798 268435456000 4194304 4417452 140733865086624 18446744073709551615 4252030 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 229.87
Current children cumulated vsize (KiB) 1231296
[startup+25.5024 s]
/proc/loadavg: 28.08 30.47 31.42 33/446 16495
/proc/meminfo: memFree=254719604/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=1244024 CPUtime=639.01 cores=0-31
/proc/16455/stat : 16455 (plingeling) S 16453 16455 16363 0 -1 4202496 366010 1239 0 0 63682 218 0 1 18 0 33 0 664467132 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16455/statm: 311006 208622 174 55 0 308892 0
[pid=16455/tid=16462] ppid=16453 vsize=1244024 CPUtime=19.75 cores=0-31
/proc/16455/task/16462/stat : 16462 (plingeling) R 16453 16455 16363 0 -1 4202560 6946 1239 0 0 1969 5 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16455/tid=16463] ppid=16453 vsize=1244024 CPUtime=19.82 cores=0-31
/proc/16455/task/16463/stat : 16463 (plingeling) R 16453 16455 16363 0 -1 4202560 6045 1239 0 0 1975 6 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16455/tid=16464] ppid=16453 vsize=1244024 CPUtime=19.93 cores=0-31
/proc/16455/task/16464/stat : 16464 (plingeling) R 16453 16455 16363 0 -1 4202560 2313 1239 0 0 1991 1 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16455/tid=16465] ppid=16453 vsize=1244024 CPUtime=19.96 cores=0-31
/proc/16455/task/16465/stat : 16465 (plingeling) R 16453 16455 16363 0 -1 4202560 2240 1239 0 0 1994 1 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16455/tid=16466] ppid=16453 vsize=1244024 CPUtime=19.93 cores=0-31
/proc/16455/task/16466/stat : 16466 (plingeling) R 16453 16455 16363 0 -1 4202560 6670 1239 0 0 1984 8 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16455/tid=16467] ppid=16453 vsize=1244024 CPUtime=19.9 cores=0-31
/proc/16455/task/16467/stat : 16467 (plingeling) R 16453 16455 16363 0 -1 4202560 4246 1239 0 0 1986 3 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352488 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=16455/tid=16468] ppid=16453 vsize=1244024 CPUtime=19.94 cores=0-31
/proc/16455/task/16468/stat : 16468 (plingeling) R 16453 16455 16363 0 -1 4202560 4010 1239 0 0 1990 3 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16455/tid=16469] ppid=16453 vsize=1244024 CPUtime=19.71 cores=0-31
/proc/16455/task/16469/stat : 16469 (plingeling) R 16453 16455 16363 0 -1 4202560 7952 1239 0 0 1966 4 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16455/tid=16470] ppid=16453 vsize=1244024 CPUtime=19.61 cores=0-31
/proc/16455/task/16470/stat : 16470 (plingeling) R 16453 16455 16363 0 -1 4202560 8969 1239 0 0 1951 9 0 1 25 0 33 0 664467685 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4353554 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16455/tid=16471] ppid=16453 vsize=1244024 CPUtime=19.81 cores=0-31
/proc/16455/task/16471/stat : 16471 (plingeling) R 16453 16455 16363 0 -1 4202560 6501 1239 0 0 1971 9 0 1 25 0 33 0 664467686 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16455/tid=16472] ppid=16453 vsize=1244024 CPUtime=19.94 cores=0-31
/proc/16455/task/16472/stat : 16472 (plingeling) R 16453 16455 16363 0 -1 4202560 3926 1239 0 0 1990 3 0 1 25 0 33 0 664467686 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250447 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16455/tid=16473] ppid=16453 vsize=1244024 CPUtime=19.77 cores=0-31
/proc/16455/task/16473/stat : 16473 (plingeling) R 16453 16455 16363 0 -1 4202560 9822 1239 0 0 1967 9 0 1 25 0 33 0 664467686 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250953 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16455/tid=16474] ppid=16453 vsize=1244024 CPUtime=19.89 cores=0-31
/proc/16455/task/16474/stat : 16474 (plingeling) R 16453 16455 16363 0 -1 4202560 8945 1239 0 0 1981 7 0 1 25 0 33 0 664467686 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16455/tid=16475] ppid=16453 vsize=1244024 CPUtime=19.69 cores=0-31
/proc/16455/task/16475/stat : 16475 (plingeling) R 16453 16455 16363 0 -1 4202560 12921 1239 0 0 1960 8 0 1 25 0 33 0 664467686 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4365188 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16455/tid=16476] ppid=16453 vsize=1244024 CPUtime=19.95 cores=0-31
/proc/16455/task/16476/stat : 16476 (plingeling) R 16453 16455 16363 0 -1 4202560 3565 1239 0 0 1992 2 0 1 25 0 33 0 664467686 1273880576 208622 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 13 0 0 0
################
# More data... #
################
[pid=16455/tid=16462] ppid=16453 vsize=2788268 CPUtime=4953.81 cores=0-31
/proc/16455/task/16462/stat : 16462 (plingeling) R 16453 16455 16363 0 -1 4202560 447317 1239 0 0 494580 800 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16455/tid=16463] ppid=16453 vsize=2788268 CPUtime=4954.75 cores=0-31
/proc/16455/task/16463/stat : 16463 (plingeling) R 16453 16455 16363 0 -1 4202560 364354 1239 0 0 494872 602 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352385 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16455/tid=16464] ppid=16453 vsize=2788268 CPUtime=4953.61 cores=0-31
/proc/16455/task/16464/stat : 16464 (plingeling) R 16453 16455 16363 0 -1 4202560 361209 1239 0 0 494817 543 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16455/tid=16465] ppid=16453 vsize=2788268 CPUtime=4952.75 cores=0-31
/proc/16455/task/16465/stat : 16465 (plingeling) R 16453 16455 16363 0 -1 4202560 333413 1239 0 0 494655 619 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16455/tid=16466] ppid=16453 vsize=2788268 CPUtime=4943.58 cores=0-31
/proc/16455/task/16466/stat : 16466 (plingeling) R 16453 16455 16363 0 -1 4202560 338636 1239 0 0 493838 519 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16455/tid=16467] ppid=16453 vsize=2788268 CPUtime=4954.93 cores=0-31
/proc/16455/task/16467/stat : 16467 (plingeling) R 16453 16455 16363 0 -1 4202560 442531 1239 0 0 494757 735 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16455/tid=16468] ppid=16453 vsize=2788268 CPUtime=4946.64 cores=0-31
/proc/16455/task/16468/stat : 16468 (plingeling) R 16453 16455 16363 0 -1 4202560 451838 1239 0 0 493989 674 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4353559 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16455/tid=16469] ppid=16453 vsize=2788268 CPUtime=4950.81 cores=0-31
/proc/16455/task/16469/stat : 16469 (plingeling) R 16453 16455 16363 0 -1 4202560 469871 1239 0 0 494260 820 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=16455/tid=16470] ppid=16453 vsize=2788268 CPUtime=4946.88 cores=0-31
/proc/16455/task/16470/stat : 16470 (plingeling) R 16453 16455 16363 0 -1 4202560 412440 1239 0 0 494052 635 0 1 25 0 33 0 664467685 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16455/tid=16471] ppid=16453 vsize=2788268 CPUtime=4955.07 cores=0-31
/proc/16455/task/16471/stat : 16471 (plingeling) R 16453 16455 16363 0 -1 4202560 339663 1239 0 0 494935 571 0 1 25 0 33 0 664467686 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16455/tid=16472] ppid=16453 vsize=2788268 CPUtime=4954.71 cores=0-31
/proc/16455/task/16472/stat : 16472 (plingeling) R 16453 16455 16363 0 -1 4202560 319311 1239 0 0 494943 527 0 1 25 0 33 0 664467686 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16455/tid=16473] ppid=16453 vsize=2788268 CPUtime=4954.63 cores=0-31
/proc/16455/task/16473/stat : 16473 (plingeling) R 16453 16455 16363 0 -1 4202560 377699 1239 0 0 494886 576 0 1 25 0 33 0 664467686 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4251100 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16455/tid=16474] ppid=16453 vsize=2788268 CPUtime=4951.32 cores=0-31
/proc/16455/task/16474/stat : 16474 (plingeling) R 16453 16455 16363 0 -1 4202560 453943 1239 0 0 494374 757 0 1 25 0 33 0 664467686 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16455/tid=16475] ppid=16453 vsize=2788268 CPUtime=4952.75 cores=0-31
/proc/16455/task/16475/stat : 16475 (plingeling) R 16453 16455 16363 0 -1 4202560 351995 1239 0 0 494713 561 0 1 25 0 33 0 664467686 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4251038 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16455/tid=16476] ppid=16453 vsize=2788268 CPUtime=4954.72 cores=0-31
/proc/16455/task/16476/stat : 16476 (plingeling) R 16453 16455 16363 0 -1 4202560 354249 1239 0 0 494891 580 0 1 25 0 33 0 664467686 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16455/tid=16477] ppid=16453 vsize=2788268 CPUtime=4954.61 cores=0-31
/proc/16455/task/16477/stat : 16477 (plingeling) R 16453 16455 16363 0 -1 4202560 396252 1239 0 0 494860 600 0 1 25 0 33 0 664467686 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16455/tid=16478] ppid=16453 vsize=2788268 CPUtime=4914.34 cores=0-31
/proc/16455/task/16478/stat : 16478 (plingeling) R 16453 16455 16363 0 -1 4202560 436361 1239 0 0 490672 761 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352631 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16455/tid=16479] ppid=16453 vsize=2788268 CPUtime=4952.07 cores=0-31
/proc/16455/task/16479/stat : 16479 (plingeling) R 16453 16455 16363 0 -1 4202560 454871 1239 0 0 494503 703 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4236842 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16455/tid=16480] ppid=16453 vsize=2788268 CPUtime=4944.98 cores=0-31
/proc/16455/task/16480/stat : 16480 (plingeling) R 16453 16455 16363 0 -1 4202560 331566 1239 0 0 493918 579 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16455/tid=16481] ppid=16453 vsize=2788268 CPUtime=4948.18 cores=0-31
/proc/16455/task/16481/stat : 16481 (plingeling) R 16453 16455 16363 0 -1 4202560 428500 1239 0 0 494111 706 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16455/tid=16482] ppid=16453 vsize=2788268 CPUtime=4949.4 cores=0-31
/proc/16455/task/16482/stat : 16482 (plingeling) R 16453 16455 16363 0 -1 4202560 362968 1239 0 0 494330 609 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250571 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16455/tid=16483] ppid=16453 vsize=2788268 CPUtime=4954.37 cores=0-31
/proc/16455/task/16483/stat : 16483 (plingeling) R 16453 16455 16363 0 -1 4202560 469404 1239 0 0 494716 720 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16455/tid=16484] ppid=16453 vsize=2788268 CPUtime=4955.09 cores=0-31
/proc/16455/task/16484/stat : 16484 (plingeling) R 16453 16455 16363 0 -1 4202560 269602 1239 0 0 495048 460 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16455/tid=16485] ppid=16453 vsize=2788268 CPUtime=4949.77 cores=0-31
/proc/16455/task/16485/stat : 16485 (plingeling) R 16453 16455 16363 0 -1 4202560 423032 1239 0 0 494283 693 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16455/tid=16486] ppid=16453 vsize=2788268 CPUtime=4944.41 cores=0-31
/proc/16455/task/16486/stat : 16486 (plingeling) R 16453 16455 16363 0 -1 4202560 373777 1239 0 0 493848 592 0 1 25 0 33 0 664467687 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16455/tid=16487] ppid=16453 vsize=2788268 CPUtime=4951.21 cores=0-31
/proc/16455/task/16487/stat : 16487 (plingeling) R 16453 16455 16363 0 -1 4202560 439909 1239 0 0 494373 747 0 1 25 0 33 0 664467688 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16455/tid=16488] ppid=16453 vsize=2788268 CPUtime=4946.93 cores=0-31
/proc/16455/task/16488/stat : 16488 (plingeling) R 16453 16455 16363 0 -1 4202560 368450 1239 0 0 494023 669 0 1 25 0 33 0 664467689 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250517 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16455/tid=16489] ppid=16453 vsize=2788268 CPUtime=4954.11 cores=0-31
/proc/16455/task/16489/stat : 16489 (plingeling) R 16453 16455 16363 0 -1 4202560 388332 1239 0 0 494834 576 0 1 25 0 33 0 664467689 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16455/tid=16490] ppid=16453 vsize=2788268 CPUtime=4954.26 cores=0-31
/proc/16455/task/16490/stat : 16490 (plingeling) R 16453 16455 16363 0 -1 4202560 293376 1239 0 0 495003 422 0 1 25 0 33 0 664467689 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352496 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16455/tid=16491] ppid=16453 vsize=2788268 CPUtime=4945.14 cores=0-31
/proc/16455/task/16491/stat : 16491 (plingeling) R 16453 16455 16363 0 -1 4202560 416275 1239 0 0 493734 779 0 1 25 0 33 0 664467690 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16455/tid=16492] ppid=16453 vsize=2788268 CPUtime=4946.24 cores=0-31
/proc/16455/task/16492/stat : 16492 (plingeling) R 16453 16455 16363 0 -1 4202560 389371 1239 0 0 494004 619 0 1 25 0 33 0 664467690 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16455/tid=16493] ppid=16453 vsize=2788268 CPUtime=4953.37 cores=0-31
/proc/16455/task/16493/stat : 16493 (plingeling) R 16453 16455 16363 0 -1 4202560 485437 1239 0 0 494561 775 0 1 25 0 33 0 664467690 2855186432 594665 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 158405
Current children cumulated vsize (KiB) 2788268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5012.3 s]
/proc/loadavg: 32.07 32.07 32.04 33/446 16642
/proc/meminfo: memFree=253434244/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=2551360 CPUtime=160004 cores=0-31
/proc/16455/stat : 16455 (plingeling) S 16453 16455 16363 0 -1 4202496 12786226 1239 0 0 15979639 20727 0 1 18 0 33 0 664467132 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 27 0 0 0
/proc/16455/statm: 637840 535438 175 55 0 635726 0
[pid=16455/tid=16462] ppid=16453 vsize=2551360 CPUtime=5003.83 cores=0-31
/proc/16455/task/16462/stat : 16462 (plingeling) R 16453 16455 16363 0 -1 4202560 447473 1239 0 0 499581 801 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=16455/tid=16463] ppid=16453 vsize=2551360 CPUtime=5004.77 cores=0-31
/proc/16455/task/16463/stat : 16463 (plingeling) R 16453 16455 16363 0 -1 4202560 373521 1239 0 0 499849 627 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=16455/tid=16464] ppid=16453 vsize=2551360 CPUtime=5003.63 cores=0-31
/proc/16455/task/16464/stat : 16464 (plingeling) R 16453 16455 16363 0 -1 4202560 365361 1239 0 0 499810 552 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=16455/tid=16465] ppid=16453 vsize=2551360 CPUtime=5002.76 cores=0-31
/proc/16455/task/16465/stat : 16465 (plingeling) R 16453 16455 16363 0 -1 4202560 338037 1239 0 0 499648 627 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=16455/tid=16466] ppid=16453 vsize=2551360 CPUtime=4993.59 cores=0-31
/proc/16455/task/16466/stat : 16466 (plingeling) R 16453 16455 16363 0 -1 4202560 340195 1239 0 0 498835 523 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=16455/tid=16467] ppid=16453 vsize=2551360 CPUtime=5004.94 cores=0-31
/proc/16455/task/16467/stat : 16467 (plingeling) R 16453 16455 16363 0 -1 4202560 443751 1239 0 0 499755 738 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=16455/tid=16468] ppid=16453 vsize=2551360 CPUtime=4996.66 cores=0-31
/proc/16455/task/16468/stat : 16468 (plingeling) R 16453 16455 16363 0 -1 4202560 452719 1239 0 0 498988 677 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4353620 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=16455/tid=16469] ppid=16453 vsize=2551360 CPUtime=5000.83 cores=0-31
/proc/16455/task/16469/stat : 16469 (plingeling) R 16453 16455 16363 0 -1 4202560 473459 1239 0 0 499252 830 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352540 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=16455/tid=16470] ppid=16453 vsize=2551360 CPUtime=4996.9 cores=0-31
/proc/16455/task/16470/stat : 16470 (plingeling) R 16453 16455 16363 0 -1 4202560 414676 1239 0 0 499052 637 0 1 25 0 33 0 664467685 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4354053 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=16455/tid=16471] ppid=16453 vsize=2551360 CPUtime=5005.09 cores=0-31
/proc/16455/task/16471/stat : 16471 (plingeling) R 16453 16455 16363 0 -1 4202560 342123 1239 0 0 499936 572 0 1 25 0 33 0 664467686 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=16455/tid=16472] ppid=16453 vsize=2551360 CPUtime=5004.72 cores=0-31
/proc/16455/task/16472/stat : 16472 (plingeling) R 16453 16455 16363 0 -1 4202560 322584 1239 0 0 499943 528 0 1 25 0 33 0 664467686 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4356971 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=16455/tid=16473] ppid=16453 vsize=2551360 CPUtime=5004.64 cores=0-31
/proc/16455/task/16473/stat : 16473 (plingeling) R 16453 16455 16363 0 -1 4202560 381645 1239 0 0 499880 583 0 1 25 0 33 0 664467686 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=16455/tid=16474] ppid=16453 vsize=2551360 CPUtime=5001.34 cores=0-31
/proc/16455/task/16474/stat : 16474 (plingeling) R 16453 16455 16363 0 -1 4202560 459365 1239 0 0 499375 758 0 1 25 0 33 0 664467686 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4354053 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=16455/tid=16475] ppid=16453 vsize=2551360 CPUtime=5002.74 cores=0-31
/proc/16455/task/16475/stat : 16475 (plingeling) R 16453 16455 16363 0 -1 4202560 352596 1239 0 0 499711 562 0 1 25 0 33 0 664467686 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=16455/tid=16476] ppid=16453 vsize=2551360 CPUtime=5004.68 cores=0-31
/proc/16455/task/16476/stat : 16476 (plingeling) R 16453 16455 16363 0 -1 4202560 359582 1239 0 0 499883 584 0 1 25 0 33 0 664467686 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=16455/tid=16477] ppid=16453 vsize=2551360 CPUtime=5004.63 cores=0-31
/proc/16455/task/16477/stat : 16477 (plingeling) R 16453 16455 16363 0 -1 4202560 399326 1239 0 0 499861 601 0 1 25 0 33 0 664467686 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=16455/tid=16478] ppid=16453 vsize=2551360 CPUtime=4964.35 cores=0-31
/proc/16455/task/16478/stat : 16478 (plingeling) R 16453 16455 16363 0 -1 4202560 443658 1239 0 0 495655 779 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=16455/tid=16479] ppid=16453 vsize=2551360 CPUtime=5002.08 cores=0-31
/proc/16455/task/16479/stat : 16479 (plingeling) R 16453 16455 16363 0 -1 4202560 459108 1239 0 0 499493 714 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4251034 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=16455/tid=16480] ppid=16453 vsize=2551360 CPUtime=4994.96 cores=0-31
/proc/16455/task/16480/stat : 16480 (plingeling) R 16453 16455 16363 0 -1 4202560 331656 1239 0 0 498916 579 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=16455/tid=16481] ppid=16453 vsize=2551360 CPUtime=4998.19 cores=0-31
/proc/16455/task/16481/stat : 16481 (plingeling) R 16453 16455 16363 0 -1 4202560 435942 1239 0 0 499108 710 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=16455/tid=16482] ppid=16453 vsize=2551360 CPUtime=4999.42 cores=0-31
/proc/16455/task/16482/stat : 16482 (plingeling) R 16453 16455 16363 0 -1 4202560 363263 1239 0 0 499331 610 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=16455/tid=16483] ppid=16453 vsize=2551360 CPUtime=5004.37 cores=0-31
/proc/16455/task/16483/stat : 16483 (plingeling) R 16453 16455 16363 0 -1 4202560 476656 1239 0 0 499706 730 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=16455/tid=16484] ppid=16453 vsize=2551360 CPUtime=5005.09 cores=0-31
/proc/16455/task/16484/stat : 16484 (plingeling) R 16453 16455 16363 0 -1 4202560 271543 1239 0 0 500043 465 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4354150 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=16455/tid=16485] ppid=16453 vsize=2551360 CPUtime=4998.28 cores=0-31
/proc/16455/task/16485/stat : 16485 (plingeling) R 16453 16455 16363 0 -1 4202560 428035 1239 0 0 499132 695 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4352488 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=16455/tid=16486] ppid=16453 vsize=2551360 CPUtime=4994.42 cores=0-31
/proc/16455/task/16486/stat : 16486 (plingeling) R 16453 16455 16363 0 -1 4202560 376874 1239 0 0 498848 593 0 1 25 0 33 0 664467687 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=16455/tid=16487] ppid=16453 vsize=2551360 CPUtime=5001.22 cores=0-31
/proc/16455/task/16487/stat : 16487 (plingeling) R 16453 16455 16363 0 -1 4202560 440298 1239 0 0 499373 748 0 1 25 0 33 0 664467688 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=16455/tid=16488] ppid=16453 vsize=2551360 CPUtime=4996.94 cores=0-31
/proc/16455/task/16488/stat : 16488 (plingeling) R 16453 16455 16363 0 -1 4202560 368980 1239 0 0 499023 670 0 1 25 0 33 0 664467689 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=16455/tid=16489] ppid=16453 vsize=2551360 CPUtime=5004.12 cores=0-31
/proc/16455/task/16489/stat : 16489 (plingeling) R 16453 16455 16363 0 -1 4202560 390049 1239 0 0 499834 577 0 1 25 0 33 0 664467689 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=16455/tid=16490] ppid=16453 vsize=2551360 CPUtime=5004.21 cores=0-31
/proc/16455/task/16490/stat : 16490 (plingeling) R 16453 16455 16363 0 -1 4202560 293484 1239 0 0 499998 422 0 1 25 0 33 0 664467689 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=16455/tid=16491] ppid=16453 vsize=2551360 CPUtime=4995.16 cores=0-31
/proc/16455/task/16491/stat : 16491 (plingeling) R 16453 16455 16363 0 -1 4202560 417853 1239 0 0 498734 781 0 1 25 0 33 0 664467690 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4250977 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=16455/tid=16492] ppid=16453 vsize=2551360 CPUtime=4996.25 cores=0-31
/proc/16455/task/16492/stat : 16492 (plingeling) R 16453 16455 16363 0 -1 4202560 392644 1239 0 0 498996 628 0 1 25 0 33 0 664467690 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=16455/tid=16493] ppid=16453 vsize=2551360 CPUtime=5003.38 cores=0-31
/proc/16455/task/16493/stat : 16493 (plingeling) R 16453 16455 16363 0 -1 4202560 487781 1239 0 0 499556 781 0 1 25 0 33 0 664467690 2612592640 535438 268435456000 4194304 4417452 140733865086624 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 2551360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5012.43 s]
/proc/loadavg: 32.07 32.07 32.04 33/446 16642
/proc/meminfo: memFree=253434244/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=0 CPUtime=160004 cores=0-31
/proc/16455/stat : 16455 (plingeling) Z 16453 16455 16363 0 -1 4203548 12786226 1239 0 0 15979662 20737 0 1 18 0 2 0 664467132 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 27 0 0 0
/proc/16455/statm: 0 0 0 0 0 0 0
[pid=16455/tid=16469] ppid=16453 vsize=0 CPUtime=5000.93 cores=0-31
/proc/16455/task/16469/stat : 16469 (plingeling) R 16453 16455 16363 0 -1 4203588 473459 1239 0 0 499252 840 0 1 25 0 2 0 664467685 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5012.5 s]
/proc/loadavg: 32.07 32.07 32.04 33/446 16642
/proc/meminfo: memFree=253434244/264257624 swapFree=67111528/67111528
[pid=16455] ppid=16453 vsize=0 CPUtime=160004 cores=0-31
/proc/16455/stat : 16455 (plingeling) Z 16453 16455 16363 0 -1 4203548 12786226 1239 0 0 15979662 20744 0 1 18 0 2 0 664467132 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 27 0 0 0
/proc/16455/statm: 0 0 0 0 0 0 0
[pid=16455/tid=16469] ppid=16453 vsize=0 CPUtime=5001 cores=0-31
/proc/16455/task/16469/stat : 16469 (plingeling) R 16453 16455 16363 0 -1 4203588 473459 1239 0 0 499252 847 0 1 25 0 2 0 664467685 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.52
CPU time (s): 160004
CPU user time (s): 159797
CPU system time (s): 207.474
CPU usage (%): 3192.09
Max. virtual memory (cumulated for all children) (KiB): 2929936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159797
system time used= 207.474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12787465
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= 5431
involuntary context switches= 398015
runsolver used 30.4154 second user time and 111.579 second system time
The end
Begin job on node200 at 2011-05-16 09:10:07
IDJOB=3372258
IDBENCH=70829
IDSOLVER=1852
FILE ID=node200/3372258-1305529807
RUNJOBID= node200-1305529702-16377
PBS_JOBID= 13285539
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372258-1305529807/watcher-3372258-1305529807 -o /tmp/evaluation-result-3372258-1305529807/solver-3372258-1305529807 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372258-1305529807.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 0621e557bffdc18ca509447665adecda
RANDOM SEED=99166728
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: 255568120 kB
Buffers: 442796 kB
Cached: 7840820 kB
SwapCached: 0 kB
Active: 7389932 kB
Inactive: 962228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255568120 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4448 kB
Writeback: 32 kB
AnonPages: 69376 kB
Mapped: 14512 kB
Slab: 250724 kB
PageTables: 4604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62048 MiB
End job on node200 at 2011-05-16 10:33:42