0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
12575.29/403.68 s UNSATISFIABLE
12575.82/403.73 solver [5] plingeling 276-6264d55-100731 answered
12575.82/403.73 Done
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-3347513-1305220326/watcher-3347513-1305220326 -o /tmp/evaluation-result-3347513-1305220326/solver-3347513-1305220326 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347513-1305220326.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: 28.81 25.06 26.45 1/413 21079
/proc/meminfo: memFree=255624140/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
[startup+0.112925 s]
/proc/loadavg: 28.81 25.06 26.45 1/413 21079
/proc/meminfo: memFree=255624140/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200957 s]
/proc/loadavg: 28.81 25.06 26.45 1/413 21079
/proc/meminfo: memFree=255624140/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300944 s]
/proc/loadavg: 28.81 25.06 26.45 1/413 21079
/proc/meminfo: memFree=255624140/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700959 s]
/proc/loadavg: 28.81 25.06 26.45 1/413 21079
/proc/meminfo: memFree=255624140/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50103 s]
/proc/loadavg: 28.81 25.06 26.45 6/419 21090
/proc/meminfo: memFree=255290944/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
[pid=21080] ppid=21079 vsize=105408 CPUtime=1.48 cores=0
/proc/21080/stat : 21080 (cryptominisat) R 21079 21079 20983 0 -1 4202496 16691 0 0 0 144 4 0 0 25 0 1 0 633519167 107937792 15877 268435456000 4194304 4587354 140736979412848 18446744073709551615 4230185 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21080/statm: 26352 15877 303 96 0 22914 0
[pid=21081] ppid=21079 vsize=86168 CPUtime=1.49 cores=1
/proc/21081/stat : 21081 (clasp) R 21079 21079 20983 0 -1 4202496 22489 0 0 0 141 8 0 0 20 0 1 0 633519167 88236032 17945 268435456000 4194304 4785740 140733810146624 18446744073709551615 4495595 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21081/statm: 21542 17945 316 145 0 18587 0
[pid=21082] ppid=21079 vsize=509552 CPUtime=1.49 cores=2
/proc/21082/stat : 21082 (TNM) R 21079 21079 20983 0 -1 4202496 17811 0 0 0 144 5 0 0 20 0 1 0 633519167 521781248 17709 268435456000 134512640 134534564 4289222416 18446744073709551615 134524478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21082/statm: 127388 17709 91 6 0 126053 0
[pid=21083] ppid=21079 vsize=78528 CPUtime=1.48 cores=3
/proc/21083/stat : 21083 (march_hi) R 21079 21079 20983 0 -1 4194304 16297 0 0 0 143 5 0 0 20 0 1 0 633519167 80412672 10701 268435456000 4194304 4331988 140736205419472 18446744073709551615 4261688 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21083/statm: 19632 10701 123 34 0 18074 0
[pid=21084] ppid=21079 vsize=204036 CPUtime=1.49 cores=4-31
/proc/21084/stat : 21084 (plingeling) R 21079 21079 20983 0 -1 4202496 50075 1239 0 0 136 12 0 1 21 0 1 0 633519167 208932864 49669 268435456000 4194304 4356188 140736980619696 18446744073709551615 4212076 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/21084/statm: 51009 49669 129 40 0 49553 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 1002016
[startup+3.10104 s]
/proc/loadavg: 28.81 25.06 26.45 6/419 21090
/proc/meminfo: memFree=255006016/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
[pid=21080] ppid=21079 vsize=190700 CPUtime=3.09 cores=0
/proc/21080/stat : 21080 (cryptominisat) R 21079 21079 20983 0 -1 4202496 38069 0 0 0 301 8 0 0 25 0 1 0 633519167 195276800 36994 268435456000 4194304 4587354 140736979412848 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21080/statm: 47675 36994 314 96 0 44237 0
[pid=21081] ppid=21079 vsize=86168 CPUtime=3.09 cores=1
/proc/21081/stat : 21081 (clasp) R 21079 21079 20983 0 -1 4202496 22512 0 0 0 301 8 0 0 25 0 1 0 633519167 88236032 17968 268435456000 4194304 4785740 140733810146624 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21081/statm: 21542 17969 318 145 0 18587 0
[pid=21082] ppid=21079 vsize=509552 CPUtime=3.09 cores=2
/proc/21082/stat : 21082 (TNM) R 21079 21079 20983 0 -1 4202496 17811 0 0 0 304 5 0 0 25 0 1 0 633519167 521781248 17709 268435456000 134512640 134534564 4289222416 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21082/statm: 127388 17709 91 6 0 126053 0
[pid=21083] ppid=21079 vsize=91052 CPUtime=3.09 cores=3
/proc/21083/stat : 21083 (march_hi) R 21079 21079 20983 0 -1 4194304 40463 0 0 0 298 11 0 0 25 0 1 0 633519167 93237248 13814 268435456000 4194304 4331988 140736205419472 18446744073709551615 4257057 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21083/statm: 22763 13814 127 34 0 21205 0
[pid=21084] ppid=21079 vsize=355588 CPUtime=3.08 cores=4-31
/proc/21084/stat : 21084 (plingeling) R 21079 21079 20983 0 -1 4202496 87496 1239 0 0 287 20 0 1 25 0 1 0 633519167 364122112 87090 268435456000 4194304 4356188 140736980619696 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/21084/statm: 88897 87097 129 40 0 87441 0
Current children cumulated CPU time (s) 15.44
Current children cumulated vsize (KiB) 1251384
[startup+6.30114 s]
/proc/loadavg: 26.91 24.73 26.33 6/419 21090
/proc/meminfo: memFree=254653768/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
[pid=21080] ppid=21079 vsize=196732 CPUtime=6.29 cores=0
/proc/21080/stat : 21080 (cryptominisat) R 21079 21079 20983 0 -1 4202496 51016 0 0 0 618 11 0 0 25 0 1 0 633519167 201453568 37165 268435456000 4194304 4587354 140736979412848 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21080/statm: 49183 37165 325 96 0 45745 0
[pid=21081] ppid=21079 vsize=101816 CPUtime=6.28 cores=1
/proc/21081/stat : 21081 (clasp) R 21079 21079 20983 0 -1 4202496 28210 0 0 0 619 9 0 0 25 0 1 0 633519167 104259584 22168 268435456000 4194304 4785740 140733810146624 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21081/statm: 25454 22168 338 145 0 22499 0
[pid=21082] ppid=21079 vsize=509552 CPUtime=6.29 cores=2
/proc/21082/stat : 21082 (TNM) R 21079 21079 20983 0 -1 4202496 17811 0 0 0 624 5 0 0 25 0 1 0 633519167 521781248 17709 268435456000 134512640 134534564 4289222416 18446744073709551615 134524825 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21082/statm: 127388 17709 91 6 0 126053 0
[pid=21083] ppid=21079 vsize=91052 CPUtime=6.28 cores=3
/proc/21083/stat : 21083 (march_hi) R 21079 21079 20983 0 -1 4194304 82319 0 0 0 609 19 0 0 25 0 1 0 633519167 93237248 13814 268435456000 4194304 4331988 140736205419472 18446744073709551615 258650623180 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21083/statm: 22763 13814 127 34 0 21205 0
[pid=21084] ppid=21079 vsize=806148 CPUtime=6.29 cores=4-31
/proc/21084/stat : 21084 (plingeling) R 21079 21079 20983 0 -1 4202496 200603 1239 0 0 584 44 0 1 25 0 1 0 633519167 825495552 200197 268435456000 4194304 4356188 140736980619696 18446744073709551615 4212207 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/21084/statm: 201537 200197 129 40 0 200081 0
Current children cumulated CPU time (s) 31.43
Current children cumulated vsize (KiB) 1723624
[startup+12.7023 s]
/proc/loadavg: 25.15 24.40 26.22 33/447 21118
/proc/meminfo: memFree=253905584/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
[pid=21080] ppid=21079 vsize=196732 CPUtime=12.68 cores=0
/proc/21080/stat : 21080 (cryptominisat) R 21079 21079 20983 0 -1 4202496 51411 0 0 0 1257 11 0 0 25 0 1 0 633519167 201453568 37540 268435456000 4194304 4587354 140736979412848 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21080/statm: 49183 37540 325 96 0 45745 0
[pid=21081] ppid=21079 vsize=101816 CPUtime=12.68 cores=1
/proc/21081/stat : 21081 (clasp) R 21079 21079 20983 0 -1 4202496 28210 0 0 0 1259 9 0 0 25 0 1 0 633519167 104259584 22168 268435456000 4194304 4785740 140733810146624 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21081/statm: 25454 22168 338 145 0 22499 0
[pid=21082] ppid=21079 vsize=522620 CPUtime=12.68 cores=2
/proc/21082/stat : 21082 (TNM) R 21079 21079 20983 0 -1 4202496 25192 0 0 0 1262 6 0 0 25 0 1 0 633519167 535162880 25090 268435456000 134512640 134534564 4289222416 18446744073709551615 134530158 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21082/statm: 130655 25090 95 6 0 129320 0
[pid=21083] ppid=21079 vsize=102796 CPUtime=12.68 cores=3
/proc/21083/stat : 21083 (march_hi) R 21079 21079 20983 0 -1 4194304 163743 0 0 0 1231 37 0 0 25 0 1 0 633519167 105263104 16758 268435456000 4194304 4331988 140736205419472 18446744073709551615 4252215 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21083/statm: 25699 16758 127 34 0 24141 0
[pid=21084] ppid=21079 vsize=2023260 CPUtime=33.27 cores=4-31
/proc/21084/stat : 21084 (plingeling) S 21079 21079 20983 0 -1 4202496 425232 1239 0 0 3231 95 0 1 18 0 29 0 633519167 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/21084/statm: 505815 367408 144 40 0 504359 0
[pid=21084/tid=21091] ppid=21079 vsize=2023260 CPUtime=0.79 cores=4-31
/proc/21084/task/21091/stat : 21091 (plingeling) R 21079 21079 20983 0 -1 4202560 1885 1239 0 0 78 0 0 1 18 0 29 0 633520356 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21084/tid=21092] ppid=21079 vsize=2023260 CPUtime=0.76 cores=4-31
/proc/21084/task/21092/stat : 21092 (plingeling) R 21079 21079 20983 0 -1 4202560 1883 1239 0 0 75 0 0 1 25 0 29 0 633520356 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4260435 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21084/tid=21093] ppid=21079 vsize=2023260 CPUtime=0.79 cores=4-31
/proc/21084/task/21093/stat : 21093 (plingeling) R 21079 21079 20983 0 -1 4202560 1880 1239 0 0 78 0 0 1 21 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21084/tid=21094] ppid=21079 vsize=2023260 CPUtime=0.78 cores=4-31
/proc/21084/task/21094/stat : 21094 (plingeling) R 21079 21079 20983 0 -1 4202560 1934 1239 0 0 77 0 0 1 18 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21084/tid=21095] ppid=21079 vsize=2023260 CPUtime=0.78 cores=4-31
/proc/21084/task/21095/stat : 21095 (plingeling) R 21079 21079 20983 0 -1 4202560 1885 1239 0 0 77 0 0 1 21 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4251025 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21084/tid=21096] ppid=21079 vsize=2023260 CPUtime=0.76 cores=4-31
/proc/21084/task/21096/stat : 21096 (plingeling) R 21079 21079 20983 0 -1 4202560 1880 1239 0 0 75 0 0 1 18 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21084/tid=21097] ppid=21079 vsize=2023260 CPUtime=0.79 cores=4-31
/proc/21084/task/21097/stat : 21097 (plingeling) R 21079 21079 20983 0 -1 4202560 1889 1239 0 0 78 0 0 1 18 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4251025 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21084/tid=21098] ppid=21079 vsize=2023260 CPUtime=0.8 cores=4-31
/proc/21084/task/21098/stat : 21098 (plingeling) R 21079 21079 20983 0 -1 4202560 1883 1239 0 0 79 0 0 1 18 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225590 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21084/tid=21099] ppid=21079 vsize=2023260 CPUtime=0.8 cores=4-31
/proc/21084/task/21099/stat : 21099 (plingeling) R 21079 21079 20983 0 -1 4202560 1881 1239 0 0 79 0 0 1 18 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21084/tid=21100] ppid=21079 vsize=2023260 CPUtime=0.78 cores=4-31
/proc/21084/task/21100/stat : 21100 (plingeling) R 21079 21079 20983 0 -1 4202560 1880 1239 0 0 77 0 0 1 22 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21084/tid=21101] ppid=21079 vsize=2023260 CPUtime=0.78 cores=4-31
/proc/21084/task/21101/stat : 21101 (plingeling) R 21079 21079 20983 0 -1 4202560 1880 1239 0 0 77 0 0 1 22 0 29 0 633520357 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4250504 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21084/tid=21102] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
/proc/21084/task/21102/stat : 21102 (plingeling) R 21079 21079 20983 0 -1 4202560 1881 1239 0 0 76 0 0 1 18 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21084/tid=21103] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
/proc/21084/task/21103/stat : 21103 (plingeling) R 21079 21079 20983 0 -1 4202560 1918 1239 0 0 76 0 0 1 18 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21084/tid=21104] ppid=21079 vsize=2023260 CPUtime=0.49 cores=4-31
/proc/21084/task/21104/stat : 21104 (plingeling) R 21079 21079 20983 0 -1 4202560 1186 1239 0 0 48 0 0 1 21 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4324038 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21084/tid=21105] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
/proc/21084/task/21105/stat : 21105 (plingeling) R 21079 21079 20983 0 -1 4202560 1943 1239 0 0 76 0 0 1 18 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=21084/tid=21106] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
/proc/21084/task/21106/stat : 21106 (plingeling) R 21079 21079 20983 0 -1 4202560 1914 1239 0 0 76 0 0 1 24 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21084/tid=21107] ppid=21079 vsize=2023260 CPUtime=0.78 cores=4-31
/proc/21084/task/21107/stat : 21107 (plingeling) R 21079 21079 20983 0 -1 4202560 1923 1239 0 0 77 0 0 1 18 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21084/tid=21108] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
/proc/21084/task/21108/stat : 21108 (plingeling) R 21079 21079 20983 0 -1 4202560 1905 1239 0 0 76 0 0 1 18 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21084/tid=21109] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
/proc/21084/task/21109/stat : 21109 (plingeling) R 21079 21079 20983 0 -1 4202560 1930 1239 0 0 76 0 0 1 24 0 29 0 633520358 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21084/tid=21110] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
/proc/21084/task/21110/stat : 21110 (plingeling) R 21079 21079 20983 0 -1 4202560 1915 1239 0 0 76 0 0 1 24 0 29 0 633520359 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21084/tid=21111] ppid=21079 vsize=2023260 CPUtime=0.76 cores=4-31
/proc/21084/task/21111/stat : 21111 (plingeling) R 21079 21079 20983 0 -1 4202560 1945 1239 0 0 75 0 0 1 18 0 29 0 633520359 2071818240 367408 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21084/tid=21112] ppid=21079 vsize=2023260 CPUtime=0.77 cores=4-31
################
# More data... #
################
[pid=21084/tid=21093] ppid=21079 vsize=1996340 CPUtime=390.42 cores=4-31
/proc/21084/task/21093/stat : 21093 (plingeling) R 21079 21079 20983 0 -1 4202560 12109 1239 0 0 39038 3 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21084/tid=21094] ppid=21079 vsize=1996340 CPUtime=390.4 cores=4-31
/proc/21084/task/21094/stat : 21094 (plingeling) R 21079 21079 20983 0 -1 4202560 11988 1239 0 0 39036 3 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21084/tid=21095] ppid=21079 vsize=1996340 CPUtime=390.41 cores=4-31
/proc/21084/task/21095/stat : 21095 (plingeling) R 21079 21079 20983 0 -1 4202560 10464 1239 0 0 39031 9 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21084/tid=21096] ppid=21079 vsize=1996340 CPUtime=390.37 cores=4-31
/proc/21084/task/21096/stat : 21096 (plingeling) R 21079 21079 20983 0 -1 4202560 20025 1239 0 0 39032 4 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21084/tid=21097] ppid=21079 vsize=1996340 CPUtime=387.95 cores=4-31
/proc/21084/task/21097/stat : 21097 (plingeling) R 21079 21079 20983 0 -1 4202560 8105 1239 0 0 38791 3 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21084/tid=21098] ppid=21079 vsize=1996340 CPUtime=390.42 cores=4-31
/proc/21084/task/21098/stat : 21098 (plingeling) R 21079 21079 20983 0 -1 4202560 11870 1239 0 0 39038 3 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21084/tid=21099] ppid=21079 vsize=1996340 CPUtime=381.78 cores=4-31
/proc/21084/task/21099/stat : 21099 (plingeling) R 21079 21079 20983 0 -1 4202560 15011 1239 0 0 38168 9 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21084/tid=21100] ppid=21079 vsize=1996340 CPUtime=390.4 cores=4-31
/proc/21084/task/21100/stat : 21100 (plingeling) R 21079 21079 20983 0 -1 4202560 7844 1239 0 0 39038 1 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21084/tid=21101] ppid=21079 vsize=1996340 CPUtime=390.41 cores=4-31
/proc/21084/task/21101/stat : 21101 (plingeling) R 21079 21079 20983 0 -1 4202560 9057 1239 0 0 39038 2 0 1 25 0 29 0 633520357 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21084/tid=21102] ppid=21079 vsize=1996340 CPUtime=390.39 cores=4-31
/proc/21084/task/21102/stat : 21102 (plingeling) R 21079 21079 20983 0 -1 4202560 9692 1239 0 0 39036 2 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21084/tid=21103] ppid=21079 vsize=1996340 CPUtime=390.4 cores=4-31
/proc/21084/task/21103/stat : 21103 (plingeling) R 21079 21079 20983 0 -1 4202560 8083 1239 0 0 39037 2 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237422 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21084/tid=21104] ppid=21079 vsize=1996340 CPUtime=390.11 cores=4-31
/proc/21084/task/21104/stat : 21104 (plingeling) R 21079 21079 20983 0 -1 4202560 9108 1239 0 0 39008 2 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21084/tid=21105] ppid=21079 vsize=1996340 CPUtime=390.4 cores=4-31
/proc/21084/task/21105/stat : 21105 (plingeling) R 21079 21079 20983 0 -1 4202560 10545 1239 0 0 39031 8 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=21084/tid=21106] ppid=21079 vsize=1996340 CPUtime=390.38 cores=4-31
/proc/21084/task/21106/stat : 21106 (plingeling) R 21079 21079 20983 0 -1 4202560 6635 1239 0 0 39036 1 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21084/tid=21107] ppid=21079 vsize=1996340 CPUtime=390.4 cores=4-31
/proc/21084/task/21107/stat : 21107 (plingeling) R 21079 21079 20983 0 -1 4202560 8580 1239 0 0 39038 1 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21084/tid=21108] ppid=21079 vsize=1996340 CPUtime=390.4 cores=4-31
/proc/21084/task/21108/stat : 21108 (plingeling) R 21079 21079 20983 0 -1 4202560 6324 1239 0 0 39037 2 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21084/tid=21109] ppid=21079 vsize=1996340 CPUtime=390.39 cores=4-31
/proc/21084/task/21109/stat : 21109 (plingeling) R 21079 21079 20983 0 -1 4202560 11000 1239 0 0 39035 3 0 1 25 0 29 0 633520358 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21084/tid=21110] ppid=21079 vsize=1996340 CPUtime=390.22 cores=4-31
/proc/21084/task/21110/stat : 21110 (plingeling) R 21079 21079 20983 0 -1 4202560 9112 1239 0 0 39015 6 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21084/tid=21111] ppid=21079 vsize=1996340 CPUtime=390.23 cores=4-31
/proc/21084/task/21111/stat : 21111 (plingeling) R 21079 21079 20983 0 -1 4202560 11917 1239 0 0 39013 9 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21084/tid=21112] ppid=21079 vsize=1996340 CPUtime=390.39 cores=4-31
/proc/21084/task/21112/stat : 21112 (plingeling) R 21079 21079 20983 0 -1 4202560 10524 1239 0 0 39036 2 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21084/tid=21113] ppid=21079 vsize=1996340 CPUtime=390.34 cores=4-31
/proc/21084/task/21113/stat : 21113 (plingeling) R 21079 21079 20983 0 -1 4202560 8091 1239 0 0 39032 1 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21084/tid=21114] ppid=21079 vsize=1996340 CPUtime=390.33 cores=4-31
/proc/21084/task/21114/stat : 21114 (plingeling) R 21079 21079 20983 0 -1 4202560 9219 1239 0 0 39024 8 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21084/tid=21115] ppid=21079 vsize=1996340 CPUtime=390.38 cores=4-31
/proc/21084/task/21115/stat : 21115 (plingeling) R 21079 21079 20983 0 -1 4202560 10965 1239 0 0 39028 9 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21084/tid=21116] ppid=21079 vsize=1996340 CPUtime=390.38 cores=4-31
/proc/21084/task/21116/stat : 21116 (plingeling) R 21079 21079 20983 0 -1 4202560 9640 1239 0 0 39034 3 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21084/tid=21117] ppid=21079 vsize=1996340 CPUtime=390.39 cores=4-31
/proc/21084/task/21117/stat : 21117 (plingeling) R 21079 21079 20983 0 -1 4202560 9780 1239 0 0 39036 2 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332023 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21084/tid=21118] ppid=21079 vsize=1996340 CPUtime=390.39 cores=4-31
/proc/21084/task/21118/stat : 21118 (plingeling) R 21079 21079 20983 0 -1 4202560 13324 1239 0 0 39034 4 0 1 25 0 29 0 633520359 2044252160 363187 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 12540.4
Current children cumulated vsize (KiB) 4747620
[startup+403.202 s]
/proc/loadavg: 32.10 30.02 28.23 33/447 21128
/proc/meminfo: memFree=253202272/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
[pid=21080] ppid=21079 vsize=1264684 CPUtime=403.11 cores=0
/proc/21080/stat : 21080 (cryptominisat) R 21079 21079 20983 0 -1 4202496 93917 0 0 0 40276 35 0 0 25 0 1 0 633519167 1295036416 40843 268435456000 4194304 4587354 140736979412848 18446744073709551615 4230319 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21080/statm: 316171 40843 333 96 0 312733 0
[pid=21081] ppid=21079 vsize=160688 CPUtime=403.11 cores=1
/proc/21081/stat : 21081 (clasp) R 21079 21079 20983 0 -1 4202496 42826 0 0 0 40289 22 0 0 25 0 1 0 633519167 164544512 36784 268435456000 4194304 4785740 140733810146624 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21081/statm: 40172 36784 338 145 0 37217 0
[pid=21082] ppid=21079 vsize=522620 CPUtime=403.11 cores=2
/proc/21082/stat : 21082 (TNM) R 21079 21079 20983 0 -1 4202496 25192 0 0 0 40305 6 0 0 25 0 1 0 633519167 535162880 25090 268435456000 134512640 134534564 4289222416 18446744073709551615 134530438 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21082/statm: 130655 25090 95 6 0 129320 0
[pid=21083] ppid=21079 vsize=784964 CPUtime=403.11 cores=3
/proc/21083/stat : 21083 (march_hi) R 21079 21079 20983 0 -1 4202496 997958 0 0 0 40076 235 0 0 25 0 1 0 633519167 803803136 140772 268435456000 4194304 4331988 140736205419472 18446744073709551615 4226265 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21083/statm: 196241 140772 173 34 0 194683 0
[pid=21084] ppid=21079 vsize=1996052 CPUtime=10953.5 cores=4-31
/proc/21084/stat : 21084 (plingeling) S 21079 21079 20983 0 -1 4202496 656675 1239 0 0 1095156 197 0 1 18 0 29 0 633519167 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/21084/statm: 499013 363211 159 40 0 497557 0
[pid=21084/tid=21091] ppid=21079 vsize=1996052 CPUtime=391.22 cores=4-31
/proc/21084/task/21091/stat : 21091 (plingeling) R 21079 21079 20983 0 -1 4202560 6847 1239 0 0 39119 2 0 1 25 0 29 0 633520356 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21084/tid=21092] ppid=21079 vsize=1996052 CPUtime=391.19 cores=4-31
/proc/21084/task/21092/stat : 21092 (plingeling) R 21079 21079 20983 0 -1 4202560 8047 1239 0 0 39116 2 0 1 25 0 29 0 633520356 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=21084/tid=21093] ppid=21079 vsize=1996052 CPUtime=391.22 cores=4-31
/proc/21084/task/21093/stat : 21093 (plingeling) R 21079 21079 20983 0 -1 4202560 12109 1239 0 0 39118 3 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=21084/tid=21094] ppid=21079 vsize=1996052 CPUtime=391.2 cores=4-31
/proc/21084/task/21094/stat : 21094 (plingeling) R 21079 21079 20983 0 -1 4202560 11988 1239 0 0 39116 3 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=21084/tid=21095] ppid=21079 vsize=1996052 CPUtime=391.21 cores=4-31
/proc/21084/task/21095/stat : 21095 (plingeling) R 21079 21079 20983 0 -1 4202560 10464 1239 0 0 39111 9 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330976 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=21084/tid=21096] ppid=21079 vsize=1996052 CPUtime=391.18 cores=4-31
/proc/21084/task/21096/stat : 21096 (plingeling) R 21079 21079 20983 0 -1 4202560 20122 1239 0 0 39112 5 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=21084/tid=21097] ppid=21079 vsize=1996052 CPUtime=388.75 cores=4-31
/proc/21084/task/21097/stat : 21097 (plingeling) R 21079 21079 20983 0 -1 4202560 8105 1239 0 0 38871 3 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=21084/tid=21098] ppid=21079 vsize=1996052 CPUtime=391.22 cores=4-31
/proc/21084/task/21098/stat : 21098 (plingeling) R 21079 21079 20983 0 -1 4202560 11870 1239 0 0 39118 3 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237483 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21084/tid=21099] ppid=21079 vsize=1996052 CPUtime=382.56 cores=4-31
/proc/21084/task/21099/stat : 21099 (plingeling) R 21079 21079 20983 0 -1 4202560 15011 1239 0 0 38246 9 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=21084/tid=21100] ppid=21079 vsize=1996052 CPUtime=391.2 cores=4-31
/proc/21084/task/21100/stat : 21100 (plingeling) R 21079 21079 20983 0 -1 4202560 7844 1239 0 0 39118 1 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=21084/tid=21101] ppid=21079 vsize=1996052 CPUtime=391.21 cores=4-31
/proc/21084/task/21101/stat : 21101 (plingeling) R 21079 21079 20983 0 -1 4202560 9057 1239 0 0 39118 2 0 1 25 0 29 0 633520357 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4281760 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=21084/tid=21102] ppid=21079 vsize=1996052 CPUtime=391.19 cores=4-31
/proc/21084/task/21102/stat : 21102 (plingeling) R 21079 21079 20983 0 -1 4202560 9692 1239 0 0 39116 2 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=21084/tid=21103] ppid=21079 vsize=1996052 CPUtime=391.2 cores=4-31
/proc/21084/task/21103/stat : 21103 (plingeling) R 21079 21079 20983 0 -1 4202560 8083 1239 0 0 39117 2 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4237440 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=21084/tid=21104] ppid=21079 vsize=1996052 CPUtime=390.91 cores=4-31
/proc/21084/task/21104/stat : 21104 (plingeling) R 21079 21079 20983 0 -1 4202560 9108 1239 0 0 39088 2 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331144 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=21084/tid=21105] ppid=21079 vsize=1996052 CPUtime=391.2 cores=4-31
/proc/21084/task/21105/stat : 21105 (plingeling) R 21079 21079 20983 0 -1 4202560 10545 1239 0 0 39111 8 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=21084/tid=21106] ppid=21079 vsize=1996052 CPUtime=391.18 cores=4-31
/proc/21084/task/21106/stat : 21106 (plingeling) R 21079 21079 20983 0 -1 4202560 6635 1239 0 0 39116 1 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=21084/tid=21107] ppid=21079 vsize=1996052 CPUtime=391.2 cores=4-31
/proc/21084/task/21107/stat : 21107 (plingeling) R 21079 21079 20983 0 -1 4202560 8580 1239 0 0 39118 1 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21084/tid=21108] ppid=21079 vsize=1996052 CPUtime=391.2 cores=4-31
/proc/21084/task/21108/stat : 21108 (plingeling) R 21079 21079 20983 0 -1 4202560 6324 1239 0 0 39117 2 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=21084/tid=21109] ppid=21079 vsize=1996052 CPUtime=391.19 cores=4-31
/proc/21084/task/21109/stat : 21109 (plingeling) R 21079 21079 20983 0 -1 4202560 11000 1239 0 0 39115 3 0 1 25 0 29 0 633520358 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=21084/tid=21110] ppid=21079 vsize=1996052 CPUtime=391.02 cores=4-31
/proc/21084/task/21110/stat : 21110 (plingeling) R 21079 21079 20983 0 -1 4202560 9112 1239 0 0 39095 6 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=21084/tid=21111] ppid=21079 vsize=1996052 CPUtime=391.03 cores=4-31
/proc/21084/task/21111/stat : 21111 (plingeling) R 21079 21079 20983 0 -1 4202560 11917 1239 0 0 39093 9 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=21084/tid=21112] ppid=21079 vsize=1996052 CPUtime=391.19 cores=4-31
/proc/21084/task/21112/stat : 21112 (plingeling) R 21079 21079 20983 0 -1 4202560 10524 1239 0 0 39116 2 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=21084/tid=21113] ppid=21079 vsize=1996052 CPUtime=391.14 cores=4-31
/proc/21084/task/21113/stat : 21113 (plingeling) R 21079 21079 20983 0 -1 4202560 8091 1239 0 0 39112 1 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4332003 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=21084/tid=21114] ppid=21079 vsize=1996052 CPUtime=391.13 cores=4-31
/proc/21084/task/21114/stat : 21114 (plingeling) R 21079 21079 20983 0 -1 4202560 9219 1239 0 0 39104 8 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=21084/tid=21115] ppid=21079 vsize=1996052 CPUtime=391.18 cores=4-31
/proc/21084/task/21115/stat : 21115 (plingeling) R 21079 21079 20983 0 -1 4202560 10965 1239 0 0 39108 9 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331305 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=21084/tid=21116] ppid=21079 vsize=1996052 CPUtime=391.18 cores=4-31
/proc/21084/task/21116/stat : 21116 (plingeling) R 21079 21079 20983 0 -1 4202560 9640 1239 0 0 39114 3 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=21084/tid=21117] ppid=21079 vsize=1996052 CPUtime=391.19 cores=4-31
/proc/21084/task/21117/stat : 21117 (plingeling) R 21079 21079 20983 0 -1 4202560 9780 1239 0 0 39116 2 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331340 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=21084/tid=21118] ppid=21079 vsize=1996052 CPUtime=391.19 cores=4-31
/proc/21084/task/21118/stat : 21118 (plingeling) R 21079 21079 20983 0 -1 4202560 13324 1239 0 0 39114 4 0 1 25 0 29 0 633520359 2043957248 363211 268435456000 4194304 4356188 140736980619696 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 12566
Current children cumulated vsize (KiB) 4747332
[startup+403.601 s]
/proc/loadavg: 32.10 30.02 28.23 33/447 21128
/proc/meminfo: memFree=253202272/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=0 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 633519167 18763776 386 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 13273506547507396607 0 0 17 16 0 0 0
/proc/21079/statm: 4581 386 337 23 0 91 0
[pid=21080] ppid=21079 vsize=1264684 CPUtime=403.51 cores=0
/proc/21080/stat : 21080 (cryptominisat) R 21079 21079 20983 0 -1 4202496 93917 0 0 0 40316 35 0 0 25 0 1 0 633519167 1295036416 40843 268435456000 4194304 4587354 140736979412848 18446744073709551615 4238755 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21080/statm: 316171 40843 333 96 0 312733 0
[pid=21081] ppid=21079 vsize=160688 CPUtime=403.51 cores=1
/proc/21081/stat : 21081 (clasp) R 21079 21079 20983 0 -1 4202496 42826 0 0 0 40329 22 0 0 25 0 1 0 633519167 164544512 36784 268435456000 4194304 4785740 140733810146624 18446744073709551615 4287024 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21081/statm: 40172 36784 338 145 0 37217 0
[pid=21082] ppid=21079 vsize=522620 CPUtime=403.51 cores=2
/proc/21082/stat : 21082 (TNM) R 21079 21079 20983 0 -1 4202496 25192 0 0 0 40345 6 0 0 25 0 1 0 633519167 535162880 25090 268435456000 134512640 134534564 4289222416 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21082/statm: 130655 25090 95 6 0 129320 0
[pid=21083] ppid=21079 vsize=784964 CPUtime=403.51 cores=3
/proc/21083/stat : 21083 (march_hi) R 21079 21079 20983 0 -1 4202496 997958 0 0 0 40116 235 0 0 25 0 1 0 633519167 803803136 140772 268435456000 4194304 4331988 140736205419472 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21083/statm: 196241 140772 173 34 0 194683 0
[pid=21084] ppid=21079 vsize=1320404 CPUtime=10961.2 cores=4-31
/proc/21084/stat : 21084 (plingeling) R 21079 21079 20983 0 -1 4202496 656676 1239 0 0 1095924 200 0 1 17 0 1 0 633519167 1352093696 257310 268435456000 4194304 4356188 140736980619696 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 16 0 0 0
/proc/21084/statm: 330040 257282 160 40 0 328584 0
Current children cumulated CPU time (s) 12575.3
Current children cumulated vsize (KiB) 4071684
[startup+403.701 s]
/proc/loadavg: 32.10 30.02 28.23 2/415 21128
/proc/meminfo: memFree=255241484/264257624 swapFree=67111528/67111528
[pid=21079] ppid=21077 vsize=18324 CPUtime=12172.2 cores=0-31
/proc/21079/stat : 21079 (ppfolio) S 21077 21079 20983 0 -1 4202496 517 819853 0 0 0 0 1216941 278 15 0 1 0 633519167 18763776 387 268435456000 4194304 4287625 140735208093840 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 16 0 0 0
/proc/21079/statm: 4581 387 338 23 0 91 0
[pid=21083] ppid=21079 vsize=0 CPUtime=403.63 cores=3
/proc/21083/stat : 21083 (march_hi) R 21079 21079 20983 0 -1 4203524 997958 0 0 0 40124 239 0 0 25 0 1 0 633519167 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/21083/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12575.8
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 403.732
CPU time (s): 12575.9
CPU user time (s): 12570.7
CPU system time (s): 5.19521
CPU usage (%): 3114.9
Max. virtual memory (cumulated for all children) (KiB): 4959416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12570.7
system time used= 5.19521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1818347
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= 2304
involuntary context switches= 30817
runsolver used 2.23766 second user time and 9.14161 second system time
The end
Begin job on node200 at 2011-05-12 19:12:08
IDJOB=3347513
IDBENCH=82500
IDSOLVER=1808
FILE ID=node200/3347513-1305220326
RUNJOBID= node200-1305220103-20997
PBS_JOBID= 13282095
Free space on /tmp= 62032 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347513-1305220326/watcher-3347513-1305220326 -o /tmp/evaluation-result-3347513-1305220326/solver-3347513-1305220326 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347513-1305220326.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e669f2d68684ca746cc80f142ad8d0dc
RANDOM SEED=1536126041
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: 255624544 kB
Buffers: 429776 kB
Cached: 7799240 kB
SwapCached: 0 kB
Active: 7374048 kB
Inactive: 923820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255624544 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 28768 kB
Writeback: 0 kB
AnonPages: 69524 kB
Mapped: 14424 kB
Slab: 249780 kB
PageTables: 4672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 197044 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= 62024 MiB
End job on node200 at 2011-05-12 19:18:51