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-3372522-1305674496/watcher-3372522-1305674496 -o /tmp/evaluation-result-3372522-1305674496/solver-3372522-1305674496 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372522-1305674496.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: 19.02 15.48 19.66 1/413 27732
/proc/meminfo: memFree=255506392/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=39996 CPUtime=0.02 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 7971 1249 0 0 1 1 0 0 21 0 1 0 678936138 40955904 7901 268435456000 4194304 4417452 140735923892752 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 9999 7915 144 55 0 7885 0
[startup+0.131094 s]
/proc/loadavg: 19.02 15.48 19.66 1/413 27732
/proc/meminfo: memFree=255506392/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=85392 CPUtime=0.11 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 19422 1249 0 0 8 3 0 0 21 0 1 0 678936138 87441408 19352 268435456000 4194304 4417452 140735923892752 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 21348 19352 145 55 0 19234 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 85392
[startup+0.201121 s]
/proc/loadavg: 19.02 15.48 19.66 1/413 27732
/proc/meminfo: memFree=255506392/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=94928 CPUtime=0.18 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 21814 1249 0 0 14 4 0 0 21 0 1 0 678936138 97206272 21744 268435456000 4194304 4417452 140735923892752 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 23732 21744 145 55 0 21618 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 94928
[startup+0.301087 s]
/proc/loadavg: 19.02 15.48 19.66 1/413 27732
/proc/meminfo: memFree=255506392/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=100344 CPUtime=0.29 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 23124 1249 0 0 24 5 0 0 22 0 1 0 678936138 102752256 23054 268435456000 4194304 4417452 140735923892752 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 25086 23072 145 55 0 22972 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100344
[startup+0.70109 s]
/proc/loadavg: 19.02 15.48 19.66 1/413 27732
/proc/meminfo: memFree=255506392/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=152400 CPUtime=0.68 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 36159 1249 0 0 61 7 0 0 23 0 1 0 678936138 156057600 36089 268435456000 4194304 4417452 140735923892752 18446744073709551615 4323351 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 38100 36096 146 55 0 35986 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 152400
[startup+1.50112 s]
/proc/loadavg: 19.02 15.48 19.66 2/414 27738
/proc/meminfo: memFree=255336348/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=224340 CPUtime=1.49 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 54262 1249 0 0 138 11 0 0 25 0 1 0 678936138 229724160 54048 268435456000 4194304 4417452 140735923892752 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 56085 54066 146 55 0 53971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 224340
[startup+3.10119 s]
/proc/loadavg: 19.02 15.48 19.66 2/414 27738
/proc/meminfo: memFree=255219220/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=410348 CPUtime=3.09 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 101110 1249 0 0 289 20 0 0 25 0 1 0 678936138 420196352 100608 268435456000 4194304 4417452 140735923892752 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 102587 100608 146 55 0 100473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 410348
[startup+6.30029 s]
/proc/loadavg: 17.58 15.24 19.56 2/414 27738
/proc/meminfo: memFree=255037600/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=606956 CPUtime=6.28 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 150262 1249 0 0 599 29 0 0 25 0 1 0 678936138 621522944 149760 268435456000 4194304 4417452 140735923892752 18446744073709551615 4259186 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27732/statm: 151739 149760 146 55 0 149625 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 606956
[startup+12.7014 s]
/proc/loadavg: 16.33 15.02 19.46 33/446 27770
/proc/meminfo: memFree=254511260/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=1624108 CPUtime=55.78 cores=0-31
/proc/27732/stat : 27732 (plingeling) S 27730 27732 27306 0 -1 4202496 347629 1249 0 0 5440 138 0 0 25 0 33 0 678936138 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/27732/statm: 406027 248748 170 55 0 403913 0
[pid=27732/tid=27739] ppid=27730 vsize=1624108 CPUtime=1.41 cores=0-31
/proc/27732/task/27739/stat : 27739 (plingeling) R 27730 27732 27306 0 -1 4202560 4892 1249 0 0 139 2 0 0 25 0 33 0 678937259 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4282405 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27732/tid=27740] ppid=27730 vsize=1624108 CPUtime=1.41 cores=0-31
/proc/27732/task/27740/stat : 27740 (plingeling) R 27730 27732 27306 0 -1 4202560 4021 1249 0 0 139 2 0 0 19 0 33 0 678937259 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27732/tid=27741] ppid=27730 vsize=1624108 CPUtime=1.39 cores=0-31
/proc/27732/task/27741/stat : 27741 (plingeling) R 27730 27732 27306 0 -1 4202560 4690 1249 0 0 138 1 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284595 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27732/tid=27742] ppid=27730 vsize=1624108 CPUtime=1.47 cores=0-31
/proc/27732/task/27742/stat : 27742 (plingeling) R 27730 27732 27306 0 -1 4202560 2551 1249 0 0 145 2 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27732/tid=27743] ppid=27730 vsize=1624108 CPUtime=1.38 cores=0-31
/proc/27732/task/27743/stat : 27743 (plingeling) R 27730 27732 27306 0 -1 4202560 5026 1249 0 0 135 3 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27732/tid=27744] ppid=27730 vsize=1624108 CPUtime=1.38 cores=0-31
/proc/27732/task/27744/stat : 27744 (plingeling) R 27730 27732 27306 0 -1 4202560 2684 1249 0 0 136 2 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27732/tid=27745] ppid=27730 vsize=1624108 CPUtime=1.46 cores=0-31
/proc/27732/task/27745/stat : 27745 (plingeling) R 27730 27732 27306 0 -1 4202560 3412 1249 0 0 144 2 0 0 25 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4290744 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27732/tid=27746] ppid=27730 vsize=1624108 CPUtime=1.37 cores=0-31
/proc/27732/task/27746/stat : 27746 (plingeling) R 27730 27732 27306 0 -1 4202560 5037 1249 0 0 135 2 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27732/tid=27747] ppid=27730 vsize=1624108 CPUtime=1.37 cores=0-31
/proc/27732/task/27747/stat : 27747 (plingeling) R 27730 27732 27306 0 -1 4202560 4008 1249 0 0 135 2 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27732/tid=27748] ppid=27730 vsize=1624108 CPUtime=1.42 cores=0-31
/proc/27732/task/27748/stat : 27748 (plingeling) R 27730 27732 27306 0 -1 4202560 5144 1249 0 0 140 2 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4285132 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27732/tid=27749] ppid=27730 vsize=1624108 CPUtime=1.41 cores=0-31
/proc/27732/task/27749/stat : 27749 (plingeling) R 27730 27732 27306 0 -1 4202560 2623 1249 0 0 138 3 0 0 19 0 33 0 678937260 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4285114 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27732/tid=27750] ppid=27730 vsize=1624108 CPUtime=1.41 cores=0-31
/proc/27732/task/27750/stat : 27750 (plingeling) R 27730 27732 27306 0 -1 4202560 2710 1249 0 0 139 2 0 0 19 0 33 0 678937261 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27732/tid=27751] ppid=27730 vsize=1624108 CPUtime=1.42 cores=0-31
/proc/27732/task/27751/stat : 27751 (plingeling) R 27730 27732 27306 0 -1 4202560 4527 1249 0 0 139 3 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27732/tid=27752] ppid=27730 vsize=1624108 CPUtime=1.39 cores=0-31
/proc/27732/task/27752/stat : 27752 (plingeling) R 27730 27732 27306 0 -1 4202560 5843 1249 0 0 136 3 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4287223 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27732/tid=27753] ppid=27730 vsize=1624108 CPUtime=1.39 cores=0-31
/proc/27732/task/27753/stat : 27753 (plingeling) R 27730 27732 27306 0 -1 4202560 4515 1249 0 0 136 3 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4286406 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27732/tid=27754] ppid=27730 vsize=1624108 CPUtime=1.37 cores=0-31
/proc/27732/task/27754/stat : 27754 (plingeling) R 27730 27732 27306 0 -1 4202560 4714 1249 0 0 133 4 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27732/tid=27755] ppid=27730 vsize=1624108 CPUtime=1.38 cores=0-31
/proc/27732/task/27755/stat : 27755 (plingeling) R 27730 27732 27306 0 -1 4202560 3328 1249 0 0 135 3 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27732/tid=27756] ppid=27730 vsize=1624108 CPUtime=1.37 cores=0-31
/proc/27732/task/27756/stat : 27756 (plingeling) R 27730 27732 27306 0 -1 4202560 4713 1249 0 0 133 4 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27732/tid=27757] ppid=27730 vsize=1624108 CPUtime=1.41 cores=0-31
/proc/27732/task/27757/stat : 27757 (plingeling) R 27730 27732 27306 0 -1 4202560 4167 1249 0 0 138 3 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4294486 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27732/tid=27758] ppid=27730 vsize=1624108 CPUtime=1.38 cores=0-31
/proc/27732/task/27758/stat : 27758 (plingeling) R 27730 27732 27306 0 -1 4202560 3923 1249 0 0 135 3 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27732/tid=27759] ppid=27730 vsize=1624108 CPUtime=1.37 cores=0-31
/proc/27732/task/27759/stat : 27759 (plingeling) R 27730 27732 27306 0 -1 4202560 4021 1249 0 0 135 2 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27732/tid=27760] ppid=27730 vsize=1624108 CPUtime=1.35 cores=0-31
/proc/27732/task/27760/stat : 27760 (plingeling) R 27730 27732 27306 0 -1 4202560 4713 1249 0 0 132 3 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27732/tid=27761] ppid=27730 vsize=1624108 CPUtime=1.35 cores=0-31
/proc/27732/task/27761/stat : 27761 (plingeling) R 27730 27732 27306 0 -1 4202560 3997 1249 0 0 133 2 0 0 19 0 33 0 678937265 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4281423 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27732/tid=27762] ppid=27730 vsize=1624108 CPUtime=1.41 cores=0-31
/proc/27732/task/27762/stat : 27762 (plingeling) R 27730 27732 27306 0 -1 4202560 3899 1249 0 0 139 2 0 0 19 0 33 0 678937266 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27732/tid=27763] ppid=27730 vsize=1624108 CPUtime=1.36 cores=0-31
/proc/27732/task/27763/stat : 27763 (plingeling) R 27730 27732 27306 0 -1 4202560 4773 1249 0 0 133 3 0 0 19 0 33 0 678937266 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27732/tid=27764] ppid=27730 vsize=1624108 CPUtime=1.35 cores=0-31
/proc/27732/task/27764/stat : 27764 (plingeling) R 27730 27732 27306 0 -1 4202560 4840 1249 0 0 133 2 0 0 25 0 33 0 678937266 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284708 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27732/tid=27765] ppid=27730 vsize=1624108 CPUtime=1.36 cores=0-31
/proc/27732/task/27765/stat : 27765 (plingeling) R 27730 27732 27306 0 -1 4202560 4020 1249 0 0 133 3 0 0 19 0 33 0 678937266 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27732/tid=27766] ppid=27730 vsize=1624108 CPUtime=1.38 cores=0-31
/proc/27732/task/27766/stat : 27766 (plingeling) R 27730 27732 27306 0 -1 4202560 3901 1249 0 0 135 3 0 0 19 0 33 0 678937266 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27732/tid=27767] ppid=27730 vsize=1624108 CPUtime=1.34 cores=0-31
/proc/27732/task/27767/stat : 27767 (plingeling) R 27730 27732 27306 0 -1 4202560 4589 1249 0 0 132 2 0 0 19 0 33 0 678937266 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284943 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27732/tid=27768] ppid=27730 vsize=1624108 CPUtime=1.3 cores=0-31
/proc/27732/task/27768/stat : 27768 (plingeling) R 27730 27732 27306 0 -1 4202560 3110 1249 0 0 128 2 0 0 19 0 33 0 678937267 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27732/tid=27769] ppid=27730 vsize=1624108 CPUtime=1.34 cores=0-31
/proc/27732/task/27769/stat : 27769 (plingeling) R 27730 27732 27306 0 -1 4202560 3899 1249 0 0 133 1 0 0 25 0 33 0 678937267 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4284488 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27732/tid=27770] ppid=27730 vsize=1624108 CPUtime=1.36 cores=0-31
/proc/27732/task/27770/stat : 27770 (plingeling) R 27730 27732 27306 0 -1 4202560 3501 1249 0 0 133 3 0 0 25 0 33 0 678937267 1663086592 248748 268435456000 4194304 4417452 140735923892752 18446744073709551615 4285069 0 0 4096 17442 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 55.78
Current children cumulated vsize (KiB) 1624108
[startup+25.5019 s]
/proc/loadavg: 19.87 15.87 19.67 33/446 27770
/proc/meminfo: memFree=254705928/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=1346108 CPUtime=464.85 cores=0-31
/proc/27732/stat : 27732 (plingeling) S 27730 27732 27306 0 -1 4202496 419201 1249 0 0 46325 160 0 0 25 0 33 0 678936138 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/27732/statm: 336527 194128 175 55 0 334413 0
[pid=27732/tid=27739] ppid=27730 vsize=1346108 CPUtime=14.21 cores=0-31
/proc/27732/task/27739/stat : 27739 (plingeling) R 27730 27732 27306 0 -1 4202560 6758 1249 0 0 1418 3 0 0 25 0 33 0 678937259 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27732/tid=27740] ppid=27730 vsize=1346108 CPUtime=14.21 cores=0-31
/proc/27732/task/27740/stat : 27740 (plingeling) R 27730 27732 27306 0 -1 4202560 6744 1249 0 0 1418 3 0 0 25 0 33 0 678937259 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27732/tid=27741] ppid=27730 vsize=1346108 CPUtime=13.83 cores=0-31
/proc/27732/task/27741/stat : 27741 (plingeling) R 27730 27732 27306 0 -1 4202560 7190 1249 0 0 1381 2 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27732/tid=27742] ppid=27730 vsize=1346108 CPUtime=14.26 cores=0-31
/proc/27732/task/27742/stat : 27742 (plingeling) R 27730 27732 27306 0 -1 4202560 2551 1249 0 0 1424 2 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27732/tid=27743] ppid=27730 vsize=1346108 CPUtime=14.17 cores=0-31
/proc/27732/task/27743/stat : 27743 (plingeling) R 27730 27732 27306 0 -1 4202560 6056 1249 0 0 1414 3 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4301981 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27732/tid=27744] ppid=27730 vsize=1346108 CPUtime=14.16 cores=0-31
/proc/27732/task/27744/stat : 27744 (plingeling) R 27730 27732 27306 0 -1 4202560 3088 1249 0 0 1414 2 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27732/tid=27745] ppid=27730 vsize=1346108 CPUtime=14.25 cores=0-31
/proc/27732/task/27745/stat : 27745 (plingeling) R 27730 27732 27306 0 -1 4202560 6461 1249 0 0 1423 2 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27732/tid=27746] ppid=27730 vsize=1346108 CPUtime=14.16 cores=0-31
/proc/27732/task/27746/stat : 27746 (plingeling) R 27730 27732 27306 0 -1 4202560 7363 1249 0 0 1414 2 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27732/tid=27747] ppid=27730 vsize=1346108 CPUtime=14.18 cores=0-31
/proc/27732/task/27747/stat : 27747 (plingeling) R 27730 27732 27306 0 -1 4202560 4785 1249 0 0 1415 3 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4281851 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27732/tid=27748] ppid=27730 vsize=1346108 CPUtime=14.22 cores=0-31
/proc/27732/task/27748/stat : 27748 (plingeling) R 27730 27732 27306 0 -1 4202560 7679 1249 0 0 1419 3 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27732/tid=27749] ppid=27730 vsize=1346108 CPUtime=14.22 cores=0-31
/proc/27732/task/27749/stat : 27749 (plingeling) R 27730 27732 27306 0 -1 4202560 4424 1249 0 0 1418 4 0 0 25 0 33 0 678937260 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27732/tid=27750] ppid=27730 vsize=1346108 CPUtime=14.21 cores=0-31
/proc/27732/task/27750/stat : 27750 (plingeling) R 27730 27732 27306 0 -1 4202560 6307 1249 0 0 1417 4 0 0 25 0 33 0 678937261 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27732/tid=27751] ppid=27730 vsize=1346108 CPUtime=14.22 cores=0-31
/proc/27732/task/27751/stat : 27751 (plingeling) R 27730 27732 27306 0 -1 4202560 6623 1249 0 0 1418 4 0 0 25 0 33 0 678937265 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27732/tid=27752] ppid=27730 vsize=1346108 CPUtime=14.17 cores=0-31
/proc/27732/task/27752/stat : 27752 (plingeling) R 27730 27732 27306 0 -1 4202560 8546 1249 0 0 1413 4 0 0 25 0 33 0 678937265 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27732/tid=27753] ppid=27730 vsize=1346108 CPUtime=14.18 cores=0-31
/proc/27732/task/27753/stat : 27753 (plingeling) R 27730 27732 27306 0 -1 4202560 4552 1249 0 0 1415 3 0 0 25 0 33 0 678937265 1378414592 194128 268435456000 4194304 4417452 140735923892752 18446744073709551615 4278178 0 0 4096 17442 0 0 0 -1 20 0 0 0
################
# More data... #
################
[pid=27732/tid=27769] ppid=27730 vsize=3165824 CPUtime=618.69 cores=0-31
/proc/27732/task/27769/stat : 27769 (plingeling) R 27730 27732 27306 0 -1 4202560 82591 1249 0 0 61781 88 0 0 25 0 33 0 678937267 3241803776 691717 268435456000 4194304 4417452 140735923892752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27732/tid=27770] ppid=27730 vsize=3165824 CPUtime=618.21 cores=0-31
/proc/27732/task/27770/stat : 27770 (plingeling) R 27730 27732 27306 0 -1 4202560 94044 1249 0 0 61767 54 0 0 25 0 33 0 678937267 3241803776 691717 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 19794.3
Current children cumulated vsize (KiB) 3165824
[startup+633.602 s]
/proc/loadavg: 32.12 30.02 25.64 33/446 27789
/proc/meminfo: memFree=252783772/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=3120144 CPUtime=19896.6 cores=0-31
/proc/27732/stat : 27732 (plingeling) S 27730 27732 27306 0 -1 4202496 2792529 1249 0 0 1987225 2435 0 0 25 0 33 0 678936138 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/27732/statm: 780036 680297 175 55 0 777922 0
[pid=27732/tid=27739] ppid=27730 vsize=3120144 CPUtime=619.67 cores=0-31
/proc/27732/task/27739/stat : 27739 (plingeling) R 27730 27732 27306 0 -1 4202560 84235 1249 0 0 61876 91 0 0 25 0 33 0 678937259 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27732/tid=27740] ppid=27730 vsize=3120144 CPUtime=621.79 cores=0-31
/proc/27732/task/27740/stat : 27740 (plingeling) R 27730 27732 27306 0 -1 4202560 81635 1249 0 0 62092 87 0 0 25 0 33 0 678937259 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27732/tid=27741] ppid=27730 vsize=3120144 CPUtime=615.75 cores=0-31
/proc/27732/task/27741/stat : 27741 (plingeling) R 27730 27732 27306 0 -1 4202560 71677 1249 0 0 61535 40 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27732/tid=27742] ppid=27730 vsize=3120144 CPUtime=621.91 cores=0-31
/proc/27732/task/27742/stat : 27742 (plingeling) R 27730 27732 27306 0 -1 4202560 56209 1249 0 0 62161 30 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27732/tid=27743] ppid=27730 vsize=3120144 CPUtime=622.08 cores=0-31
/proc/27732/task/27743/stat : 27743 (plingeling) R 27730 27732 27306 0 -1 4202560 97367 1249 0 0 62098 110 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27732/tid=27744] ppid=27730 vsize=3120144 CPUtime=622.13 cores=0-31
/proc/27732/task/27744/stat : 27744 (plingeling) R 27730 27732 27306 0 -1 4202560 86011 1249 0 0 62146 67 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27732/tid=27745] ppid=27730 vsize=3120144 CPUtime=622.16 cores=0-31
/proc/27732/task/27745/stat : 27745 (plingeling) R 27730 27732 27306 0 -1 4202560 72233 1249 0 0 62163 53 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27732/tid=27746] ppid=27730 vsize=3120144 CPUtime=622.08 cores=0-31
/proc/27732/task/27746/stat : 27746 (plingeling) R 27730 27732 27306 0 -1 4202560 71105 1249 0 0 62133 75 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4277452 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27732/tid=27747] ppid=27730 vsize=3120144 CPUtime=622.01 cores=0-31
/proc/27732/task/27747/stat : 27747 (plingeling) R 27730 27732 27306 0 -1 4202560 78427 1249 0 0 62139 62 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27732/tid=27748] ppid=27730 vsize=3120144 CPUtime=622.14 cores=0-31
/proc/27732/task/27748/stat : 27748 (plingeling) R 27730 27732 27306 0 -1 4202560 86810 1249 0 0 62115 99 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27732/tid=27749] ppid=27730 vsize=3120144 CPUtime=622.11 cores=0-31
/proc/27732/task/27749/stat : 27749 (plingeling) R 27730 27732 27306 0 -1 4202560 47026 1249 0 0 62138 73 0 0 25 0 33 0 678937260 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27732/tid=27750] ppid=27730 vsize=3120144 CPUtime=622.02 cores=0-31
/proc/27732/task/27750/stat : 27750 (plingeling) R 27730 27732 27306 0 -1 4202560 101165 1249 0 0 62082 120 0 0 25 0 33 0 678937261 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27732/tid=27751] ppid=27730 vsize=3120144 CPUtime=622.13 cores=0-31
/proc/27732/task/27751/stat : 27751 (plingeling) R 27730 27732 27306 0 -1 4202560 72606 1249 0 0 62166 47 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27732/tid=27752] ppid=27730 vsize=3120144 CPUtime=621.91 cores=0-31
/proc/27732/task/27752/stat : 27752 (plingeling) R 27730 27732 27306 0 -1 4202560 100518 1249 0 0 62081 110 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27732/tid=27753] ppid=27730 vsize=3120144 CPUtime=619.1 cores=0-31
/proc/27732/task/27753/stat : 27753 (plingeling) R 27730 27732 27306 0 -1 4202560 86965 1249 0 0 61807 103 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27732/tid=27754] ppid=27730 vsize=3120144 CPUtime=621.93 cores=0-31
/proc/27732/task/27754/stat : 27754 (plingeling) R 27730 27732 27306 0 -1 4202560 87665 1249 0 0 62159 34 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27732/tid=27755] ppid=27730 vsize=3120144 CPUtime=619.82 cores=0-31
/proc/27732/task/27755/stat : 27755 (plingeling) R 27730 27732 27306 0 -1 4202560 94884 1249 0 0 61921 61 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27732/tid=27756] ppid=27730 vsize=3120144 CPUtime=622.13 cores=0-31
/proc/27732/task/27756/stat : 27756 (plingeling) R 27730 27732 27306 0 -1 4202560 84076 1249 0 0 62143 70 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4353520 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27732/tid=27757] ppid=27730 vsize=3120144 CPUtime=620.09 cores=0-31
/proc/27732/task/27757/stat : 27757 (plingeling) R 27730 27732 27306 0 -1 4202560 74789 1249 0 0 61932 77 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27732/tid=27758] ppid=27730 vsize=3120144 CPUtime=622.1 cores=0-31
/proc/27732/task/27758/stat : 27758 (plingeling) R 27730 27732 27306 0 -1 4202560 88241 1249 0 0 62121 89 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27732/tid=27759] ppid=27730 vsize=3120144 CPUtime=621.86 cores=0-31
/proc/27732/task/27759/stat : 27759 (plingeling) R 27730 27732 27306 0 -1 4202560 100211 1249 0 0 62081 105 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27732/tid=27760] ppid=27730 vsize=3120144 CPUtime=621.83 cores=0-31
/proc/27732/task/27760/stat : 27760 (plingeling) R 27730 27732 27306 0 -1 4202560 63043 1249 0 0 62138 45 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4236613 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27732/tid=27761] ppid=27730 vsize=3120144 CPUtime=621.99 cores=0-31
/proc/27732/task/27761/stat : 27761 (plingeling) R 27730 27732 27306 0 -1 4202560 58351 1249 0 0 62162 37 0 0 25 0 33 0 678937265 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27732/tid=27762] ppid=27730 vsize=3120144 CPUtime=619.47 cores=0-31
/proc/27732/task/27762/stat : 27762 (plingeling) R 27730 27732 27306 0 -1 4202560 92255 1249 0 0 61844 103 0 0 25 0 33 0 678937266 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364456 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27732/tid=27763] ppid=27730 vsize=3120144 CPUtime=621.97 cores=0-31
/proc/27732/task/27763/stat : 27763 (plingeling) R 27730 27732 27306 0 -1 4202560 85190 1249 0 0 62112 85 0 0 25 0 33 0 678937266 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27732/tid=27764] ppid=27730 vsize=3120144 CPUtime=621.89 cores=0-31
/proc/27732/task/27764/stat : 27764 (plingeling) R 27730 27732 27306 0 -1 4202560 81666 1249 0 0 62112 77 0 0 25 0 33 0 678937266 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27732/tid=27765] ppid=27730 vsize=3120144 CPUtime=622.14 cores=0-31
/proc/27732/task/27765/stat : 27765 (plingeling) R 27730 27732 27306 0 -1 4202560 55604 1249 0 0 62161 53 0 0 25 0 33 0 678937266 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27732/tid=27766] ppid=27730 vsize=3120144 CPUtime=622.03 cores=0-31
/proc/27732/task/27766/stat : 27766 (plingeling) R 27730 27732 27306 0 -1 4202560 78948 1249 0 0 62136 67 0 0 25 0 33 0 678937266 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27732/tid=27767] ppid=27730 vsize=3120144 CPUtime=621.95 cores=0-31
/proc/27732/task/27767/stat : 27767 (plingeling) R 27730 27732 27306 0 -1 4202560 92913 1249 0 0 62074 121 0 0 25 0 33 0 678937266 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27732/tid=27768] ppid=27730 vsize=3120144 CPUtime=621.61 cores=0-31
/proc/27732/task/27768/stat : 27768 (plingeling) R 27730 27732 27306 0 -1 4202560 68231 1249 0 0 62121 40 0 0 25 0 33 0 678937267 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27732/tid=27769] ppid=27730 vsize=3120144 CPUtime=621.89 cores=0-31
/proc/27732/task/27769/stat : 27769 (plingeling) R 27730 27732 27306 0 -1 4202560 82591 1249 0 0 62101 88 0 0 25 0 33 0 678937267 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27732/tid=27770] ppid=27730 vsize=3120144 CPUtime=621.41 cores=0-31
/proc/27732/task/27770/stat : 27770 (plingeling) R 27730 27732 27306 0 -1 4202560 94044 1249 0 0 62087 54 0 0 25 0 33 0 678937267 3195027456 680297 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 19896.6
Current children cumulated vsize (KiB) 3120144
[startup+635.201 s]
/proc/loadavg: 32.12 30.02 25.64 33/446 27789
/proc/meminfo: memFree=252806960/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=3095708 CPUtime=19947.1 cores=0-31
/proc/27732/stat : 27732 (plingeling) S 27730 27732 27306 0 -1 4202496 2793179 1249 0 0 1992272 2437 0 0 25 0 33 0 678936138 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 23 0 0 0
/proc/27732/statm: 773927 674188 175 55 0 771813 0
[pid=27732/tid=27739] ppid=27730 vsize=3095708 CPUtime=621.25 cores=0-31
/proc/27732/task/27739/stat : 27739 (plingeling) R 27730 27732 27306 0 -1 4202560 84235 1249 0 0 62034 91 0 0 25 0 33 0 678937259 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27732/tid=27740] ppid=27730 vsize=3095708 CPUtime=623.37 cores=0-31
/proc/27732/task/27740/stat : 27740 (plingeling) R 27730 27732 27306 0 -1 4202560 81635 1249 0 0 62250 87 0 0 25 0 33 0 678937259 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27732/tid=27741] ppid=27730 vsize=3095708 CPUtime=617.32 cores=0-31
/proc/27732/task/27741/stat : 27741 (plingeling) R 27730 27732 27306 0 -1 4202560 71677 1249 0 0 61692 40 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27732/tid=27742] ppid=27730 vsize=3095708 CPUtime=623.49 cores=0-31
/proc/27732/task/27742/stat : 27742 (plingeling) R 27730 27732 27306 0 -1 4202560 56209 1249 0 0 62319 30 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27732/tid=27743] ppid=27730 vsize=3095708 CPUtime=623.66 cores=0-31
/proc/27732/task/27743/stat : 27743 (plingeling) R 27730 27732 27306 0 -1 4202560 97367 1249 0 0 62256 110 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27732/tid=27744] ppid=27730 vsize=3095708 CPUtime=623.71 cores=0-31
/proc/27732/task/27744/stat : 27744 (plingeling) R 27730 27732 27306 0 -1 4202560 86011 1249 0 0 62304 67 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27732/tid=27745] ppid=27730 vsize=3095708 CPUtime=623.73 cores=0-31
/proc/27732/task/27745/stat : 27745 (plingeling) R 27730 27732 27306 0 -1 4202560 72233 1249 0 0 62320 53 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27732/tid=27746] ppid=27730 vsize=3095708 CPUtime=623.66 cores=0-31
/proc/27732/task/27746/stat : 27746 (plingeling) R 27730 27732 27306 0 -1 4202560 71105 1249 0 0 62291 75 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4237176 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27732/tid=27747] ppid=27730 vsize=3095708 CPUtime=623.59 cores=0-31
/proc/27732/task/27747/stat : 27747 (plingeling) R 27730 27732 27306 0 -1 4202560 78427 1249 0 0 62297 62 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27732/tid=27748] ppid=27730 vsize=3095708 CPUtime=623.72 cores=0-31
/proc/27732/task/27748/stat : 27748 (plingeling) R 27730 27732 27306 0 -1 4202560 86810 1249 0 0 62273 99 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27732/tid=27749] ppid=27730 vsize=3095708 CPUtime=623.69 cores=0-31
/proc/27732/task/27749/stat : 27749 (plingeling) R 27730 27732 27306 0 -1 4202560 47047 1249 0 0 62296 73 0 0 25 0 33 0 678937260 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27732/tid=27750] ppid=27730 vsize=3095708 CPUtime=623.6 cores=0-31
/proc/27732/task/27750/stat : 27750 (plingeling) R 27730 27732 27306 0 -1 4202560 101165 1249 0 0 62240 120 0 0 25 0 33 0 678937261 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27732/tid=27751] ppid=27730 vsize=3095708 CPUtime=623.71 cores=0-31
/proc/27732/task/27751/stat : 27751 (plingeling) R 27730 27732 27306 0 -1 4202560 72606 1249 0 0 62324 47 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27732/tid=27752] ppid=27730 vsize=3095708 CPUtime=623.49 cores=0-31
/proc/27732/task/27752/stat : 27752 (plingeling) R 27730 27732 27306 0 -1 4202560 100518 1249 0 0 62239 110 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27732/tid=27753] ppid=27730 vsize=3095708 CPUtime=620.68 cores=0-31
/proc/27732/task/27753/stat : 27753 (plingeling) R 27730 27732 27306 0 -1 4202560 86965 1249 0 0 61965 103 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27732/tid=27754] ppid=27730 vsize=3095708 CPUtime=623.51 cores=0-31
/proc/27732/task/27754/stat : 27754 (plingeling) R 27730 27732 27306 0 -1 4202560 87665 1249 0 0 62317 34 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27732/tid=27755] ppid=27730 vsize=3095708 CPUtime=621.39 cores=0-31
/proc/27732/task/27755/stat : 27755 (plingeling) R 27730 27732 27306 0 -1 4202560 94884 1249 0 0 62078 61 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4277567 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27732/tid=27756] ppid=27730 vsize=3095708 CPUtime=623.7 cores=0-31
/proc/27732/task/27756/stat : 27756 (plingeling) R 27730 27732 27306 0 -1 4202560 84076 1249 0 0 62300 70 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27732/tid=27757] ppid=27730 vsize=3095708 CPUtime=621.67 cores=0-31
/proc/27732/task/27757/stat : 27757 (plingeling) R 27730 27732 27306 0 -1 4202560 74789 1249 0 0 62090 77 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27732/tid=27758] ppid=27730 vsize=3095708 CPUtime=623.68 cores=0-31
/proc/27732/task/27758/stat : 27758 (plingeling) R 27730 27732 27306 0 -1 4202560 88241 1249 0 0 62279 89 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27732/tid=27759] ppid=27730 vsize=3095708 CPUtime=623.44 cores=0-31
/proc/27732/task/27759/stat : 27759 (plingeling) R 27730 27732 27306 0 -1 4202560 100211 1249 0 0 62239 105 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27732/tid=27760] ppid=27730 vsize=3095708 CPUtime=623.41 cores=0-31
/proc/27732/task/27760/stat : 27760 (plingeling) R 27730 27732 27306 0 -1 4202560 63043 1249 0 0 62296 45 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4366543 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27732/tid=27761] ppid=27730 vsize=3095708 CPUtime=623.57 cores=0-31
/proc/27732/task/27761/stat : 27761 (plingeling) R 27730 27732 27306 0 -1 4202560 58351 1249 0 0 62320 37 0 0 25 0 33 0 678937265 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27732/tid=27762] ppid=27730 vsize=3095708 CPUtime=621.01 cores=0-31
/proc/27732/task/27762/stat : 27762 (plingeling) R 27730 27732 27306 0 -1 4202560 92255 1249 0 0 61998 103 0 0 25 0 33 0 678937266 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27732/tid=27763] ppid=27730 vsize=3095708 CPUtime=623.54 cores=0-31
/proc/27732/task/27763/stat : 27763 (plingeling) R 27730 27732 27306 0 -1 4202560 85190 1249 0 0 62269 85 0 0 25 0 33 0 678937266 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27732/tid=27764] ppid=27730 vsize=3095708 CPUtime=623.47 cores=0-31
/proc/27732/task/27764/stat : 27764 (plingeling) R 27730 27732 27306 0 -1 4202560 81666 1249 0 0 62270 77 0 0 25 0 33 0 678937266 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27732/tid=27765] ppid=27730 vsize=3095708 CPUtime=623.71 cores=0-31
/proc/27732/task/27765/stat : 27765 (plingeling) R 27730 27732 27306 0 -1 4202560 55684 1249 0 0 62318 53 0 0 25 0 33 0 678937266 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4352523 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27732/tid=27766] ppid=27730 vsize=3095708 CPUtime=623.6 cores=0-31
/proc/27732/task/27766/stat : 27766 (plingeling) R 27730 27732 27306 0 -1 4202560 78948 1249 0 0 62293 67 0 0 25 0 33 0 678937266 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27732/tid=27767] ppid=27730 vsize=3095708 CPUtime=623.53 cores=0-31
/proc/27732/task/27767/stat : 27767 (plingeling) R 27730 27732 27306 0 -1 4202560 92913 1249 0 0 62232 121 0 0 25 0 33 0 678937266 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27732/tid=27768] ppid=27730 vsize=3095708 CPUtime=623.18 cores=0-31
/proc/27732/task/27768/stat : 27768 (plingeling) R 27730 27732 27306 0 -1 4202560 68231 1249 0 0 62278 40 0 0 25 0 33 0 678937267 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27732/tid=27769] ppid=27730 vsize=3095708 CPUtime=623.47 cores=0-31
/proc/27732/task/27769/stat : 27769 (plingeling) R 27730 27732 27306 0 -1 4202560 83140 1249 0 0 62258 89 0 0 25 0 33 0 678937267 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27732/tid=27770] ppid=27730 vsize=3095708 CPUtime=622.99 cores=0-31
/proc/27732/task/27770/stat : 27770 (plingeling) R 27730 27732 27306 0 -1 4202560 94044 1249 0 0 62245 54 0 0 25 0 33 0 678937267 3170004992 674188 268435456000 4194304 4417452 140735923892752 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 19947.1
Current children cumulated vsize (KiB) 3095708
[startup+635.602 s]
/proc/loadavg: 32.12 30.02 25.64 33/446 27789
/proc/meminfo: memFree=252806960/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=2668264 CPUtime=19957.9 cores=0-31
/proc/27732/stat : 27732 (plingeling) R 27730 27732 27306 0 -1 4202496 2793180 1249 0 0 1993352 2439 0 0 17 0 1 0 678936138 2732302336 635656 268435456000 4194304 4417452 140735923892752 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 23 0 0 0
/proc/27732/statm: 667066 635227 176 55 0 664952 0
Current children cumulated CPU time (s) 19957.9
Current children cumulated vsize (KiB) 2668264
[startup+635.801 s]
/proc/loadavg: 32.11 30.05 25.68 2/414 27789
/proc/meminfo: memFree=255324560/264257624 swapFree=67111528/67111528
[pid=27732] ppid=27730 vsize=0 CPUtime=19958.1 cores=0-31
/proc/27732/stat : 27732 (plingeling) Z 27730 27732 27306 0 -1 4202524 2793184 1249 0 0 1993352 2460 0 0 17 0 1 0 678936138 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 12 0 0 0
/proc/27732/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 19958.1
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 635.82
CPU time (s): 19958.2
CPU user time (s): 19933.5
CPU system time (s): 24.6183
CPU usage (%): 3138.96
Max. virtual memory (cumulated for all children) (KiB): 4037120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19933.5
system time used= 24.6183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2794433
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= 4032
involuntary context switches= 49456
runsolver used 3.38049 second user time and 14.6128 second system time
The end
Begin job on node200 at 2011-05-18 01:21:37
IDJOB=3372522
IDBENCH=82431
IDSOLVER=1852
FILE ID=node200/3372522-1305674496
RUNJOBID= node200-1305673932-27320
PBS_JOBID= 13357374
Free space on /tmp= 62040 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372522-1305674496/watcher-3372522-1305674496 -o /tmp/evaluation-result-3372522-1305674496/solver-3372522-1305674496 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372522-1305674496.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 00d93f117a3253605ad3ac6a153ec61f
RANDOM SEED=182484445
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: 255506540 kB
Buffers: 451032 kB
Cached: 7895584 kB
SwapCached: 0 kB
Active: 7411716 kB
Inactive: 1004744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255506540 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12344 kB
Writeback: 0 kB
AnonPages: 69632 kB
Mapped: 14536 kB
Slab: 251748 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192208 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= 62040 MiB
End job on node200 at 2011-05-18 01:32:13