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-3372528-1305675383/watcher-3372528-1305675383 -o /tmp/evaluation-result-3372528-1305675383/solver-3372528-1305675383 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372528-1305675383.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.45 27.63 25.59 1/413 27909
/proc/meminfo: memFree=255519448/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=26840 CPUtime=0.03 cores=0-31
/proc/27909/stat : 27909 (plingeling) R 27907 27909 27813 0 -1 4202496 4798 1241 0 0 1 1 0 1 21 0 1 0 679024806 27484160 4729 268435456000 4194304 4417452 140735024662976 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27909/statm: 6710 4729 145 55 0 4596 0
[startup+0.110239 s]
/proc/loadavg: 24.45 27.63 25.59 1/413 27909
/proc/meminfo: memFree=255519448/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=34336 CPUtime=0.11 cores=0-31
/proc/27909/stat : 27909 (plingeling) R 27907 27909 27813 0 -1 4202496 6661 1241 0 0 8 2 0 1 21 0 1 0 679024806 35160064 6592 268435456000 4194304 4417452 140735024662976 18446744073709551615 4209658 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27909/statm: 8584 6592 145 55 0 6470 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 34336
[startup+0.201284 s]
/proc/loadavg: 24.45 27.63 25.59 1/413 27909
/proc/meminfo: memFree=255519448/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=42760 CPUtime=0.19 cores=0-31
/proc/27909/stat : 27909 (plingeling) R 27907 27909 27813 0 -1 4202496 8763 1241 0 0 16 2 0 1 21 0 1 0 679024806 43786240 8694 268435456000 4194304 4417452 140735024662976 18446744073709551615 4265009 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27909/statm: 10690 8694 145 55 0 8576 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42760
[startup+0.301287 s]
/proc/loadavg: 24.45 27.63 25.59 1/413 27909
/proc/meminfo: memFree=255519448/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=59592 CPUtime=0.3 cores=0-31
/proc/27909/stat : 27909 (plingeling) R 27907 27909 27813 0 -1 4202496 12987 1241 0 0 25 4 0 1 22 0 1 0 679024806 61022208 12918 268435456000 4194304 4417452 140735024662976 18446744073709551615 4231612 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27909/statm: 14898 12918 145 55 0 12784 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 59592
[startup+0.70028 s]
/proc/loadavg: 24.45 27.63 25.59 1/413 27909
/proc/meminfo: memFree=255519448/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=74028 CPUtime=0.7 cores=0-31
/proc/27909/stat : 27909 (plingeling) R 27907 27909 27813 0 -1 4202496 16581 1241 0 0 64 5 0 1 23 0 1 0 679024806 75804672 16512 268435456000 4194304 4417452 140735024662976 18446744073709551615 4231413 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27909/statm: 18507 16512 146 55 0 16393 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 74028
[startup+1.5003 s]
/proc/loadavg: 24.45 27.63 25.59 2/414 27915
/proc/meminfo: memFree=255405400/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=155116 CPUtime=1.49 cores=0-31
/proc/27909/stat : 27909 (plingeling) R 27907 27909 27813 0 -1 4202496 36869 1241 0 0 139 9 0 1 25 0 1 0 679024806 158838784 36800 268435456000 4194304 4417452 140735024662976 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27909/statm: 38779 36800 146 55 0 36665 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155116
[startup+3.10123 s]
/proc/loadavg: 24.45 27.63 25.59 2/414 27915
/proc/meminfo: memFree=255371672/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=866552 CPUtime=24.32 cores=0-31
/proc/27909/stat : 27909 (plingeling) S 27907 27909 27813 0 -1 4202496 68424 1241 0 0 2379 52 0 1 18 0 33 0 679024806 887349248 47291 268435456000 4194304 4417452 140735024662976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27909/statm: 216638 47291 170 55 0 214524 0
Current children cumulated CPU time (s) 24.32
Current children cumulated vsize (KiB) 866552
[startup+6.30133 s]
/proc/loadavg: 25.06 27.70 25.62 33/446 27947
/proc/meminfo: memFree=255221696/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=970588 CPUtime=124.85 cores=0-31
/proc/27909/stat : 27909 (plingeling) S 27907 27909 27813 0 -1 4202496 152012 1241 0 0 12373 111 0 1 18 0 33 0 679024806 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27909/statm: 242647 75376 175 55 0 240533 0
[pid=27909/tid=27916] ppid=27907 vsize=970588 CPUtime=3.76 cores=0-31
/proc/27909/task/27916/stat : 27916 (plingeling) R 27907 27909 27813 0 -1 4202560 2294 1241 0 0 372 3 0 1 19 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4256976 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27909/tid=27917] ppid=27907 vsize=970588 CPUtime=3.81 cores=0-31
/proc/27909/task/27917/stat : 27917 (plingeling) R 27907 27909 27813 0 -1 4202560 3094 1241 0 0 376 4 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27909/tid=27918] ppid=27907 vsize=970588 CPUtime=3.81 cores=0-31
/proc/27909/task/27918/stat : 27918 (plingeling) R 27907 27909 27813 0 -1 4202560 4514 1241 0 0 376 4 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27909/tid=27919] ppid=27907 vsize=970588 CPUtime=3.85 cores=0-31
/proc/27909/task/27919/stat : 27919 (plingeling) R 27907 27909 27813 0 -1 4202560 1239 1241 0 0 383 1 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27909/tid=27920] ppid=27907 vsize=970588 CPUtime=3.83 cores=0-31
/proc/27909/task/27920/stat : 27920 (plingeling) R 27907 27909 27813 0 -1 4202560 4996 1241 0 0 378 4 0 1 19 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4258244 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27909/tid=27921] ppid=27907 vsize=970588 CPUtime=3.8 cores=0-31
/proc/27909/task/27921/stat : 27921 (plingeling) R 27907 27909 27813 0 -1 4202560 1981 1241 0 0 378 1 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4236296 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27909/tid=27922] ppid=27907 vsize=970588 CPUtime=3.92 cores=0-31
/proc/27909/task/27922/stat : 27922 (plingeling) R 27907 27909 27813 0 -1 4202560 2730 1241 0 0 388 3 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364453 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27909/tid=27923] ppid=27907 vsize=970588 CPUtime=3.83 cores=0-31
/proc/27909/task/27923/stat : 27923 (plingeling) R 27907 27909 27813 0 -1 4202560 3900 1241 0 0 380 2 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4248242 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27909/tid=27924] ppid=27907 vsize=970588 CPUtime=3.82 cores=0-31
/proc/27909/task/27924/stat : 27924 (plingeling) R 27907 27909 27813 0 -1 4202560 4092 1241 0 0 378 3 0 1 19 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4249563 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27909/tid=27925] ppid=27907 vsize=970588 CPUtime=3.88 cores=0-31
/proc/27909/task/27925/stat : 27925 (plingeling) R 27907 27909 27813 0 -1 4202560 4590 1241 0 0 384 3 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4335943 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27909/tid=27926] ppid=27907 vsize=970588 CPUtime=3.86 cores=0-31
/proc/27909/task/27926/stat : 27926 (plingeling) R 27907 27909 27813 0 -1 4202560 2513 1241 0 0 384 1 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27909/tid=27927] ppid=27907 vsize=970588 CPUtime=3.85 cores=0-31
/proc/27909/task/27927/stat : 27927 (plingeling) R 27907 27909 27813 0 -1 4202560 5658 1241 0 0 380 4 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4336683 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27909/tid=27928] ppid=27907 vsize=970588 CPUtime=3.88 cores=0-31
/proc/27909/task/27928/stat : 27928 (plingeling) R 27907 27909 27813 0 -1 4202560 1640 1241 0 0 384 3 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4334636 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27909/tid=27929] ppid=27907 vsize=970588 CPUtime=3.83 cores=0-31
/proc/27909/task/27929/stat : 27929 (plingeling) R 27907 27909 27813 0 -1 4202560 4743 1241 0 0 379 3 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4258525 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27909/tid=27930] ppid=27907 vsize=970588 CPUtime=3.84 cores=0-31
/proc/27909/task/27930/stat : 27930 (plingeling) R 27907 27909 27813 0 -1 4202560 2380 1241 0 0 381 2 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4337357 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27909/tid=27931] ppid=27907 vsize=970588 CPUtime=3.83 cores=0-31
/proc/27909/task/27931/stat : 27931 (plingeling) R 27907 27909 27813 0 -1 4202560 6901 1241 0 0 378 4 0 1 25 0 33 0 679025042 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4236008 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27909/tid=27932] ppid=27907 vsize=970588 CPUtime=3.84 cores=0-31
/proc/27909/task/27932/stat : 27932 (plingeling) R 27907 27909 27813 0 -1 4202560 2933 1241 0 0 381 2 0 1 25 0 33 0 679025043 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4336723 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27909/tid=27933] ppid=27907 vsize=970588 CPUtime=3.82 cores=0-31
/proc/27909/task/27933/stat : 27933 (plingeling) R 27907 27909 27813 0 -1 4202560 3228 1241 0 0 378 3 0 1 19 0 33 0 679025044 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4249675 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27909/tid=27934] ppid=27907 vsize=970588 CPUtime=3.82 cores=0-31
/proc/27909/task/27934/stat : 27934 (plingeling) R 27907 27909 27813 0 -1 4202560 2793 1241 0 0 376 5 0 1 25 0 33 0 679025044 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27909/tid=27935] ppid=27907 vsize=970588 CPUtime=3.82 cores=0-31
/proc/27909/task/27935/stat : 27935 (plingeling) R 27907 27909 27813 0 -1 4202560 3708 1241 0 0 377 4 0 1 19 0 33 0 679025044 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4258377 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27909/tid=27936] ppid=27907 vsize=970588 CPUtime=3.83 cores=0-31
/proc/27909/task/27936/stat : 27936 (plingeling) R 27907 27909 27813 0 -1 4202560 3011 1241 0 0 380 2 0 1 25 0 33 0 679025044 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4248242 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27909/tid=27937] ppid=27907 vsize=970588 CPUtime=3.76 cores=0-31
/proc/27909/task/27937/stat : 27937 (plingeling) R 27907 27909 27813 0 -1 4202560 4515 1241 0 0 373 2 0 1 19 0 33 0 679025044 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4249870 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27909/tid=27938] ppid=27907 vsize=970588 CPUtime=3.82 cores=0-31
/proc/27909/task/27938/stat : 27938 (plingeling) R 27907 27909 27813 0 -1 4202560 1868 1241 0 0 379 2 0 1 25 0 33 0 679025044 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4336701 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27909/tid=27939] ppid=27907 vsize=970588 CPUtime=3.84 cores=0-31
/proc/27909/task/27939/stat : 27939 (plingeling) R 27907 27909 27813 0 -1 4202560 7008 1241 0 0 379 4 0 1 19 0 33 0 679025044 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4258267 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27909/tid=27940] ppid=27907 vsize=970588 CPUtime=3.85 cores=0-31
/proc/27909/task/27940/stat : 27940 (plingeling) R 27907 27909 27813 0 -1 4202560 4003 1241 0 0 381 3 0 1 19 0 33 0 679025045 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4258488 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27909/tid=27941] ppid=27907 vsize=970588 CPUtime=3.86 cores=0-31
/proc/27909/task/27941/stat : 27941 (plingeling) R 27907 27909 27813 0 -1 4202560 4350 1241 0 0 383 2 0 1 25 0 33 0 679025045 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4258491 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27909/tid=27942] ppid=27907 vsize=970588 CPUtime=3.78 cores=0-31
/proc/27909/task/27942/stat : 27942 (plingeling) R 27907 27909 27813 0 -1 4202560 2906 1241 0 0 374 3 0 1 19 0 33 0 679025045 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4321721 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27909/tid=27943] ppid=27907 vsize=970588 CPUtime=3.8 cores=0-31
/proc/27909/task/27943/stat : 27943 (plingeling) R 27907 27909 27813 0 -1 4202560 1597 1241 0 0 379 0 0 1 18 0 33 0 679025045 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4249991 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27909/tid=27944] ppid=27907 vsize=970588 CPUtime=3.84 cores=0-31
/proc/27909/task/27944/stat : 27944 (plingeling) R 27907 27909 27813 0 -1 4202560 3852 1241 0 0 380 3 0 1 25 0 33 0 679025045 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4248248 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27909/tid=27945] ppid=27907 vsize=970588 CPUtime=3.82 cores=0-31
/proc/27909/task/27945/stat : 27945 (plingeling) R 27907 27909 27813 0 -1 4202560 4937 1241 0 0 379 2 0 1 21 0 33 0 679025045 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4236319 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27909/tid=27946] ppid=27907 vsize=970588 CPUtime=3.78 cores=0-31
/proc/27909/task/27946/stat : 27946 (plingeling) R 27907 27909 27813 0 -1 4202560 1894 1241 0 0 375 2 0 1 19 0 33 0 679025046 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27909/tid=27947] ppid=27907 vsize=970588 CPUtime=3.82 cores=0-31
/proc/27909/task/27947/stat : 27947 (plingeling) R 27907 27909 27813 0 -1 4202560 5234 1241 0 0 379 2 0 1 25 0 33 0 679025046 993882112 75376 268435456000 4194304 4417452 140735024662976 18446744073709551615 4249305 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 124.85
Current children cumulated vsize (KiB) 970588
[startup+12.7016 s]
/proc/loadavg: 25.61 27.77 25.65 33/446 27947
/proc/meminfo: memFree=255092248/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=1035260 CPUtime=329.37 cores=0-31
/proc/27909/stat : 27909 (plingeling) S 27907 27909 27813 0 -1 4202496 190823 1241 0 0 32814 122 0 1 18 0 33 0 679024806 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27909/statm: 258815 99665 175 55 0 256701 0
[pid=27909/tid=27916] ppid=27907 vsize=1035260 CPUtime=10.15 cores=0-31
/proc/27909/task/27916/stat : 27916 (plingeling) R 27907 27909 27813 0 -1 4202560 4231 1241 0 0 1011 3 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27909/tid=27917] ppid=27907 vsize=1035260 CPUtime=10.2 cores=0-31
/proc/27909/task/27917/stat : 27917 (plingeling) R 27907 27909 27813 0 -1 4202560 3952 1241 0 0 1015 4 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27909/tid=27918] ppid=27907 vsize=1035260 CPUtime=10.2 cores=0-31
/proc/27909/task/27918/stat : 27918 (plingeling) R 27907 27909 27813 0 -1 4202560 5680 1241 0 0 1015 4 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27909/tid=27919] ppid=27907 vsize=1035260 CPUtime=10.25 cores=0-31
/proc/27909/task/27919/stat : 27919 (plingeling) R 27907 27909 27813 0 -1 4202560 3888 1241 0 0 1022 2 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27909/tid=27920] ppid=27907 vsize=1035260 CPUtime=10.22 cores=0-31
/proc/27909/task/27920/stat : 27920 (plingeling) R 27907 27909 27813 0 -1 4202560 5672 1241 0 0 1017 4 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4216434 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27909/tid=27921] ppid=27907 vsize=1035260 CPUtime=10.01 cores=0-31
/proc/27909/task/27921/stat : 27921 (plingeling) R 27907 27909 27813 0 -1 4202560 2896 1241 0 0 999 1 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27909/tid=27922] ppid=27907 vsize=1035260 CPUtime=10.31 cores=0-31
/proc/27909/task/27922/stat : 27922 (plingeling) R 27907 27909 27813 0 -1 4202560 4164 1241 0 0 1027 3 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4251081 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27909/tid=27923] ppid=27907 vsize=1035260 CPUtime=10.22 cores=0-31
/proc/27909/task/27923/stat : 27923 (plingeling) R 27907 27909 27813 0 -1 4202560 5835 1241 0 0 1019 2 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4250654 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27909/tid=27924] ppid=27907 vsize=1035260 CPUtime=10.21 cores=0-31
/proc/27909/task/27924/stat : 27924 (plingeling) R 27907 27909 27813 0 -1 4202560 4321 1241 0 0 1017 3 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4252188 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27909/tid=27925] ppid=27907 vsize=1035260 CPUtime=10.26 cores=0-31
/proc/27909/task/27925/stat : 27925 (plingeling) R 27907 27909 27813 0 -1 4202560 4936 1241 0 0 1022 3 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27909/tid=27926] ppid=27907 vsize=1035260 CPUtime=10.26 cores=0-31
/proc/27909/task/27926/stat : 27926 (plingeling) R 27907 27909 27813 0 -1 4202560 4441 1241 0 0 1024 1 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27909/tid=27927] ppid=27907 vsize=1035260 CPUtime=10.25 cores=0-31
/proc/27909/task/27927/stat : 27927 (plingeling) R 27907 27909 27813 0 -1 4202560 7604 1241 0 0 1020 4 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4307938 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27909/tid=27928] ppid=27907 vsize=1035260 CPUtime=10.27 cores=0-31
/proc/27909/task/27928/stat : 27928 (plingeling) R 27907 27909 27813 0 -1 4202560 4036 1241 0 0 1022 4 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4259706 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27909/tid=27929] ppid=27907 vsize=1035260 CPUtime=10.22 cores=0-31
/proc/27909/task/27929/stat : 27929 (plingeling) R 27907 27909 27813 0 -1 4202560 7001 1241 0 0 1018 3 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4237148 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27909/tid=27930] ppid=27907 vsize=1035260 CPUtime=10.25 cores=0-31
/proc/27909/task/27930/stat : 27930 (plingeling) R 27907 27909 27813 0 -1 4202560 3517 1241 0 0 1021 3 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27909/tid=27931] ppid=27907 vsize=1035260 CPUtime=10.24 cores=0-31
/proc/27909/task/27931/stat : 27931 (plingeling) R 27907 27909 27813 0 -1 4202560 7871 1241 0 0 1018 5 0 1 25 0 33 0 679025042 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27909/tid=27932] ppid=27907 vsize=1035260 CPUtime=10.24 cores=0-31
/proc/27909/task/27932/stat : 27932 (plingeling) R 27907 27909 27813 0 -1 4202560 4943 1241 0 0 1020 3 0 1 25 0 33 0 679025043 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4346327 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27909/tid=27933] ppid=27907 vsize=1035260 CPUtime=10.21 cores=0-31
/proc/27909/task/27933/stat : 27933 (plingeling) R 27907 27909 27813 0 -1 4202560 3493 1241 0 0 1017 3 0 1 25 0 33 0 679025044 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4250961 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27909/tid=27934] ppid=27907 vsize=1035260 CPUtime=10.22 cores=0-31
/proc/27909/task/27934/stat : 27934 (plingeling) R 27907 27909 27813 0 -1 4202560 4073 1241 0 0 1016 5 0 1 25 0 33 0 679025044 1060106240 99665 268435456000 4194304 4417452 140735024662976 18446744073709551615 4365184 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27909/tid=27935] ppid=27907 vsize=1035260 CPUtime=10.22 cores=0-31
################
# More data... #
################
/proc/27909/task/27926/stat : 27926 (plingeling) R 27907 27909 27813 0 -1 4202560 39817 1241 0 0 17634 35 0 1 25 0 33 0 679025042 2033025024 341585 268435456000 4194304 4417452 140735024662976 18446744073709551615 4310337 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27909/tid=27927] ppid=27907 vsize=1985376 CPUtime=176.61 cores=0-31
/proc/27909/task/27927/stat : 27927 (plingeling) R 27907 27909 27813 0 -1 4202560 48276 1241 0 0 17596 64 0 1 25 0 33 0 679025042 2033025024 341595 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27909/tid=27928] ppid=27907 vsize=1985376 CPUtime=176.44 cores=0-31
/proc/27909/task/27928/stat : 27928 (plingeling) R 27907 27909 27813 0 -1 4202560 52940 1241 0 0 17585 58 0 1 25 0 33 0 679025042 2033025024 341605 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27909/tid=27929] ppid=27907 vsize=1985376 CPUtime=176 cores=0-31
/proc/27909/task/27929/stat : 27929 (plingeling) R 27907 27909 27813 0 -1 4202560 66124 1241 0 0 17520 79 0 1 25 0 33 0 679025042 2033025024 341614 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27909/tid=27930] ppid=27907 vsize=1985376 CPUtime=175.32 cores=0-31
/proc/27909/task/27930/stat : 27930 (plingeling) R 27907 27909 27813 0 -1 4202560 23130 1241 0 0 17506 25 0 1 25 0 33 0 679025042 2033025024 341623 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27909/tid=27931] ppid=27907 vsize=1985376 CPUtime=175.9 cores=0-31
/proc/27909/task/27931/stat : 27931 (plingeling) R 27907 27909 27813 0 -1 4202560 55195 1241 0 0 17528 61 0 1 25 0 33 0 679025042 2033025024 341632 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27909/tid=27932] ppid=27907 vsize=1985376 CPUtime=176.46 cores=0-31
/proc/27909/task/27932/stat : 27932 (plingeling) R 27907 27909 27813 0 -1 4202560 49534 1241 0 0 17588 57 0 1 25 0 33 0 679025043 2033025024 341642 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27909/tid=27933] ppid=27907 vsize=1985376 CPUtime=176.57 cores=0-31
/proc/27909/task/27933/stat : 27933 (plingeling) R 27907 27909 27813 0 -1 4202560 29088 1241 0 0 17636 20 0 1 25 0 33 0 679025044 2033025024 341651 268435456000 4194304 4417452 140735024662976 18446744073709551615 4235978 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27909/tid=27934] ppid=27907 vsize=1985376 CPUtime=175.9 cores=0-31
/proc/27909/task/27934/stat : 27934 (plingeling) R 27907 27909 27813 0 -1 4202560 42913 1241 0 0 17534 55 0 1 25 0 33 0 679025044 2033025024 341660 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27909/tid=27935] ppid=27907 vsize=1985376 CPUtime=176.45 cores=0-31
/proc/27909/task/27935/stat : 27935 (plingeling) R 27907 27909 27813 0 -1 4202560 35270 1241 0 0 17601 43 0 1 25 0 33 0 679025044 2033025024 341670 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27909/tid=27936] ppid=27907 vsize=1985376 CPUtime=176.59 cores=0-31
/proc/27909/task/27936/stat : 27936 (plingeling) R 27907 27909 27813 0 -1 4202560 43616 1241 0 0 17604 54 0 1 25 0 33 0 679025044 2033025024 341679 268435456000 4194304 4417452 140735024662976 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27909/tid=27937] ppid=27907 vsize=1985376 CPUtime=176.46 cores=0-31
/proc/27909/task/27937/stat : 27937 (plingeling) R 27907 27909 27813 0 -1 4202560 35237 1241 0 0 17602 43 0 1 25 0 33 0 679025044 2033025024 341689 268435456000 4194304 4417452 140735024662976 18446744073709551615 4277956 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27909/tid=27938] ppid=27907 vsize=1985376 CPUtime=176.62 cores=0-31
/proc/27909/task/27938/stat : 27938 (plingeling) R 27907 27909 27813 0 -1 4202560 32770 1241 0 0 17613 48 0 1 25 0 33 0 679025044 2033025024 341699 268435456000 4194304 4417452 140735024662976 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27909/tid=27939] ppid=27907 vsize=1985376 CPUtime=176.49 cores=0-31
/proc/27909/task/27939/stat : 27939 (plingeling) R 27907 27909 27813 0 -1 4202560 64484 1241 0 0 17582 66 0 1 25 0 33 0 679025044 2033025024 341709 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27909/tid=27940] ppid=27907 vsize=1985376 CPUtime=176.43 cores=0-31
/proc/27909/task/27940/stat : 27940 (plingeling) R 27907 27909 27813 0 -1 4202560 51663 1241 0 0 17591 51 0 1 25 0 33 0 679025045 2033025024 341718 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27909/tid=27941] ppid=27907 vsize=1985376 CPUtime=176.48 cores=0-31
/proc/27909/task/27941/stat : 27941 (plingeling) R 27907 27909 27813 0 -1 4202560 35008 1241 0 0 17607 40 0 1 25 0 33 0 679025045 2033025024 341729 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27909/tid=27942] ppid=27907 vsize=1985376 CPUtime=175.95 cores=0-31
/proc/27909/task/27942/stat : 27942 (plingeling) R 27907 27909 27813 0 -1 4202560 53093 1241 0 0 17524 70 0 1 25 0 33 0 679025045 2033025024 341739 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27909/tid=27943] ppid=27907 vsize=1985376 CPUtime=176.61 cores=0-31
/proc/27909/task/27943/stat : 27943 (plingeling) R 27907 27909 27813 0 -1 4202560 32300 1241 0 0 17623 37 0 1 25 0 33 0 679025045 2033025024 341747 268435456000 4194304 4417452 140735024662976 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27909/tid=27944] ppid=27907 vsize=1985376 CPUtime=176.56 cores=0-31
/proc/27909/task/27944/stat : 27944 (plingeling) R 27907 27909 27813 0 -1 4202560 59626 1241 0 0 17582 73 0 1 25 0 33 0 679025045 2033025024 341757 268435456000 4194304 4417452 140735024662976 18446744073709551615 4309888 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27909/tid=27945] ppid=27907 vsize=1985376 CPUtime=176.52 cores=0-31
/proc/27909/task/27945/stat : 27945 (plingeling) R 27907 27909 27813 0 -1 4202560 57406 1241 0 0 17588 63 0 1 25 0 33 0 679025045 2033025024 341767 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27909/tid=27946] ppid=27907 vsize=1985376 CPUtime=176.09 cores=0-31
/proc/27909/task/27946/stat : 27946 (plingeling) R 27907 27909 27813 0 -1 4202560 36445 1241 0 0 17568 40 0 1 25 0 33 0 679025046 2033025024 341776 268435456000 4194304 4417452 140735024662976 18446744073709551615 4353520 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27909/tid=27947] ppid=27907 vsize=1985376 CPUtime=176.56 cores=0-31
/proc/27909/task/27947/stat : 27947 (plingeling) R 27907 27909 27813 0 -1 4202560 48622 1241 0 0 17622 33 0 1 25 0 33 0 679025046 2033025024 341787 268435456000 4194304 4417452 140735024662976 18446744073709551615 4358214 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 5646.05
Current children cumulated vsize (KiB) 1985376
[startup+180.002 s]
/proc/loadavg: 31.71 29.63 26.72 33/446 27951
/proc/meminfo: memFree=254153500/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=1978460 CPUtime=5671.61 cores=0-31
/proc/27909/stat : 27909 (plingeling) S 27907 27909 27813 0 -1 4202496 1471612 1241 0 0 565511 1649 0 1 18 0 33 0 679024806 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27909/statm: 494615 340175 175 55 0 492501 0
[pid=27909/tid=27916] ppid=27907 vsize=1978460 CPUtime=177.26 cores=0-31
/proc/27909/task/27916/stat : 27916 (plingeling) R 27907 27909 27813 0 -1 4202560 58005 1241 0 0 17664 61 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27909/tid=27917] ppid=27907 vsize=1978460 CPUtime=176.27 cores=0-31
/proc/27909/task/27917/stat : 27917 (plingeling) R 27907 27909 27813 0 -1 4202560 53343 1241 0 0 17560 66 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27909/tid=27918] ppid=27907 vsize=1978460 CPUtime=177.34 cores=0-31
/proc/27909/task/27918/stat : 27918 (plingeling) R 27907 27909 27813 0 -1 4202560 33928 1241 0 0 17696 37 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27909/tid=27919] ppid=27907 vsize=1978460 CPUtime=177.32 cores=0-31
/proc/27909/task/27919/stat : 27919 (plingeling) R 27907 27909 27813 0 -1 4202560 34725 1241 0 0 17695 36 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27909/tid=27920] ppid=27907 vsize=1978460 CPUtime=177.37 cores=0-31
/proc/27909/task/27920/stat : 27920 (plingeling) R 27907 27909 27813 0 -1 4202560 28220 1241 0 0 17705 31 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27909/tid=27921] ppid=27907 vsize=1978460 CPUtime=177.06 cores=0-31
/proc/27909/task/27921/stat : 27921 (plingeling) R 27907 27909 27813 0 -1 4202560 34373 1241 0 0 17669 36 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27909/tid=27922] ppid=27907 vsize=1978460 CPUtime=177.4 cores=0-31
/proc/27909/task/27922/stat : 27922 (plingeling) R 27907 27909 27813 0 -1 4202560 45051 1241 0 0 17682 57 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4307930 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27909/tid=27923] ppid=27907 vsize=1978460 CPUtime=177.24 cores=0-31
/proc/27909/task/27923/stat : 27923 (plingeling) R 27907 27909 27813 0 -1 4202560 57718 1241 0 0 17656 67 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27909/tid=27924] ppid=27907 vsize=1978460 CPUtime=177.4 cores=0-31
/proc/27909/task/27924/stat : 27924 (plingeling) R 27907 27909 27813 0 -1 4202560 42801 1241 0 0 17689 50 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27909/tid=27925] ppid=27907 vsize=1978460 CPUtime=177.33 cores=0-31
/proc/27909/task/27925/stat : 27925 (plingeling) R 27907 27909 27813 0 -1 4202560 52651 1241 0 0 17667 65 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27909/tid=27926] ppid=27907 vsize=1978460 CPUtime=177.5 cores=0-31
/proc/27909/task/27926/stat : 27926 (plingeling) R 27907 27909 27813 0 -1 4202560 39817 1241 0 0 17714 35 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27909/tid=27927] ppid=27907 vsize=1978460 CPUtime=177.41 cores=0-31
/proc/27909/task/27927/stat : 27927 (plingeling) R 27907 27909 27813 0 -1 4202560 48276 1241 0 0 17676 64 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27909/tid=27928] ppid=27907 vsize=1978460 CPUtime=177.24 cores=0-31
/proc/27909/task/27928/stat : 27928 (plingeling) R 27907 27909 27813 0 -1 4202560 52940 1241 0 0 17665 58 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27909/tid=27929] ppid=27907 vsize=1978460 CPUtime=176.77 cores=0-31
/proc/27909/task/27929/stat : 27929 (plingeling) R 27907 27909 27813 0 -1 4202560 66130 1241 0 0 17597 79 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27909/tid=27930] ppid=27907 vsize=1978460 CPUtime=176.12 cores=0-31
/proc/27909/task/27930/stat : 27930 (plingeling) R 27907 27909 27813 0 -1 4202560 23130 1241 0 0 17586 25 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27909/tid=27931] ppid=27907 vsize=1978460 CPUtime=176.7 cores=0-31
/proc/27909/task/27931/stat : 27931 (plingeling) R 27907 27909 27813 0 -1 4202560 55195 1241 0 0 17608 61 0 1 25 0 33 0 679025042 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27909/tid=27932] ppid=27907 vsize=1978460 CPUtime=177.26 cores=0-31
/proc/27909/task/27932/stat : 27932 (plingeling) R 27907 27909 27813 0 -1 4202560 49540 1241 0 0 17668 57 0 1 25 0 33 0 679025043 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27909/tid=27933] ppid=27907 vsize=1978460 CPUtime=177.37 cores=0-31
/proc/27909/task/27933/stat : 27933 (plingeling) R 27907 27909 27813 0 -1 4202560 29088 1241 0 0 17716 20 0 1 25 0 33 0 679025044 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4346235 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27909/tid=27934] ppid=27907 vsize=1978460 CPUtime=176.7 cores=0-31
/proc/27909/task/27934/stat : 27934 (plingeling) R 27907 27909 27813 0 -1 4202560 42913 1241 0 0 17614 55 0 1 25 0 33 0 679025044 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27909/tid=27935] ppid=27907 vsize=1978460 CPUtime=177.25 cores=0-31
/proc/27909/task/27935/stat : 27935 (plingeling) R 27907 27909 27813 0 -1 4202560 35270 1241 0 0 17681 43 0 1 25 0 33 0 679025044 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27909/tid=27936] ppid=27907 vsize=1978460 CPUtime=177.39 cores=0-31
/proc/27909/task/27936/stat : 27936 (plingeling) R 27907 27909 27813 0 -1 4202560 43616 1241 0 0 17684 54 0 1 25 0 33 0 679025044 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27909/tid=27937] ppid=27907 vsize=1978460 CPUtime=177.25 cores=0-31
/proc/27909/task/27937/stat : 27937 (plingeling) R 27907 27909 27813 0 -1 4202560 36555 1241 0 0 17681 43 0 1 25 0 33 0 679025044 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27909/tid=27938] ppid=27907 vsize=1978460 CPUtime=177.42 cores=0-31
/proc/27909/task/27938/stat : 27938 (plingeling) R 27907 27909 27813 0 -1 4202560 32770 1241 0 0 17693 48 0 1 25 0 33 0 679025044 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4237214 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27909/tid=27939] ppid=27907 vsize=1978460 CPUtime=177.29 cores=0-31
/proc/27909/task/27939/stat : 27939 (plingeling) R 27907 27909 27813 0 -1 4202560 64484 1241 0 0 17662 66 0 1 25 0 33 0 679025044 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27909/tid=27940] ppid=27907 vsize=1978460 CPUtime=177.23 cores=0-31
/proc/27909/task/27940/stat : 27940 (plingeling) R 27907 27909 27813 0 -1 4202560 51663 1241 0 0 17671 51 0 1 25 0 33 0 679025045 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27909/tid=27941] ppid=27907 vsize=1978460 CPUtime=177.28 cores=0-31
/proc/27909/task/27941/stat : 27941 (plingeling) R 27907 27909 27813 0 -1 4202560 35008 1241 0 0 17687 40 0 1 25 0 33 0 679025045 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27909/tid=27942] ppid=27907 vsize=1978460 CPUtime=176.75 cores=0-31
/proc/27909/task/27942/stat : 27942 (plingeling) R 27907 27909 27813 0 -1 4202560 53093 1241 0 0 17604 70 0 1 25 0 33 0 679025045 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4250447 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27909/tid=27943] ppid=27907 vsize=1978460 CPUtime=177.41 cores=0-31
/proc/27909/task/27943/stat : 27943 (plingeling) R 27907 27909 27813 0 -1 4202560 32300 1241 0 0 17703 37 0 1 25 0 33 0 679025045 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27909/tid=27944] ppid=27907 vsize=1978460 CPUtime=177.36 cores=0-31
/proc/27909/task/27944/stat : 27944 (plingeling) R 27907 27909 27813 0 -1 4202560 59626 1241 0 0 17662 73 0 1 25 0 33 0 679025045 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4310505 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27909/tid=27945] ppid=27907 vsize=1978460 CPUtime=177.32 cores=0-31
/proc/27909/task/27945/stat : 27945 (plingeling) R 27907 27909 27813 0 -1 4202560 57406 1241 0 0 17668 63 0 1 25 0 33 0 679025045 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4357536 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27909/tid=27946] ppid=27907 vsize=1978460 CPUtime=176.89 cores=0-31
/proc/27909/task/27946/stat : 27946 (plingeling) R 27907 27909 27813 0 -1 4202560 36445 1241 0 0 17648 40 0 1 25 0 33 0 679025046 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27909/tid=27947] ppid=27907 vsize=1978460 CPUtime=177.36 cores=0-31
/proc/27909/task/27947/stat : 27947 (plingeling) R 27907 27909 27813 0 -1 4202560 48622 1241 0 0 17702 33 0 1 25 0 33 0 679025046 2025943040 340175 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 5671.61
Current children cumulated vsize (KiB) 1978460
[startup+180.802 s]
/proc/loadavg: 31.71 29.63 26.72 33/446 27951
/proc/meminfo: memFree=254169372/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=1957076 CPUtime=5696.6 cores=0-31
/proc/27909/stat : 27909 (plingeling) S 27907 27909 27813 0 -1 4202496 1475053 1241 0 0 568008 1651 0 1 18 0 18 0 679024806 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/27909/statm: 489269 334861 176 55 0 487155 0
[pid=27909/tid=27917] ppid=27907 vsize=1957076 CPUtime=177.07 cores=0-31
/proc/27909/task/27917/stat : 27917 (plingeling) R 27907 27909 27813 0 -1 4202560 53343 1241 0 0 17640 66 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27909/tid=27918] ppid=27907 vsize=1957076 CPUtime=178.14 cores=0-31
/proc/27909/task/27918/stat : 27918 (plingeling) R 27907 27909 27813 0 -1 4202560 34726 1241 0 0 17776 37 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27909/tid=27920] ppid=27907 vsize=1957076 CPUtime=178.17 cores=0-31
/proc/27909/task/27920/stat : 27920 (plingeling) R 27907 27909 27813 0 -1 4202560 28220 1241 0 0 17785 31 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27909/tid=27922] ppid=27907 vsize=1957076 CPUtime=178.2 cores=0-31
/proc/27909/task/27922/stat : 27922 (plingeling) R 27907 27909 27813 0 -1 4202560 45051 1241 0 0 17762 57 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4282782 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27909/tid=27923] ppid=27907 vsize=1957076 CPUtime=178.04 cores=0-31
/proc/27909/task/27923/stat : 27923 (plingeling) R 27907 27909 27813 0 -1 4202560 57718 1241 0 0 17736 67 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27909/tid=27925] ppid=27907 vsize=1957076 CPUtime=178.13 cores=0-31
/proc/27909/task/27925/stat : 27925 (plingeling) R 27907 27909 27813 0 -1 4202560 52651 1241 0 0 17747 65 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27909/tid=27927] ppid=27907 vsize=1957076 CPUtime=178.21 cores=0-31
/proc/27909/task/27927/stat : 27927 (plingeling) R 27907 27909 27813 0 -1 4202560 48276 1241 0 0 17756 64 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27909/tid=27931] ppid=27907 vsize=1957076 CPUtime=177.5 cores=0-31
/proc/27909/task/27931/stat : 27931 (plingeling) R 27907 27909 27813 0 -1 4202560 55195 1241 0 0 17688 61 0 1 25 0 18 0 679025042 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27909/tid=27934] ppid=27907 vsize=1957076 CPUtime=177.5 cores=0-31
/proc/27909/task/27934/stat : 27934 (plingeling) R 27907 27909 27813 0 -1 4202560 42913 1241 0 0 17694 55 0 1 25 0 18 0 679025044 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27909/tid=27937] ppid=27907 vsize=1957076 CPUtime=178.05 cores=0-31
/proc/27909/task/27937/stat : 27937 (plingeling) R 27907 27909 27813 0 -1 4202560 36555 1241 0 0 17761 43 0 1 25 0 18 0 679025044 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27909/tid=27938] ppid=27907 vsize=1957076 CPUtime=178.21 cores=0-31
/proc/27909/task/27938/stat : 27938 (plingeling) R 27907 27909 27813 0 -1 4202560 32770 1241 0 0 17772 48 0 1 25 0 18 0 679025044 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27909/tid=27939] ppid=27907 vsize=1957076 CPUtime=178.09 cores=0-31
/proc/27909/task/27939/stat : 27939 (plingeling) R 27907 27909 27813 0 -1 4202560 66651 1241 0 0 17741 67 0 1 25 0 18 0 679025044 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27909/tid=27940] ppid=27907 vsize=1957076 CPUtime=178.03 cores=0-31
/proc/27909/task/27940/stat : 27940 (plingeling) R 27907 27909 27813 0 -1 4202560 51663 1241 0 0 17751 51 0 1 25 0 18 0 679025045 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27909/tid=27942] ppid=27907 vsize=1957076 CPUtime=177.55 cores=0-31
/proc/27909/task/27942/stat : 27942 (plingeling) R 27907 27909 27813 0 -1 4202560 53093 1241 0 0 17684 70 0 1 25 0 18 0 679025045 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27909/tid=27943] ppid=27907 vsize=1957076 CPUtime=178.2 cores=0-31
/proc/27909/task/27943/stat : 27943 (plingeling) R 27907 27909 27813 0 -1 4202560 32300 1241 0 0 17782 37 0 1 25 0 18 0 679025045 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27909/tid=27945] ppid=27907 vsize=1957076 CPUtime=178.12 cores=0-31
/proc/27909/task/27945/stat : 27945 (plingeling) R 27907 27909 27813 0 -1 4202560 57856 1241 0 0 17747 64 0 1 25 0 18 0 679025045 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4365062 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27909/tid=27947] ppid=27907 vsize=1957076 CPUtime=178.16 cores=0-31
/proc/27909/task/27947/stat : 27947 (plingeling) R 27907 27909 27813 0 -1 4202560 48622 1241 0 0 17782 33 0 1 25 0 18 0 679025046 2004045824 334861 268435456000 4194304 4417452 140735024662976 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 5696.6
Current children cumulated vsize (KiB) 1957076
[startup+181.001 s]
/proc/loadavg: 31.71 29.63 26.72 33/446 27951
/proc/meminfo: memFree=254169372/264257624 swapFree=67111528/67111528
[pid=27909] ppid=27907 vsize=742732 CPUtime=5697.31 cores=0-31
/proc/27909/stat : 27909 (plingeling) R 27907 27909 27813 0 -1 4202496 1476759 1241 0 0 568069 1661 0 1 16 0 1 0 679024806 760557568 56590 268435456000 4194304 4417452 140735024662976 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 16 0 0 0
/proc/27909/statm: 185683 56078 176 55 0 183569 0
Current children cumulated CPU time (s) 5697.31
Current children cumulated vsize (KiB) 742732
Child status: 20
Real time (s): 181.023
CPU time (s): 5697.34
CPU user time (s): 5680.69
CPU system time (s): 16.6495
CPU usage (%): 3147.31
Max. virtual memory (cumulated for all children) (KiB): 2126184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5680.69
system time used= 16.6495
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1478004
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= 6393
involuntary context switches= 13184
runsolver used 0.934857 second user time and 4.21436 second system time
The end
Begin job on node200 at 2011-05-18 01:36:24
IDJOB=3372528
IDBENCH=82433
IDSOLVER=1852
FILE ID=node200/3372528-1305675383
RUNJOBID= node200-1305675156-27827
PBS_JOBID= 13357375
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372528-1305675383/watcher-3372528-1305675383 -o /tmp/evaluation-result-3372528-1305675383/solver-3372528-1305675383 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372528-1305675383.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e7acb1f64be7eb3ff1367dad08444685
RANDOM SEED=1019463123
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: 255519604 kB
Buffers: 451104 kB
Cached: 7885708 kB
SwapCached: 0 kB
Active: 7401096 kB
Inactive: 1004860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255519604 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 2292 kB
Writeback: 0 kB
AnonPages: 69544 kB
Mapped: 14480 kB
Slab: 251432 kB
PageTables: 4324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 182000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62048 MiB
End job on node200 at 2011-05-18 01:39:25