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-3372303-1305547056/watcher-3372303-1305547056 -o /tmp/evaluation-result-3372303-1305547056/solver-3372303-1305547056 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372303-1305547056.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: 27.90 24.60 19.67 1/413 18039
/proc/meminfo: memFree=255523732/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=32804 CPUtime=0.02 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 6197 1240 0 0 1 1 0 0 21 0 1 0 666192145 33591296 6128 268435456000 4194304 4417452 140737000712464 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 8201 6142 145 55 0 6087 0
[startup+0.0991819 s]
/proc/loadavg: 27.90 24.60 19.67 1/413 18039
/proc/meminfo: memFree=255523732/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=83500 CPUtime=0.08 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 18940 1240 0 0 5 3 0 0 21 0 1 0 666192145 85504000 18871 268435456000 4194304 4417452 140737000712464 18446744073709551615 4323176 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 20875 18871 145 55 0 18761 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83500
[startup+0.101175 s]
/proc/loadavg: 27.90 24.60 19.67 1/413 18039
/proc/meminfo: memFree=255523732/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=85548 CPUtime=0.08 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 19399 1240 0 0 5 3 0 0 21 0 1 0 666192145 87601152 19330 268435456000 4194304 4417452 140737000712464 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 21387 19348 145 55 0 19273 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85548
[startup+0.301183 s]
/proc/loadavg: 27.90 24.60 19.67 1/413 18039
/proc/meminfo: memFree=255523732/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=167252 CPUtime=0.28 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 39878 1240 0 0 21 7 0 0 22 0 1 0 666192145 171266048 39809 268435456000 4194304 4417452 140737000712464 18446744073709551615 4259683 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 41813 39809 145 55 0 39699 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 167252
[startup+0.701202 s]
/proc/loadavg: 27.90 24.60 19.67 1/413 18039
/proc/meminfo: memFree=255523732/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=191224 CPUtime=0.69 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 45879 1240 0 0 60 9 0 0 23 0 1 0 666192145 195813376 45810 268435456000 4194304 4417452 140737000712464 18446744073709551615 4259247 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 47806 45810 145 55 0 45692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 191224
[startup+1.50122 s]
/proc/loadavg: 25.91 24.24 19.58 2/414 18045
/proc/meminfo: memFree=255291844/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=334880 CPUtime=1.49 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 81814 1240 0 0 133 16 0 0 25 0 1 0 666192145 342917120 81740 268435456000 4194304 4417452 140737000712464 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 83720 81740 145 55 0 81606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 334880
[startup+3.10028 s]
/proc/loadavg: 25.91 24.24 19.58 2/414 18045
/proc/meminfo: memFree=255195372/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=452384 CPUtime=3.08 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 111270 1240 0 0 285 23 0 0 25 0 1 0 666192145 463241216 111116 268435456000 4194304 4417452 140737000712464 18446744073709551615 4264916 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 113096 111116 145 55 0 110982 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 452384
[startup+6.3004 s]
/proc/loadavg: 23.91 23.86 19.48 2/414 18045
/proc/meminfo: memFree=254779496/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=751320 CPUtime=6.29 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 186164 1240 0 0 593 36 0 0 25 0 1 0 666192145 769351680 185850 268435456000 4194304 4417452 140737000712464 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 187830 185850 145 55 0 185716 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 751320
[startup+12.7006 s]
/proc/loadavg: 22.08 23.48 19.38 2/414 18045
/proc/meminfo: memFree=254591084/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=940240 CPUtime=12.69 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 233659 1240 0 0 1224 45 0 0 25 0 1 0 666192145 962805760 233081 268435456000 4194304 4417452 140737000712464 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/18039/statm: 235060 233081 146 55 0 232946 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 940240
[startup+25.5029 s]
/proc/loadavg: 18.84 22.74 19.18 33/446 18079
/proc/meminfo: memFree=253755336/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=2322412 CPUtime=44.6 cores=0-31
/proc/18039/stat : 18039 (plingeling) S 18037 18039 17813 0 -1 4202496 562374 1240 0 0 4142 318 0 0 18 0 33 0 666192145 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18039/statm: 580603 445012 164 55 0 578489 0
[pid=18039/tid=18046] ppid=18037 vsize=2322412 CPUtime=0.7 cores=0-31
/proc/18039/task/18046/stat : 18046 (plingeling) R 18037 18039 17813 0 -1 4202560 4048 1240 0 0 63 7 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281860 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18039/tid=18047] ppid=18037 vsize=2322412 CPUtime=0.61 cores=0-31
/proc/18039/task/18047/stat : 18047 (plingeling) R 18037 18039 17813 0 -1 4202560 4206 1240 0 0 52 9 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286661 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18039/tid=18048] ppid=18037 vsize=2322412 CPUtime=0.54 cores=0-31
/proc/18039/task/18048/stat : 18048 (plingeling) R 18037 18039 17813 0 -1 4202560 3976 1240 0 0 49 5 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281851 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18039/tid=18049] ppid=18037 vsize=2322412 CPUtime=0.58 cores=0-31
/proc/18039/task/18049/stat : 18049 (plingeling) R 18037 18039 17813 0 -1 4202560 3192 1240 0 0 53 5 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4275762 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18039/tid=18050] ppid=18037 vsize=2322412 CPUtime=0.72 cores=0-31
/proc/18039/task/18050/stat : 18050 (plingeling) R 18037 18039 17813 0 -1 4202560 4206 1240 0 0 65 7 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18039/tid=18051] ppid=18037 vsize=2322412 CPUtime=0.61 cores=0-31
/proc/18039/task/18051/stat : 18051 (plingeling) R 18037 18039 17813 0 -1 4202560 4078 1240 0 0 55 6 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18039/tid=18052] ppid=18037 vsize=2322412 CPUtime=0.68 cores=0-31
/proc/18039/task/18052/stat : 18052 (plingeling) R 18037 18039 17813 0 -1 4202560 4178 1240 0 0 63 5 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287393 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18039/tid=18053] ppid=18037 vsize=2322412 CPUtime=0.71 cores=0-31
/proc/18039/task/18053/stat : 18053 (plingeling) R 18037 18039 17813 0 -1 4202560 4111 1240 0 0 65 6 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286244 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18039/tid=18054] ppid=18037 vsize=2322412 CPUtime=0.6 cores=0-31
/proc/18039/task/18054/stat : 18054 (plingeling) R 18037 18039 17813 0 -1 4202560 4205 1240 0 0 54 6 0 0 17 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18039/tid=18055] ppid=18037 vsize=2322412 CPUtime=0.71 cores=0-31
/proc/18039/task/18055/stat : 18055 (plingeling) R 18037 18039 17813 0 -1 4202560 4203 1240 0 0 64 7 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18039/tid=18056] ppid=18037 vsize=2322412 CPUtime=0.62 cores=0-31
/proc/18039/task/18056/stat : 18056 (plingeling) R 18037 18039 17813 0 -1 4202560 3971 1240 0 0 53 9 0 0 18 0 33 0 666194607 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=18039/tid=18057] ppid=18037 vsize=2322412 CPUtime=0.62 cores=0-31
/proc/18039/task/18057/stat : 18057 (plingeling) R 18037 18039 17813 0 -1 4202560 4077 1240 0 0 52 10 0 0 18 0 33 0 666194608 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18039/tid=18058] ppid=18037 vsize=2322412 CPUtime=0.62 cores=0-31
/proc/18039/task/18058/stat : 18058 (plingeling) R 18037 18039 17813 0 -1 4202560 4077 1240 0 0 53 9 0 0 18 0 33 0 666194608 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4284959 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18039/tid=18059] ppid=18037 vsize=2322412 CPUtime=0.72 cores=0-31
/proc/18039/task/18059/stat : 18059 (plingeling) R 18037 18039 17813 0 -1 4202560 4078 1240 0 0 65 7 0 0 18 0 33 0 666194608 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18039/tid=18060] ppid=18037 vsize=2322412 CPUtime=0.65 cores=0-31
/proc/18039/task/18060/stat : 18060 (plingeling) R 18037 18039 17813 0 -1 4202560 4077 1240 0 0 59 6 0 0 18 0 33 0 666194608 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18039/tid=18061] ppid=18037 vsize=2322412 CPUtime=0.66 cores=0-31
/proc/18039/task/18061/stat : 18061 (plingeling) R 18037 18039 17813 0 -1 4202560 4203 1240 0 0 60 6 0 0 18 0 33 0 666194608 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4288072 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18039/tid=18062] ppid=18037 vsize=2322412 CPUtime=0.6 cores=0-31
/proc/18039/task/18062/stat : 18062 (plingeling) R 18037 18039 17813 0 -1 4202560 4076 1240 0 0 54 6 0 0 18 0 33 0 666194608 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18039/tid=18063] ppid=18037 vsize=2322412 CPUtime=0.6 cores=0-31
/proc/18039/task/18063/stat : 18063 (plingeling) R 18037 18039 17813 0 -1 4202560 4204 1240 0 0 52 8 0 0 18 0 33 0 666194608 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18039/tid=18064] ppid=18037 vsize=2322412 CPUtime=0.6 cores=0-31
/proc/18039/task/18064/stat : 18064 (plingeling) R 18037 18039 17813 0 -1 4202560 4178 1240 0 0 54 6 0 0 18 0 33 0 666194609 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287184 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18039/tid=18065] ppid=18037 vsize=2322412 CPUtime=0.64 cores=0-31
/proc/18039/task/18065/stat : 18065 (plingeling) R 18037 18039 17813 0 -1 4202560 4182 1240 0 0 58 6 0 0 18 0 33 0 666194609 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286447 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18039/tid=18066] ppid=18037 vsize=2322412 CPUtime=0.59 cores=0-31
/proc/18039/task/18066/stat : 18066 (plingeling) R 18037 18039 17813 0 -1 4202560 4183 1240 0 0 51 8 0 0 18 0 33 0 666194609 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18039/tid=18067] ppid=18037 vsize=2322412 CPUtime=0.45 cores=0-31
/proc/18039/task/18067/stat : 18067 (plingeling) R 18037 18039 17813 0 -1 4202560 3845 1240 0 0 38 7 0 0 18 0 33 0 666194609 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=18039/tid=18068] ppid=18037 vsize=2322412 CPUtime=0.62 cores=0-31
/proc/18039/task/18068/stat : 18068 (plingeling) R 18037 18039 17813 0 -1 4202560 4080 1240 0 0 53 9 0 0 18 0 33 0 666194609 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286475 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18039/tid=18069] ppid=18037 vsize=2322412 CPUtime=0.6 cores=0-31
/proc/18039/task/18069/stat : 18069 (plingeling) R 18037 18039 17813 0 -1 4202560 4178 1240 0 0 53 7 0 0 18 0 33 0 666194609 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287336 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18039/tid=18070] ppid=18037 vsize=2322412 CPUtime=0.65 cores=0-31
/proc/18039/task/18070/stat : 18070 (plingeling) R 18037 18039 17813 0 -1 4202560 3472 1240 0 0 60 5 0 0 18 0 33 0 666194609 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4285063 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18039/tid=18071] ppid=18037 vsize=2322412 CPUtime=0.58 cores=0-31
/proc/18039/task/18071/stat : 18071 (plingeling) R 18037 18039 17813 0 -1 4202560 4209 1240 0 0 51 7 0 0 18 0 33 0 666194610 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286440 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18039/tid=18072] ppid=18037 vsize=2322412 CPUtime=0.62 cores=0-31
/proc/18039/task/18072/stat : 18072 (plingeling) R 18037 18039 17813 0 -1 4202560 4282 1240 0 0 56 6 0 0 18 0 33 0 666194610 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18039/tid=18073] ppid=18037 vsize=2322412 CPUtime=0.54 cores=0-31
/proc/18039/task/18073/stat : 18073 (plingeling) R 18037 18039 17813 0 -1 4202560 3441 1240 0 0 51 3 0 0 18 0 33 0 666194610 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18039/tid=18074] ppid=18037 vsize=2322412 CPUtime=0.5 cores=0-31
/proc/18039/task/18074/stat : 18074 (plingeling) R 18037 18039 17813 0 -1 4202560 4212 1240 0 0 45 5 0 0 18 0 33 0 666194610 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287486 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18039/tid=18075] ppid=18037 vsize=2322412 CPUtime=0.58 cores=0-31
/proc/18039/task/18075/stat : 18075 (plingeling) R 18037 18039 17813 0 -1 4202560 4077 1240 0 0 50 8 0 0 18 0 33 0 666194610 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18039/tid=18076] ppid=18037 vsize=2322412 CPUtime=0.57 cores=0-31
/proc/18039/task/18076/stat : 18076 (plingeling) R 18037 18039 17813 0 -1 4202560 4104 1240 0 0 50 7 0 0 18 0 33 0 666194610 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4287336 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18039/tid=18077] ppid=18037 vsize=2322412 CPUtime=0.6 cores=0-31
/proc/18039/task/18077/stat : 18077 (plingeling) R 18037 18039 17813 0 -1 4202560 4204 1240 0 0 52 8 0 0 17 0 33 0 666194610 2378149888 445012 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281907 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 44.6
Current children cumulated vsize (KiB) 2322412
Solver just ended. Dumping a history of the last processes samples
[startup+28.7021 s]
/proc/loadavg: 19.89 22.89 19.25 33/446 18079
/proc/meminfo: memFree=253853688/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=2210064 CPUtime=146.84 cores=0-31
/proc/18039/stat : 18039 (plingeling) S 18037 18039 17813 0 -1 4202496 601525 1240 0 0 14352 332 0 0 18 0 33 0 666192145 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18039/statm: 552516 414464 171 55 0 550402 0
[pid=18039/tid=18046] ppid=18037 vsize=2210064 CPUtime=3.89 cores=0-31
/proc/18039/task/18046/stat : 18046 (plingeling) R 18037 18039 17813 0 -1 4202560 4048 1240 0 0 382 7 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18039/tid=18047] ppid=18037 vsize=2210064 CPUtime=3.81 cores=0-31
/proc/18039/task/18047/stat : 18047 (plingeling) R 18037 18039 17813 0 -1 4202560 5093 1240 0 0 371 10 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4277628 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18039/tid=18048] ppid=18037 vsize=2210064 CPUtime=3.73 cores=0-31
/proc/18039/task/18048/stat : 18048 (plingeling) R 18037 18039 17813 0 -1 4202560 5574 1240 0 0 368 5 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18039/tid=18049] ppid=18037 vsize=2210064 CPUtime=3.78 cores=0-31
/proc/18039/task/18049/stat : 18049 (plingeling) R 18037 18039 17813 0 -1 4202560 3195 1240 0 0 373 5 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18039/tid=18050] ppid=18037 vsize=2210064 CPUtime=3.92 cores=0-31
/proc/18039/task/18050/stat : 18050 (plingeling) R 18037 18039 17813 0 -1 4202560 6210 1240 0 0 385 7 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18039/tid=18051] ppid=18037 vsize=2210064 CPUtime=3.8 cores=0-31
/proc/18039/task/18051/stat : 18051 (plingeling) R 18037 18039 17813 0 -1 4202560 6045 1240 0 0 374 6 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18039/tid=18052] ppid=18037 vsize=2210064 CPUtime=3.88 cores=0-31
/proc/18039/task/18052/stat : 18052 (plingeling) R 18037 18039 17813 0 -1 4202560 4985 1240 0 0 382 6 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4236644 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18039/tid=18053] ppid=18037 vsize=2210064 CPUtime=3.91 cores=0-31
/proc/18039/task/18053/stat : 18053 (plingeling) R 18037 18039 17813 0 -1 4202560 4111 1240 0 0 385 6 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18039/tid=18054] ppid=18037 vsize=2210064 CPUtime=3.81 cores=0-31
/proc/18039/task/18054/stat : 18054 (plingeling) R 18037 18039 17813 0 -1 4202560 6206 1240 0 0 374 7 0 0 25 0 33 0 666194607 2263105536 414464 268435456000 4194304 4417452 140737000712464 18446744073709551615 4277684 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18039/tid=18055] ppid=18037 vsize=2210064 CPUtime=3.91 cores=0-31
################
# More data... #
################
[pid=18039/tid=18051] ppid=18037 vsize=2177204 CPUtime=5.39 cores=0-31
/proc/18039/task/18051/stat : 18051 (plingeling) R 18037 18039 17813 0 -1 4202560 7101 1240 0 0 533 6 0 0 25 0 33 0 666194607 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18039/tid=18052] ppid=18037 vsize=2177204 CPUtime=5.48 cores=0-31
/proc/18039/task/18052/stat : 18052 (plingeling) R 18037 18039 17813 0 -1 4202560 4985 1240 0 0 542 6 0 0 18 0 33 0 666194607 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346480 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18039/tid=18053] ppid=18037 vsize=2177204 CPUtime=5.51 cores=0-31
/proc/18039/task/18053/stat : 18053 (plingeling) R 18037 18039 17813 0 -1 4202560 4111 1240 0 0 545 6 0 0 25 0 33 0 666194607 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18039/tid=18054] ppid=18037 vsize=2177204 CPUtime=5.4 cores=0-31
/proc/18039/task/18054/stat : 18054 (plingeling) R 18037 18039 17813 0 -1 4202560 7305 1240 0 0 533 7 0 0 25 0 33 0 666194607 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18039/tid=18055] ppid=18037 vsize=2177204 CPUtime=5.5 cores=0-31
/proc/18039/task/18055/stat : 18055 (plingeling) R 18037 18039 17813 0 -1 4202560 5638 1240 0 0 543 7 0 0 25 0 33 0 666194607 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346651 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18039/tid=18056] ppid=18037 vsize=2177204 CPUtime=5.41 cores=0-31
/proc/18039/task/18056/stat : 18056 (plingeling) R 18037 18039 17813 0 -1 4202560 5379 1240 0 0 532 9 0 0 25 0 33 0 666194607 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346555 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=18039/tid=18057] ppid=18037 vsize=2177204 CPUtime=5.41 cores=0-31
/proc/18039/task/18057/stat : 18057 (plingeling) R 18037 18039 17813 0 -1 4202560 5309 1240 0 0 531 10 0 0 25 0 33 0 666194608 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18039/tid=18058] ppid=18037 vsize=2177204 CPUtime=5.42 cores=0-31
/proc/18039/task/18058/stat : 18058 (plingeling) R 18037 18039 17813 0 -1 4202560 8450 1240 0 0 530 12 0 0 25 0 33 0 666194608 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18039/tid=18059] ppid=18037 vsize=2177204 CPUtime=5.47 cores=0-31
/proc/18039/task/18059/stat : 18059 (plingeling) R 18037 18039 17813 0 -1 4202560 4078 1240 0 0 539 8 0 0 25 0 33 0 666194608 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18039/tid=18060] ppid=18037 vsize=2177204 CPUtime=5.44 cores=0-31
/proc/18039/task/18060/stat : 18060 (plingeling) R 18037 18039 17813 0 -1 4202560 6363 1240 0 0 537 7 0 0 25 0 33 0 666194608 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18039/tid=18061] ppid=18037 vsize=2177204 CPUtime=5.45 cores=0-31
/proc/18039/task/18061/stat : 18061 (plingeling) R 18037 18039 17813 0 -1 4202560 6220 1240 0 0 539 6 0 0 25 0 33 0 666194608 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346361 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18039/tid=18062] ppid=18037 vsize=2177204 CPUtime=5.39 cores=0-31
/proc/18039/task/18062/stat : 18062 (plingeling) R 18037 18039 17813 0 -1 4202560 6666 1240 0 0 532 7 0 0 25 0 33 0 666194608 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18039/tid=18063] ppid=18037 vsize=2177204 CPUtime=5.37 cores=0-31
/proc/18039/task/18063/stat : 18063 (plingeling) R 18037 18039 17813 0 -1 4202560 7016 1240 0 0 529 8 0 0 25 0 33 0 666194608 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346298 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18039/tid=18064] ppid=18037 vsize=2177204 CPUtime=5.4 cores=0-31
/proc/18039/task/18064/stat : 18064 (plingeling) R 18037 18039 17813 0 -1 4202560 6617 1240 0 0 533 7 0 0 25 0 33 0 666194609 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18039/tid=18065] ppid=18037 vsize=2177204 CPUtime=5.45 cores=0-31
/proc/18039/task/18065/stat : 18065 (plingeling) R 18037 18039 17813 0 -1 4202560 4613 1240 0 0 538 7 0 0 25 0 33 0 666194609 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4228758 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18039/tid=18066] ppid=18037 vsize=2177204 CPUtime=5.38 cores=0-31
/proc/18039/task/18066/stat : 18066 (plingeling) R 18037 18039 17813 0 -1 4202560 5602 1240 0 0 529 9 0 0 25 0 33 0 666194609 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18039/tid=18067] ppid=18037 vsize=2177204 CPUtime=5.23 cores=0-31
/proc/18039/task/18067/stat : 18067 (plingeling) R 18037 18039 17813 0 -1 4202560 4270 1240 0 0 516 7 0 0 25 0 33 0 666194609 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=18039/tid=18068] ppid=18037 vsize=2177204 CPUtime=5.42 cores=0-31
/proc/18039/task/18068/stat : 18068 (plingeling) R 18037 18039 17813 0 -1 4202560 6263 1240 0 0 532 10 0 0 25 0 33 0 666194609 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18039/tid=18069] ppid=18037 vsize=2177204 CPUtime=5.4 cores=0-31
/proc/18039/task/18069/stat : 18069 (plingeling) R 18037 18039 17813 0 -1 4202560 5175 1240 0 0 532 8 0 0 25 0 33 0 666194609 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18039/tid=18070] ppid=18037 vsize=2177204 CPUtime=5.43 cores=0-31
/proc/18039/task/18070/stat : 18070 (plingeling) R 18037 18039 17813 0 -1 4202560 4617 1240 0 0 538 5 0 0 25 0 33 0 666194609 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18039/tid=18071] ppid=18037 vsize=2177204 CPUtime=5.36 cores=0-31
/proc/18039/task/18071/stat : 18071 (plingeling) R 18037 18039 17813 0 -1 4202560 5724 1240 0 0 529 7 0 0 25 0 33 0 666194610 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18039/tid=18072] ppid=18037 vsize=2177204 CPUtime=5.42 cores=0-31
/proc/18039/task/18072/stat : 18072 (plingeling) R 18037 18039 17813 0 -1 4202560 4282 1240 0 0 535 7 0 0 25 0 33 0 666194610 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4345943 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18039/tid=18073] ppid=18037 vsize=2177204 CPUtime=5.33 cores=0-31
/proc/18039/task/18073/stat : 18073 (plingeling) R 18037 18039 17813 0 -1 4202560 4512 1240 0 0 529 4 0 0 25 0 33 0 666194610 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18039/tid=18074] ppid=18037 vsize=2177204 CPUtime=5.28 cores=0-31
/proc/18039/task/18074/stat : 18074 (plingeling) R 18037 18039 17813 0 -1 4202560 6711 1240 0 0 522 6 0 0 25 0 33 0 666194610 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18039/tid=18075] ppid=18037 vsize=2177204 CPUtime=5.36 cores=0-31
/proc/18039/task/18075/stat : 18075 (plingeling) R 18037 18039 17813 0 -1 4202560 5176 1240 0 0 528 8 0 0 25 0 33 0 666194610 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18039/tid=18076] ppid=18037 vsize=2177204 CPUtime=5.25 cores=0-31
/proc/18039/task/18076/stat : 18076 (plingeling) R 18037 18039 17813 0 -1 4202560 7158 1240 0 0 517 8 0 0 25 0 33 0 666194610 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346285 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18039/tid=18077] ppid=18037 vsize=2177204 CPUtime=5.39 cores=0-31
/proc/18039/task/18077/stat : 18077 (plingeling) R 18037 18039 17813 0 -1 4202560 8506 1240 0 0 530 9 0 0 25 0 33 0 666194610 2229456896 399895 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 197.73
Current children cumulated vsize (KiB) 2177204
[startup+31.1021 s]
/proc/loadavg: 20.86 23.04 19.32 33/446 18079
/proc/meminfo: memFree=253891496/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=2045640 CPUtime=223.3 cores=0-31
/proc/18039/stat : 18039 (plingeling) S 18037 18039 17813 0 -1 4202496 616216 1240 0 0 21991 339 0 0 18 0 33 0 666192145 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18039/statm: 511410 365960 175 55 0 509296 0
[pid=18039/tid=18046] ppid=18037 vsize=2045640 CPUtime=6.29 cores=0-31
/proc/18039/task/18046/stat : 18046 (plingeling) R 18037 18039 17813 0 -1 4202560 4048 1240 0 0 622 7 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18039/tid=18047] ppid=18037 vsize=2045640 CPUtime=6.2 cores=0-31
/proc/18039/task/18047/stat : 18047 (plingeling) R 18037 18039 17813 0 -1 4202560 6152 1240 0 0 610 10 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4216434 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=18039/tid=18048] ppid=18037 vsize=2045640 CPUtime=6.1 cores=0-31
/proc/18039/task/18048/stat : 18048 (plingeling) R 18037 18039 17813 0 -1 4202560 5574 1240 0 0 604 6 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=18039/tid=18049] ppid=18037 vsize=2045640 CPUtime=6.18 cores=0-31
/proc/18039/task/18049/stat : 18049 (plingeling) R 18037 18039 17813 0 -1 4202560 3195 1240 0 0 613 5 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=18039/tid=18050] ppid=18037 vsize=2045640 CPUtime=6.31 cores=0-31
/proc/18039/task/18050/stat : 18050 (plingeling) R 18037 18039 17813 0 -1 4202560 6795 1240 0 0 624 7 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4253219 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=18039/tid=18051] ppid=18037 vsize=2045640 CPUtime=6.19 cores=0-31
/proc/18039/task/18051/stat : 18051 (plingeling) R 18037 18039 17813 0 -1 4202560 7101 1240 0 0 613 6 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=18039/tid=18052] ppid=18037 vsize=2045640 CPUtime=6.27 cores=0-31
/proc/18039/task/18052/stat : 18052 (plingeling) R 18037 18039 17813 0 -1 4202560 4985 1240 0 0 621 6 0 0 19 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4353594 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=18039/tid=18053] ppid=18037 vsize=2045640 CPUtime=6.31 cores=0-31
/proc/18039/task/18053/stat : 18053 (plingeling) R 18037 18039 17813 0 -1 4202560 4111 1240 0 0 625 6 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4253925 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=18039/tid=18054] ppid=18037 vsize=2045640 CPUtime=6.2 cores=0-31
/proc/18039/task/18054/stat : 18054 (plingeling) R 18037 18039 17813 0 -1 4202560 7305 1240 0 0 613 7 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18039/tid=18055] ppid=18037 vsize=2045640 CPUtime=6.3 cores=0-31
/proc/18039/task/18055/stat : 18055 (plingeling) R 18037 18039 17813 0 -1 4202560 5638 1240 0 0 623 7 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18039/tid=18056] ppid=18037 vsize=2045640 CPUtime=6.21 cores=0-31
/proc/18039/task/18056/stat : 18056 (plingeling) R 18037 18039 17813 0 -1 4202560 5379 1240 0 0 612 9 0 0 25 0 33 0 666194607 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=18039/tid=18057] ppid=18037 vsize=2045640 CPUtime=6.21 cores=0-31
/proc/18039/task/18057/stat : 18057 (plingeling) R 18037 18039 17813 0 -1 4202560 5309 1240 0 0 611 10 0 0 25 0 33 0 666194608 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4320356 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18039/tid=18058] ppid=18037 vsize=2045640 CPUtime=6.22 cores=0-31
/proc/18039/task/18058/stat : 18058 (plingeling) R 18037 18039 17813 0 -1 4202560 8450 1240 0 0 610 12 0 0 25 0 33 0 666194608 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=18039/tid=18059] ppid=18037 vsize=2045640 CPUtime=6.24 cores=0-31
/proc/18039/task/18059/stat : 18059 (plingeling) R 18037 18039 17813 0 -1 4202560 4078 1240 0 0 616 8 0 0 25 0 33 0 666194608 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=18039/tid=18060] ppid=18037 vsize=2045640 CPUtime=6.24 cores=0-31
/proc/18039/task/18060/stat : 18060 (plingeling) R 18037 18039 17813 0 -1 4202560 6363 1240 0 0 617 7 0 0 25 0 33 0 666194608 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=18039/tid=18061] ppid=18037 vsize=2045640 CPUtime=6.25 cores=0-31
/proc/18039/task/18061/stat : 18061 (plingeling) R 18037 18039 17813 0 -1 4202560 6220 1240 0 0 619 6 0 0 25 0 33 0 666194608 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4341493 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=18039/tid=18062] ppid=18037 vsize=2045640 CPUtime=6.19 cores=0-31
/proc/18039/task/18062/stat : 18062 (plingeling) R 18037 18039 17813 0 -1 4202560 6672 1240 0 0 612 7 0 0 25 0 33 0 666194608 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4271655 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=18039/tid=18063] ppid=18037 vsize=2045640 CPUtime=6.17 cores=0-31
/proc/18039/task/18063/stat : 18063 (plingeling) R 18037 18039 17813 0 -1 4202560 7016 1240 0 0 609 8 0 0 25 0 33 0 666194608 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=18039/tid=18064] ppid=18037 vsize=2045640 CPUtime=6.2 cores=0-31
/proc/18039/task/18064/stat : 18064 (plingeling) R 18037 18039 17813 0 -1 4202560 6617 1240 0 0 613 7 0 0 25 0 33 0 666194609 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4353523 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=18039/tid=18065] ppid=18037 vsize=2045640 CPUtime=6.25 cores=0-31
/proc/18039/task/18065/stat : 18065 (plingeling) R 18037 18039 17813 0 -1 4202560 4613 1240 0 0 618 7 0 0 25 0 33 0 666194609 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=18039/tid=18066] ppid=18037 vsize=2045640 CPUtime=6.18 cores=0-31
/proc/18039/task/18066/stat : 18066 (plingeling) R 18037 18039 17813 0 -1 4202560 5608 1240 0 0 609 9 0 0 25 0 33 0 666194609 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4257546 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=18039/tid=18067] ppid=18037 vsize=2045640 CPUtime=6.03 cores=0-31
/proc/18039/task/18067/stat : 18067 (plingeling) R 18037 18039 17813 0 -1 4202560 4276 1240 0 0 596 7 0 0 25 0 33 0 666194609 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4253272 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=18039/tid=18068] ppid=18037 vsize=2045640 CPUtime=6.22 cores=0-31
/proc/18039/task/18068/stat : 18068 (plingeling) R 18037 18039 17813 0 -1 4202560 6263 1240 0 0 612 10 0 0 25 0 33 0 666194609 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=18039/tid=18069] ppid=18037 vsize=2045640 CPUtime=6.2 cores=0-31
/proc/18039/task/18069/stat : 18069 (plingeling) R 18037 18039 17813 0 -1 4202560 5183 1240 0 0 612 8 0 0 25 0 33 0 666194609 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18039/tid=18070] ppid=18037 vsize=2045640 CPUtime=6.23 cores=0-31
/proc/18039/task/18070/stat : 18070 (plingeling) R 18037 18039 17813 0 -1 4202560 4617 1240 0 0 618 5 0 0 25 0 33 0 666194609 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4270702 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=18039/tid=18071] ppid=18037 vsize=2045640 CPUtime=6.16 cores=0-31
/proc/18039/task/18071/stat : 18071 (plingeling) R 18037 18039 17813 0 -1 4202560 5730 1240 0 0 609 7 0 0 25 0 33 0 666194610 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18039/tid=18072] ppid=18037 vsize=2045640 CPUtime=6.22 cores=0-31
/proc/18039/task/18072/stat : 18072 (plingeling) R 18037 18039 17813 0 -1 4202560 4282 1240 0 0 615 7 0 0 25 0 33 0 666194610 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18039/tid=18073] ppid=18037 vsize=2045640 CPUtime=6.13 cores=0-31
/proc/18039/task/18073/stat : 18073 (plingeling) R 18037 18039 17813 0 -1 4202560 4512 1240 0 0 609 4 0 0 25 0 33 0 666194610 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346298 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=18039/tid=18074] ppid=18037 vsize=2045640 CPUtime=6.08 cores=0-31
/proc/18039/task/18074/stat : 18074 (plingeling) R 18037 18039 17813 0 -1 4202560 6717 1240 0 0 602 6 0 0 25 0 33 0 666194610 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4251855 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=18039/tid=18075] ppid=18037 vsize=2045640 CPUtime=6.16 cores=0-31
/proc/18039/task/18075/stat : 18075 (plingeling) R 18037 18039 17813 0 -1 4202560 5176 1240 0 0 608 8 0 0 25 0 33 0 666194610 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4346677 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=18039/tid=18076] ppid=18037 vsize=2045640 CPUtime=6.05 cores=0-31
/proc/18039/task/18076/stat : 18076 (plingeling) R 18037 18039 17813 0 -1 4202560 7158 1240 0 0 597 8 0 0 25 0 33 0 666194610 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=18039/tid=18077] ppid=18037 vsize=2045640 CPUtime=6.19 cores=0-31
/proc/18039/task/18077/stat : 18077 (plingeling) R 18037 18039 17813 0 -1 4202560 8512 1240 0 0 610 9 0 0 25 0 33 0 666194610 2094735360 365960 268435456000 4194304 4417452 140737000712464 18446744073709551615 4260543 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 223.3
Current children cumulated vsize (KiB) 2045640
[startup+31.5012 s]
/proc/loadavg: 20.86 23.04 19.32 33/446 18079
/proc/meminfo: memFree=253891496/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=2047048 CPUtime=232.15 cores=0-31
/proc/18039/stat : 18039 (plingeling) S 18037 18039 17813 0 -1 4202496 616710 1240 0 0 22876 339 0 0 18 0 8 0 666192145 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/18039/statm: 511762 364930 176 55 0 509648 0
[pid=18039/tid=18046] ppid=18037 vsize=2047048 CPUtime=6.69 cores=0-31
/proc/18039/task/18046/stat : 18046 (plingeling) R 18037 18039 17813 0 -1 4202560 4054 1240 0 0 662 7 0 0 25 0 8 0 666194607 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 4273416 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=18039/tid=18054] ppid=18037 vsize=2047048 CPUtime=6.6 cores=0-31
/proc/18039/task/18054/stat : 18054 (plingeling) R 18037 18039 17813 0 -1 4202560 7311 1240 0 0 653 7 0 0 25 0 8 0 666194607 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 4270716 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=18039/tid=18055] ppid=18037 vsize=2047048 CPUtime=6.69 cores=0-31
/proc/18039/task/18055/stat : 18055 (plingeling) R 18037 18039 17813 0 -1 4202560 5644 1240 0 0 662 7 0 0 25 0 8 0 666194607 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 4273145 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=18039/tid=18062] ppid=18037 vsize=2047048 CPUtime=6.59 cores=0-31
/proc/18039/task/18062/stat : 18062 (plingeling) R 18037 18039 17813 0 -1 4202560 6723 1240 0 0 652 7 0 0 25 0 8 0 666194608 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 4273687 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=18039/tid=18069] ppid=18037 vsize=2047048 CPUtime=6.6 cores=0-31
/proc/18039/task/18069/stat : 18069 (plingeling) R 18037 18039 17813 0 -1 4202560 5235 1240 0 0 652 8 0 0 25 0 8 0 666194609 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=18039/tid=18071] ppid=18037 vsize=2047048 CPUtime=6.56 cores=0-31
/proc/18039/task/18071/stat : 18071 (plingeling) R 18037 18039 17813 0 -1 4202560 5782 1240 0 0 649 7 0 0 25 0 8 0 666194610 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 4252389 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=18039/tid=18074] ppid=18037 vsize=2047048 CPUtime=6.48 cores=0-31
/proc/18039/task/18074/stat : 18074 (plingeling) R 18037 18039 17813 0 -1 4202560 6768 1240 0 0 642 6 0 0 25 0 8 0 666194610 2096177152 364930 268435456000 4194304 4417452 140737000712464 18446744073709551615 4252389 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 232.15
Current children cumulated vsize (KiB) 2047048
[startup+31.7013 s]
/proc/loadavg: 20.86 23.04 19.32 33/446 18079
/proc/meminfo: memFree=253891496/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=1642148 CPUtime=232.76 cores=0-31
/proc/18039/stat : 18039 (plingeling) R 18037 18039 17813 0 -1 4202496 616710 1240 0 0 22936 340 0 0 17 0 1 0 666192145 1681559552 336533 268435456000 4194304 4417452 140737000712464 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18039/statm: 410537 336533 176 55 0 408423 0
Current children cumulated CPU time (s) 232.76
Current children cumulated vsize (KiB) 1642148
[startup+31.8013 s]
/proc/loadavg: 20.86 23.04 19.32 2/414 18079
/proc/meminfo: memFree=255472368/264257624 swapFree=67111528/67111528
[pid=18039] ppid=18037 vsize=0 CPUtime=232.86 cores=0-31
/proc/18039/stat : 18039 (plingeling) Z 18037 18039 17813 0 -1 4202524 616714 1240 0 0 22936 350 0 0 17 0 1 0 666192145 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 28 0 0 0
/proc/18039/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 232.86
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 31.8373
CPU time (s): 232.881
CPU user time (s): 229.363
CPU system time (s): 3.51747
CPU usage (%): 731.471
Max. virtual memory (cumulated for all children) (KiB): 2327804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.363
system time used= 3.51747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617954
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= 8021
involuntary context switches= 718
runsolver used 0.246962 second user time and 0.768883 second system time
The end
Begin job on node200 at 2011-05-16 13:57:37
IDJOB=3372303
IDBENCH=71012
IDSOLVER=1852
FILE ID=node200/3372303-1305547056
RUNJOBID= node200-1305546782-17827
PBS_JOBID= 13285544
Free space on /tmp= 62028 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372303-1305547056/watcher-3372303-1305547056 -o /tmp/evaluation-result-3372303-1305547056/solver-3372303-1305547056 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372303-1305547056.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9029cec808e66e35ae213dc5615fd1f7
RANDOM SEED=2005072987
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: 255524128 kB
Buffers: 444336 kB
Cached: 7886448 kB
SwapCached: 0 kB
Active: 7411812 kB
Inactive: 988064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255524128 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 23816 kB
Writeback: 0 kB
AnonPages: 68996 kB
Mapped: 14536 kB
Slab: 251848 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189492 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= 62028 MiB
End job on node200 at 2011-05-16 13:58:09