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-3372564-1305681103/watcher-3372564-1305681103 -o /tmp/evaluation-result-3372564-1305681103/solver-3372564-1305681103 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372564-1305681103.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: 11.23 24.87 29.48 1/413 28895
/proc/meminfo: memFree=255494908/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=13472 CPUtime=0.03 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 1455 1239 0 0 2 0 0 1 21 0 1 0 679596780 13795328 1386 268435456000 4194304 4417452 140733490719952 18446744073709551615 4261983 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28895/statm: 3368 1386 145 55 0 1254 0
[startup+0.0481181 s]
/proc/loadavg: 11.23 24.87 29.48 1/413 28895
/proc/meminfo: memFree=255494908/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=13472 CPUtime=0.04 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 1455 1239 0 0 3 0 0 1 21 0 1 0 679596780 13795328 1386 268435456000 4194304 4417452 140733490719952 18446744073709551615 4235968 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28895/statm: 3368 1386 145 55 0 1254 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13472
[startup+0.101077 s]
/proc/loadavg: 11.23 24.87 29.48 1/413 28895
/proc/meminfo: memFree=255494908/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=19336 CPUtime=0.09 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 2916 1239 0 0 8 0 0 1 21 0 1 0 679596780 19800064 2847 268435456000 4194304 4417452 140733490719952 18446744073709551615 4264945 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28895/statm: 4834 2847 145 55 0 2720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19336
[startup+0.301063 s]
/proc/loadavg: 11.23 24.87 29.48 1/413 28895
/proc/meminfo: memFree=255494908/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=37672 CPUtime=0.3 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 7476 1239 0 0 27 2 0 1 22 0 1 0 679596780 38576128 7407 268435456000 4194304 4417452 140733490719952 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28895/statm: 9418 7407 146 55 0 7304 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 37672
[startup+0.701087 s]
/proc/loadavg: 11.23 24.87 29.48 1/413 28895
/proc/meminfo: memFree=255494908/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=82196 CPUtime=0.69 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 18607 1239 0 0 63 5 0 1 23 0 1 0 679596780 84168704 18538 268435456000 4194304 4417452 140733490719952 18446744073709551615 4259993 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28895/statm: 20549 18538 146 55 0 18435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82196
[startup+1.50114 s]
/proc/loadavg: 11.23 24.87 29.48 2/414 28901
/proc/meminfo: memFree=255420104/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=151416 CPUtime=1.5 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 35944 1239 0 0 140 9 0 1 25 0 1 0 679596780 155049984 35875 268435456000 4194304 4417452 140733490719952 18446744073709551615 4209661 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28895/statm: 37854 35875 146 55 0 35740 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 151416
[startup+3.10119 s]
/proc/loadavg: 11.23 24.87 29.48 2/414 28901
/proc/meminfo: memFree=255275776/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=292324 CPUtime=3.09 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 71171 1239 0 0 292 16 0 1 25 0 1 0 679596780 299339776 71102 268435456000 4194304 4417452 140733490719952 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28895/statm: 73081 71102 146 55 0 70967 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 292324
[startup+6.30219 s]
/proc/loadavg: 10.41 24.48 29.33 29/446 28933
/proc/meminfo: memFree=254973820/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=1230944 CPUtime=37.19 cores=0-31
/proc/28895/stat : 28895 (plingeling) S 28893 28895 28739 0 -1 4202496 258790 1239 0 0 3554 164 0 1 18 0 33 0 679596780 1260486656 172702 268435456000 4194304 4417452 140733490719952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/28895/statm: 307736 172724 168 55 0 305622 0
[pid=28895/tid=28902] ppid=28893 vsize=1230944 CPUtime=1.01 cores=0-31
/proc/28895/task/28902/stat : 28902 (plingeling) R 28893 28895 28739 0 -1 4202560 3368 1239 0 0 96 4 0 1 25 0 33 0 679597307 1260486656 172732 268435456000 4194304 4417452 140733490719952 18446744073709551615 4286960 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28895/tid=28903] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28903/stat : 28903 (plingeling) R 28893 28895 28739 0 -1 4202560 3361 1239 0 0 93 6 0 1 18 0 33 0 679597307 1260486656 172742 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287184 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28895/tid=28904] ppid=28893 vsize=1230944 CPUtime=1.03 cores=0-31
/proc/28895/task/28904/stat : 28904 (plingeling) R 28893 28895 28739 0 -1 4202560 2458 1239 0 0 101 1 0 1 19 0 33 0 679597307 1260486656 172752 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28895/tid=28905] ppid=28893 vsize=1230944 CPUtime=1.02 cores=0-31
/proc/28895/task/28905/stat : 28905 (plingeling) R 28893 28895 28739 0 -1 4202560 2583 1239 0 0 100 1 0 1 21 0 33 0 679597307 1260486656 172762 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28895/tid=28906] ppid=28893 vsize=1230944 CPUtime=1.01 cores=0-31
/proc/28895/task/28906/stat : 28906 (plingeling) R 28893 28895 28739 0 -1 4202560 2621 1239 0 0 98 2 0 1 19 0 33 0 679597307 1260486656 172770 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28895/tid=28907] ppid=28893 vsize=1230944 CPUtime=1.02 cores=0-31
/proc/28895/task/28907/stat : 28907 (plingeling) R 28893 28895 28739 0 -1 4202560 2497 1239 0 0 100 1 0 1 21 0 33 0 679597307 1260486656 172780 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28895/tid=28908] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28908/stat : 28908 (plingeling) R 28893 28895 28739 0 -1 4202560 3918 1239 0 0 93 6 0 1 21 0 33 0 679597307 1260486656 172790 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28895/tid=28909] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28909/stat : 28909 (plingeling) R 28893 28895 28739 0 -1 4202560 3824 1239 0 0 95 4 0 1 21 0 33 0 679597307 1260486656 172798 268435456000 4194304 4417452 140733490719952 18446744073709551615 4285102 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28895/tid=28910] ppid=28893 vsize=1230944 CPUtime=1.02 cores=0-31
/proc/28895/task/28910/stat : 28910 (plingeling) R 28893 28895 28739 0 -1 4202560 2527 1239 0 0 100 1 0 1 21 0 33 0 679597307 1260486656 172807 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28895/tid=28911] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28911/stat : 28911 (plingeling) R 28893 28895 28739 0 -1 4202560 3085 1239 0 0 94 5 0 1 19 0 33 0 679597307 1260486656 172817 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28895/tid=28912] ppid=28893 vsize=1230944 CPUtime=0.99 cores=0-31
/proc/28895/task/28912/stat : 28912 (plingeling) R 28893 28895 28739 0 -1 4202560 2957 1239 0 0 96 2 0 1 21 0 33 0 679597308 1260486656 172825 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28895/tid=28913] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28913/stat : 28913 (plingeling) R 28893 28895 28739 0 -1 4202560 3141 1239 0 0 96 3 0 1 21 0 33 0 679597308 1260486656 172835 268435456000 4194304 4417452 140733490719952 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28895/tid=28914] ppid=28893 vsize=1230944 CPUtime=1.01 cores=0-31
/proc/28895/task/28914/stat : 28914 (plingeling) R 28893 28895 28739 0 -1 4202560 3823 1239 0 0 95 5 0 1 18 0 33 0 679597308 1260486656 172845 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28895/tid=28915] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28915/stat : 28915 (plingeling) R 28893 28895 28739 0 -1 4202560 4683 1239 0 0 95 4 0 1 18 0 33 0 679597308 1260486656 172855 268435456000 4194304 4417452 140733490719952 18446744073709551615 4286960 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28895/tid=28916] ppid=28893 vsize=1230944 CPUtime=1.01 cores=0-31
/proc/28895/task/28916/stat : 28916 (plingeling) R 28893 28895 28739 0 -1 4202560 4658 1239 0 0 96 4 0 1 23 0 33 0 679597308 1260486656 172863 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284943 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28895/tid=28917] ppid=28893 vsize=1230944 CPUtime=1.01 cores=0-31
/proc/28895/task/28917/stat : 28917 (plingeling) R 28893 28895 28739 0 -1 4202560 5030 1239 0 0 94 6 0 1 18 0 33 0 679597308 1260486656 172873 268435456000 4194304 4417452 140733490719952 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28895/tid=28918] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28918/stat : 28918 (plingeling) R 28893 28895 28739 0 -1 4202560 5766 1239 0 0 96 3 0 1 21 0 33 0 679597308 1260486656 172882 268435456000 4194304 4417452 140733490719952 18446744073709551615 258650649918 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28895/tid=28919] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28919/stat : 28919 (plingeling) R 28893 28895 28739 0 -1 4202560 5270 1239 0 0 96 3 0 1 21 0 33 0 679597308 1260486656 172891 268435456000 4194304 4417452 140733490719952 18446744073709551615 4282201 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28895/tid=28920] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28920/stat : 28920 (plingeling) R 28893 28895 28739 0 -1 4202560 3730 1239 0 0 97 2 0 1 21 0 33 0 679597309 1260486656 172901 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28895/tid=28921] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28921/stat : 28921 (plingeling) R 28893 28895 28739 0 -1 4202560 3176 1239 0 0 96 3 0 1 19 0 33 0 679597309 1260486656 172910 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284167 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28895/tid=28922] ppid=28893 vsize=1230944 CPUtime=0.99 cores=0-31
/proc/28895/task/28922/stat : 28922 (plingeling) R 28893 28895 28739 0 -1 4202560 3893 1239 0 0 94 4 0 1 21 0 33 0 679597309 1260486656 172918 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28895/tid=28923] ppid=28893 vsize=1230944 CPUtime=0.98 cores=0-31
/proc/28895/task/28923/stat : 28923 (plingeling) R 28893 28895 28739 0 -1 4202560 5030 1239 0 0 91 6 0 1 21 0 33 0 679597309 1260486656 172928 268435456000 4194304 4417452 140733490719952 18446744073709551615 4285049 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28895/tid=28924] ppid=28893 vsize=1230944 CPUtime=0.96 cores=0-31
/proc/28895/task/28924/stat : 28924 (plingeling) R 28893 28895 28739 0 -1 4202560 4954 1239 0 0 90 5 0 1 21 0 33 0 679597309 1260486656 172937 268435456000 4194304 4417452 140733490719952 18446744073709551615 4283143 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28895/tid=28925] ppid=28893 vsize=1230944 CPUtime=0.99 cores=0-31
/proc/28895/task/28925/stat : 28925 (plingeling) R 28893 28895 28739 0 -1 4202560 4000 1239 0 0 93 5 0 1 21 0 33 0 679597309 1260486656 172948 268435456000 4194304 4417452 140733490719952 18446744073709551615 4282288 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28895/tid=28926] ppid=28893 vsize=1230944 CPUtime=0.99 cores=0-31
/proc/28895/task/28926/stat : 28926 (plingeling) R 28893 28895 28739 0 -1 4202560 2527 1239 0 0 95 3 0 1 21 0 33 0 679597310 1260486656 172956 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28895/tid=28927] ppid=28893 vsize=1230944 CPUtime=1 cores=0-31
/proc/28895/task/28927/stat : 28927 (plingeling) R 28893 28895 28739 0 -1 4202560 2623 1239 0 0 98 1 0 1 21 0 33 0 679597310 1260486656 172966 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28895/tid=28928] ppid=28893 vsize=1230944 CPUtime=0.97 cores=0-31
/proc/28895/task/28928/stat : 28928 (plingeling) R 28893 28895 28739 0 -1 4202560 3824 1239 0 0 93 3 0 1 21 0 33 0 679597310 1260486656 172976 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287398 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28895/tid=28929] ppid=28893 vsize=1230944 CPUtime=0.98 cores=0-31
/proc/28895/task/28929/stat : 28929 (plingeling) R 28893 28895 28739 0 -1 4202560 3939 1239 0 0 92 5 0 1 21 0 33 0 679597310 1260486656 172984 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28895/tid=28930] ppid=28893 vsize=1230944 CPUtime=0.98 cores=0-31
/proc/28895/task/28930/stat : 28930 (plingeling) R 28893 28895 28739 0 -1 4202560 3823 1239 0 0 92 5 0 1 21 0 33 0 679597310 1260486656 172994 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28895/tid=28931] ppid=28893 vsize=1230944 CPUtime=0.95 cores=0-31
/proc/28895/task/28931/stat : 28931 (plingeling) R 28893 28895 28739 0 -1 4202560 3940 1239 0 0 90 4 0 1 18 0 33 0 679597310 1260486656 173004 268435456000 4194304 4417452 140733490719952 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28895/tid=28932] ppid=28893 vsize=1230944 CPUtime=0.95 cores=0-31
/proc/28895/task/28932/stat : 28932 (plingeling) R 28893 28895 28739 0 -1 4202560 2527 1239 0 0 92 2 0 1 21 0 33 0 679597310 1260486656 173012 268435456000 4194304 4417452 140733490719952 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28895/tid=28933] ppid=28893 vsize=1230944 CPUtime=0.99 cores=0-31
/proc/28895/task/28933/stat : 28933 (plingeling) R 28893 28895 28739 0 -1 4202560 3849 1239 0 0 94 4 0 1 21 0 33 0 679597310 1260486656 173022 268435456000 4194304 4417452 140733490719952 18446744073709551615 4286859 0 0 4096 17442 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 37.19
Current children cumulated vsize (KiB) 1230944
[startup+12.7014 s]
/proc/loadavg: 12.22 24.62 29.35 33/446 28933
/proc/meminfo: memFree=254478220/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=1534724 CPUtime=236.27 cores=0-31
/proc/28895/stat : 28895 (plingeling) S 28893 28895 28739 0 -1 4202496 415739 1239 0 0 23224 402 0 1 18 0 33 0 679596780 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/28895/statm: 383681 252783 174 55 0 381567 0
[pid=28895/tid=28902] ppid=28893 vsize=1534724 CPUtime=7.18 cores=0-31
/proc/28895/task/28902/stat : 28902 (plingeling) R 28893 28895 28739 0 -1 4202560 12164 1239 0 0 703 14 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4273971 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28895/tid=28903] ppid=28893 vsize=1534724 CPUtime=7.24 cores=0-31
/proc/28895/task/28903/stat : 28903 (plingeling) R 28893 28895 28739 0 -1 4202560 5915 1239 0 0 708 15 0 1 22 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4252240 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28895/tid=28904] ppid=28893 vsize=1534724 CPUtime=7.21 cores=0-31
/proc/28895/task/28904/stat : 28904 (plingeling) R 28893 28895 28739 0 -1 4202560 4506 1239 0 0 713 7 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28895/tid=28905] ppid=28893 vsize=1534724 CPUtime=7.41 cores=0-31
/proc/28895/task/28905/stat : 28905 (plingeling) R 28893 28895 28739 0 -1 4202560 2584 1239 0 0 739 1 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28895/tid=28906] ppid=28893 vsize=1534724 CPUtime=7.23 cores=0-31
/proc/28895/task/28906/stat : 28906 (plingeling) R 28893 28895 28739 0 -1 4202560 4675 1239 0 0 714 8 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4240090 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28895/tid=28907] ppid=28893 vsize=1534724 CPUtime=7.19 cores=0-31
/proc/28895/task/28907/stat : 28907 (plingeling) R 28893 28895 28739 0 -1 4202560 6601 1239 0 0 710 8 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4252431 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28895/tid=28908] ppid=28893 vsize=1534724 CPUtime=7.3 cores=0-31
/proc/28895/task/28908/stat : 28908 (plingeling) R 28893 28895 28739 0 -1 4202560 11270 1239 0 0 714 15 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4264911 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28895/tid=28909] ppid=28893 vsize=1534724 CPUtime=7.18 cores=0-31
/proc/28895/task/28909/stat : 28909 (plingeling) R 28893 28895 28739 0 -1 4202560 7349 1239 0 0 706 11 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28895/tid=28910] ppid=28893 vsize=1534724 CPUtime=7.18 cores=0-31
/proc/28895/task/28910/stat : 28910 (plingeling) R 28893 28895 28739 0 -1 4202560 11582 1239 0 0 707 10 0 1 25 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28895/tid=28911] ppid=28893 vsize=1534724 CPUtime=7.25 cores=0-31
/proc/28895/task/28911/stat : 28911 (plingeling) R 28893 28895 28739 0 -1 4202560 5139 1239 0 0 712 12 0 1 22 0 33 0 679597307 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4253239 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28895/tid=28912] ppid=28893 vsize=1534724 CPUtime=7.22 cores=0-31
/proc/28895/task/28912/stat : 28912 (plingeling) R 28893 28895 28739 0 -1 4202560 12184 1239 0 0 709 12 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28895/tid=28913] ppid=28893 vsize=1534724 CPUtime=7.16 cores=0-31
/proc/28895/task/28913/stat : 28913 (plingeling) R 28893 28895 28739 0 -1 4202560 5195 1239 0 0 701 14 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4272422 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28895/tid=28914] ppid=28893 vsize=1534724 CPUtime=7.18 cores=0-31
/proc/28895/task/28914/stat : 28914 (plingeling) R 28893 28895 28739 0 -1 4202560 13446 1239 0 0 700 17 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4240063 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28895/tid=28915] ppid=28893 vsize=1534724 CPUtime=7.31 cores=0-31
/proc/28895/task/28915/stat : 28915 (plingeling) R 28893 28895 28739 0 -1 4202560 6737 1239 0 0 720 10 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28895/tid=28916] ppid=28893 vsize=1534724 CPUtime=7.18 cores=0-31
/proc/28895/task/28916/stat : 28916 (plingeling) R 28893 28895 28739 0 -1 4202560 8508 1239 0 0 705 12 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28895/tid=28917] ppid=28893 vsize=1534724 CPUtime=7.27 cores=0-31
/proc/28895/task/28917/stat : 28917 (plingeling) R 28893 28895 28739 0 -1 4202560 7084 1239 0 0 713 13 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28895/tid=28918] ppid=28893 vsize=1534724 CPUtime=7.16 cores=0-31
/proc/28895/task/28918/stat : 28918 (plingeling) R 28893 28895 28739 0 -1 4202560 10187 1239 0 0 704 11 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28895/tid=28919] ppid=28893 vsize=1534724 CPUtime=7.38 cores=0-31
/proc/28895/task/28919/stat : 28919 (plingeling) R 28893 28895 28739 0 -1 4202560 11144 1239 0 0 725 12 0 1 25 0 33 0 679597308 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28895/tid=28920] ppid=28893 vsize=1534724 CPUtime=7.23 cores=0-31
/proc/28895/task/28920/stat : 28920 (plingeling) R 28893 28895 28739 0 -1 4202560 5778 1239 0 0 713 9 0 1 25 0 33 0 679597309 1571557376 252783 268435456000 4194304 4417452 140733490719952 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28895/tid=28921] ppid=28893 vsize=1534724 CPUtime=7.29 cores=0-31
################
# More data... #
################
[pid=28895/tid=28932] ppid=28893 vsize=6217712 CPUtime=3807.76 cores=0-31
/proc/28895/task/28932/stat : 28932 (plingeling) R 28893 28895 28739 0 -1 4202560 2284076 1239 0 0 377945 2830 0 1 25 0 33 0 679597310 6366937088 1435543 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28895/tid=28933] ppid=28893 vsize=6217712 CPUtime=3812.74 cores=0-31
/proc/28895/task/28933/stat : 28933 (plingeling) R 28893 28895 28739 0 -1 4202560 1605610 1239 0 0 379399 1874 0 1 25 0 33 0 679597310 6366937088 1435543 268435456000 4194304 4417452 140733490719952 18446744073709551615 4352385 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 121965
Current children cumulated vsize (KiB) 6217712
[startup+3852.7 s]
/proc/loadavg: 32.01 32.03 32.00 33/446 29515
/proc/meminfo: memFree=249599852/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=6466856 CPUtime=122067 cores=0-31
/proc/28895/stat : 28895 (plingeling) S 28893 28895 28739 0 -1 4202496 59250622 1239 0 0 12136564 70123 0 1 18 0 33 0 679596780 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/28895/statm: 1616714 1497880 175 55 0 1614600 0
[pid=28895/tid=28902] ppid=28893 vsize=6466856 CPUtime=3821.25 cores=0-31
/proc/28895/task/28902/stat : 28902 (plingeling) R 28893 28895 28739 0 -1 4202560 1342734 1239 0 0 380944 1180 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4265687 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28895/tid=28903] ppid=28893 vsize=6466856 CPUtime=3810.8 cores=0-31
/proc/28895/task/28903/stat : 28903 (plingeling) R 28893 28895 28739 0 -1 4202560 1966556 1239 0 0 378884 2195 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4353559 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28895/tid=28904] ppid=28893 vsize=6466856 CPUtime=3805.84 cores=0-31
/proc/28895/task/28904/stat : 28904 (plingeling) R 28893 28895 28739 0 -1 4202560 2156953 1239 0 0 377827 2756 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28895/tid=28905] ppid=28893 vsize=6466856 CPUtime=3815.73 cores=0-31
/proc/28895/task/28905/stat : 28905 (plingeling) R 28893 28895 28739 0 -1 4202560 3549339 1239 0 0 377408 4164 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4354341 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28895/tid=28906] ppid=28893 vsize=6466856 CPUtime=3815.82 cores=0-31
/proc/28895/task/28906/stat : 28906 (plingeling) R 28893 28895 28739 0 -1 4202560 1415949 1239 0 0 379907 1674 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28895/tid=28907] ppid=28893 vsize=6466856 CPUtime=3814.11 cores=0-31
/proc/28895/task/28907/stat : 28907 (plingeling) R 28893 28895 28739 0 -1 4202560 1724193 1239 0 0 379550 1860 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28895/tid=28908] ppid=28893 vsize=6466856 CPUtime=3817.75 cores=0-31
/proc/28895/task/28908/stat : 28908 (plingeling) R 28893 28895 28739 0 -1 4202560 1611974 1239 0 0 379906 1868 0 1 24 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28895/tid=28909] ppid=28893 vsize=6466856 CPUtime=3810.04 cores=0-31
/proc/28895/task/28909/stat : 28909 (plingeling) R 28893 28895 28739 0 -1 4202560 1671954 1239 0 0 378895 2108 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28895/tid=28910] ppid=28893 vsize=6466856 CPUtime=3814.46 cores=0-31
/proc/28895/task/28910/stat : 28910 (plingeling) R 28893 28895 28739 0 -1 4202560 1483321 1239 0 0 379852 1593 0 1 23 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4357595 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28895/tid=28911] ppid=28893 vsize=6466856 CPUtime=3810.49 cores=0-31
/proc/28895/task/28911/stat : 28911 (plingeling) R 28893 28895 28739 0 -1 4202560 2432721 1239 0 0 378350 2698 0 1 25 0 33 0 679597307 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28895/tid=28912] ppid=28893 vsize=6466856 CPUtime=3812.47 cores=0-31
/proc/28895/task/28912/stat : 28912 (plingeling) R 28893 28895 28739 0 -1 4202560 1786403 1239 0 0 379359 1887 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28895/tid=28913] ppid=28893 vsize=6466856 CPUtime=3817.46 cores=0-31
/proc/28895/task/28913/stat : 28913 (plingeling) R 28893 28895 28739 0 -1 4202560 1680268 1239 0 0 379660 2085 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28895/tid=28914] ppid=28893 vsize=6466856 CPUtime=3814.69 cores=0-31
/proc/28895/task/28914/stat : 28914 (plingeling) R 28893 28895 28739 0 -1 4202560 1746161 1239 0 0 378954 2514 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28895/tid=28915] ppid=28893 vsize=6466856 CPUtime=3819.85 cores=0-31
/proc/28895/task/28915/stat : 28915 (plingeling) R 28893 28895 28739 0 -1 4202560 1622717 1239 0 0 379941 2043 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28895/tid=28916] ppid=28893 vsize=6466856 CPUtime=3817.79 cores=0-31
/proc/28895/task/28916/stat : 28916 (plingeling) R 28893 28895 28739 0 -1 4202560 1918357 1239 0 0 379196 2582 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28895/tid=28917] ppid=28893 vsize=6466856 CPUtime=3813.28 cores=0-31
/proc/28895/task/28917/stat : 28917 (plingeling) R 28893 28895 28739 0 -1 4202560 2102256 1239 0 0 379147 2180 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28895/tid=28918] ppid=28893 vsize=6466856 CPUtime=3808.45 cores=0-31
/proc/28895/task/28918/stat : 28918 (plingeling) R 28893 28895 28739 0 -1 4202560 1576119 1239 0 0 378867 1977 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4365047 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28895/tid=28919] ppid=28893 vsize=6466856 CPUtime=3816.91 cores=0-31
/proc/28895/task/28919/stat : 28919 (plingeling) R 28893 28895 28739 0 -1 4202560 1913758 1239 0 0 379173 2517 0 1 25 0 33 0 679597308 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28895/tid=28920] ppid=28893 vsize=6466856 CPUtime=3817.53 cores=0-31
/proc/28895/task/28920/stat : 28920 (plingeling) R 28893 28895 28739 0 -1 4202560 1793694 1239 0 0 379599 2153 0 1 25 0 33 0 679597309 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28895/tid=28921] ppid=28893 vsize=6466856 CPUtime=3814.81 cores=0-31
/proc/28895/task/28921/stat : 28921 (plingeling) R 28893 28895 28739 0 -1 4202560 1707165 1239 0 0 379171 2309 0 1 25 0 33 0 679597309 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28895/tid=28922] ppid=28893 vsize=6466856 CPUtime=3816.14 cores=0-31
/proc/28895/task/28922/stat : 28922 (plingeling) R 28893 28895 28739 0 -1 4202560 1986918 1239 0 0 379117 2496 0 1 25 0 33 0 679597309 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28895/tid=28923] ppid=28893 vsize=6466856 CPUtime=3810 cores=0-31
/proc/28895/task/28923/stat : 28923 (plingeling) R 28893 28895 28739 0 -1 4202560 1869444 1239 0 0 378667 2332 0 1 25 0 33 0 679597309 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28895/tid=28924] ppid=28893 vsize=6466856 CPUtime=3822.95 cores=0-31
/proc/28895/task/28924/stat : 28924 (plingeling) R 28893 28895 28739 0 -1 4202560 1618155 1239 0 0 380495 1799 0 1 25 0 33 0 679597309 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28895/tid=28925] ppid=28893 vsize=6466856 CPUtime=3810.47 cores=0-31
/proc/28895/task/28925/stat : 28925 (plingeling) R 28893 28895 28739 0 -1 4202560 1849869 1239 0 0 379324 1722 0 1 25 0 33 0 679597309 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28895/tid=28926] ppid=28893 vsize=6466856 CPUtime=3814.28 cores=0-31
/proc/28895/task/28926/stat : 28926 (plingeling) R 28893 28895 28739 0 -1 4202560 1878174 1239 0 0 379013 2414 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28895/tid=28927] ppid=28893 vsize=6466856 CPUtime=3815.85 cores=0-31
/proc/28895/task/28927/stat : 28927 (plingeling) R 28893 28895 28739 0 -1 4202560 1620998 1239 0 0 379594 1990 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28895/tid=28928] ppid=28893 vsize=6466856 CPUtime=3816.8 cores=0-31
/proc/28895/task/28928/stat : 28928 (plingeling) R 28893 28895 28739 0 -1 4202560 1798714 1239 0 0 379607 2072 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28895/tid=28929] ppid=28893 vsize=6466856 CPUtime=3820.87 cores=0-31
/proc/28895/task/28929/stat : 28929 (plingeling) R 28893 28895 28739 0 -1 4202560 1685700 1239 0 0 380426 1660 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28895/tid=28930] ppid=28893 vsize=6466856 CPUtime=3806.86 cores=0-31
/proc/28895/task/28930/stat : 28930 (plingeling) R 28893 28895 28739 0 -1 4202560 1853921 1239 0 0 378415 2270 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28895/tid=28931] ppid=28893 vsize=6466856 CPUtime=3811.07 cores=0-31
/proc/28895/task/28931/stat : 28931 (plingeling) R 28893 28895 28739 0 -1 4202560 1849830 1239 0 0 378847 2259 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28895/tid=28932] ppid=28893 vsize=6466856 CPUtime=3810.86 cores=0-31
/proc/28895/task/28932/stat : 28932 (plingeling) R 28893 28895 28739 0 -1 4202560 2289131 1239 0 0 378241 2844 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28895/tid=28933] ppid=28893 vsize=6466856 CPUtime=3815.94 cores=0-31
/proc/28895/task/28933/stat : 28933 (plingeling) R 28893 28895 28739 0 -1 4202560 1605610 1239 0 0 379719 1874 0 1 25 0 33 0 679597310 6622060544 1497880 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364711 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 122067
Current children cumulated vsize (KiB) 6466856
[startup+3853.5 s]
/proc/loadavg: 32.01 32.03 32.00 33/446 29515
/proc/meminfo: memFree=249491848/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=6418736 CPUtime=122092 cores=0-31
/proc/28895/stat : 28895 (plingeling) S 28893 28895 28739 0 -1 4202496 59260062 1239 0 0 12139093 70148 0 1 18 0 33 0 679596780 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 9 0 0 0
/proc/28895/statm: 1604684 1485850 175 55 0 1602570 0
[pid=28895/tid=28902] ppid=28893 vsize=6418736 CPUtime=3822.05 cores=0-31
/proc/28895/task/28902/stat : 28902 (plingeling) R 28893 28895 28739 0 -1 4202560 1342734 1239 0 0 381024 1180 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28895/tid=28903] ppid=28893 vsize=6418736 CPUtime=3811.58 cores=0-31
/proc/28895/task/28903/stat : 28903 (plingeling) R 28893 28895 28739 0 -1 4202560 1970809 1239 0 0 378951 2206 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4365088 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28895/tid=28904] ppid=28893 vsize=6418736 CPUtime=3806.64 cores=0-31
/proc/28895/task/28904/stat : 28904 (plingeling) R 28893 28895 28739 0 -1 4202560 2156953 1239 0 0 377907 2756 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28895/tid=28905] ppid=28893 vsize=6418736 CPUtime=3816.53 cores=0-31
/proc/28895/task/28905/stat : 28905 (plingeling) R 28893 28895 28739 0 -1 4202560 3549856 1239 0 0 377488 4164 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28895/tid=28906] ppid=28893 vsize=6418736 CPUtime=3816.62 cores=0-31
/proc/28895/task/28906/stat : 28906 (plingeling) R 28893 28895 28739 0 -1 4202560 1415949 1239 0 0 379987 1674 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28895/tid=28907] ppid=28893 vsize=6418736 CPUtime=3814.91 cores=0-31
/proc/28895/task/28907/stat : 28907 (plingeling) R 28893 28895 28739 0 -1 4202560 1724193 1239 0 0 379630 1860 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364488 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28895/tid=28908] ppid=28893 vsize=6418736 CPUtime=3818.55 cores=0-31
/proc/28895/task/28908/stat : 28908 (plingeling) R 28893 28895 28739 0 -1 4202560 1611974 1239 0 0 379986 1868 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28895/tid=28909] ppid=28893 vsize=6418736 CPUtime=3810.84 cores=0-31
/proc/28895/task/28909/stat : 28909 (plingeling) R 28893 28895 28739 0 -1 4202560 1671954 1239 0 0 378975 2108 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28895/tid=28910] ppid=28893 vsize=6418736 CPUtime=3815.26 cores=0-31
/proc/28895/task/28910/stat : 28910 (plingeling) R 28893 28895 28739 0 -1 4202560 1483321 1239 0 0 379932 1593 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4232636 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28895/tid=28911] ppid=28893 vsize=6418736 CPUtime=3811.29 cores=0-31
/proc/28895/task/28911/stat : 28911 (plingeling) R 28893 28895 28739 0 -1 4202560 2432721 1239 0 0 378430 2698 0 1 25 0 33 0 679597307 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28895/tid=28912] ppid=28893 vsize=6418736 CPUtime=3813.27 cores=0-31
/proc/28895/task/28912/stat : 28912 (plingeling) R 28893 28895 28739 0 -1 4202560 1786403 1239 0 0 379439 1887 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28895/tid=28913] ppid=28893 vsize=6418736 CPUtime=3818.26 cores=0-31
/proc/28895/task/28913/stat : 28913 (plingeling) R 28893 28895 28739 0 -1 4202560 1680268 1239 0 0 379740 2085 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364669 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28895/tid=28914] ppid=28893 vsize=6418736 CPUtime=3815.49 cores=0-31
/proc/28895/task/28914/stat : 28914 (plingeling) R 28893 28895 28739 0 -1 4202560 1746161 1239 0 0 379034 2514 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28895/tid=28915] ppid=28893 vsize=6418736 CPUtime=3820.65 cores=0-31
/proc/28895/task/28915/stat : 28915 (plingeling) R 28893 28895 28739 0 -1 4202560 1622717 1239 0 0 380021 2043 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4366126 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28895/tid=28916] ppid=28893 vsize=6418736 CPUtime=3818.59 cores=0-31
/proc/28895/task/28916/stat : 28916 (plingeling) R 28893 28895 28739 0 -1 4202560 1918357 1239 0 0 379276 2582 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4250927 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28895/tid=28917] ppid=28893 vsize=6418736 CPUtime=3814.08 cores=0-31
/proc/28895/task/28917/stat : 28917 (plingeling) R 28893 28895 28739 0 -1 4202560 2102256 1239 0 0 379227 2180 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28895/tid=28918] ppid=28893 vsize=6418736 CPUtime=3809.25 cores=0-31
/proc/28895/task/28918/stat : 28918 (plingeling) R 28893 28895 28739 0 -1 4202560 1580789 1239 0 0 378934 1990 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28895/tid=28919] ppid=28893 vsize=6418736 CPUtime=3817.7 cores=0-31
/proc/28895/task/28919/stat : 28919 (plingeling) R 28893 28895 28739 0 -1 4202560 1913758 1239 0 0 379251 2518 0 1 25 0 33 0 679597308 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4246341 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28895/tid=28920] ppid=28893 vsize=6418736 CPUtime=3818.33 cores=0-31
/proc/28895/task/28920/stat : 28920 (plingeling) R 28893 28895 28739 0 -1 4202560 1793694 1239 0 0 379679 2153 0 1 25 0 33 0 679597309 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28895/tid=28921] ppid=28893 vsize=6418736 CPUtime=3815.61 cores=0-31
/proc/28895/task/28921/stat : 28921 (plingeling) R 28893 28895 28739 0 -1 4202560 1707165 1239 0 0 379251 2309 0 1 25 0 33 0 679597309 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28895/tid=28922] ppid=28893 vsize=6418736 CPUtime=3816.94 cores=0-31
/proc/28895/task/28922/stat : 28922 (plingeling) R 28893 28895 28739 0 -1 4202560 1986918 1239 0 0 379197 2496 0 1 25 0 33 0 679597309 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28895/tid=28923] ppid=28893 vsize=6418736 CPUtime=3810.8 cores=0-31
/proc/28895/task/28923/stat : 28923 (plingeling) R 28893 28895 28739 0 -1 4202560 1869444 1239 0 0 378747 2332 0 1 25 0 33 0 679597309 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28895/tid=28924] ppid=28893 vsize=6418736 CPUtime=3823.75 cores=0-31
/proc/28895/task/28924/stat : 28924 (plingeling) R 28893 28895 28739 0 -1 4202560 1618155 1239 0 0 380575 1799 0 1 25 0 33 0 679597309 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28895/tid=28925] ppid=28893 vsize=6418736 CPUtime=3811.27 cores=0-31
/proc/28895/task/28925/stat : 28925 (plingeling) R 28893 28895 28739 0 -1 4202560 1849869 1239 0 0 379404 1722 0 1 25 0 33 0 679597309 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364461 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28895/tid=28926] ppid=28893 vsize=6418736 CPUtime=3815.08 cores=0-31
/proc/28895/task/28926/stat : 28926 (plingeling) R 28893 28895 28739 0 -1 4202560 1878174 1239 0 0 379093 2414 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28895/tid=28927] ppid=28893 vsize=6418736 CPUtime=3816.65 cores=0-31
/proc/28895/task/28927/stat : 28927 (plingeling) R 28893 28895 28739 0 -1 4202560 1620998 1239 0 0 379674 1990 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28895/tid=28928] ppid=28893 vsize=6418736 CPUtime=3817.6 cores=0-31
/proc/28895/task/28928/stat : 28928 (plingeling) R 28893 28895 28739 0 -1 4202560 1798714 1239 0 0 379687 2072 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28895/tid=28929] ppid=28893 vsize=6418736 CPUtime=3821.67 cores=0-31
/proc/28895/task/28929/stat : 28929 (plingeling) R 28893 28895 28739 0 -1 4202560 1685700 1239 0 0 380506 1660 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28895/tid=28930] ppid=28893 vsize=6418736 CPUtime=3807.66 cores=0-31
/proc/28895/task/28930/stat : 28930 (plingeling) R 28893 28895 28739 0 -1 4202560 1853921 1239 0 0 378495 2270 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28895/tid=28931] ppid=28893 vsize=6418736 CPUtime=3811.87 cores=0-31
/proc/28895/task/28931/stat : 28931 (plingeling) R 28893 28895 28739 0 -1 4202560 1849830 1239 0 0 378927 2259 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28895/tid=28932] ppid=28893 vsize=6418736 CPUtime=3811.63 cores=0-31
/proc/28895/task/28932/stat : 28932 (plingeling) R 28893 28895 28739 0 -1 4202560 2289131 1239 0 0 378318 2844 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28895/tid=28933] ppid=28893 vsize=6418736 CPUtime=3816.74 cores=0-31
/proc/28895/task/28933/stat : 28933 (plingeling) R 28893 28895 28739 0 -1 4202560 1605610 1239 0 0 379799 1874 0 1 25 0 33 0 679597310 6572785664 1485850 268435456000 4194304 4417452 140733490719952 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 122092
Current children cumulated vsize (KiB) 6418736
[startup+3853.9 s]
/proc/loadavg: 32.01 32.03 32.00 33/446 29515
/proc/meminfo: memFree=249491848/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=4735848 CPUtime=122098 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202496 59261509 1239 0 0 12139642 70160 0 1 17 0 1 0 679596780 4849508352 1128647 268435456000 4194304 4417452 140733490719952 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 9 0 0 0
/proc/28895/statm: 1183962 1128135 176 55 0 1181848 0
Current children cumulated CPU time (s) 122098
Current children cumulated vsize (KiB) 4735848
[startup+3854.3 s]
/proc/loadavg: 29.53 31.51 31.83 2/414 29515
/proc/meminfo: memFree=254828860/264257624 swapFree=67111528/67111528
[pid=28895] ppid=28893 vsize=0 CPUtime=122098 cores=0-31
/proc/28895/stat : 28895 (plingeling) R 28893 28895 28739 0 -1 4202500 59261513 1239 0 0 12139642 70204 0 1 17 0 1 0 679596780 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 9 0 0 0
/proc/28895/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 122098
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3854.38
CPU time (s): 122099
CPU user time (s): 121396
CPU system time (s): 702.095
CPU usage (%): 3167.79
Max. virtual memory (cumulated for all children) (KiB): 8064812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121396
system time used= 702.095
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59262752
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= 34665
involuntary context switches= 298749
runsolver used 20.6609 second user time and 88.9015 second system time
The end
Begin job on node200 at 2011-05-18 03:11:44
IDJOB=3372564
IDBENCH=82462
IDSOLVER=1852
FILE ID=node200/3372564-1305681103
RUNJOBID= node200-1305681030-28753
PBS_JOBID= 13357377
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372564-1305681103/watcher-3372564-1305681103 -o /tmp/evaluation-result-3372564-1305681103/solver-3372564-1305681103 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372564-1305681103.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 47da9e46b00ffd3e0b0f453a6c3c9f38
RANDOM SEED=1551398825
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: 255495180 kB
Buffers: 451556 kB
Cached: 7892164 kB
SwapCached: 0 kB
Active: 7404376 kB
Inactive: 1008160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255495180 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5144 kB
Writeback: 0 kB
AnonPages: 69544 kB
Mapped: 14480 kB
Slab: 251944 kB
PageTables: 4288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-18 04:15:58