0.00/0.00 c clasp version 2.0.0-RC2
0.00/0.00 c Reading from ...481261/instance-3472329-1307481261.cnf
3.32/3.38 c Solving...
39858.48/1504.04 s UNSATISFIABLE
39858.48/1504.04
39858.48/1504.04 c Models : 0
39858.48/1504.04 c Time : 1500.920s (Solving: 1497.54s 1st Model: 0.00s Unsat: 1497.54s)
39858.48/1504.04 c CPU Time : 39855.400s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3472329-1307481261/watcher-3472329-1307481261 -o /tmp/evaluation-result-3472329-1307481261/solver-3472329-1307481261 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472329-1307481261.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): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.19 12.05 9.85 1/413 17737
/proc/meminfo: memFree=263155864/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=53736 CPUtime=0.02 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 4755 0 0 0 2 0 0 0 21 0 1 0 13513147 55025664 4686 270582939648 4194304 4964800 140736370222288 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17737/statm: 13434 4692 373 189 0 8308 0
[startup+0.040218 s]
/proc/loadavg: 8.19 12.05 9.85 1/413 17737
/proc/meminfo: memFree=263155864/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=53736 CPUtime=0.02 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 5700 0 0 0 2 0 0 0 21 0 1 0 13513147 55025664 5630 270582939648 4194304 4964800 140736370222288 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17737/statm: 13434 5638 373 189 0 8308 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 53736
[startup+0.101327 s]
/proc/loadavg: 8.19 12.05 9.85 1/413 17737
/proc/meminfo: memFree=263155864/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=74784 CPUtime=0.09 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 15987 0 0 0 7 2 0 0 21 0 1 0 13513147 76578816 13604 270582939648 4194304 4964800 140736370222288 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17737/statm: 18696 13607 383 189 0 13570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 74784
[startup+0.30033 s]
/proc/loadavg: 8.19 12.05 9.85 1/413 17737
/proc/meminfo: memFree=263155864/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=100520 CPUtime=0.29 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 24826 0 0 0 24 5 0 0 22 0 1 0 13513147 102932480 20065 270582939648 4194304 4964800 140736370222288 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17737/statm: 25130 20066 383 189 0 20004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100520
[startup+0.700323 s]
/proc/loadavg: 8.19 12.05 9.85 1/413 17737
/proc/meminfo: memFree=263155864/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=164608 CPUtime=0.69 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 46175 0 0 0 59 10 0 0 24 0 1 0 13513147 168558592 35404 270582939648 4194304 4964800 140736370222288 18446744073709551615 4625076 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17737/statm: 41152 35404 397 189 0 36026 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 164608
[startup+1.50036 s]
/proc/loadavg: 8.19 12.05 9.85 2/414 17738
/proc/meminfo: memFree=263010264/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=178832 CPUtime=1.49 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 49594 0 0 0 138 11 0 0 25 0 1 0 13513147 183123968 38823 270582939648 4194304 4964800 140736370222288 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17737/statm: 44708 38823 400 189 0 39582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178832
[startup+3.10041 s]
/proc/loadavg: 8.19 12.05 9.85 2/414 17738
/proc/meminfo: memFree=263000812/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=182224 CPUtime=3.09 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 50454 0 0 0 298 11 0 0 25 0 1 0 13513147 186597376 39683 270582939648 4194304 4964800 140736370222288 18446744073709551615 4685934 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17737/statm: 45556 39683 403 189 0 40430 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 182224
[startup+6.30256 s]
/proc/loadavg: 7.62 11.87 9.80 6/445 17769
/proc/meminfo: memFree=262200376/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=2417732 CPUtime=34.43 cores=0-31
/proc/17737/stat : 17737 (claspmt) S 17735 17737 17533 0 -1 4202496 354702 0 0 0 1135 2308 0 0 19 0 32 0 13513147 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/17737/statm: 604433 278040 440 189 0 598782 0
[pid=17737/tid=17739] ppid=17735 vsize=2417732 CPUtime=0.96 cores=0-31
/proc/17737/task/17739/stat : 17739 (claspmt) S 17735 17737 17533 0 -1 4202560 8570 0 0 0 15 81 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498639764960 0 0 -1 1 0 0 0
[pid=17737/tid=17740] ppid=17735 vsize=2417732 CPUtime=1.06 cores=0-31
/proc/17737/task/17740/stat : 17740 (claspmt) S 17735 17737 17533 0 -1 4202560 11119 0 0 0 23 83 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604499446898144 0 0 -1 4 0 0 0
[pid=17737/tid=17741] ppid=17735 vsize=2417732 CPUtime=1.05 cores=0-31
/proc/17737/task/17741/stat : 17741 (claspmt) S 17735 17737 17533 0 -1 4202560 11025 0 0 0 22 83 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498292252128 0 0 -1 3 0 0 0
[pid=17737/tid=17742] ppid=17735 vsize=2417732 CPUtime=0.82 cores=0-31
/proc/17737/task/17742/stat : 17742 (claspmt) S 17735 17737 17533 0 -1 4202560 8816 0 0 0 12 70 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498292276704 0 0 -1 24 0 0 0
[pid=17737/tid=17743] ppid=17735 vsize=2417732 CPUtime=1.62 cores=0-31
/proc/17737/task/17743/stat : 17743 (claspmt) R 17735 17737 17533 0 -1 4202560 9829 0 0 0 86 76 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17737/tid=17744] ppid=17735 vsize=2417732 CPUtime=1.01 cores=0-31
/proc/17737/task/17744/stat : 17744 (claspmt) S 17735 17737 17533 0 -1 4202560 10539 0 0 0 24 77 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504176827872 0 0 -1 5 0 0 0
[pid=17737/tid=17745] ppid=17735 vsize=2417732 CPUtime=1.05 cores=0-31
/proc/17737/task/17745/stat : 17745 (claspmt) S 17735 17737 17533 0 -1 4202560 10368 0 0 0 25 80 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604506060815840 0 0 -1 8 0 0 0
[pid=17737/tid=17746] ppid=17735 vsize=2417732 CPUtime=0.74 cores=0-31
/proc/17737/task/17746/stat : 17746 (claspmt) S 17735 17737 17533 0 -1 4202560 8907 0 0 0 12 62 0 0 18 0 32 0 13513485 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604506060807648 0 0 -1 17 0 0 0
[pid=17737/tid=17747] ppid=17735 vsize=2417732 CPUtime=0.9 cores=0-31
/proc/17737/task/17747/stat : 17747 (claspmt) S 17735 17737 17533 0 -1 4202560 9052 0 0 0 15 75 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504275058144 0 0 -1 6 0 0 0
[pid=17737/tid=17748] ppid=17735 vsize=2417732 CPUtime=1.03 cores=0-31
/proc/17737/task/17748/stat : 17748 (claspmt) S 17735 17737 17533 0 -1 4202560 10247 0 0 0 21 82 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604502057745888 0 0 -1 0 0 0 0
[pid=17737/tid=17749] ppid=17735 vsize=2417732 CPUtime=1.01 cores=0-31
/proc/17737/task/17749/stat : 17749 (claspmt) S 17735 17737 17533 0 -1 4202560 10434 0 0 0 21 80 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504275049952 0 0 -1 28 0 0 0
[pid=17737/tid=17750] ppid=17735 vsize=2417732 CPUtime=0.89 cores=0-31
/proc/17737/task/17750/stat : 17750 (claspmt) S 17735 17737 17533 0 -1 4202560 8699 0 0 0 14 75 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604500681580000 0 0 -1 14 0 0 0
[pid=17737/tid=17751] ppid=17735 vsize=2417732 CPUtime=1.47 cores=0-31
/proc/17737/task/17751/stat : 17751 (claspmt) R 17735 17737 17533 0 -1 4202560 10394 0 0 0 66 81 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17737/tid=17752] ppid=17735 vsize=2417732 CPUtime=1.02 cores=0-31
/proc/17737/task/17752/stat : 17752 (claspmt) S 17735 17737 17533 0 -1 4202560 10969 0 0 0 22 80 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604505515752928 0 0 -1 22 0 0 0
[pid=17737/tid=17753] ppid=17735 vsize=2417732 CPUtime=1.05 cores=0-31
/proc/17737/task/17753/stat : 17753 (claspmt) S 17735 17737 17533 0 -1 4202560 10625 0 0 0 24 81 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498292268512 0 0 -1 4 0 0 0
[pid=17737/tid=17754] ppid=17735 vsize=2417732 CPUtime=0.83 cores=0-31
/proc/17737/task/17754/stat : 17754 (claspmt) S 17735 17737 17533 0 -1 4202560 8762 0 0 0 15 68 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604500073692640 0 0 -1 7 0 0 0
[pid=17737/tid=17755] ppid=17735 vsize=2417732 CPUtime=0.85 cores=0-31
/proc/17737/task/17755/stat : 17755 (claspmt) S 17735 17737 17533 0 -1 4202560 8561 0 0 0 12 73 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604499446906336 0 0 -1 12 0 0 0
[pid=17737/tid=17756] ppid=17735 vsize=2417732 CPUtime=0.92 cores=0-31
/proc/17737/task/17756/stat : 17756 (claspmt) S 17735 17737 17533 0 -1 4202560 11510 0 0 0 26 66 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604499607657952 0 0 -1 9 0 0 0
[pid=17737/tid=17757] ppid=17735 vsize=2417732 CPUtime=1 cores=0-31
/proc/17737/task/17757/stat : 17757 (claspmt) S 17735 17737 17533 0 -1 4202560 10974 0 0 0 22 78 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604505607388640 0 0 -1 23 0 0 0
[pid=17737/tid=17758] ppid=17735 vsize=2417732 CPUtime=0.93 cores=0-31
/proc/17737/task/17758/stat : 17758 (claspmt) S 17735 17737 17533 0 -1 4202560 8856 0 0 0 13 80 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604501035982304 0 0 -1 27 0 0 0
[pid=17737/tid=17759] ppid=17735 vsize=2417732 CPUtime=1.45 cores=0-31
/proc/17737/task/17759/stat : 17759 (claspmt) R 17735 17737 17533 0 -1 4202560 10413 0 0 0 60 85 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17737/tid=17760] ppid=17735 vsize=2417732 CPUtime=0.93 cores=0-31
/proc/17737/task/17760/stat : 17760 (claspmt) S 17735 17737 17533 0 -1 4202560 10813 0 0 0 25 68 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604500681588192 0 0 -1 19 0 0 0
[pid=17737/tid=17761] ppid=17735 vsize=2417732 CPUtime=1.04 cores=0-31
/proc/17737/task/17761/stat : 17761 (claspmt) S 17735 17737 17533 0 -1 4202560 10232 0 0 0 27 77 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504094326240 0 0 -1 21 0 0 0
[pid=17737/tid=17762] ppid=17735 vsize=2417732 CPUtime=0.89 cores=0-31
/proc/17737/task/17762/stat : 17762 (claspmt) S 17735 17737 17533 0 -1 4202560 8774 0 0 0 10 79 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504707849696 0 0 -1 20 0 0 0
[pid=17737/tid=17763] ppid=17735 vsize=2417732 CPUtime=0.84 cores=0-31
/proc/17737/task/17763/stat : 17763 (claspmt) S 17735 17737 17533 0 -1 4202560 9043 0 0 0 9 75 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604500078976480 0 0 -1 16 0 0 0
[pid=17737/tid=17764] ppid=17735 vsize=2417732 CPUtime=0.99 cores=0-31
/proc/17737/task/17764/stat : 17764 (claspmt) S 17735 17737 17533 0 -1 4202560 11242 0 0 0 21 78 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604501525773792 0 0 -1 18 0 0 0
[pid=17737/tid=17765] ppid=17735 vsize=2417732 CPUtime=0.98 cores=0-31
/proc/17737/task/17765/stat : 17765 (claspmt) S 17735 17737 17533 0 -1 4202560 11896 0 0 0 25 73 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504707833312 0 0 -1 11 0 0 0
[pid=17737/tid=17766] ppid=17735 vsize=2417732 CPUtime=0.81 cores=0-31
/proc/17737/task/17766/stat : 17766 (claspmt) S 17735 17737 17533 0 -1 4202560 8678 0 0 0 13 68 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604503282171360 0 0 -1 15 0 0 0
[pid=17737/tid=17767] ppid=17735 vsize=2417732 CPUtime=1.27 cores=0-31
/proc/17737/task/17767/stat : 17767 (claspmt) R 17735 17737 17533 0 -1 4202560 10590 0 0 0 60 67 0 0 18 0 32 0 13513486 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17737/tid=17768] ppid=17735 vsize=2417732 CPUtime=0.29 cores=0-31
/proc/17737/task/17768/stat : 17768 (claspmt) S 17735 17737 17533 0 -1 4202560 3027 0 0 0 28 1 0 0 21 0 32 0 13513487 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604563972767200 0 0 -1 27 0 0 0
[pid=17737/tid=17769] ppid=17735 vsize=2417732 CPUtime=1.06 cores=0-31
/proc/17737/task/17769/stat : 17769 (claspmt) S 17735 17737 17533 0 -1 4202560 10845 0 0 0 26 80 0 0 18 0 32 0 13513487 2475757568 278040 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498639756768 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 34.43
Current children cumulated vsize (KiB) 2417732
[startup+12.7017 s]
/proc/loadavg: 7.33 11.74 9.77 5/445 17769
/proc/meminfo: memFree=262043184/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=2417732 CPUtime=60.03 cores=0-31
/proc/17737/stat : 17737 (claspmt) S 17735 17737 17533 0 -1 4202496 355294 0 0 0 3694 2309 0 0 19 0 32 0 13513147 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/17737/statm: 604433 278632 440 189 0 598782 0
[pid=17737/tid=17739] ppid=17735 vsize=2417732 CPUtime=0.96 cores=0-31
/proc/17737/task/17739/stat : 17739 (claspmt) S 17735 17737 17533 0 -1 4202560 8570 0 0 0 15 81 0 0 18 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498639764960 0 0 -1 1 0 0 0
[pid=17737/tid=17740] ppid=17735 vsize=2417732 CPUtime=1.06 cores=0-31
/proc/17737/task/17740/stat : 17740 (claspmt) S 17735 17737 17533 0 -1 4202560 11119 0 0 0 23 83 0 0 18 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604499446898144 0 0 -1 4 0 0 0
[pid=17737/tid=17741] ppid=17735 vsize=2417732 CPUtime=1.05 cores=0-31
/proc/17737/task/17741/stat : 17741 (claspmt) S 17735 17737 17533 0 -1 4202560 11025 0 0 0 22 83 0 0 18 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498292252128 0 0 -1 3 0 0 0
[pid=17737/tid=17742] ppid=17735 vsize=2417732 CPUtime=0.82 cores=0-31
/proc/17737/task/17742/stat : 17742 (claspmt) S 17735 17737 17533 0 -1 4202560 8816 0 0 0 12 70 0 0 18 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498292276704 0 0 -1 24 0 0 0
[pid=17737/tid=17743] ppid=17735 vsize=2417732 CPUtime=8.01 cores=0-31
/proc/17737/task/17743/stat : 17743 (claspmt) R 17735 17737 17533 0 -1 4202560 9968 0 0 0 725 76 0 0 25 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17737/tid=17744] ppid=17735 vsize=2417732 CPUtime=1.01 cores=0-31
/proc/17737/task/17744/stat : 17744 (claspmt) S 17735 17737 17533 0 -1 4202560 10539 0 0 0 24 77 0 0 18 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504176827872 0 0 -1 5 0 0 0
[pid=17737/tid=17745] ppid=17735 vsize=2417732 CPUtime=1.05 cores=0-31
/proc/17737/task/17745/stat : 17745 (claspmt) S 17735 17737 17533 0 -1 4202560 10368 0 0 0 25 80 0 0 18 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604506060815840 0 0 -1 8 0 0 0
[pid=17737/tid=17746] ppid=17735 vsize=2417732 CPUtime=0.74 cores=0-31
/proc/17737/task/17746/stat : 17746 (claspmt) S 17735 17737 17533 0 -1 4202560 8907 0 0 0 12 62 0 0 18 0 32 0 13513485 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604506060807648 0 0 -1 17 0 0 0
[pid=17737/tid=17747] ppid=17735 vsize=2417732 CPUtime=0.9 cores=0-31
/proc/17737/task/17747/stat : 17747 (claspmt) S 17735 17737 17533 0 -1 4202560 9052 0 0 0 15 75 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504275058144 0 0 -1 6 0 0 0
[pid=17737/tid=17748] ppid=17735 vsize=2417732 CPUtime=1.03 cores=0-31
/proc/17737/task/17748/stat : 17748 (claspmt) S 17735 17737 17533 0 -1 4202560 10247 0 0 0 21 82 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604502057745888 0 0 -1 0 0 0 0
[pid=17737/tid=17749] ppid=17735 vsize=2417732 CPUtime=1.01 cores=0-31
/proc/17737/task/17749/stat : 17749 (claspmt) S 17735 17737 17533 0 -1 4202560 10434 0 0 0 21 80 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604504275049952 0 0 -1 28 0 0 0
[pid=17737/tid=17750] ppid=17735 vsize=2417732 CPUtime=0.89 cores=0-31
/proc/17737/task/17750/stat : 17750 (claspmt) S 17735 17737 17533 0 -1 4202560 8699 0 0 0 14 75 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604500681580000 0 0 -1 14 0 0 0
[pid=17737/tid=17751] ppid=17735 vsize=2417732 CPUtime=7.86 cores=0-31
/proc/17737/task/17751/stat : 17751 (claspmt) R 17735 17737 17533 0 -1 4202560 10535 0 0 0 705 81 0 0 25 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17737/tid=17752] ppid=17735 vsize=2417732 CPUtime=1.02 cores=0-31
/proc/17737/task/17752/stat : 17752 (claspmt) S 17735 17737 17533 0 -1 4202560 10969 0 0 0 22 80 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604505515752928 0 0 -1 22 0 0 0
[pid=17737/tid=17753] ppid=17735 vsize=2417732 CPUtime=1.05 cores=0-31
/proc/17737/task/17753/stat : 17753 (claspmt) S 17735 17737 17533 0 -1 4202560 10625 0 0 0 24 81 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604498292268512 0 0 -1 4 0 0 0
[pid=17737/tid=17754] ppid=17735 vsize=2417732 CPUtime=0.83 cores=0-31
/proc/17737/task/17754/stat : 17754 (claspmt) S 17735 17737 17533 0 -1 4202560 8762 0 0 0 15 68 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604500073692640 0 0 -1 7 0 0 0
[pid=17737/tid=17755] ppid=17735 vsize=2417732 CPUtime=0.85 cores=0-31
/proc/17737/task/17755/stat : 17755 (claspmt) S 17735 17737 17533 0 -1 4202560 8561 0 0 0 12 73 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604499446906336 0 0 -1 12 0 0 0
[pid=17737/tid=17756] ppid=17735 vsize=2417732 CPUtime=0.92 cores=0-31
/proc/17737/task/17756/stat : 17756 (claspmt) S 17735 17737 17533 0 -1 4202560 11510 0 0 0 26 66 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604499607657952 0 0 -1 9 0 0 0
[pid=17737/tid=17757] ppid=17735 vsize=2417732 CPUtime=1 cores=0-31
/proc/17737/task/17757/stat : 17757 (claspmt) S 17735 17737 17533 0 -1 4202560 10974 0 0 0 22 78 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604505607388640 0 0 -1 23 0 0 0
[pid=17737/tid=17758] ppid=17735 vsize=2417732 CPUtime=0.93 cores=0-31
/proc/17737/task/17758/stat : 17758 (claspmt) S 17735 17737 17533 0 -1 4202560 8856 0 0 0 13 80 0 0 18 0 32 0 13513486 2475757568 278632 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662772457 0 0 4096 18946 18446604501035982304 0 0 -1 27 0 0 0
[pid=17737/tid=17759] ppid=17735 vsize=2417732 CPUtime=7.85 cores=0-31
################
# More data... #
################
[pid=17737/tid=17751] ppid=17735 vsize=7108328 CPUtime=1479.51 cores=0-31
/proc/17737/task/17751/stat : 17751 (claspmt) R 17735 17737 17533 0 -1 4202560 11641 0 0 0 147867 84 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670674 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17737/tid=17752] ppid=17735 vsize=7108328 CPUtime=1195.95 cores=0-31
/proc/17737/task/17752/stat : 17752 (claspmt) R 17735 17737 17533 0 -1 4202560 32264 0 0 0 119440 155 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17737/tid=17753] ppid=17735 vsize=7108328 CPUtime=1195.94 cores=0-31
/proc/17737/task/17753/stat : 17753 (claspmt) R 17735 17737 17533 0 -1 4202560 99307 0 0 0 119259 335 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17737/tid=17754] ppid=17735 vsize=7108328 CPUtime=1195.07 cores=0-31
/proc/17737/task/17754/stat : 17754 (claspmt) R 17735 17737 17533 0 -1 4202560 26813 0 0 0 119358 149 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17737/tid=17755] ppid=17735 vsize=7108328 CPUtime=1195.46 cores=0-31
/proc/17737/task/17755/stat : 17755 (claspmt) R 17735 17737 17533 0 -1 4202560 29821 0 0 0 119384 162 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17737/tid=17756] ppid=17735 vsize=7108328 CPUtime=1195.77 cores=0-31
/proc/17737/task/17756/stat : 17756 (claspmt) R 17735 17737 17533 0 -1 4202560 103966 0 0 0 119250 327 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17737/tid=17757] ppid=17735 vsize=7108328 CPUtime=1195.95 cores=0-31
/proc/17737/task/17757/stat : 17757 (claspmt) R 17735 17737 17533 0 -1 4202560 25749 0 0 0 119457 138 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17737/tid=17758] ppid=17735 vsize=7108328 CPUtime=1195.83 cores=0-31
/proc/17737/task/17758/stat : 17758 (claspmt) R 17735 17737 17533 0 -1 4202560 64539 0 0 0 119324 259 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17737/tid=17759] ppid=17735 vsize=7108328 CPUtime=1473.92 cores=0-31
/proc/17737/task/17759/stat : 17759 (claspmt) R 17735 17737 17533 0 -1 4202560 11741 0 0 0 147304 88 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17737/tid=17760] ppid=17735 vsize=7108328 CPUtime=1191.31 cores=0-31
/proc/17737/task/17760/stat : 17760 (claspmt) R 17735 17737 17533 0 -1 4202560 31472 0 0 0 118986 145 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17737/tid=17761] ppid=17735 vsize=7108328 CPUtime=1194.48 cores=0-31
/proc/17737/task/17761/stat : 17761 (claspmt) R 17735 17737 17533 0 -1 4202560 106613 0 0 0 119074 374 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17737/tid=17762] ppid=17735 vsize=7108328 CPUtime=1195.86 cores=0-31
/proc/17737/task/17762/stat : 17762 (claspmt) R 17735 17737 17533 0 -1 4202560 31038 0 0 0 119405 181 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17737/tid=17763] ppid=17735 vsize=7108328 CPUtime=1195.8 cores=0-31
/proc/17737/task/17763/stat : 17763 (claspmt) R 17735 17737 17533 0 -1 4202560 27679 0 0 0 119426 154 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17737/tid=17764] ppid=17735 vsize=7108328 CPUtime=1195.82 cores=0-31
/proc/17737/task/17764/stat : 17764 (claspmt) R 17735 17737 17533 0 -1 4202560 120989 0 0 0 119224 358 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17737/tid=17765] ppid=17735 vsize=7108328 CPUtime=1179.03 cores=0-31
/proc/17737/task/17765/stat : 17765 (claspmt) R 17735 17737 17533 0 -1 4202560 31536 0 0 0 117753 150 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17737/tid=17766] ppid=17735 vsize=7108328 CPUtime=1195.72 cores=0-31
/proc/17737/task/17766/stat : 17766 (claspmt) R 17735 17737 17533 0 -1 4202560 72007 0 0 0 119294 278 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17737/tid=17767] ppid=17735 vsize=7108328 CPUtime=1472.5 cores=0-31
/proc/17737/task/17767/stat : 17767 (claspmt) R 17735 17737 17533 0 -1 4202560 12044 0 0 0 147178 72 0 0 25 0 32 0 13513486 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17737/tid=17768] ppid=17735 vsize=7108328 CPUtime=1192.65 cores=0-31
/proc/17737/task/17768/stat : 17768 (claspmt) R 17735 17737 17533 0 -1 4202560 16697 0 0 0 119209 56 0 0 25 0 32 0 13513487 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17737/tid=17769] ppid=17735 vsize=7108328 CPUtime=1194.15 cores=0-31
/proc/17737/task/17769/stat : 17769 (claspmt) R 17735 17737 17533 0 -1 4202560 109443 0 0 0 119056 359 0 0 25 0 32 0 13513487 7278927872 1529371 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 39351.5
Current children cumulated vsize (KiB) 7108328
[startup+1497.5 s]
/proc/loadavg: 32.22 31.71 25.57 33/445 17809
/proc/meminfo: memFree=257032228/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=7108328 CPUtime=39760.6 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 1606307 0 0 0 3969726 6332 0 0 25 0 32 0 13513147 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/17737/statm: 1777082 1529372 463 189 0 1771431 0
[pid=17737/tid=17739] ppid=17735 vsize=7108328 CPUtime=1208.72 cores=0-31
/proc/17737/task/17739/stat : 17739 (claspmt) R 17735 17737 17533 0 -1 4202560 30620 0 0 0 120695 177 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17737/tid=17740] ppid=17735 vsize=7108328 CPUtime=1208.6 cores=0-31
/proc/17737/task/17740/stat : 17740 (claspmt) R 17735 17737 17533 0 -1 4202560 77526 0 0 0 120579 281 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17737/tid=17741] ppid=17735 vsize=7108328 CPUtime=1208.79 cores=0-31
/proc/17737/task/17741/stat : 17741 (claspmt) R 17735 17737 17533 0 -1 4202560 27056 0 0 0 120737 142 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17737/tid=17742] ppid=17735 vsize=7108328 CPUtime=1208.53 cores=0-31
/proc/17737/task/17742/stat : 17742 (claspmt) R 17735 17737 17533 0 -1 4202560 69390 0 0 0 120604 249 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17737/tid=17743] ppid=17735 vsize=7108328 CPUtime=1486.69 cores=0-31
/proc/17737/task/17743/stat : 17743 (claspmt) R 17735 17737 17533 0 -1 4202560 11072 0 0 0 148590 79 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17737/tid=17744] ppid=17735 vsize=7108328 CPUtime=1208.54 cores=0-31
/proc/17737/task/17744/stat : 17744 (claspmt) R 17735 17737 17533 0 -1 4202560 26417 0 0 0 120714 140 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17737/tid=17745] ppid=17735 vsize=7108328 CPUtime=1205.54 cores=0-31
/proc/17737/task/17745/stat : 17745 (claspmt) R 17735 17737 17533 0 -1 4202560 95212 0 0 0 120220 334 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17737/tid=17746] ppid=17735 vsize=7108328 CPUtime=1208.53 cores=0-31
/proc/17737/task/17746/stat : 17746 (claspmt) R 17735 17737 17533 0 -1 4202560 25693 0 0 0 120722 131 0 0 25 0 32 0 13513485 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17737/tid=17747] ppid=17735 vsize=7108328 CPUtime=1208.69 cores=0-31
/proc/17737/task/17747/stat : 17747 (claspmt) R 17735 17737 17533 0 -1 4202560 28413 0 0 0 120711 158 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17737/tid=17748] ppid=17735 vsize=7108328 CPUtime=1205.76 cores=0-31
/proc/17737/task/17748/stat : 17748 (claspmt) R 17735 17737 17533 0 -1 4202560 92898 0 0 0 120250 326 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17737/tid=17749] ppid=17735 vsize=7108328 CPUtime=1208.71 cores=0-31
/proc/17737/task/17749/stat : 17749 (claspmt) R 17735 17737 17533 0 -1 4202560 25530 0 0 0 120730 141 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17737/tid=17750] ppid=17735 vsize=7108328 CPUtime=1208.59 cores=0-31
/proc/17737/task/17750/stat : 17750 (claspmt) R 17735 17737 17533 0 -1 4202560 67197 0 0 0 120588 271 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17737/tid=17751] ppid=17735 vsize=7108328 CPUtime=1492.31 cores=0-31
/proc/17737/task/17751/stat : 17751 (claspmt) R 17735 17737 17533 0 -1 4202560 11641 0 0 0 149147 84 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17737/tid=17752] ppid=17735 vsize=7108328 CPUtime=1208.72 cores=0-31
/proc/17737/task/17752/stat : 17752 (claspmt) R 17735 17737 17533 0 -1 4202560 32264 0 0 0 120717 155 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17737/tid=17753] ppid=17735 vsize=7108328 CPUtime=1208.74 cores=0-31
/proc/17737/task/17753/stat : 17753 (claspmt) R 17735 17737 17533 0 -1 4202560 99307 0 0 0 120539 335 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17737/tid=17754] ppid=17735 vsize=7108328 CPUtime=1207.86 cores=0-31
/proc/17737/task/17754/stat : 17754 (claspmt) R 17735 17737 17533 0 -1 4202560 26813 0 0 0 120637 149 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17737/tid=17755] ppid=17735 vsize=7108328 CPUtime=1208.26 cores=0-31
/proc/17737/task/17755/stat : 17755 (claspmt) R 17735 17737 17533 0 -1 4202560 29821 0 0 0 120664 162 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17737/tid=17756] ppid=17735 vsize=7108328 CPUtime=1208.57 cores=0-31
/proc/17737/task/17756/stat : 17756 (claspmt) R 17735 17737 17533 0 -1 4202560 103966 0 0 0 120530 327 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668627 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17737/tid=17757] ppid=17735 vsize=7108328 CPUtime=1208.75 cores=0-31
/proc/17737/task/17757/stat : 17757 (claspmt) R 17735 17737 17533 0 -1 4202560 25749 0 0 0 120737 138 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17737/tid=17758] ppid=17735 vsize=7108328 CPUtime=1208.62 cores=0-31
/proc/17737/task/17758/stat : 17758 (claspmt) R 17735 17737 17533 0 -1 4202560 64539 0 0 0 120603 259 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4313818 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17737/tid=17759] ppid=17735 vsize=7108328 CPUtime=1486.72 cores=0-31
/proc/17737/task/17759/stat : 17759 (claspmt) R 17735 17737 17533 0 -1 4202560 11741 0 0 0 148584 88 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17737/tid=17760] ppid=17735 vsize=7108328 CPUtime=1204.09 cores=0-31
/proc/17737/task/17760/stat : 17760 (claspmt) R 17735 17737 17533 0 -1 4202560 31472 0 0 0 120264 145 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17737/tid=17761] ppid=17735 vsize=7108328 CPUtime=1207.28 cores=0-31
/proc/17737/task/17761/stat : 17761 (claspmt) R 17735 17737 17533 0 -1 4202560 106614 0 0 0 120354 374 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17737/tid=17762] ppid=17735 vsize=7108328 CPUtime=1208.66 cores=0-31
/proc/17737/task/17762/stat : 17762 (claspmt) R 17735 17737 17533 0 -1 4202560 31038 0 0 0 120685 181 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17737/tid=17763] ppid=17735 vsize=7108328 CPUtime=1208.6 cores=0-31
/proc/17737/task/17763/stat : 17763 (claspmt) R 17735 17737 17533 0 -1 4202560 27679 0 0 0 120706 154 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17737/tid=17764] ppid=17735 vsize=7108328 CPUtime=1208.62 cores=0-31
/proc/17737/task/17764/stat : 17764 (claspmt) R 17735 17737 17533 0 -1 4202560 120991 0 0 0 120504 358 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17737/tid=17765] ppid=17735 vsize=7108328 CPUtime=1191.83 cores=0-31
/proc/17737/task/17765/stat : 17765 (claspmt) R 17735 17737 17533 0 -1 4202560 31536 0 0 0 119033 150 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17737/tid=17766] ppid=17735 vsize=7108328 CPUtime=1208.52 cores=0-31
/proc/17737/task/17766/stat : 17766 (claspmt) R 17735 17737 17533 0 -1 4202560 72008 0 0 0 120574 278 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17737/tid=17767] ppid=17735 vsize=7108328 CPUtime=1485.29 cores=0-31
/proc/17737/task/17767/stat : 17767 (claspmt) R 17735 17737 17533 0 -1 4202560 12044 0 0 0 148457 72 0 0 25 0 32 0 13513486 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17737/tid=17768] ppid=17735 vsize=7108328 CPUtime=1205.09 cores=0-31
/proc/17737/task/17768/stat : 17768 (claspmt) R 17735 17737 17533 0 -1 4202560 16697 0 0 0 120453 56 0 0 25 0 32 0 13513487 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17737/tid=17769] ppid=17735 vsize=7108328 CPUtime=1206.95 cores=0-31
/proc/17737/task/17769/stat : 17769 (claspmt) R 17735 17737 17533 0 -1 4202560 109443 0 0 0 120336 359 0 0 25 0 32 0 13513487 7278927872 1529372 270582939648 4194304 4964800 140736370222288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 39760.6
Current children cumulated vsize (KiB) 7108328
[startup+1500.7 s]
/proc/loadavg: 32.20 31.71 25.60 28/445 17809
/proc/meminfo: memFree=257032628/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=7108328 CPUtime=39854.6 cores=0-31
/proc/17737/stat : 17737 (claspmt) S 17735 17737 17533 0 -1 4202496 1606308 0 0 0 3979099 6360 0 0 17 0 8 0 13513147 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/17737/statm: 1777082 1529227 464 189 0 1771431 0
[pid=17737/tid=17740] ppid=17735 vsize=7108328 CPUtime=1211.67 cores=0-31
/proc/17737/task/17740/stat : 17740 (claspmt) R 17735 17737 17533 0 -1 4202560 77526 0 0 0 120885 282 0 0 17 0 8 0 13513485 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17737/tid=17744] ppid=17735 vsize=7108328 CPUtime=1211.46 cores=0-31
/proc/17737/task/17744/stat : 17744 (claspmt) R 17735 17737 17533 0 -1 4202560 26417 0 0 0 121004 142 0 0 16 0 8 0 13513485 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17737/tid=17749] ppid=17735 vsize=7108328 CPUtime=1211.75 cores=0-31
/proc/17737/task/17749/stat : 17749 (claspmt) R 17735 17737 17533 0 -1 4202560 25530 0 0 0 121033 142 0 0 17 0 8 0 13513486 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17737/tid=17752] ppid=17735 vsize=7108328 CPUtime=1211.69 cores=0-31
/proc/17737/task/17752/stat : 17752 (claspmt) R 17735 17737 17533 0 -1 4202560 32264 0 0 0 121012 157 0 0 16 0 8 0 13513486 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17737/tid=17758] ppid=17735 vsize=7108328 CPUtime=1211.73 cores=0-31
/proc/17737/task/17758/stat : 17758 (claspmt) R 17735 17737 17533 0 -1 4202560 64539 0 0 0 120912 261 0 0 17 0 8 0 13513486 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17737/tid=17760] ppid=17735 vsize=7108328 CPUtime=1207.1 cores=0-31
/proc/17737/task/17760/stat : 17760 (claspmt) R 17735 17737 17533 0 -1 4202560 31472 0 0 0 120563 147 0 0 16 0 8 0 13513486 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17737/tid=17764] ppid=17735 vsize=7108328 CPUtime=1211.67 cores=0-31
/proc/17737/task/17764/stat : 17764 (claspmt) R 17735 17737 17533 0 -1 4202560 120991 0 0 0 120807 360 0 0 16 0 8 0 13513486 7278927872 1529227 270582939648 4194304 4964800 140736370222288 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 39854.6
Current children cumulated vsize (KiB) 7108328
[startup+1502.3 s]
/proc/loadavg: 32.20 31.71 25.60 2/414 17809
/proc/meminfo: memFree=257032504/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=6985524 CPUtime=39856.8 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 1606318 0 0 0 3979314 6364 0 0 17 0 1 0 13513147 7153176576 1520716 270582939648 4194304 4964800 140736370222288 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/17737/statm: 1746381 1520716 474 189 0 1740730 0
Current children cumulated CPU time (s) 39856.8
Current children cumulated vsize (KiB) 6985524
[startup+1503.1 s]
/proc/loadavg: 32.20 31.71 25.60 2/414 17809
/proc/meminfo: memFree=257065720/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=6985524 CPUtime=39857.6 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 1606318 0 0 0 3979394 6364 0 0 18 0 1 0 13513147 7153176576 1518535 270582939648 4194304 4964800 140736370222288 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/17737/statm: 1746381 1518535 474 189 0 1740730 0
Current children cumulated CPU time (s) 39857.6
Current children cumulated vsize (KiB) 6985524
[startup+1503.9 s]
/proc/loadavg: 29.70 31.20 25.47 2/414 17809
/proc/meminfo: memFree=257140988/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=4276728 CPUtime=39858.4 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202496 1606318 0 0 0 3979458 6380 0 0 19 0 1 0 13513147 4379369472 822745 270582939648 4194304 4964800 140736370222288 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 10 0 0 0
/proc/17737/statm: 1069182 822233 474 189 0 1063531 0
Current children cumulated CPU time (s) 39858.4
Current children cumulated vsize (KiB) 4276728
[startup+1504.1 s]
/proc/loadavg: 29.70 31.20 25.47 2/414 17809
/proc/meminfo: memFree=257140988/264257624 swapFree=67111528/67111528
[pid=17737] ppid=17735 vsize=0 CPUtime=39858.6 cores=0-31
/proc/17737/stat : 17737 (claspmt) R 17735 17737 17533 0 -1 4202500 1606319 0 0 0 3979458 6400 0 0 20 0 1 0 13513147 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 10 0 0 0
/proc/17737/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 39858.6
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1504.11
CPU time (s): 39858.6
CPU user time (s): 39794.6
CPU system time (s): 64.0123
CPU usage (%): 2649.98
Max. virtual memory (cumulated for all children) (KiB): 7108328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39794.6
system time used= 64.0123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1606319
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= 308301
involuntary context switches= 86412
runsolver used 7.94379 second user time and 33.9818 second system time
The end
Begin job on node200 at 2011-06-07 23:14:23
IDJOB=3472329
IDBENCH=71036
IDSOLVER=1961
FILE ID=node200/3472329-1307481261
RUNJOBID= node200-1307481084-17547
PBS_JOBID= 13509196
Free space on /tmp= 61720 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472329-1307481261/watcher-3472329-1307481261 -o /tmp/evaluation-result-3472329-1307481261/solver-3472329-1307481261 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472329-1307481261.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=537705984
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.045
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.045
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.02
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.045
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.045
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.045
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.09
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.045
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.06
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.045
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.07
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.045
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.06
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.045
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 : 3989.99
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.045
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.06
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.045
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.045
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.06
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.045
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.04
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.045
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.03
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.045
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 : 3990.07
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.045
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.08
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.045
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.05
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.045
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.045
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.08
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.045
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 : 3989.97
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.045
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.04
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.045
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.10
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.045
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.10
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.045
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.04
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.045
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.04
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.045
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.07
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.045
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.045
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.08
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.045
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.04
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.045
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.08
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.045
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.18
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.045
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: 263156136 kB
Buffers: 145048 kB
Cached: 695596 kB
SwapCached: 0 kB
Active: 204448 kB
Inactive: 699696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263156136 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26620 kB
Writeback: 0 kB
AnonPages: 63172 kB
Mapped: 14476 kB
Slab: 120720 kB
PageTables: 4560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 161240 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= 61716 MiB
End job on node200 at 2011-06-07 23:39:27