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-3372870-1306118324/watcher-3372870-1306118324 -o /tmp/evaluation-result-3372870-1306118324/solver-3372870-1306118324 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372870-1306118324.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: 26.47 30.10 30.65 1/413 29739
/proc/meminfo: memFree=255263784/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=15148 CPUtime=0.02 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 1876 1242 0 0 2 0 0 0 22 0 1 0 723319426 15511552 1807 268435456000 4194304 4417452 140734176364592 18446744073709551615 4231388 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 3787 1807 145 55 0 1673 0
[startup+0.109723 s]
/proc/loadavg: 26.47 30.10 30.65 1/413 29739
/proc/meminfo: memFree=255263784/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=20268 CPUtime=0.1 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 3110 1242 0 0 9 1 0 0 22 0 1 0 723319426 20754432 3041 268435456000 4194304 4417452 140734176364592 18446744073709551615 258650653120 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 5067 3059 145 55 0 2953 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 20268
[startup+0.200719 s]
/proc/loadavg: 26.47 30.10 30.65 1/413 29739
/proc/meminfo: memFree=255263784/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=23304 CPUtime=0.18 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 3909 1242 0 0 17 1 0 0 22 0 1 0 723319426 23863296 3840 268435456000 4194304 4417452 140734176364592 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 5826 3840 145 55 0 3712 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 23304
[startup+0.300732 s]
/proc/loadavg: 26.47 30.10 30.65 1/413 29739
/proc/meminfo: memFree=255263784/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=33476 CPUtime=0.28 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 6459 1242 0 0 27 1 0 0 23 0 1 0 723319426 34279424 6390 268435456000 4194304 4417452 140734176364592 18446744073709551615 4259448 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 8369 6390 146 55 0 6255 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33476
[startup+0.700751 s]
/proc/loadavg: 26.47 30.10 30.65 1/413 29739
/proc/meminfo: memFree=255263784/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=53348 CPUtime=0.68 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 11403 1242 0 0 65 3 0 0 25 0 1 0 723319426 54628352 11334 268435456000 4194304 4417452 140734176364592 18446744073709551615 4235997 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 13337 11334 146 55 0 11223 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 53348
[startup+1.50076 s]
/proc/loadavg: 26.47 30.10 30.65 2/414 29745
/proc/meminfo: memFree=255196896/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=134864 CPUtime=1.48 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 31790 1242 0 0 141 7 0 0 25 0 1 0 723319426 138100736 31721 268435456000 4194304 4417452 140734176364592 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 33716 31721 146 55 0 31602 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 134864
[startup+3.10082 s]
/proc/loadavg: 26.47 30.10 30.65 2/414 29745
/proc/meminfo: memFree=255119820/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=253380 CPUtime=3.09 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 61435 1242 0 0 296 13 0 0 25 0 1 0 723319426 259461120 61366 268435456000 4194304 4417452 140734176364592 18446744073709551615 4227801 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 63345 61366 146 55 0 61231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 253380
[startup+6.30095 s]
/proc/loadavg: 24.43 29.61 30.49 2/414 29745
/proc/meminfo: memFree=254853700/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=492432 CPUtime=6.28 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 121199 1242 0 0 604 24 0 0 25 0 1 0 723319426 504250368 121129 268435456000 4194304 4417452 140734176364592 18446744073709551615 4321583 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 123108 121129 146 55 0 120994 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 492432
[startup+12.7011 s]
/proc/loadavg: 22.56 29.14 30.33 2/414 29745
/proc/meminfo: memFree=254454052/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=820112 CPUtime=12.68 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 203119 1242 0 0 1227 41 0 0 25 0 1 0 723319426 839794688 203049 268435456000 4194304 4417452 140734176364592 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 205028 203049 146 55 0 202914 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 820112
[startup+25.5006 s]
/proc/loadavg: 17.78 27.76 29.86 2/414 29745
/proc/meminfo: memFree=253649940/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=1626344 CPUtime=25.48 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 404677 1242 0 0 2469 79 0 0 25 0 1 0 723319426 1665376256 404607 268435456000 4194304 4417452 140734176364592 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 406586 404607 146 55 0 404472 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1626344
[startup+51.1005 s]
/proc/loadavg: 12.17 25.64 29.11 2/414 29745
/proc/meminfo: memFree=252038600/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=3237040 CPUtime=51.07 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 807379 1242 0 0 4948 159 0 0 25 0 1 0 723319426 3314728960 807281 268435456000 4194304 4417452 140734176364592 18446744073709551615 4235997 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 809260 807281 146 55 0 807146 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3237040
[startup+102.301 s]
/proc/loadavg: 5.85 21.84 27.63 2/414 29747
/proc/meminfo: memFree=248813424/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=6455960 CPUtime=102.3 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 1612255 1242 0 0 9911 319 0 0 25 0 1 0 723319426 6610903040 1612011 268435456000 4194304 4417452 140734176364592 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/29739/statm: 1613990 1612011 146 55 0 1611876 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 6455960
[startup+162.302 s]
/proc/loadavg: 19.77 22.63 27.52 33/446 29781
/proc/meminfo: memFree=248174588/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=7514908 CPUtime=1630.94 cores=0-31
/proc/29739/stat : 29739 (plingeling) S 29737 29739 29713 0 -1 4202496 4206910 1242 0 0 159590 3504 0 0 18 0 33 0 723319426 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/29739/statm: 1878727 1767537 175 55 0 1876613 0
[pid=29739/tid=29748] ppid=29737 vsize=7514908 CPUtime=46.43 cores=0-31
/proc/29739/task/29748/stat : 29748 (plingeling) R 29737 29739 29713 0 -1 4202560 80485 1242 0 0 4507 136 0 0 25 0 33 0 723330304 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=7514908 CPUtime=47.48 cores=0-31
/proc/29739/task/29749/stat : 29749 (plingeling) R 29737 29739 29713 0 -1 4202560 79707 1242 0 0 4642 106 0 0 25 0 33 0 723330304 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=7514908 CPUtime=48.85 cores=0-31
/proc/29739/task/29750/stat : 29750 (plingeling) R 29737 29739 29713 0 -1 4202560 93467 1242 0 0 4762 123 0 0 25 0 33 0 723330304 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=7514908 CPUtime=52.23 cores=0-31
/proc/29739/task/29751/stat : 29751 (plingeling) R 29737 29739 29713 0 -1 4202560 9228 1242 0 0 5220 3 0 0 25 0 33 0 723330304 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=7514908 CPUtime=47.4 cores=0-31
/proc/29739/task/29752/stat : 29752 (plingeling) R 29737 29739 29713 0 -1 4202560 86776 1242 0 0 4625 115 0 0 25 0 33 0 723330304 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=7514908 CPUtime=47.43 cores=0-31
/proc/29739/task/29753/stat : 29753 (plingeling) R 29737 29739 29713 0 -1 4202560 82332 1242 0 0 4646 97 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232580 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=7514908 CPUtime=49.06 cores=0-31
/proc/29739/task/29754/stat : 29754 (plingeling) R 29737 29739 29713 0 -1 4202560 80260 1242 0 0 4845 61 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=7514908 CPUtime=47.09 cores=0-31
/proc/29739/task/29755/stat : 29755 (plingeling) R 29737 29739 29713 0 -1 4202560 77790 1242 0 0 4617 92 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232566 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=7514908 CPUtime=46.17 cores=0-31
/proc/29739/task/29756/stat : 29756 (plingeling) R 29737 29739 29713 0 -1 4202560 78263 1242 0 0 4494 123 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=7514908 CPUtime=46.62 cores=0-31
/proc/29739/task/29757/stat : 29757 (plingeling) R 29737 29739 29713 0 -1 4202560 80791 1242 0 0 4594 68 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=7514908 CPUtime=48.25 cores=0-31
/proc/29739/task/29758/stat : 29758 (plingeling) R 29737 29739 29713 0 -1 4202560 88995 1242 0 0 4786 39 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232617 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29739/tid=29759] ppid=29737 vsize=7514908 CPUtime=46.34 cores=0-31
/proc/29739/task/29759/stat : 29759 (plingeling) R 29737 29739 29713 0 -1 4202560 75701 1242 0 0 4573 61 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=7514908 CPUtime=46.96 cores=0-31
/proc/29739/task/29760/stat : 29760 (plingeling) R 29737 29739 29713 0 -1 4202560 80028 1242 0 0 4573 123 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232705 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=7514908 CPUtime=46.98 cores=0-31
/proc/29739/task/29761/stat : 29761 (plingeling) R 29737 29739 29713 0 -1 4202560 86659 1242 0 0 4571 127 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29739/tid=29762] ppid=29737 vsize=7514908 CPUtime=48.74 cores=0-31
/proc/29739/task/29762/stat : 29762 (plingeling) R 29737 29739 29713 0 -1 4202560 87495 1242 0 0 4786 88 0 0 25 0 33 0 723330305 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29739/tid=29763] ppid=29737 vsize=7514908 CPUtime=46.87 cores=0-31
/proc/29739/task/29763/stat : 29763 (plingeling) R 29737 29739 29713 0 -1 4202560 81058 1242 0 0 4558 129 0 0 25 0 33 0 723330307 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29739/tid=29764] ppid=29737 vsize=7514908 CPUtime=46.53 cores=0-31
/proc/29739/task/29764/stat : 29764 (plingeling) R 29737 29739 29713 0 -1 4202560 77076 1242 0 0 4592 61 0 0 25 0 33 0 723330307 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29739/tid=29765] ppid=29737 vsize=7514908 CPUtime=46.99 cores=0-31
/proc/29739/task/29765/stat : 29765 (plingeling) R 29737 29739 29713 0 -1 4202560 85918 1242 0 0 4571 128 0 0 25 0 33 0 723330307 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29739/tid=29766] ppid=29737 vsize=7514908 CPUtime=49.71 cores=0-31
/proc/29739/task/29766/stat : 29766 (plingeling) R 29737 29739 29713 0 -1 4202560 84464 1242 0 0 4904 67 0 0 25 0 33 0 723330307 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29739/tid=29767] ppid=29737 vsize=7514908 CPUtime=45.44 cores=0-31
/proc/29739/task/29767/stat : 29767 (plingeling) R 29737 29739 29713 0 -1 4202560 88663 1242 0 0 4420 124 0 0 25 0 33 0 723330307 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29739/tid=29768] ppid=29737 vsize=7514908 CPUtime=48.17 cores=0-31
/proc/29739/task/29768/stat : 29768 (plingeling) R 29737 29739 29713 0 -1 4202560 83648 1242 0 0 4722 95 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29739/tid=29769] ppid=29737 vsize=7514908 CPUtime=46.32 cores=0-31
/proc/29739/task/29769/stat : 29769 (plingeling) R 29737 29739 29713 0 -1 4202560 83713 1242 0 0 4515 117 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4245664 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29739/tid=29770] ppid=29737 vsize=7514908 CPUtime=48.49 cores=0-31
/proc/29739/task/29770/stat : 29770 (plingeling) R 29737 29739 29713 0 -1 4202560 83189 1242 0 0 4797 52 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29739/tid=29771] ppid=29737 vsize=7514908 CPUtime=47.3 cores=0-31
/proc/29739/task/29771/stat : 29771 (plingeling) R 29737 29739 29713 0 -1 4202560 86614 1242 0 0 4635 95 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29739/tid=29772] ppid=29737 vsize=7514908 CPUtime=47.45 cores=0-31
/proc/29739/task/29772/stat : 29772 (plingeling) R 29737 29739 29713 0 -1 4202560 82512 1242 0 0 4658 87 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29739/tid=29773] ppid=29737 vsize=7514908 CPUtime=47.56 cores=0-31
/proc/29739/task/29773/stat : 29773 (plingeling) R 29737 29739 29713 0 -1 4202560 86918 1242 0 0 4626 130 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29739/tid=29774] ppid=29737 vsize=7514908 CPUtime=48.27 cores=0-31
/proc/29739/task/29774/stat : 29774 (plingeling) R 29737 29739 29713 0 -1 4202560 95127 1242 0 0 4682 145 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265433 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29739/tid=29775] ppid=29737 vsize=7514908 CPUtime=48.56 cores=0-31
/proc/29739/task/29775/stat : 29775 (plingeling) R 29737 29739 29713 0 -1 4202560 80438 1242 0 0 4723 133 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29739/tid=29776] ppid=29737 vsize=7514908 CPUtime=45.94 cores=0-31
/proc/29739/task/29776/stat : 29776 (plingeling) R 29737 29739 29713 0 -1 4202560 75810 1242 0 0 4519 75 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29739/tid=29777] ppid=29737 vsize=7514908 CPUtime=46.44 cores=0-31
/proc/29739/task/29777/stat : 29777 (plingeling) R 29737 29739 29713 0 -1 4202560 85041 1242 0 0 4518 126 0 0 25 0 33 0 723330308 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29739/tid=29778] ppid=29737 vsize=7514908 CPUtime=48.88 cores=0-31
/proc/29739/task/29778/stat : 29778 (plingeling) R 29737 29739 29713 0 -1 4202560 83279 1242 0 0 4764 124 0 0 25 0 33 0 723330309 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29739/tid=29779] ppid=29737 vsize=7514908 CPUtime=46.92 cores=0-31
/proc/29739/task/29779/stat : 29779 (plingeling) R 29737 29739 29713 0 -1 4202560 83169 1242 0 0 4575 117 0 0 25 0 33 0 723330309 7695265792 1767537 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 1630.94
Current children cumulated vsize (KiB) 7514908
################
# More data... #
################
/proc/29739/task/29751/stat : 29751 (plingeling) R 29737 29739 29713 0 -1 4202560 274858 1242 0 0 316325 259 0 0 25 0 33 0 723330304 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=8388572 CPUtime=3155.74 cores=0-31
/proc/29739/task/29752/stat : 29752 (plingeling) R 29737 29739 29713 0 -1 4202560 398725 1242 0 0 315211 363 0 0 25 0 33 0 723330304 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364437 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=8388572 CPUtime=3151.7 cores=0-31
/proc/29739/task/29753/stat : 29753 (plingeling) R 29737 29739 29713 0 -1 4202560 303304 1242 0 0 314897 273 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=8388572 CPUtime=3169.15 cores=0-31
/proc/29739/task/29754/stat : 29754 (plingeling) R 29737 29739 29713 0 -1 4202560 384007 1242 0 0 316644 271 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=8388572 CPUtime=3166.12 cores=0-31
/proc/29739/task/29755/stat : 29755 (plingeling) R 29737 29739 29713 0 -1 4202560 360769 1242 0 0 316249 363 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=8388572 CPUtime=3166.14 cores=0-31
/proc/29739/task/29756/stat : 29756 (plingeling) R 29737 29739 29713 0 -1 4202560 338435 1242 0 0 316331 283 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=8388572 CPUtime=3156 cores=0-31
/proc/29739/task/29757/stat : 29757 (plingeling) R 29737 29739 29713 0 -1 4202560 342485 1242 0 0 315293 307 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=8388572 CPUtime=3167.94 cores=0-31
/proc/29739/task/29758/stat : 29758 (plingeling) R 29737 29739 29713 0 -1 4202560 429002 1242 0 0 316367 427 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29739/tid=29759] ppid=29737 vsize=8388572 CPUtime=3155.24 cores=0-31
/proc/29739/task/29759/stat : 29759 (plingeling) R 29737 29739 29713 0 -1 4202560 340480 1242 0 0 315304 220 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=8388572 CPUtime=3166.78 cores=0-31
/proc/29739/task/29760/stat : 29760 (plingeling) R 29737 29739 29713 0 -1 4202560 371425 1242 0 0 316275 403 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=8388572 CPUtime=3166.74 cores=0-31
/proc/29739/task/29761/stat : 29761 (plingeling) R 29737 29739 29713 0 -1 4202560 433091 1242 0 0 316281 393 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236616 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29739/tid=29762] ppid=29737 vsize=8388572 CPUtime=3168.55 cores=0-31
/proc/29739/task/29762/stat : 29762 (plingeling) R 29737 29739 29713 0 -1 4202560 352295 1242 0 0 316555 300 0 0 25 0 33 0 723330305 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4202842 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29739/tid=29763] ppid=29737 vsize=8388572 CPUtime=3166.15 cores=0-31
/proc/29739/task/29763/stat : 29763 (plingeling) R 29737 29739 29713 0 -1 4202560 501113 1242 0 0 316182 433 0 0 25 0 33 0 723330307 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29739/tid=29764] ppid=29737 vsize=8388572 CPUtime=3154.61 cores=0-31
/proc/29739/task/29764/stat : 29764 (plingeling) R 29737 29739 29713 0 -1 4202560 369413 1242 0 0 315107 354 0 0 25 0 33 0 723330307 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29739/tid=29765] ppid=29737 vsize=8388572 CPUtime=3166.02 cores=0-31
/proc/29739/task/29765/stat : 29765 (plingeling) R 29737 29739 29713 0 -1 4202560 312654 1242 0 0 316299 303 0 0 25 0 33 0 723330307 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29739/tid=29766] ppid=29737 vsize=8388572 CPUtime=3169.46 cores=0-31
/proc/29739/task/29766/stat : 29766 (plingeling) R 29737 29739 29713 0 -1 4202560 395692 1242 0 0 316646 300 0 0 25 0 33 0 723330307 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29739/tid=29767] ppid=29737 vsize=8388572 CPUtime=3165.36 cores=0-31
/proc/29739/task/29767/stat : 29767 (plingeling) R 29737 29739 29713 0 -1 4202560 398148 1242 0 0 316182 354 0 0 25 0 33 0 723330307 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236675 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29739/tid=29768] ppid=29737 vsize=8388572 CPUtime=3168.43 cores=0-31
/proc/29739/task/29768/stat : 29768 (plingeling) R 29737 29739 29713 0 -1 4202560 349159 1242 0 0 316617 226 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29739/tid=29769] ppid=29737 vsize=8388572 CPUtime=3159.24 cores=0-31
/proc/29739/task/29769/stat : 29769 (plingeling) R 29737 29739 29713 0 -1 4202560 345919 1242 0 0 315574 350 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29739/tid=29770] ppid=29737 vsize=8388572 CPUtime=3166.64 cores=0-31
/proc/29739/task/29770/stat : 29770 (plingeling) R 29737 29739 29713 0 -1 4202560 468685 1242 0 0 316288 376 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29739/tid=29771] ppid=29737 vsize=8388572 CPUtime=3166.6 cores=0-31
/proc/29739/task/29771/stat : 29771 (plingeling) R 29737 29739 29713 0 -1 4202560 345099 1242 0 0 316382 278 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29739/tid=29772] ppid=29737 vsize=8388572 CPUtime=3166.25 cores=0-31
/proc/29739/task/29772/stat : 29772 (plingeling) R 29737 29739 29713 0 -1 4202560 375809 1242 0 0 316224 401 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4247929 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29739/tid=29773] ppid=29737 vsize=8388572 CPUtime=3167.43 cores=0-31
/proc/29739/task/29773/stat : 29773 (plingeling) R 29737 29739 29713 0 -1 4202560 373558 1242 0 0 316363 380 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29739/tid=29774] ppid=29737 vsize=8388572 CPUtime=3168.06 cores=0-31
/proc/29739/task/29774/stat : 29774 (plingeling) R 29737 29739 29713 0 -1 4202560 373302 1242 0 0 316423 383 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29739/tid=29775] ppid=29737 vsize=8388572 CPUtime=3168.4 cores=0-31
/proc/29739/task/29775/stat : 29775 (plingeling) R 29737 29739 29713 0 -1 4202560 386740 1242 0 0 316457 383 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29739/tid=29776] ppid=29737 vsize=8388572 CPUtime=3165.9 cores=0-31
/proc/29739/task/29776/stat : 29776 (plingeling) R 29737 29739 29713 0 -1 4202560 387744 1242 0 0 316264 326 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29739/tid=29777] ppid=29737 vsize=8388572 CPUtime=3165.7 cores=0-31
/proc/29739/task/29777/stat : 29777 (plingeling) R 29737 29739 29713 0 -1 4202560 314516 1242 0 0 316202 368 0 0 25 0 33 0 723330308 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236761 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29739/tid=29778] ppid=29737 vsize=8388572 CPUtime=3168.97 cores=0-31
/proc/29739/task/29778/stat : 29778 (plingeling) R 29737 29739 29713 0 -1 4202560 370219 1242 0 0 316511 386 0 0 25 0 33 0 723330309 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29739/tid=29779] ppid=29737 vsize=8388572 CPUtime=3166.51 cores=0-31
/proc/29739/task/29779/stat : 29779 (plingeling) R 29737 29739 29713 0 -1 4202560 367572 1242 0 0 316319 332 0 0 25 0 33 0 723330309 8589897728 1982978 268435456000 4194304 4417452 140734176364592 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 101374
Current children cumulated vsize (KiB) 8388572
[startup+3286.4 s]
/proc/loadavg: 32.19 32.20 32.01 34/446 29875
/proc/meminfo: memFree=247357924/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=8359420 CPUtime=101476 cores=0-31
/proc/29739/stat : 29739 (plingeling) S 29737 29739 29713 0 -1 4202496 13537919 1242 0 0 10136614 11015 0 0 18 0 33 0 723319426 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/29739/statm: 2089855 1975690 175 55 0 2087741 0
[pid=29739/tid=29748] ppid=29737 vsize=8359420 CPUtime=3168.87 cores=0-31
/proc/29739/task/29748/stat : 29748 (plingeling) R 29737 29739 29713 0 -1 4202560 364631 1242 0 0 316665 222 0 0 25 0 33 0 723330304 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4235359 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29739/tid=29749] ppid=29737 vsize=8359420 CPUtime=3157.91 cores=0-31
/proc/29739/task/29749/stat : 29749 (plingeling) R 29737 29739 29713 0 -1 4202560 346928 1242 0 0 315464 327 0 0 25 0 33 0 723330304 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29739/tid=29750] ppid=29737 vsize=8359420 CPUtime=3172.1 cores=0-31
/proc/29739/task/29750/stat : 29750 (plingeling) R 29737 29739 29713 0 -1 4202560 449746 1242 0 0 316876 334 0 0 25 0 33 0 723330304 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29739/tid=29751] ppid=29737 vsize=8359420 CPUtime=3169.04 cores=0-31
/proc/29739/task/29751/stat : 29751 (plingeling) R 29737 29739 29713 0 -1 4202560 274858 1242 0 0 316645 259 0 0 25 0 33 0 723330304 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4281907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29739/tid=29752] ppid=29737 vsize=8359420 CPUtime=3158.94 cores=0-31
/proc/29739/task/29752/stat : 29752 (plingeling) R 29737 29739 29713 0 -1 4202560 398725 1242 0 0 315531 363 0 0 25 0 33 0 723330304 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4237191 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=29739/tid=29753] ppid=29737 vsize=8359420 CPUtime=3154.8 cores=0-31
/proc/29739/task/29753/stat : 29753 (plingeling) R 29737 29739 29713 0 -1 4202560 303304 1242 0 0 315207 273 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4259059 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29739/tid=29754] ppid=29737 vsize=8359420 CPUtime=3172.35 cores=0-31
/proc/29739/task/29754/stat : 29754 (plingeling) R 29737 29739 29713 0 -1 4202560 384007 1242 0 0 316964 271 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29739/tid=29755] ppid=29737 vsize=8359420 CPUtime=3169.32 cores=0-31
/proc/29739/task/29755/stat : 29755 (plingeling) R 29737 29739 29713 0 -1 4202560 360769 1242 0 0 316569 363 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29739/tid=29756] ppid=29737 vsize=8359420 CPUtime=3169.34 cores=0-31
/proc/29739/task/29756/stat : 29756 (plingeling) R 29737 29739 29713 0 -1 4202560 338435 1242 0 0 316651 283 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=29739/tid=29757] ppid=29737 vsize=8359420 CPUtime=3159.2 cores=0-31
/proc/29739/task/29757/stat : 29757 (plingeling) R 29737 29739 29713 0 -1 4202560 342485 1242 0 0 315613 307 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29739/tid=29758] ppid=29737 vsize=8359420 CPUtime=3171.14 cores=0-31
/proc/29739/task/29758/stat : 29758 (plingeling) R 29737 29739 29713 0 -1 4202560 429002 1242 0 0 316687 427 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29739/tid=29759] ppid=29737 vsize=8359420 CPUtime=3158.44 cores=0-31
/proc/29739/task/29759/stat : 29759 (plingeling) R 29737 29739 29713 0 -1 4202560 340480 1242 0 0 315624 220 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29739/tid=29760] ppid=29737 vsize=8359420 CPUtime=3169.98 cores=0-31
/proc/29739/task/29760/stat : 29760 (plingeling) R 29737 29739 29713 0 -1 4202560 371425 1242 0 0 316595 403 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29739/tid=29761] ppid=29737 vsize=8359420 CPUtime=3169.94 cores=0-31
/proc/29739/task/29761/stat : 29761 (plingeling) R 29737 29739 29713 0 -1 4202560 433091 1242 0 0 316601 393 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29739/tid=29762] ppid=29737 vsize=8359420 CPUtime=3171.75 cores=0-31
/proc/29739/task/29762/stat : 29762 (plingeling) R 29737 29739 29713 0 -1 4202560 352295 1242 0 0 316875 300 0 0 25 0 33 0 723330305 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29739/tid=29763] ppid=29737 vsize=8359420 CPUtime=3169.35 cores=0-31
/proc/29739/task/29763/stat : 29763 (plingeling) R 29737 29739 29713 0 -1 4202560 501113 1242 0 0 316502 433 0 0 25 0 33 0 723330307 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236910 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29739/tid=29764] ppid=29737 vsize=8359420 CPUtime=3157.81 cores=0-31
/proc/29739/task/29764/stat : 29764 (plingeling) R 29737 29739 29713 0 -1 4202560 369413 1242 0 0 315427 354 0 0 25 0 33 0 723330307 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29739/tid=29765] ppid=29737 vsize=8359420 CPUtime=3169.22 cores=0-31
/proc/29739/task/29765/stat : 29765 (plingeling) R 29737 29739 29713 0 -1 4202560 312654 1242 0 0 316619 303 0 0 25 0 33 0 723330307 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29739/tid=29766] ppid=29737 vsize=8359420 CPUtime=3172.66 cores=0-31
/proc/29739/task/29766/stat : 29766 (plingeling) R 29737 29739 29713 0 -1 4202560 395692 1242 0 0 316966 300 0 0 25 0 33 0 723330307 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4365538 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=29739/tid=29767] ppid=29737 vsize=8359420 CPUtime=3168.56 cores=0-31
/proc/29739/task/29767/stat : 29767 (plingeling) R 29737 29739 29713 0 -1 4202560 398148 1242 0 0 316502 354 0 0 25 0 33 0 723330307 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29739/tid=29768] ppid=29737 vsize=8359420 CPUtime=3171.63 cores=0-31
/proc/29739/task/29768/stat : 29768 (plingeling) R 29737 29739 29713 0 -1 4202560 349159 1242 0 0 316937 226 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29739/tid=29769] ppid=29737 vsize=8359420 CPUtime=3162.44 cores=0-31
/proc/29739/task/29769/stat : 29769 (plingeling) R 29737 29739 29713 0 -1 4202560 345919 1242 0 0 315894 350 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232623 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=29739/tid=29770] ppid=29737 vsize=8359420 CPUtime=3169.84 cores=0-31
/proc/29739/task/29770/stat : 29770 (plingeling) R 29737 29739 29713 0 -1 4202560 468685 1242 0 0 316608 376 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29739/tid=29771] ppid=29737 vsize=8359420 CPUtime=3169.79 cores=0-31
/proc/29739/task/29771/stat : 29771 (plingeling) R 29737 29739 29713 0 -1 4202560 345099 1242 0 0 316701 278 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29739/tid=29772] ppid=29737 vsize=8359420 CPUtime=3169.45 cores=0-31
/proc/29739/task/29772/stat : 29772 (plingeling) R 29737 29739 29713 0 -1 4202560 375809 1242 0 0 316544 401 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=29739/tid=29773] ppid=29737 vsize=8359420 CPUtime=3170.63 cores=0-31
/proc/29739/task/29773/stat : 29773 (plingeling) R 29737 29739 29713 0 -1 4202560 373558 1242 0 0 316683 380 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29739/tid=29774] ppid=29737 vsize=8359420 CPUtime=3171.26 cores=0-31
/proc/29739/task/29774/stat : 29774 (plingeling) R 29737 29739 29713 0 -1 4202560 373302 1242 0 0 316743 383 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29739/tid=29775] ppid=29737 vsize=8359420 CPUtime=3171.6 cores=0-31
/proc/29739/task/29775/stat : 29775 (plingeling) R 29737 29739 29713 0 -1 4202560 386740 1242 0 0 316777 383 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236803 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29739/tid=29776] ppid=29737 vsize=8359420 CPUtime=3169.09 cores=0-31
/proc/29739/task/29776/stat : 29776 (plingeling) R 29737 29739 29713 0 -1 4202560 387744 1242 0 0 316583 326 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29739/tid=29777] ppid=29737 vsize=8359420 CPUtime=3168.9 cores=0-31
/proc/29739/task/29777/stat : 29777 (plingeling) R 29737 29739 29713 0 -1 4202560 314616 1242 0 0 316522 368 0 0 25 0 33 0 723330308 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29739/tid=29778] ppid=29737 vsize=8359420 CPUtime=3172.17 cores=0-31
/proc/29739/task/29778/stat : 29778 (plingeling) R 29737 29739 29713 0 -1 4202560 370219 1242 0 0 316831 386 0 0 25 0 33 0 723330309 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4237202 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29739/tid=29779] ppid=29737 vsize=8359420 CPUtime=3169.71 cores=0-31
/proc/29739/task/29779/stat : 29779 (plingeling) R 29737 29739 29713 0 -1 4202560 367572 1242 0 0 316639 332 0 0 25 0 33 0 723330309 8560046080 1975690 268435456000 4194304 4417452 140734176364592 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 101476
Current children cumulated vsize (KiB) 8359420
[startup+3287.2 s]
/proc/loadavg: 32.19 32.20 32.01 33/446 29875
/proc/meminfo: memFree=247358048/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=8328416 CPUtime=101492 cores=0-31
/proc/29739/stat : 29739 (plingeling) S 29737 29739 29713 0 -1 4202496 13537920 1242 0 0 10138155 11016 0 0 18 0 2 0 723319426 8528297984 1967940 268435456000 4194304 4417452 140734176364592 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/29739/statm: 2082104 1967940 176 55 0 2079990 0
[pid=29739/tid=29748] ppid=29737 vsize=8328416 CPUtime=3169.67 cores=0-31
/proc/29739/task/29748/stat : 29748 (plingeling) R 29737 29739 29713 0 -1 4202560 364631 1242 0 0 316745 222 0 0 25 0 2 0 723330304 8528297984 1967940 268435456000 4194304 4417452 140734176364592 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101492
Current children cumulated vsize (KiB) 8328416
[startup+3287.6 s]
/proc/loadavg: 32.19 32.20 32.01 33/446 29875
/proc/meminfo: memFree=247358048/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=4128912 CPUtime=101492 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 13537920 1242 0 0 10138156 11055 0 0 18 0 1 0 723319426 4228005888 961893 268435456000 4194304 4417452 140734176364592 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 22 0 0 0
/proc/29739/statm: 1032228 961893 176 55 0 1030114 0
Current children cumulated CPU time (s) 101492
Current children cumulated vsize (KiB) 4128912
[startup+3287.8 s]
/proc/loadavg: 32.19 32.20 32.01 33/446 29875
/proc/meminfo: memFree=247358048/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=2148524 CPUtime=101492 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202496 13537920 1242 0 0 10138156 11075 0 0 18 0 1 0 723319426 2200088576 446724 268435456000 4194304 4417452 140734176364592 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 22 0 0 0
/proc/29739/statm: 537131 446390 176 55 0 535017 0
Current children cumulated CPU time (s) 101492
Current children cumulated vsize (KiB) 2148524
[startup+3287.9 s]
/proc/loadavg: 29.69 31.68 31.84 2/414 29875
/proc/meminfo: memFree=254697600/264257624 swapFree=67111528/67111528
[pid=29739] ppid=29737 vsize=0 CPUtime=101492 cores=0-31
/proc/29739/stat : 29739 (plingeling) R 29737 29739 29713 0 -1 4202500 13537924 1242 0 0 10138156 11089 0 0 18 0 1 0 723319426 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 22 0 0 0
/proc/29739/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 101492
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3287.94
CPU time (s): 101492
CPU user time (s): 101382
CPU system time (s): 110.907
CPU usage (%): 3086.81
Max. virtual memory (cumulated for all children) (KiB): 9419100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101382
system time used= 110.907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13539166
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= 7939
involuntary context switches= 268381
runsolver used 17.8843 second user time and 75.2236 second system time
The end
Begin job on node200 at 2011-05-23 04:38:50
IDJOB=3372870
IDBENCH=85005
IDSOLVER=1852
FILE ID=node200/3372870-1306118324
RUNJOBID= node200-1306118324-29727
PBS_JOBID= 13387827
Free space on /tmp= 61892 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372870-1306118324/watcher-3372870-1306118324 -o /tmp/evaluation-result-3372870-1306118324/solver-3372870-1306118324 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372870-1306118324.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=1519256763
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: 255264176 kB
Buffers: 456820 kB
Cached: 8121692 kB
SwapCached: 0 kB
Active: 7675460 kB
Inactive: 971920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255264176 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 156832 kB
Writeback: 0 kB
AnonPages: 69120 kB
Mapped: 14480 kB
Slab: 254028 kB
PageTables: 4376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 195252 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= 61892 MiB
End job on node200 at 2011-05-23 05:33:38