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-3372534-1305675640/watcher-3372534-1305675640 -o /tmp/evaluation-result-3372534-1305675640/solver-3372534-1305675640 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372534-1305675640.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: 16.88 25.09 25.33 1/413 28065
/proc/meminfo: memFree=255491324/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=42924 CPUtime=0.02 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 8728 1241 0 0 1 1 0 0 21 0 1 0 679050517 43954176 8658 268435456000 4194304 4417452 140737086861664 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 10731 8673 138 55 0 8617 0
[startup+0.122456 s]
/proc/loadavg: 16.88 25.09 25.33 1/413 28065
/proc/meminfo: memFree=255491324/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=57660 CPUtime=0.11 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 12493 1241 0 0 9 2 0 0 21 0 1 0 679050517 59043840 12423 268435456000 4194304 4417452 140737086861664 18446744073709551615 4231391 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 14415 12423 145 55 0 12301 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 57660
[startup+0.200458 s]
/proc/loadavg: 16.88 25.09 25.33 1/413 28065
/proc/meminfo: memFree=255491324/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=69352 CPUtime=0.18 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 15397 1241 0 0 16 2 0 0 21 0 1 0 679050517 71016448 15327 268435456000 4194304 4417452 140737086861664 18446744073709551615 4231480 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 17338 15327 146 55 0 15224 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 69352
[startup+0.300501 s]
/proc/loadavg: 16.88 25.09 25.33 1/413 28065
/proc/meminfo: memFree=255491324/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=77816 CPUtime=0.28 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 17513 1241 0 0 25 3 0 0 22 0 1 0 679050517 79683584 17443 268435456000 4194304 4417452 140737086861664 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 19454 17443 146 55 0 17340 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 77816
[startup+0.700508 s]
/proc/loadavg: 16.88 25.09 25.33 1/413 28065
/proc/meminfo: memFree=255491324/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=141876 CPUtime=0.68 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 33560 1241 0 0 62 6 0 0 24 0 1 0 679050517 145281024 33490 268435456000 4194304 4417452 140737086861664 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 35469 33490 146 55 0 33355 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 141876
[startup+1.50053 s]
/proc/loadavg: 16.88 25.09 25.33 2/414 28071
/proc/meminfo: memFree=255327504/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=255460 CPUtime=1.48 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 61936 1241 0 0 137 11 0 0 25 0 1 0 679050517 261591040 61866 268435456000 4194304 4417452 140737086861664 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 63865 61883 146 55 0 61751 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 255460
[startup+3.10062 s]
/proc/loadavg: 15.61 24.69 25.20 2/414 28071
/proc/meminfo: memFree=255236180/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=445204 CPUtime=3.08 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 109594 1241 0 0 287 21 0 0 25 0 1 0 679050517 455888896 109322 268435456000 4194304 4417452 140737086861664 18446744073709551615 4227779 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 111301 109322 146 55 0 109187 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 445204
[startup+6.3007 s]
/proc/loadavg: 15.61 24.69 25.20 2/414 28071
/proc/meminfo: memFree=254856648/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=847688 CPUtime=6.29 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 209796 1241 0 0 588 41 0 0 25 0 1 0 679050517 868032512 209524 268435456000 4194304 4417452 140737086861664 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 211922 209542 146 55 0 209808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 847688
[startup+12.7009 s]
/proc/loadavg: 13.37 23.91 24.94 2/414 28071
/proc/meminfo: memFree=254234468/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=1268816 CPUtime=12.68 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 315497 1241 0 0 1207 61 0 0 25 0 1 0 679050517 1299267584 315225 268435456000 4194304 4417452 140737086861664 18446744073709551615 4264778 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28065/statm: 317204 315225 146 55 0 315090 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1268816
[startup+25.5022 s]
/proc/loadavg: 13.95 23.67 24.85 33/446 28105
/proc/meminfo: memFree=252971936/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=3005064 CPUtime=271.36 cores=0-31
/proc/28065/stat : 28065 (plingeling) S 28063 28065 27975 0 -1 4202496 1073339 1241 0 0 26364 772 0 0 19 0 33 0 679050517 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28065/statm: 751266 630888 172 55 0 749152 0
[pid=28065/tid=28072] ppid=28063 vsize=3005064 CPUtime=7.99 cores=0-31
/proc/28065/task/28072/stat : 28072 (plingeling) R 28063 28065 27975 0 -1 4202560 15815 1241 0 0 784 15 0 0 25 0 33 0 679052260 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330221 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28065/tid=28073] ppid=28063 vsize=3005064 CPUtime=7.98 cores=0-31
/proc/28065/task/28073/stat : 28073 (plingeling) R 28063 28065 27975 0 -1 4202560 19231 1241 0 0 776 22 0 0 25 0 33 0 679052260 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28065/tid=28074] ppid=28063 vsize=3005064 CPUtime=7.99 cores=0-31
/proc/28065/task/28074/stat : 28074 (plingeling) R 28063 28065 27975 0 -1 4202560 30216 1241 0 0 780 19 0 0 25 0 33 0 679052260 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28065/tid=28075] ppid=28063 vsize=3005064 CPUtime=8 cores=0-31
/proc/28065/task/28075/stat : 28075 (plingeling) R 28063 28065 27975 0 -1 4202560 6220 1241 0 0 780 20 0 0 25 0 33 0 679052260 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4232508 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28065/tid=28076] ppid=28063 vsize=3005064 CPUtime=7.66 cores=0-31
/proc/28065/task/28076/stat : 28076 (plingeling) R 28063 28065 27975 0 -1 4202560 16463 1241 0 0 754 12 0 0 25 0 33 0 679052260 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28065/tid=28077] ppid=28063 vsize=3005064 CPUtime=7.99 cores=0-31
/proc/28065/task/28077/stat : 28077 (plingeling) R 28063 28065 27975 0 -1 4202560 23969 1241 0 0 775 24 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330289 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28065/tid=28078] ppid=28063 vsize=3005064 CPUtime=7.98 cores=0-31
/proc/28065/task/28078/stat : 28078 (plingeling) R 28063 28065 27975 0 -1 4202560 21838 1241 0 0 775 23 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28065/tid=28079] ppid=28063 vsize=3005064 CPUtime=7.99 cores=0-31
/proc/28065/task/28079/stat : 28079 (plingeling) R 28063 28065 27975 0 -1 4202560 15665 1241 0 0 777 22 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28065/tid=28080] ppid=28063 vsize=3005064 CPUtime=7.99 cores=0-31
/proc/28065/task/28080/stat : 28080 (plingeling) R 28063 28065 27975 0 -1 4202560 11104 1241 0 0 779 20 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4320251 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28065/tid=28081] ppid=28063 vsize=3005064 CPUtime=7.98 cores=0-31
/proc/28065/task/28081/stat : 28081 (plingeling) R 28063 28065 27975 0 -1 4202560 20840 1241 0 0 776 22 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330933 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28065/tid=28082] ppid=28063 vsize=3005064 CPUtime=7.97 cores=0-31
/proc/28065/task/28082/stat : 28082 (plingeling) R 28063 28065 27975 0 -1 4202560 18887 1241 0 0 774 23 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4233495 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28065/tid=28083] ppid=28063 vsize=3005064 CPUtime=7.97 cores=0-31
/proc/28065/task/28083/stat : 28083 (plingeling) R 28063 28065 27975 0 -1 4202560 23155 1241 0 0 773 24 0 0 22 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28065/tid=28084] ppid=28063 vsize=3005064 CPUtime=7.98 cores=0-31
/proc/28065/task/28084/stat : 28084 (plingeling) R 28063 28065 27975 0 -1 4202560 17074 1241 0 0 777 21 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28065/tid=28085] ppid=28063 vsize=3005064 CPUtime=7.96 cores=0-31
/proc/28065/task/28085/stat : 28085 (plingeling) R 28063 28065 27975 0 -1 4202560 12944 1241 0 0 776 20 0 0 25 0 33 0 679052261 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28065/tid=28086] ppid=28063 vsize=3005064 CPUtime=7.98 cores=0-31
/proc/28065/task/28086/stat : 28086 (plingeling) R 28063 28065 27975 0 -1 4202560 20767 1241 0 0 776 22 0 0 25 0 33 0 679052262 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330625 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28065/tid=28087] ppid=28063 vsize=3005064 CPUtime=7.97 cores=0-31
/proc/28065/task/28087/stat : 28087 (plingeling) R 28063 28065 27975 0 -1 4202560 16978 1241 0 0 783 14 0 0 25 0 33 0 679052262 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330933 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28065/tid=28088] ppid=28063 vsize=3005064 CPUtime=7.96 cores=0-31
/proc/28065/task/28088/stat : 28088 (plingeling) R 28063 28065 27975 0 -1 4202560 23152 1241 0 0 775 21 0 0 25 0 33 0 679052262 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4320474 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28065/tid=28089] ppid=28063 vsize=3005064 CPUtime=7.97 cores=0-31
/proc/28065/task/28089/stat : 28089 (plingeling) R 28063 28065 27975 0 -1 4202560 28736 1241 0 0 774 23 0 0 25 0 33 0 679052263 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28065/tid=28090] ppid=28063 vsize=3005064 CPUtime=7.97 cores=0-31
/proc/28065/task/28090/stat : 28090 (plingeling) R 28063 28065 27975 0 -1 4202560 22833 1241 0 0 775 22 0 0 25 0 33 0 679052263 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28065/tid=28091] ppid=28063 vsize=3005064 CPUtime=7.95 cores=0-31
/proc/28065/task/28091/stat : 28091 (plingeling) R 28063 28065 27975 0 -1 4202560 26199 1241 0 0 772 23 0 0 25 0 33 0 679052263 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28065/tid=28092] ppid=28063 vsize=3005064 CPUtime=7.95 cores=0-31
/proc/28065/task/28092/stat : 28092 (plingeling) R 28063 28065 27975 0 -1 4202560 12285 1241 0 0 778 17 0 0 25 0 33 0 679052263 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330748 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28065/tid=28093] ppid=28063 vsize=3005064 CPUtime=7.96 cores=0-31
/proc/28065/task/28093/stat : 28093 (plingeling) R 28063 28065 27975 0 -1 4202560 34113 1241 0 0 769 27 0 0 25 0 33 0 679052263 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28065/tid=28094] ppid=28063 vsize=3005064 CPUtime=7.97 cores=0-31
/proc/28065/task/28094/stat : 28094 (plingeling) R 28063 28065 27975 0 -1 4202560 32259 1241 0 0 773 24 0 0 25 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4331417 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28065/tid=28095] ppid=28063 vsize=3005064 CPUtime=7.87 cores=0-31
/proc/28065/task/28095/stat : 28095 (plingeling) R 28063 28065 27975 0 -1 4202560 20294 1241 0 0 764 23 0 0 25 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28065/tid=28096] ppid=28063 vsize=3005064 CPUtime=7.89 cores=0-31
/proc/28065/task/28096/stat : 28096 (plingeling) R 28063 28065 27975 0 -1 4202560 20233 1241 0 0 765 24 0 0 25 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28065/tid=28097] ppid=28063 vsize=3005064 CPUtime=7.94 cores=0-31
/proc/28065/task/28097/stat : 28097 (plingeling) R 28063 28065 27975 0 -1 4202560 23695 1241 0 0 771 23 0 0 25 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28065/tid=28098] ppid=28063 vsize=3005064 CPUtime=7.85 cores=0-31
/proc/28065/task/28098/stat : 28098 (plingeling) R 28063 28065 27975 0 -1 4202560 12473 1241 0 0 763 22 0 0 25 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4233407 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28065/tid=28099] ppid=28063 vsize=3005064 CPUtime=7.92 cores=0-31
/proc/28065/task/28099/stat : 28099 (plingeling) R 28063 28065 27975 0 -1 4202560 12356 1241 0 0 772 20 0 0 25 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28065/tid=28100] ppid=28063 vsize=3005064 CPUtime=7.91 cores=0-31
/proc/28065/task/28100/stat : 28100 (plingeling) R 28063 28065 27975 0 -1 4202560 18420 1241 0 0 771 20 0 0 22 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4331113 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28065/tid=28101] ppid=28063 vsize=3005064 CPUtime=7.86 cores=0-31
/proc/28065/task/28101/stat : 28101 (plingeling) R 28063 28065 27975 0 -1 4202560 18400 1241 0 0 764 22 0 0 25 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28065/tid=28102] ppid=28063 vsize=3005064 CPUtime=7.42 cores=0-31
/proc/28065/task/28102/stat : 28102 (plingeling) R 28063 28065 27975 0 -1 4202560 22802 1241 0 0 725 17 0 0 23 0 33 0 679052264 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28065/tid=28103] ppid=28063 vsize=3005064 CPUtime=7.84 cores=0-31
/proc/28065/task/28103/stat : 28103 (plingeling) R 28063 28065 27975 0 -1 4202560 21705 1241 0 0 764 20 0 0 25 0 33 0 679052268 3077185536 630888 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 271.36
Current children cumulated vsize (KiB) 3005064
Solver just ended. Dumping a history of the last processes samples
[startup+25.6022 s]
/proc/loadavg: 13.95 23.67 24.85 33/446 28105
/proc/meminfo: memFree=252971936/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=3005064 CPUtime=274.56 cores=0-31
/proc/28065/stat : 28065 (plingeling) S 28063 28065 27975 0 -1 4202496 1073851 1241 0 0 26684 772 0 0 19 0 33 0 679050517 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28065/statm: 751266 631400 172 55 0 749152 0
[pid=28065/tid=28072] ppid=28063 vsize=3005064 CPUtime=8.09 cores=0-31
/proc/28065/task/28072/stat : 28072 (plingeling) R 28063 28065 27975 0 -1 4202560 15815 1241 0 0 794 15 0 0 25 0 33 0 679052260 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330445 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28065/tid=28073] ppid=28063 vsize=3005064 CPUtime=8.08 cores=0-31
/proc/28065/task/28073/stat : 28073 (plingeling) R 28063 28065 27975 0 -1 4202560 19231 1241 0 0 786 22 0 0 25 0 33 0 679052260 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28065/tid=28074] ppid=28063 vsize=3005064 CPUtime=8.09 cores=0-31
/proc/28065/task/28074/stat : 28074 (plingeling) R 28063 28065 27975 0 -1 4202560 30216 1241 0 0 790 19 0 0 25 0 33 0 679052260 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330289 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28065/tid=28075] ppid=28063 vsize=3005064 CPUtime=8.1 cores=0-31
/proc/28065/task/28075/stat : 28075 (plingeling) R 28063 28065 27975 0 -1 4202560 6220 1241 0 0 790 20 0 0 25 0 33 0 679052260 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28065/tid=28076] ppid=28063 vsize=3005064 CPUtime=7.76 cores=0-31
/proc/28065/task/28076/stat : 28076 (plingeling) R 28063 28065 27975 0 -1 4202560 16463 1241 0 0 764 12 0 0 25 0 33 0 679052260 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4256848 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28065/tid=28077] ppid=28063 vsize=3005064 CPUtime=8.09 cores=0-31
/proc/28065/task/28077/stat : 28077 (plingeling) R 28063 28065 27975 0 -1 4202560 23969 1241 0 0 785 24 0 0 25 0 33 0 679052261 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28065/tid=28078] ppid=28063 vsize=3005064 CPUtime=8.08 cores=0-31
/proc/28065/task/28078/stat : 28078 (plingeling) R 28063 28065 27975 0 -1 4202560 21838 1241 0 0 785 23 0 0 25 0 33 0 679052261 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28065/tid=28079] ppid=28063 vsize=3005064 CPUtime=8.09 cores=0-31
/proc/28065/task/28079/stat : 28079 (plingeling) R 28063 28065 27975 0 -1 4202560 15665 1241 0 0 787 22 0 0 25 0 33 0 679052261 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28065/tid=28080] ppid=28063 vsize=3005064 CPUtime=8.09 cores=0-31
/proc/28065/task/28080/stat : 28080 (plingeling) R 28063 28065 27975 0 -1 4202560 11104 1241 0 0 789 20 0 0 25 0 33 0 679052261 3077185536 631400 268435456000 4194304 4417452 140737086861664 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28065/tid=28081] ppid=28063 vsize=3005064 CPUtime=8.08 cores=0-31
################
# More data... #
################
[pid=28065/tid=28095] ppid=28063 vsize=3680936 CPUtime=23.68 cores=0-31
/proc/28065/task/28095/stat : 28095 (plingeling) R 28063 28065 27975 0 -1 4202560 30509 1241 0 0 2333 35 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28065/tid=28096] ppid=28063 vsize=3680936 CPUtime=23.84 cores=0-31
/proc/28065/task/28096/stat : 28096 (plingeling) R 28063 28065 27975 0 -1 4202560 24335 1241 0 0 2359 25 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252163 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28065/tid=28097] ppid=28063 vsize=3680936 CPUtime=23.8 cores=0-31
/proc/28065/task/28097/stat : 28097 (plingeling) R 28063 28065 27975 0 -1 4202560 34966 1241 0 0 2355 25 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252188 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28065/tid=28098] ppid=28063 vsize=3680936 CPUtime=23.93 cores=0-31
/proc/28065/task/28098/stat : 28098 (plingeling) R 28063 28065 27975 0 -1 4202560 16584 1241 0 0 2362 31 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28065/tid=28099] ppid=28063 vsize=3680936 CPUtime=23.34 cores=0-31
/proc/28065/task/28099/stat : 28099 (plingeling) R 28063 28065 27975 0 -1 4202560 20042 1241 0 0 2297 37 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252404 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28065/tid=28100] ppid=28063 vsize=3680936 CPUtime=23.69 cores=0-31
/proc/28065/task/28100/stat : 28100 (plingeling) R 28063 28065 27975 0 -1 4202560 22526 1241 0 0 2336 33 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252117 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28065/tid=28101] ppid=28063 vsize=3680936 CPUtime=23.53 cores=0-31
/proc/28065/task/28101/stat : 28101 (plingeling) R 28063 28065 27975 0 -1 4202560 24551 1241 0 0 2325 28 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4257432 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28065/tid=28102] ppid=28063 vsize=3680936 CPUtime=23.07 cores=0-31
/proc/28065/task/28102/stat : 28102 (plingeling) R 28063 28065 27975 0 -1 4202560 34186 1241 0 0 2277 30 0 0 25 0 33 0 679052264 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4265433 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28065/tid=28103] ppid=28063 vsize=3680936 CPUtime=23.44 cores=0-31
/proc/28065/task/28103/stat : 28103 (plingeling) R 28063 28065 27975 0 -1 4202560 25807 1241 0 0 2318 26 0 0 25 0 33 0 679052268 3769278464 797851 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252531 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 775.86
Current children cumulated vsize (KiB) 3680936
[startup+44.8019 s]
/proc/loadavg: 19.07 24.21 25.00 33/446 28105
/proc/meminfo: memFree=252312236/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=3664296 CPUtime=878.14 cores=0-31
/proc/28065/stat : 28065 (plingeling) S 28063 28065 27975 0 -1 4202496 1308954 1241 0 0 86767 1047 0 0 19 0 33 0 679050517 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28065/statm: 916074 793691 175 55 0 913960 0
[pid=28065/tid=28072] ppid=28063 vsize=3664296 CPUtime=26.81 cores=0-31
/proc/28065/task/28072/stat : 28072 (plingeling) R 28063 28065 27975 0 -1 4202560 24014 1241 0 0 2662 19 0 0 25 0 33 0 679052260 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252515 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28065/tid=28073] ppid=28063 vsize=3664296 CPUtime=26.56 cores=0-31
/proc/28065/task/28073/stat : 28073 (plingeling) R 28063 28065 27975 0 -1 4202560 27430 1241 0 0 2617 39 0 0 25 0 33 0 679052260 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28065/tid=28074] ppid=28063 vsize=3664296 CPUtime=27.21 cores=0-31
/proc/28065/task/28074/stat : 28074 (plingeling) R 28063 28065 27975 0 -1 4202560 38426 1241 0 0 2692 29 0 0 25 0 33 0 679052260 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4264810 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28065/tid=28075] ppid=28063 vsize=3664296 CPUtime=27.17 cores=0-31
/proc/28065/task/28075/stat : 28075 (plingeling) R 28063 28065 27975 0 -1 4202560 6225 1241 0 0 2697 20 0 0 25 0 33 0 679052260 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28065/tid=28076] ppid=28063 vsize=3664296 CPUtime=26.59 cores=0-31
/proc/28065/task/28076/stat : 28076 (plingeling) R 28063 28065 27975 0 -1 4202560 20565 1241 0 0 2639 20 0 0 25 0 33 0 679052260 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4258557 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28065/tid=28077] ppid=28063 vsize=3664296 CPUtime=27.2 cores=0-31
/proc/28065/task/28077/stat : 28077 (plingeling) R 28063 28065 27975 0 -1 4202560 32168 1241 0 0 2694 26 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28065/tid=28078] ppid=28063 vsize=3664296 CPUtime=26.95 cores=0-31
/proc/28065/task/28078/stat : 28078 (plingeling) R 28063 28065 27975 0 -1 4202560 32123 1241 0 0 2659 36 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4232670 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28065/tid=28079] ppid=28063 vsize=3664296 CPUtime=27.09 cores=0-31
/proc/28065/task/28079/stat : 28079 (plingeling) R 28063 28065 27975 0 -1 4202560 25912 1241 0 0 2674 35 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4272185 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28065/tid=28080] ppid=28063 vsize=3664296 CPUtime=27.22 cores=0-31
/proc/28065/task/28080/stat : 28080 (plingeling) R 28063 28065 27975 0 -1 4202560 21351 1241 0 0 2699 23 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252176 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28065/tid=28081] ppid=28063 vsize=3664296 CPUtime=27.08 cores=0-31
/proc/28065/task/28081/stat : 28081 (plingeling) R 28063 28065 27975 0 -1 4202560 31087 1241 0 0 2672 36 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4271992 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28065/tid=28082] ppid=28063 vsize=3664296 CPUtime=27.19 cores=0-31
/proc/28065/task/28082/stat : 28082 (plingeling) R 28063 28065 27975 0 -1 4202560 23101 1241 0 0 2684 35 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4344268 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28065/tid=28083] ppid=28063 vsize=3664296 CPUtime=26.81 cores=0-31
/proc/28065/task/28083/stat : 28083 (plingeling) R 28063 28065 27975 0 -1 4202560 27273 1241 0 0 2651 30 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4272862 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28065/tid=28084] ppid=28063 vsize=3664296 CPUtime=26.87 cores=0-31
/proc/28065/task/28084/stat : 28084 (plingeling) R 28063 28065 27975 0 -1 4202560 21176 1241 0 0 2657 30 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253304 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28065/tid=28085] ppid=28063 vsize=3664296 CPUtime=27.16 cores=0-31
/proc/28065/task/28085/stat : 28085 (plingeling) R 28063 28065 27975 0 -1 4202560 17048 1241 0 0 2685 31 0 0 25 0 33 0 679052261 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28065/tid=28086] ppid=28063 vsize=3664296 CPUtime=26.33 cores=0-31
/proc/28065/task/28086/stat : 28086 (plingeling) R 28063 28065 27975 0 -1 4202560 30271 1241 0 0 2601 32 0 0 25 0 33 0 679052262 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28065/tid=28087] ppid=28063 vsize=3664296 CPUtime=26.8 cores=0-31
/proc/28065/task/28087/stat : 28087 (plingeling) R 28063 28065 27975 0 -1 4202560 27193 1241 0 0 2654 26 0 0 25 0 33 0 679052262 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253280 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28065/tid=28088] ppid=28063 vsize=3664296 CPUtime=26.47 cores=0-31
/proc/28065/task/28088/stat : 28088 (plingeling) R 28063 28065 27975 0 -1 4202560 34935 1241 0 0 2619 28 0 0 25 0 33 0 679052262 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252022 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28065/tid=28089] ppid=28063 vsize=3664296 CPUtime=27.18 cores=0-31
/proc/28065/task/28089/stat : 28089 (plingeling) R 28063 28065 27975 0 -1 4202560 34886 1241 0 0 2694 24 0 0 25 0 33 0 679052263 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252140 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28065/tid=28090] ppid=28063 vsize=3664296 CPUtime=26.7 cores=0-31
/proc/28065/task/28090/stat : 28090 (plingeling) R 28063 28065 27975 0 -1 4202560 38513 1241 0 0 2636 34 0 0 25 0 33 0 679052263 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28065/tid=28091] ppid=28063 vsize=3664296 CPUtime=26.75 cores=0-31
/proc/28065/task/28091/stat : 28091 (plingeling) R 28063 28065 27975 0 -1 4202560 34429 1241 0 0 2638 37 0 0 25 0 33 0 679052263 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252340 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28065/tid=28092] ppid=28063 vsize=3664296 CPUtime=26.88 cores=0-31
/proc/28065/task/28092/stat : 28092 (plingeling) R 28063 28065 27975 0 -1 4202560 16387 1241 0 0 2668 20 0 0 25 0 33 0 679052263 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28065/tid=28093] ppid=28063 vsize=3664296 CPUtime=27.25 cores=0-31
/proc/28065/task/28093/stat : 28093 (plingeling) R 28063 28065 27975 0 -1 4202560 42312 1241 0 0 2696 29 0 0 25 0 33 0 679052263 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253214 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28065/tid=28094] ppid=28063 vsize=3664296 CPUtime=27.01 cores=0-31
/proc/28065/task/28094/stat : 28094 (plingeling) R 28063 28065 27975 0 -1 4202560 36405 1241 0 0 2664 37 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4265473 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28065/tid=28095] ppid=28063 vsize=3664296 CPUtime=26.88 cores=0-31
/proc/28065/task/28095/stat : 28095 (plingeling) R 28063 28065 27975 0 -1 4202560 30509 1241 0 0 2653 35 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28065/tid=28096] ppid=28063 vsize=3664296 CPUtime=27.03 cores=0-31
/proc/28065/task/28096/stat : 28096 (plingeling) R 28063 28065 27975 0 -1 4202560 24335 1241 0 0 2678 25 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253071 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28065/tid=28097] ppid=28063 vsize=3664296 CPUtime=27 cores=0-31
/proc/28065/task/28097/stat : 28097 (plingeling) R 28063 28065 27975 0 -1 4202560 34966 1241 0 0 2675 25 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4257327 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28065/tid=28098] ppid=28063 vsize=3664296 CPUtime=27.13 cores=0-31
/proc/28065/task/28098/stat : 28098 (plingeling) R 28063 28065 27975 0 -1 4202560 16584 1241 0 0 2682 31 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28065/tid=28099] ppid=28063 vsize=3664296 CPUtime=26.54 cores=0-31
/proc/28065/task/28099/stat : 28099 (plingeling) R 28063 28065 27975 0 -1 4202560 20042 1241 0 0 2617 37 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252499 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28065/tid=28100] ppid=28063 vsize=3664296 CPUtime=26.89 cores=0-31
/proc/28065/task/28100/stat : 28100 (plingeling) R 28063 28065 27975 0 -1 4202560 22526 1241 0 0 2656 33 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28065/tid=28101] ppid=28063 vsize=3664296 CPUtime=26.73 cores=0-31
/proc/28065/task/28101/stat : 28101 (plingeling) R 28063 28065 27975 0 -1 4202560 24551 1241 0 0 2645 28 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253176 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28065/tid=28102] ppid=28063 vsize=3664296 CPUtime=26.27 cores=0-31
/proc/28065/task/28102/stat : 28102 (plingeling) R 28063 28065 27975 0 -1 4202560 34186 1241 0 0 2597 30 0 0 25 0 33 0 679052264 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4248304 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28065/tid=28103] ppid=28063 vsize=3664296 CPUtime=26.64 cores=0-31
/proc/28065/task/28103/stat : 28103 (plingeling) R 28063 28065 27975 0 -1 4202560 25807 1241 0 0 2638 26 0 0 25 0 33 0 679052268 3752239104 793691 268435456000 4194304 4417452 140737086861664 18446744073709551615 4257738 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 878.14
Current children cumulated vsize (KiB) 3664296
[startup+46.402 s]
/proc/loadavg: 20.10 24.34 25.04 33/446 28105
/proc/meminfo: memFree=252329596/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=3650776 CPUtime=929.21 cores=0-31
/proc/28065/stat : 28065 (plingeling) S 28063 28065 27975 0 -1 4202496 1308955 1241 0 0 91874 1047 0 0 19 0 26 0 679050517 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/28065/statm: 912694 790312 176 55 0 910580 0
[pid=28065/tid=28072] ppid=28063 vsize=3650776 CPUtime=28.41 cores=0-31
/proc/28065/task/28072/stat : 28072 (plingeling) R 28063 28065 27975 0 -1 4202560 24014 1241 0 0 2822 19 0 0 25 0 26 0 679052260 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28065/tid=28073] ppid=28063 vsize=3650776 CPUtime=28.16 cores=0-31
/proc/28065/task/28073/stat : 28073 (plingeling) R 28063 28065 27975 0 -1 4202560 27430 1241 0 0 2777 39 0 0 25 0 26 0 679052260 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4257090 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28065/tid=28075] ppid=28063 vsize=3650776 CPUtime=28.77 cores=0-31
/proc/28065/task/28075/stat : 28075 (plingeling) R 28063 28065 27975 0 -1 4202560 6225 1241 0 0 2857 20 0 0 25 0 26 0 679052260 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4232683 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28065/tid=28076] ppid=28063 vsize=3650776 CPUtime=28.19 cores=0-31
/proc/28065/task/28076/stat : 28076 (plingeling) R 28063 28065 27975 0 -1 4202560 20565 1241 0 0 2799 20 0 0 25 0 26 0 679052260 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4272899 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28065/tid=28077] ppid=28063 vsize=3650776 CPUtime=28.8 cores=0-31
/proc/28065/task/28077/stat : 28077 (plingeling) R 28063 28065 27975 0 -1 4202560 32168 1241 0 0 2854 26 0 0 25 0 26 0 679052261 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252729 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28065/tid=28079] ppid=28063 vsize=3650776 CPUtime=28.69 cores=0-31
/proc/28065/task/28079/stat : 28079 (plingeling) R 28063 28065 27975 0 -1 4202560 25912 1241 0 0 2834 35 0 0 25 0 26 0 679052261 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253272 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28065/tid=28080] ppid=28063 vsize=3650776 CPUtime=28.82 cores=0-31
/proc/28065/task/28080/stat : 28080 (plingeling) R 28063 28065 27975 0 -1 4202560 21351 1241 0 0 2859 23 0 0 25 0 26 0 679052261 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252507 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28065/tid=28081] ppid=28063 vsize=3650776 CPUtime=28.68 cores=0-31
/proc/28065/task/28081/stat : 28081 (plingeling) R 28063 28065 27975 0 -1 4202560 31087 1241 0 0 2832 36 0 0 25 0 26 0 679052261 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253162 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28065/tid=28083] ppid=28063 vsize=3650776 CPUtime=28.41 cores=0-31
/proc/28065/task/28083/stat : 28083 (plingeling) R 28063 28065 27975 0 -1 4202560 27273 1241 0 0 2811 30 0 0 25 0 26 0 679052261 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252706 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28065/tid=28084] ppid=28063 vsize=3650776 CPUtime=28.47 cores=0-31
/proc/28065/task/28084/stat : 28084 (plingeling) R 28063 28065 27975 0 -1 4202560 21176 1241 0 0 2817 30 0 0 25 0 26 0 679052261 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253395 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28065/tid=28085] ppid=28063 vsize=3650776 CPUtime=28.76 cores=0-31
/proc/28065/task/28085/stat : 28085 (plingeling) R 28063 28065 27975 0 -1 4202560 17048 1241 0 0 2845 31 0 0 25 0 26 0 679052261 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4273030 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28065/tid=28087] ppid=28063 vsize=3650776 CPUtime=28.4 cores=0-31
/proc/28065/task/28087/stat : 28087 (plingeling) R 28063 28065 27975 0 -1 4202560 27193 1241 0 0 2814 26 0 0 25 0 26 0 679052262 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4272008 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28065/tid=28088] ppid=28063 vsize=3650776 CPUtime=28.07 cores=0-31
/proc/28065/task/28088/stat : 28088 (plingeling) R 28063 28065 27975 0 -1 4202560 34935 1241 0 0 2779 28 0 0 25 0 26 0 679052262 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253296 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28065/tid=28089] ppid=28063 vsize=3650776 CPUtime=28.78 cores=0-31
/proc/28065/task/28089/stat : 28089 (plingeling) R 28063 28065 27975 0 -1 4202560 34886 1241 0 0 2854 24 0 0 25 0 26 0 679052263 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252404 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28065/tid=28091] ppid=28063 vsize=3650776 CPUtime=28.35 cores=0-31
/proc/28065/task/28091/stat : 28091 (plingeling) R 28063 28065 27975 0 -1 4202560 34429 1241 0 0 2798 37 0 0 25 0 26 0 679052263 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4271559 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28065/tid=28092] ppid=28063 vsize=3650776 CPUtime=28.48 cores=0-31
/proc/28065/task/28092/stat : 28092 (plingeling) R 28063 28065 27975 0 -1 4202560 16387 1241 0 0 2828 20 0 0 25 0 26 0 679052263 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252276 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28065/tid=28093] ppid=28063 vsize=3650776 CPUtime=28.85 cores=0-31
/proc/28065/task/28093/stat : 28093 (plingeling) R 28063 28065 27975 0 -1 4202560 42312 1241 0 0 2856 29 0 0 25 0 26 0 679052263 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253237 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28065/tid=28094] ppid=28063 vsize=3650776 CPUtime=28.61 cores=0-31
/proc/28065/task/28094/stat : 28094 (plingeling) R 28063 28065 27975 0 -1 4202560 36405 1241 0 0 2824 37 0 0 25 0 26 0 679052264 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28065/tid=28095] ppid=28063 vsize=3650776 CPUtime=28.48 cores=0-31
/proc/28065/task/28095/stat : 28095 (plingeling) R 28063 28065 27975 0 -1 4202560 30509 1241 0 0 2813 35 0 0 25 0 26 0 679052264 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28065/tid=28096] ppid=28063 vsize=3650776 CPUtime=28.63 cores=0-31
/proc/28065/task/28096/stat : 28096 (plingeling) R 28063 28065 27975 0 -1 4202560 24335 1241 0 0 2838 25 0 0 25 0 26 0 679052264 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4319539 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28065/tid=28097] ppid=28063 vsize=3650776 CPUtime=28.6 cores=0-31
/proc/28065/task/28097/stat : 28097 (plingeling) R 28063 28065 27975 0 -1 4202560 34966 1241 0 0 2835 25 0 0 25 0 26 0 679052264 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4252875 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28065/tid=28099] ppid=28063 vsize=3650776 CPUtime=28.14 cores=0-31
/proc/28065/task/28099/stat : 28099 (plingeling) R 28063 28065 27975 0 -1 4202560 20042 1241 0 0 2777 37 0 0 25 0 26 0 679052264 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4319732 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28065/tid=28100] ppid=28063 vsize=3650776 CPUtime=28.49 cores=0-31
/proc/28065/task/28100/stat : 28100 (plingeling) R 28063 28065 27975 0 -1 4202560 22526 1241 0 0 2816 33 0 0 25 0 26 0 679052264 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4257282 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28065/tid=28101] ppid=28063 vsize=3650776 CPUtime=28.33 cores=0-31
/proc/28065/task/28101/stat : 28101 (plingeling) R 28063 28065 27975 0 -1 4202560 24551 1241 0 0 2805 28 0 0 25 0 26 0 679052264 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4235985 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28065/tid=28103] ppid=28063 vsize=3650776 CPUtime=28.24 cores=0-31
/proc/28065/task/28103/stat : 28103 (plingeling) R 28063 28065 27975 0 -1 4202560 25807 1241 0 0 2798 26 0 0 25 0 26 0 679052268 3738394624 790312 268435456000 4194304 4417452 140737086861664 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 929.21
Current children cumulated vsize (KiB) 3650776
[startup+46.8011 s]
/proc/loadavg: 20.10 24.34 25.04 33/446 28105
/proc/meminfo: memFree=252329596/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=3038948 CPUtime=934.4 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202496 1308955 1241 0 0 92389 1051 0 0 15 0 1 0 679050517 3111882752 704979 268435456000 4194304 4417452 140737086861664 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 30 0 0 0
/proc/28065/statm: 759737 704979 176 55 0 757623 0
Current children cumulated CPU time (s) 934.4
Current children cumulated vsize (KiB) 3038948
[startup+47.0011 s]
/proc/loadavg: 20.10 24.34 25.04 33/446 28105
/proc/meminfo: memFree=252329596/264257624 swapFree=67111528/67111528
[pid=28065] ppid=28063 vsize=0 CPUtime=934.6 cores=0-31
/proc/28065/stat : 28065 (plingeling) R 28063 28065 27975 0 -1 4202500 1308959 1241 0 0 92389 1071 0 0 16 0 1 0 679050517 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 30 0 0 0
/proc/28065/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 934.6
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 47.0534
CPU time (s): 934.674
CPU user time (s): 923.903
CPU system time (s): 10.7714
CPU usage (%): 1986.41
Max. virtual memory (cumulated for all children) (KiB): 3906248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 923.903
system time used= 10.7714
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1310200
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= 5744
involuntary context switches= 2268
runsolver used 0.347947 second user time and 1.11483 second system time
The end
Begin job on node200 at 2011-05-18 01:40:41
IDJOB=3372534
IDBENCH=82444
IDSOLVER=1852
FILE ID=node200/3372534-1305675640
RUNJOBID= node200-1305675585-27989
PBS_JOBID= 13357376
Free space on /tmp= 62036 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372534-1305675640/watcher-3372534-1305675640 -o /tmp/evaluation-result-3372534-1305675640/solver-3372534-1305675640 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372534-1305675640.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a78f49949ed32c6f8eea9d5e428c909d
RANDOM SEED=385726741
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: 255491604 kB
Buffers: 451184 kB
Cached: 7899820 kB
SwapCached: 0 kB
Active: 7414936 kB
Inactive: 1004884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255491604 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16356 kB
Writeback: 0 kB
AnonPages: 68880 kB
Mapped: 14532 kB
Slab: 251820 kB
PageTables: 4428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 204164 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= 62036 MiB
End job on node200 at 2011-05-18 01:41:28