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-3372873-1306122901/watcher-3372873-1306122901 -o /tmp/evaluation-result-3372873-1306122901/solver-3372873-1306122901 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372873-1306122901.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.66 31.09 31.35 1/413 30046
/proc/meminfo: memFree=255331748/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=16432 CPUtime=0.02 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 2181 1241 0 0 2 0 0 0 22 0 1 0 723776839 16826368 2112 268435456000 4194304 4417452 140735070968128 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 4108 2112 145 55 0 1994 0
[startup+0.0388391 s]
/proc/loadavg: 27.66 31.09 31.35 1/413 30046
/proc/meminfo: memFree=255331748/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=16432 CPUtime=0.02 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 2181 1241 0 0 2 0 0 0 22 0 1 0 723776839 16826368 2112 268435456000 4194304 4417452 140735070968128 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 4108 2112 145 55 0 1994 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16432
[startup+0.100847 s]
/proc/loadavg: 27.66 31.09 31.35 1/413 30046
/proc/meminfo: memFree=255331748/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=22580 CPUtime=0.09 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 3734 1241 0 0 8 1 0 0 22 0 1 0 723776839 23121920 3665 268435456000 4194304 4417452 140735070968128 18446744073709551615 258650649796 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 5645 3665 145 55 0 3531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22580
[startup+0.300823 s]
/proc/loadavg: 27.66 31.09 31.35 1/413 30046
/proc/meminfo: memFree=255331748/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=42260 CPUtime=0.29 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 8655 1241 0 0 27 2 0 0 23 0 1 0 723776839 43274240 8586 268435456000 4194304 4417452 140735070968128 18446744073709551615 4259068 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 10565 8586 146 55 0 8451 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42260
[startup+0.700873 s]
/proc/loadavg: 27.66 31.09 31.35 1/413 30046
/proc/meminfo: memFree=255331748/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=72920 CPUtime=0.68 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 16320 1241 0 0 65 3 0 0 25 0 1 0 723776839 74670080 16251 268435456000 4194304 4417452 140735070968128 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 18230 16251 146 55 0 16116 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72920
[startup+1.50091 s]
/proc/loadavg: 27.66 31.09 31.35 2/414 30052
/proc/meminfo: memFree=255241064/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=133312 CPUtime=1.48 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 31386 1241 0 0 142 6 0 0 25 0 1 0 723776839 136511488 31317 268435456000 4194304 4417452 140735070968128 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 33328 31317 146 55 0 31214 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 133312
[startup+3.10095 s]
/proc/loadavg: 27.66 31.09 31.35 2/414 30052
/proc/meminfo: memFree=255190004/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=251952 CPUtime=3.08 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 61078 1241 0 0 297 11 0 0 25 0 1 0 723776839 257998848 61009 268435456000 4194304 4417452 140735070968128 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 62988 61009 146 55 0 60874 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 251952
[startup+6.30106 s]
/proc/loadavg: 25.52 30.59 31.19 2/414 30052
/proc/meminfo: memFree=254923932/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=492168 CPUtime=6.29 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 121136 1241 0 0 605 24 0 0 25 0 1 0 723776839 503980032 121063 268435456000 4194304 4417452 140735070968128 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 123042 121063 146 55 0 120928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 492168
[startup+12.7003 s]
/proc/loadavg: 23.56 30.10 31.03 2/414 30052
/proc/meminfo: memFree=254521712/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=819848 CPUtime=12.68 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 203056 1241 0 0 1228 40 0 0 25 0 1 0 723776839 839524352 202983 268435456000 4194304 4417452 140735070968128 18446744073709551615 4231675 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 204962 202983 146 55 0 202848 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 819848
[startup+25.5007 s]
/proc/loadavg: 18.56 28.67 30.54 2/414 30052
/proc/meminfo: memFree=253720000/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=1624256 CPUtime=25.48 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 404158 1241 0 0 2467 81 0 0 25 0 1 0 723776839 1663238144 404085 268435456000 4194304 4417452 140735070968128 18446744073709551615 4320947 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 406064 404085 146 55 0 403950 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1624256
[startup+51.1006 s]
/proc/loadavg: 12.57 26.45 29.76 2/414 30052
/proc/meminfo: memFree=252109084/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=3234988 CPUtime=51.08 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 806861 1241 0 0 4946 162 0 0 25 0 1 0 723776839 3312627712 806768 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30046/statm: 808747 806768 146 55 0 806633 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3234988
[startup+102.322 s]
/proc/loadavg: 23.30 27.21 29.84 33/446 30086
/proc/meminfo: memFree=250901520/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=4911444 CPUtime=1552.97 cores=0-31
/proc/30046/stat : 30046 (plingeling) S 30044 30046 30020 0 -1 4202496 2190990 1241 0 0 153437 1860 0 0 19 0 33 0 723776839 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30046/statm: 1227861 1107212 175 55 0 1225747 0
[pid=30046/tid=30053] ppid=30044 vsize=4911444 CPUtime=47.33 cores=0-31
/proc/30046/task/30053/stat : 30053 (plingeling) R 30044 30046 30020 0 -1 4202560 49549 1241 0 0 4701 32 0 0 25 0 33 0 723782138 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30046/tid=30054] ppid=30044 vsize=4911444 CPUtime=46.25 cores=0-31
/proc/30046/task/30054/stat : 30054 (plingeling) R 30044 30046 30020 0 -1 4202560 55788 1241 0 0 4580 45 0 0 25 0 33 0 723782138 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30046/tid=30055] ppid=30044 vsize=4911444 CPUtime=47.1 cores=0-31
/proc/30046/task/30055/stat : 30055 (plingeling) R 30044 30046 30020 0 -1 4202560 54309 1241 0 0 4653 57 0 0 25 0 33 0 723782138 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30046/tid=30056] ppid=30044 vsize=4911444 CPUtime=49.15 cores=0-31
/proc/30046/task/30056/stat : 30056 (plingeling) R 30044 30046 30020 0 -1 4202560 4716 1241 0 0 4910 5 0 0 25 0 33 0 723782138 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30046/tid=30057] ppid=30044 vsize=4911444 CPUtime=46.26 cores=0-31
/proc/30046/task/30057/stat : 30057 (plingeling) R 30044 30046 30020 0 -1 4202560 50747 1241 0 0 4552 74 0 0 25 0 33 0 723782138 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30046/tid=30058] ppid=30044 vsize=4911444 CPUtime=46.01 cores=0-31
/proc/30046/task/30058/stat : 30058 (plingeling) R 30044 30046 30020 0 -1 4202560 53614 1241 0 0 4508 93 0 0 25 0 33 0 723782138 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236670 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30046/tid=30059] ppid=30044 vsize=4911444 CPUtime=46.11 cores=0-31
/proc/30046/task/30059/stat : 30059 (plingeling) R 30044 30046 30020 0 -1 4202560 44665 1241 0 0 4545 66 0 0 25 0 33 0 723782139 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30046/tid=30060] ppid=30044 vsize=4911444 CPUtime=46.69 cores=0-31
/proc/30046/task/30060/stat : 30060 (plingeling) R 30044 30046 30020 0 -1 4202560 31249 1241 0 0 4622 47 0 0 25 0 33 0 723782139 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30046/tid=30061] ppid=30044 vsize=4911444 CPUtime=46.67 cores=0-31
/proc/30046/task/30061/stat : 30061 (plingeling) R 30044 30046 30020 0 -1 4202560 51116 1241 0 0 4604 63 0 0 25 0 33 0 723782139 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30046/tid=30062] ppid=30044 vsize=4911444 CPUtime=46.61 cores=0-31
/proc/30046/task/30062/stat : 30062 (plingeling) R 30044 30046 30020 0 -1 4202560 51577 1241 0 0 4564 97 0 0 25 0 33 0 723782139 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30046/tid=30063] ppid=30044 vsize=4911444 CPUtime=46.51 cores=0-31
/proc/30046/task/30063/stat : 30063 (plingeling) R 30044 30046 30020 0 -1 4202560 48937 1241 0 0 4604 47 0 0 25 0 33 0 723782139 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30046/tid=30064] ppid=30044 vsize=4911444 CPUtime=46.19 cores=0-31
/proc/30046/task/30064/stat : 30064 (plingeling) R 30044 30046 30020 0 -1 4202560 47210 1241 0 0 4558 61 0 0 25 0 33 0 723782139 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30046/tid=30065] ppid=30044 vsize=4911444 CPUtime=47.09 cores=0-31
/proc/30046/task/30065/stat : 30065 (plingeling) R 30044 30046 30020 0 -1 4202560 52445 1241 0 0 4628 81 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264959 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30046/tid=30066] ppid=30044 vsize=4911444 CPUtime=47 cores=0-31
/proc/30046/task/30066/stat : 30066 (plingeling) R 30044 30046 30020 0 -1 4202560 34365 1241 0 0 4655 45 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30046/tid=30067] ppid=30044 vsize=4911444 CPUtime=47.32 cores=0-31
/proc/30046/task/30067/stat : 30067 (plingeling) R 30044 30046 30020 0 -1 4202560 48730 1241 0 0 4698 34 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30046/tid=30068] ppid=30044 vsize=4911444 CPUtime=46.77 cores=0-31
/proc/30046/task/30068/stat : 30068 (plingeling) R 30044 30046 30020 0 -1 4202560 28744 1241 0 0 4616 61 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30046/tid=30069] ppid=30044 vsize=4911444 CPUtime=46.82 cores=0-31
/proc/30046/task/30069/stat : 30069 (plingeling) R 30044 30046 30020 0 -1 4202560 29917 1241 0 0 4640 42 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30046/tid=30070] ppid=30044 vsize=4911444 CPUtime=46.35 cores=0-31
/proc/30046/task/30070/stat : 30070 (plingeling) R 30044 30046 30020 0 -1 4202560 51441 1241 0 0 4572 63 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30046/tid=30071] ppid=30044 vsize=4911444 CPUtime=47.32 cores=0-31
/proc/30046/task/30071/stat : 30071 (plingeling) R 30044 30046 30020 0 -1 4202560 55782 1241 0 0 4669 63 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4265425 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30046/tid=30072] ppid=30044 vsize=4911444 CPUtime=46.46 cores=0-31
/proc/30046/task/30072/stat : 30072 (plingeling) R 30044 30046 30020 0 -1 4202560 35600 1241 0 0 4596 50 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30046/tid=30073] ppid=30044 vsize=4911444 CPUtime=46.18 cores=0-31
/proc/30046/task/30073/stat : 30073 (plingeling) R 30044 30046 30020 0 -1 4202560 45624 1241 0 0 4544 74 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30046/tid=30074] ppid=30044 vsize=4911444 CPUtime=46.51 cores=0-31
/proc/30046/task/30074/stat : 30074 (plingeling) R 30044 30046 30020 0 -1 4202560 47522 1241 0 0 4596 55 0 0 25 0 33 0 723782140 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30046/tid=30075] ppid=30044 vsize=4911444 CPUtime=47.44 cores=0-31
/proc/30046/task/30075/stat : 30075 (plingeling) R 30044 30046 30020 0 -1 4202560 51306 1241 0 0 4702 42 0 0 25 0 33 0 723782143 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30046/tid=30076] ppid=30044 vsize=4911444 CPUtime=46.91 cores=0-31
/proc/30046/task/30076/stat : 30076 (plingeling) R 30044 30046 30020 0 -1 4202560 32375 1241 0 0 4655 36 0 0 25 0 33 0 723782143 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30046/tid=30077] ppid=30044 vsize=4911444 CPUtime=47.5 cores=0-31
/proc/30046/task/30077/stat : 30077 (plingeling) R 30044 30046 30020 0 -1 4202560 18629 1241 0 0 4724 26 0 0 25 0 33 0 723782143 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30046/tid=30078] ppid=30044 vsize=4911444 CPUtime=46.11 cores=0-31
/proc/30046/task/30078/stat : 30078 (plingeling) R 30044 30046 30020 0 -1 4202560 34324 1241 0 0 4560 51 0 0 25 0 33 0 723782143 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30046/tid=30079] ppid=30044 vsize=4911444 CPUtime=47.32 cores=0-31
/proc/30046/task/30079/stat : 30079 (plingeling) R 30044 30046 30020 0 -1 4202560 53433 1241 0 0 4698 34 0 0 25 0 33 0 723782144 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30046/tid=30080] ppid=30044 vsize=4911444 CPUtime=46.67 cores=0-31
/proc/30046/task/30080/stat : 30080 (plingeling) R 30044 30046 30020 0 -1 4202560 46655 1241 0 0 4622 45 0 0 25 0 33 0 723782144 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30046/tid=30081] ppid=30044 vsize=4911444 CPUtime=47.13 cores=0-31
/proc/30046/task/30081/stat : 30081 (plingeling) R 30044 30046 30020 0 -1 4202560 53670 1241 0 0 4661 52 0 0 25 0 33 0 723782144 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30046/tid=30082] ppid=30044 vsize=4911444 CPUtime=47.22 cores=0-31
/proc/30046/task/30082/stat : 30082 (plingeling) R 30044 30046 30020 0 -1 4202560 26719 1241 0 0 4706 16 0 0 25 0 33 0 723782144 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30046/tid=30083] ppid=30044 vsize=4911444 CPUtime=47.56 cores=0-31
/proc/30046/task/30083/stat : 30083 (plingeling) R 30044 30046 30020 0 -1 4202560 44628 1241 0 0 4703 53 0 0 25 0 33 0 723782144 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30046/tid=30084] ppid=30044 vsize=4911444 CPUtime=47.14 cores=0-31
/proc/30046/task/30084/stat : 30084 (plingeling) R 30044 30046 30020 0 -1 4202560 48704 1241 0 0 4644 70 0 0 25 0 33 0 723782144 5029318656 1107212 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 1552.97
Current children cumulated vsize (KiB) 4911444
[startup+162.301 s]
/proc/loadavg: 28.87 28.10 29.98 33/446 30088
/proc/meminfo: memFree=251112512/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=4757104 CPUtime=3466.86 cores=0-31
/proc/30046/stat : 30046 (plingeling) S 30044 30046 30020 0 -1 4202496 2661477 1241 0 0 344259 2427 0 0 19 0 33 0 723776839 4871274496 1050853 268435456000 4194304 4417452 140735070968128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30046/statm: 1189276 1050853 175 55 0 1187162 0
[pid=30046/tid=30053] ppid=30044 vsize=4757104 CPUtime=107 cores=0-31
/proc/30046/task/30053/stat : 30053 (plingeling) R 30044 30046 30020 0 -1 4202560 68169 1241 0 0 10641 59 0 0 25 0 33 0 723782138 4871274496 1050853 268435456000 4194304 4417452 140735070968128 18446744073709551615 4265496 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30046/tid=30054] ppid=30044 vsize=4757104 CPUtime=105.21 cores=0-31
################
# More data... #
################
[pid=30046/tid=30062] ppid=30044 vsize=5762912 CPUtime=1191.65 cores=0-31
/proc/30046/task/30062/stat : 30062 (plingeling) R 30044 30046 30020 0 -1 4202560 144885 1241 0 0 118964 201 0 0 25 0 33 0 723782139 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30046/tid=30063] ppid=30044 vsize=5762912 CPUtime=1191.5 cores=0-31
/proc/30046/task/30063/stat : 30063 (plingeling) R 30044 30046 30020 0 -1 4202560 134856 1241 0 0 119041 109 0 0 25 0 33 0 723782139 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30046/tid=30064] ppid=30044 vsize=5762912 CPUtime=1191.22 cores=0-31
/proc/30046/task/30064/stat : 30064 (plingeling) R 30044 30046 30020 0 -1 4202560 170476 1241 0 0 118993 129 0 0 25 0 33 0 723782139 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30046/tid=30065] ppid=30044 vsize=5762912 CPUtime=1191.45 cores=0-31
/proc/30046/task/30065/stat : 30065 (plingeling) R 30044 30046 30020 0 -1 4202560 168393 1241 0 0 119004 141 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30046/tid=30066] ppid=30044 vsize=5762912 CPUtime=1190.33 cores=0-31
/proc/30046/task/30066/stat : 30066 (plingeling) R 30044 30046 30020 0 -1 4202560 129828 1241 0 0 118895 138 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30046/tid=30067] ppid=30044 vsize=5762912 CPUtime=1192.54 cores=0-31
/proc/30046/task/30067/stat : 30067 (plingeling) R 30044 30046 30020 0 -1 4202560 130356 1241 0 0 119107 147 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30046/tid=30068] ppid=30044 vsize=5762912 CPUtime=1191.5 cores=0-31
/proc/30046/task/30068/stat : 30068 (plingeling) R 30044 30046 30020 0 -1 4202560 137733 1241 0 0 119010 140 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30046/tid=30069] ppid=30044 vsize=5762912 CPUtime=1192.01 cores=0-31
/proc/30046/task/30069/stat : 30069 (plingeling) R 30044 30046 30020 0 -1 4202560 148461 1241 0 0 119090 111 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236861 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30046/tid=30070] ppid=30044 vsize=5762912 CPUtime=1191.25 cores=0-31
/proc/30046/task/30070/stat : 30070 (plingeling) R 30044 30046 30020 0 -1 4202560 145808 1241 0 0 119007 118 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30046/tid=30071] ppid=30044 vsize=5762912 CPUtime=1188.68 cores=0-31
/proc/30046/task/30071/stat : 30071 (plingeling) R 30044 30046 30020 0 -1 4202560 142073 1241 0 0 118688 180 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30046/tid=30072] ppid=30044 vsize=5762912 CPUtime=1186.64 cores=0-31
/proc/30046/task/30072/stat : 30072 (plingeling) R 30044 30046 30020 0 -1 4202560 149966 1241 0 0 118525 139 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4232580 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30046/tid=30073] ppid=30044 vsize=5762912 CPUtime=1191.21 cores=0-31
/proc/30046/task/30073/stat : 30073 (plingeling) R 30044 30046 30020 0 -1 4202560 149301 1241 0 0 118957 164 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30046/tid=30074] ppid=30044 vsize=5762912 CPUtime=1190.59 cores=0-31
/proc/30046/task/30074/stat : 30074 (plingeling) R 30044 30046 30020 0 -1 4202560 143699 1241 0 0 118907 152 0 0 25 0 33 0 723782140 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30046/tid=30075] ppid=30044 vsize=5762912 CPUtime=1189.91 cores=0-31
/proc/30046/task/30075/stat : 30075 (plingeling) R 30044 30046 30020 0 -1 4202560 160444 1241 0 0 118872 119 0 0 25 0 33 0 723782143 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30046/tid=30076] ppid=30044 vsize=5762912 CPUtime=1192.2 cores=0-31
/proc/30046/task/30076/stat : 30076 (plingeling) R 30044 30046 30020 0 -1 4202560 140406 1241 0 0 119135 85 0 0 25 0 33 0 723782143 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30046/tid=30077] ppid=30044 vsize=5762912 CPUtime=1192.65 cores=0-31
/proc/30046/task/30077/stat : 30077 (plingeling) R 30044 30046 30020 0 -1 4202560 172974 1241 0 0 119156 109 0 0 25 0 33 0 723782143 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30046/tid=30078] ppid=30044 vsize=5762912 CPUtime=1190.53 cores=0-31
/proc/30046/task/30078/stat : 30078 (plingeling) R 30044 30046 30020 0 -1 4202560 138505 1241 0 0 118884 169 0 0 25 0 33 0 723782143 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30046/tid=30079] ppid=30044 vsize=5762912 CPUtime=1192.39 cores=0-31
/proc/30046/task/30079/stat : 30079 (plingeling) R 30044 30046 30020 0 -1 4202560 125096 1241 0 0 119162 77 0 0 25 0 33 0 723782144 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30046/tid=30080] ppid=30044 vsize=5762912 CPUtime=1191.58 cores=0-31
/proc/30046/task/30080/stat : 30080 (plingeling) R 30044 30046 30020 0 -1 4202560 179886 1241 0 0 119011 147 0 0 25 0 33 0 723782144 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30046/tid=30081] ppid=30044 vsize=5762912 CPUtime=1191.02 cores=0-31
/proc/30046/task/30081/stat : 30081 (plingeling) R 30044 30046 30020 0 -1 4202560 175106 1241 0 0 118957 145 0 0 25 0 33 0 723782144 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30046/tid=30082] ppid=30044 vsize=5762912 CPUtime=1190.46 cores=0-31
/proc/30046/task/30082/stat : 30082 (plingeling) R 30044 30046 30020 0 -1 4202560 114925 1241 0 0 118988 58 0 0 25 0 33 0 723782144 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30046/tid=30083] ppid=30044 vsize=5762912 CPUtime=1192.27 cores=0-31
/proc/30046/task/30083/stat : 30083 (plingeling) R 30044 30046 30020 0 -1 4202560 119306 1241 0 0 119097 130 0 0 25 0 33 0 723782144 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30046/tid=30084] ppid=30044 vsize=5762912 CPUtime=1192.28 cores=0-31
/proc/30046/task/30084/stat : 30084 (plingeling) R 30044 30046 30020 0 -1 4202560 167149 1241 0 0 119070 158 0 0 25 0 33 0 723782144 5901221888 1301163 268435456000 4194304 4417452 140735070968128 18446744073709551615 4300500 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 38159.8
Current children cumulated vsize (KiB) 5762912
[startup+1254.3 s]
/proc/loadavg: 32.28 32.03 31.41 33/446 30125
/proc/meminfo: memFree=250122648/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=5752916 CPUtime=38364.4 cores=0-31
/proc/30046/stat : 30046 (plingeling) S 30044 30046 30020 0 -1 4202496 5500054 1241 0 0 3832028 4408 0 0 19 0 33 0 723776839 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30046/statm: 1438229 1300021 175 55 0 1436115 0
[pid=30046/tid=30053] ppid=30044 vsize=5752916 CPUtime=1198.79 cores=0-31
/proc/30046/task/30053/stat : 30053 (plingeling) R 30044 30046 30020 0 -1 4202560 158437 1241 0 0 119788 91 0 0 25 0 33 0 723782138 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30046/tid=30054] ppid=30044 vsize=5752916 CPUtime=1196.64 cores=0-31
/proc/30046/task/30054/stat : 30054 (plingeling) R 30044 30046 30020 0 -1 4202560 167639 1241 0 0 119527 137 0 0 25 0 33 0 723782138 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30046/tid=30055] ppid=30044 vsize=5752916 CPUtime=1191.5 cores=0-31
/proc/30046/task/30055/stat : 30055 (plingeling) R 30044 30046 30020 0 -1 4202560 123168 1241 0 0 119033 117 0 0 25 0 33 0 723782138 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=30046/tid=30056] ppid=30044 vsize=5752916 CPUtime=1200.72 cores=0-31
/proc/30046/task/30056/stat : 30056 (plingeling) R 30044 30046 30020 0 -1 4202560 52242 1241 0 0 120009 63 0 0 25 0 33 0 723782138 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4365198 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30046/tid=30057] ppid=30044 vsize=5752916 CPUtime=1197.55 cores=0-31
/proc/30046/task/30057/stat : 30057 (plingeling) R 30044 30046 30020 0 -1 4202560 172322 1241 0 0 119589 166 0 0 25 0 33 0 723782138 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30046/tid=30058] ppid=30044 vsize=5752916 CPUtime=1197.08 cores=0-31
/proc/30046/task/30058/stat : 30058 (plingeling) R 30044 30046 30020 0 -1 4202560 190059 1241 0 0 119536 172 0 0 25 0 33 0 723782138 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30046/tid=30059] ppid=30044 vsize=5752916 CPUtime=1193.26 cores=0-31
/proc/30046/task/30059/stat : 30059 (plingeling) R 30044 30046 30020 0 -1 4202560 128055 1241 0 0 119175 151 0 0 25 0 33 0 723782139 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30046/tid=30060] ppid=30044 vsize=5752916 CPUtime=1194.6 cores=0-31
/proc/30046/task/30060/stat : 30060 (plingeling) R 30044 30046 30020 0 -1 4202560 154825 1241 0 0 119319 141 0 0 25 0 33 0 723782139 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264950 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30046/tid=30061] ppid=30044 vsize=5752916 CPUtime=1197.93 cores=0-31
/proc/30046/task/30061/stat : 30061 (plingeling) R 30044 30046 30020 0 -1 4202560 154337 1241 0 0 119667 126 0 0 25 0 33 0 723782139 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=30046/tid=30062] ppid=30044 vsize=5752916 CPUtime=1198.05 cores=0-31
/proc/30046/task/30062/stat : 30062 (plingeling) R 30044 30046 30020 0 -1 4202560 144885 1241 0 0 119604 201 0 0 25 0 33 0 723782139 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4365538 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30046/tid=30063] ppid=30044 vsize=5752916 CPUtime=1197.9 cores=0-31
/proc/30046/task/30063/stat : 30063 (plingeling) R 30044 30046 30020 0 -1 4202560 134856 1241 0 0 119681 109 0 0 25 0 33 0 723782139 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30046/tid=30064] ppid=30044 vsize=5752916 CPUtime=1197.62 cores=0-31
/proc/30046/task/30064/stat : 30064 (plingeling) R 30044 30046 30020 0 -1 4202560 170548 1241 0 0 119633 129 0 0 25 0 33 0 723782139 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30046/tid=30065] ppid=30044 vsize=5752916 CPUtime=1197.84 cores=0-31
/proc/30046/task/30065/stat : 30065 (plingeling) R 30044 30046 30020 0 -1 4202560 168393 1241 0 0 119643 141 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30046/tid=30066] ppid=30044 vsize=5752916 CPUtime=1196.73 cores=0-31
/proc/30046/task/30066/stat : 30066 (plingeling) R 30044 30046 30020 0 -1 4202560 129828 1241 0 0 119535 138 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30046/tid=30067] ppid=30044 vsize=5752916 CPUtime=1198.94 cores=0-31
/proc/30046/task/30067/stat : 30067 (plingeling) R 30044 30046 30020 0 -1 4202560 130356 1241 0 0 119747 147 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30046/tid=30068] ppid=30044 vsize=5752916 CPUtime=1197.89 cores=0-31
/proc/30046/task/30068/stat : 30068 (plingeling) R 30044 30046 30020 0 -1 4202560 137733 1241 0 0 119649 140 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4309897 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30046/tid=30069] ppid=30044 vsize=5752916 CPUtime=1198.4 cores=0-31
/proc/30046/task/30069/stat : 30069 (plingeling) R 30044 30046 30020 0 -1 4202560 148461 1241 0 0 119729 111 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30046/tid=30070] ppid=30044 vsize=5752916 CPUtime=1197.65 cores=0-31
/proc/30046/task/30070/stat : 30070 (plingeling) R 30044 30046 30020 0 -1 4202560 145808 1241 0 0 119647 118 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30046/tid=30071] ppid=30044 vsize=5752916 CPUtime=1195.08 cores=0-31
/proc/30046/task/30071/stat : 30071 (plingeling) R 30044 30046 30020 0 -1 4202560 142073 1241 0 0 119328 180 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=30046/tid=30072] ppid=30044 vsize=5752916 CPUtime=1193.04 cores=0-31
/proc/30046/task/30072/stat : 30072 (plingeling) R 30044 30046 30020 0 -1 4202560 149966 1241 0 0 119165 139 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4330484 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30046/tid=30073] ppid=30044 vsize=5752916 CPUtime=1197.61 cores=0-31
/proc/30046/task/30073/stat : 30073 (plingeling) R 30044 30046 30020 0 -1 4202560 149301 1241 0 0 119597 164 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30046/tid=30074] ppid=30044 vsize=5752916 CPUtime=1196.98 cores=0-31
/proc/30046/task/30074/stat : 30074 (plingeling) R 30044 30046 30020 0 -1 4202560 146065 1241 0 0 119546 152 0 0 25 0 33 0 723782140 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30046/tid=30075] ppid=30044 vsize=5752916 CPUtime=1196.31 cores=0-31
/proc/30046/task/30075/stat : 30075 (plingeling) R 30044 30046 30020 0 -1 4202560 160444 1241 0 0 119512 119 0 0 25 0 33 0 723782143 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=30046/tid=30076] ppid=30044 vsize=5752916 CPUtime=1198.6 cores=0-31
/proc/30046/task/30076/stat : 30076 (plingeling) R 30044 30046 30020 0 -1 4202560 140406 1241 0 0 119775 85 0 0 25 0 33 0 723782143 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4232721 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30046/tid=30077] ppid=30044 vsize=5752916 CPUtime=1199.05 cores=0-31
/proc/30046/task/30077/stat : 30077 (plingeling) R 30044 30046 30020 0 -1 4202560 172974 1241 0 0 119796 109 0 0 25 0 33 0 723782143 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4232640 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30046/tid=30078] ppid=30044 vsize=5752916 CPUtime=1196.93 cores=0-31
/proc/30046/task/30078/stat : 30078 (plingeling) R 30044 30046 30020 0 -1 4202560 138505 1241 0 0 119524 169 0 0 25 0 33 0 723782143 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30046/tid=30079] ppid=30044 vsize=5752916 CPUtime=1198.79 cores=0-31
/proc/30046/task/30079/stat : 30079 (plingeling) R 30044 30046 30020 0 -1 4202560 125096 1241 0 0 119802 77 0 0 25 0 33 0 723782144 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=30046/tid=30080] ppid=30044 vsize=5752916 CPUtime=1197.98 cores=0-31
/proc/30046/task/30080/stat : 30080 (plingeling) R 30044 30046 30020 0 -1 4202560 179886 1241 0 0 119651 147 0 0 25 0 33 0 723782144 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30046/tid=30081] ppid=30044 vsize=5752916 CPUtime=1197.42 cores=0-31
/proc/30046/task/30081/stat : 30081 (plingeling) R 30044 30046 30020 0 -1 4202560 175106 1241 0 0 119597 145 0 0 25 0 33 0 723782144 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236722 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=30046/tid=30082] ppid=30044 vsize=5752916 CPUtime=1196.86 cores=0-31
/proc/30046/task/30082/stat : 30082 (plingeling) R 30044 30046 30020 0 -1 4202560 114925 1241 0 0 119628 58 0 0 25 0 33 0 723782144 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30046/tid=30083] ppid=30044 vsize=5752916 CPUtime=1198.67 cores=0-31
/proc/30046/task/30083/stat : 30083 (plingeling) R 30044 30046 30020 0 -1 4202560 119306 1241 0 0 119737 130 0 0 25 0 33 0 723782144 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30046/tid=30084] ppid=30044 vsize=5752916 CPUtime=1198.69 cores=0-31
/proc/30046/task/30084/stat : 30084 (plingeling) R 30044 30046 30020 0 -1 4202560 167149 1241 0 0 119710 159 0 0 25 0 33 0 723782144 5890985984 1300021 268435456000 4194304 4417452 140735070968128 18446744073709551615 4260714 0 0 4096 17442 0 0 0 -1 8 0 0 0
Current children cumulated CPU time (s) 38364.4
Current children cumulated vsize (KiB) 5752916
[startup+1255.9 s]
/proc/loadavg: 32.28 32.03 31.41 3/416 30125
/proc/meminfo: memFree=250160444/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=5558948 CPUtime=38378.2 cores=0-31
/proc/30046/stat : 30046 (plingeling) S 30044 30046 30020 0 -1 4202496 5500126 1241 0 0 3833416 4408 0 0 15 0 2 0 723776839 5692362752 1292384 268435456000 4194304 4417452 140735070968128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30046/statm: 1389737 1292384 176 55 0 1387623 0
[pid=30046/tid=30072] ppid=30044 vsize=5558948 CPUtime=1194.64 cores=0-31
/proc/30046/task/30072/stat : 30072 (plingeling) R 30044 30046 30020 0 -1 4202560 149966 1241 0 0 119325 139 0 0 25 0 2 0 723782140 5692362752 1292384 268435456000 4194304 4417452 140735070968128 18446744073709551615 4254258 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 38378.2
Current children cumulated vsize (KiB) 5558948
[startup+1256.7 s]
/proc/loadavg: 32.28 32.03 31.41 2/415 30125
/proc/meminfo: memFree=250160972/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=5558948 CPUtime=38379 cores=0-31
/proc/30046/stat : 30046 (plingeling) S 30044 30046 30020 0 -1 4202496 5500126 1241 0 0 3833496 4408 0 0 15 0 2 0 723776839 5692362752 1292384 268435456000 4194304 4417452 140735070968128 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/30046/statm: 1389737 1292384 176 55 0 1387623 0
[pid=30046/tid=30072] ppid=30044 vsize=5558948 CPUtime=1195.44 cores=0-31
/proc/30046/task/30072/stat : 30072 (plingeling) R 30044 30046 30020 0 -1 4202560 149966 1241 0 0 119405 139 0 0 25 0 2 0 723782140 5692362752 1292384 268435456000 4194304 4417452 140735070968128 18446744073709551615 4254425 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 38379
Current children cumulated vsize (KiB) 5558948
[startup+1257.5 s]
/proc/loadavg: 32.28 32.03 31.41 2/415 30125
/proc/meminfo: memFree=250160972/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=3675040 CPUtime=38379.8 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 5500126 1241 0 0 3833557 4427 0 0 15 0 1 0 723776839 3763240960 830687 268435456000 4194304 4417452 140735070968128 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/30046/statm: 918760 830687 176 55 0 916646 0
Current children cumulated CPU time (s) 38379.8
Current children cumulated vsize (KiB) 3675040
[startup+1257.7 s]
/proc/loadavg: 32.28 32.03 31.41 2/415 30125
/proc/meminfo: memFree=250160972/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=1795176 CPUtime=38380 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 5500126 1241 0 0 3833557 4447 0 0 16 0 1 0 723776839 1838260224 348690 268435456000 4194304 4417452 140735070968128 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/30046/statm: 448794 348690 176 55 0 446680 0
Current children cumulated CPU time (s) 38380
Current children cumulated vsize (KiB) 1795176
[startup+1257.8 s]
/proc/loadavg: 32.28 32.03 31.41 2/415 30125
/proc/meminfo: memFree=250160972/264257624 swapFree=67111528/67111528
[pid=30046] ppid=30044 vsize=1051416 CPUtime=38380.1 cores=0-31
/proc/30046/stat : 30046 (plingeling) R 30044 30046 30020 0 -1 4202496 5500126 1241 0 0 3833557 4457 0 0 16 0 1 0 723776839 1076649984 134754 268435456000 4194304 4417452 140735070968128 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/30046/statm: 262854 134662 176 55 0 260740 0
Current children cumulated CPU time (s) 38380.1
Current children cumulated vsize (KiB) 1051416
Child status: 20
Real time (s): 1257.88
CPU time (s): 38380.2
CPU user time (s): 38335.6
CPU system time (s): 44.6512
CPU usage (%): 3051.19
Max. virtual memory (cumulated for all children) (KiB): 5763972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38335.6
system time used= 44.6512
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5501371
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= 7480
involuntary context switches= 96431
runsolver used 6.37403 second user time and 29.2925 second system time
The end
Begin job on node200 at 2011-05-23 05:55:04
IDJOB=3372873
IDBENCH=85007
IDSOLVER=1852
FILE ID=node200/3372873-1306122901
RUNJOBID= node200-1306122901-30034
PBS_JOBID= 13387829
Free space on /tmp= 61972 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372873-1306122901/watcher-3372873-1306122901 -o /tmp/evaluation-result-3372873-1306122901/solver-3372873-1306122901 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372873-1306122901.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=1083287652
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: 255331912 kB
Buffers: 457068 kB
Cached: 8053156 kB
SwapCached: 0 kB
Active: 7606916 kB
Inactive: 971844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255331912 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 76616 kB
Writeback: 0 kB
AnonPages: 68972 kB
Mapped: 14480 kB
Slab: 254100 kB
PageTables: 4444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193524 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= 61972 MiB
End job on node200 at 2011-05-23 06:16:02