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
1396.12/57.56 s UNSATISFIABLE
1396.56/57.60 solver [5] plingeling 276-6264d55-100731 answered
1396.56/57.60 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-3347217-1304854381/watcher-3347217-1304854381 -o /tmp/evaluation-result-3347217-1304854381/solver-3347217-1304854381 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347217-1304854381.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.77 28.54 29.20 1/413 19945
/proc/meminfo: memFree=256731832/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 23 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[startup+0.063675 s]
/proc/loadavg: 27.77 28.54 29.20 1/413 19945
/proc/meminfo: memFree=256731832/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 23 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100655 s]
/proc/loadavg: 27.77 28.54 29.20 1/413 19945
/proc/meminfo: memFree=256731832/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 23 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300685 s]
/proc/loadavg: 27.77 28.54 29.20 1/413 19945
/proc/meminfo: memFree=256731832/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 23 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700678 s]
/proc/loadavg: 27.77 28.54 29.20 1/413 19945
/proc/meminfo: memFree=256731832/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50072 s]
/proc/loadavg: 27.77 28.54 29.20 6/419 19956
/proc/meminfo: memFree=256259120/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[pid=19946] ppid=19945 vsize=123484 CPUtime=1.49 cores=0
/proc/19946/stat : 19946 (cryptominisat) R 19945 19945 19919 0 -1 4202496 27321 0 0 0 141 8 0 0 25 0 1 0 596924622 126447616 26423 268435456000 4194304 4587354 140733823049296 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19946/statm: 30871 26423 304 96 0 27433 0
[pid=19947] ppid=19945 vsize=154164 CPUtime=1.48 cores=1
/proc/19947/stat : 19947 (clasp) R 19945 19945 19919 0 -1 4202496 42520 0 0 0 139 9 0 0 20 0 1 0 596924622 157863936 34750 268435456000 4194304 4785740 140733892293040 18446744073709551615 258650616986 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19947/statm: 38541 34750 317 145 0 35586 0
[pid=19948] ppid=19945 vsize=507176 CPUtime=1.48 cores=2
/proc/19948/stat : 19948 (TNM) R 19945 19945 19919 0 -1 4202496 19189 0 0 0 143 5 0 0 20 0 1 0 596924622 519348224 19087 268435456000 134512640 134534564 4287659408 18446744073709551615 134524464 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19948/statm: 126794 19087 91 6 0 125459 0
[pid=19949] ppid=19945 vsize=158596 CPUtime=1.48 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4194304 37081 0 0 0 137 11 0 0 25 0 1 0 596924622 162402304 27040 268435456000 4194304 4331988 140737137022704 18446744073709551615 4251979 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19949/statm: 39649 27040 125 34 0 38091 0
[pid=19950] ppid=19945 vsize=121848 CPUtime=1.49 cores=4-31
/proc/19950/stat : 19950 (plingeling) R 19945 19945 19919 0 -1 4202496 29236 1237 0 0 141 7 0 1 21 0 1 0 596924622 124772352 29121 268435456000 4194304 4356188 140736737818768 18446744073709551615 4277785 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/19950/statm: 30462 29121 129 40 0 29006 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 1083592
[startup+3.10075 s]
/proc/loadavg: 25.95 28.15 29.07 6/419 19956
/proc/meminfo: memFree=255967084/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[pid=19946] ppid=19945 vsize=177904 CPUtime=3.08 cores=0
/proc/19946/stat : 19946 (cryptominisat) R 19945 19945 19919 0 -1 4202496 40793 0 0 0 298 10 0 0 25 0 1 0 596924622 182173696 39895 268435456000 4194304 4587354 140733823049296 18446744073709551615 4421069 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19946/statm: 44476 39895 310 96 0 41038 0
[pid=19947] ppid=19945 vsize=187416 CPUtime=3.09 cores=1
/proc/19947/stat : 19947 (clasp) R 19945 19945 19919 0 -1 4202496 50812 0 0 0 298 11 0 0 25 0 1 0 596924622 191913984 43042 268435456000 4194304 4785740 140733892293040 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19947/statm: 46854 43042 317 145 0 43899 0
[pid=19948] ppid=19945 vsize=516548 CPUtime=3.09 cores=2
/proc/19948/stat : 19948 (TNM) R 19945 19945 19919 0 -1 4202496 31913 0 0 0 301 8 0 0 25 0 1 0 596924622 528945152 31811 268435456000 134512640 134534564 4287659408 18446744073709551615 134529957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19948/statm: 129137 31811 95 6 0 127802 0
[pid=19949] ppid=19945 vsize=201760 CPUtime=3.09 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4194304 91377 0 0 0 286 23 0 0 25 0 1 0 596924622 206602240 39975 268435456000 4194304 4331988 140737137022704 18446744073709551615 4252204 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19949/statm: 50440 39975 126 34 0 48882 0
[pid=19950] ppid=19945 vsize=315312 CPUtime=3.08 cores=4-31
/proc/19950/stat : 19950 (plingeling) R 19945 19945 19919 0 -1 4202496 77180 1237 0 0 291 16 0 1 25 0 1 0 596924622 322879488 77012 268435456000 4194304 4356188 140736737818768 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/19950/statm: 78828 77019 129 40 0 77372 0
Current children cumulated CPU time (s) 15.43
Current children cumulated vsize (KiB) 1417264
[startup+6.30085 s]
/proc/loadavg: 25.95 28.15 29.07 6/419 19956
/proc/meminfo: memFree=255644912/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[pid=19946] ppid=19945 vsize=311604 CPUtime=6.28 cores=0
/proc/19946/stat : 19946 (cryptominisat) R 19945 19945 19919 0 -1 4202496 73128 0 0 0 610 18 0 0 25 0 1 0 596924622 319082496 65575 268435456000 4194304 4587354 140733823049296 18446744073709551615 4432318 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19946/statm: 77901 65575 315 96 0 74463 0
[pid=19947] ppid=19945 vsize=194536 CPUtime=6.28 cores=1
/proc/19947/stat : 19947 (clasp) R 19945 19945 19919 0 -1 4202496 57299 0 0 0 615 13 0 0 25 0 1 0 596924622 199204864 44693 268435456000 4194304 4785740 140733892293040 18446744073709551615 4319149 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19947/statm: 48634 44693 331 145 0 45679 0
[pid=19948] ppid=19945 vsize=516548 CPUtime=6.29 cores=2
/proc/19948/stat : 19948 (TNM) R 19945 19945 19919 0 -1 4202496 31913 0 0 0 621 8 0 0 25 0 1 0 596924622 528945152 31811 268435456000 134512640 134534564 4287659408 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19948/statm: 129137 31811 95 6 0 127802 0
[pid=19949] ppid=19945 vsize=169540 CPUtime=6.28 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4202496 190278 0 0 0 585 43 0 0 25 0 1 0 596924622 173608960 31310 268435456000 4194304 4331988 140737137022704 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19949/statm: 42385 31310 141 34 0 40827 0
[pid=19950] ppid=19945 vsize=528944 CPUtime=6.28 cores=4-31
/proc/19950/stat : 19950 (plingeling) R 19945 19945 19919 0 -1 4202496 130758 1237 0 0 599 28 0 1 25 0 1 0 596924622 541638656 130511 268435456000 4194304 4356188 140736737818768 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/19950/statm: 132236 130518 129 40 0 130780 0
Current children cumulated CPU time (s) 31.41
Current children cumulated vsize (KiB) 1739496
[startup+12.7011 s]
/proc/loadavg: 22.73 27.39 28.81 6/419 19958
/proc/meminfo: memFree=254895972/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[pid=19946] ppid=19945 vsize=311604 CPUtime=12.68 cores=0
/proc/19946/stat : 19946 (cryptominisat) R 19945 19945 19919 0 -1 4202496 73892 0 0 0 1250 18 0 0 25 0 1 0 596924622 319082496 66328 268435456000 4194304 4587354 140733823049296 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19946/statm: 77901 66328 330 96 0 74463 0
[pid=19947] ppid=19945 vsize=194536 CPUtime=12.68 cores=1
/proc/19947/stat : 19947 (clasp) R 19945 19945 19919 0 -1 4202496 57309 0 0 0 1255 13 0 0 25 0 1 0 596924622 199204864 44703 268435456000 4194304 4785740 140733892293040 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19947/statm: 48634 44703 338 145 0 45679 0
[pid=19948] ppid=19945 vsize=516548 CPUtime=12.68 cores=2
/proc/19948/stat : 19948 (TNM) R 19945 19945 19919 0 -1 4202496 31913 0 0 0 1260 8 0 0 25 0 1 0 596924622 528945152 31811 268435456000 134512640 134534564 4287659408 18446744073709551615 134529374 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19948/statm: 129137 31811 95 6 0 127802 0
[pid=19949] ppid=19945 vsize=603680 CPUtime=12.68 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4202496 300423 0 0 0 1203 65 0 0 25 0 1 0 596924622 618168320 98361 268435456000 4194304 4331988 140737137022704 18446744073709551615 4228875 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19949/statm: 150920 98365 172 34 0 149362 0
[pid=19950] ppid=19945 vsize=907352 CPUtime=12.69 cores=4-31
/proc/19950/stat : 19950 (plingeling) R 19945 19945 19919 0 -1 4202496 226033 1237 0 0 1224 44 0 1 25 0 1 0 596924622 929128448 225497 268435456000 4194304 4356188 140736737818768 18446744073709551615 4212048 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/19950/statm: 226838 225497 129 40 0 225382 0
Current children cumulated CPU time (s) 63.41
Current children cumulated vsize (KiB) 2552044
[startup+25.5025 s]
/proc/loadavg: 24.22 27.56 28.85 33/447 19986
/proc/meminfo: memFree=253819748/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[pid=19946] ppid=19945 vsize=311604 CPUtime=25.48 cores=0
/proc/19946/stat : 19946 (cryptominisat) R 19945 19945 19919 0 -1 4202496 74164 0 0 0 2529 19 0 0 25 0 1 0 596924622 319082496 66585 268435456000 4194304 4587354 140733823049296 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19946/statm: 77901 66585 336 96 0 74463 0
[pid=19947] ppid=19945 vsize=194536 CPUtime=25.48 cores=1
/proc/19947/stat : 19947 (clasp) R 19945 19945 19919 0 -1 4202496 57313 0 0 0 2535 13 0 0 25 0 1 0 596924622 199204864 44707 268435456000 4194304 4785740 140733892293040 18446744073709551615 4319116 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19947/statm: 48634 44707 338 145 0 45679 0
[pid=19948] ppid=19945 vsize=516548 CPUtime=25.48 cores=2
/proc/19948/stat : 19948 (TNM) R 19945 19945 19919 0 -1 4202496 31913 0 0 0 2540 8 0 0 25 0 1 0 596924622 528945152 31811 268435456000 134512640 134534564 4287659408 18446744073709551615 134528275 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19948/statm: 129137 31811 95 6 0 127802 0
[pid=19949] ppid=19945 vsize=604960 CPUtime=25.48 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4202496 306296 0 0 0 2482 66 0 0 25 0 1 0 596924622 619479040 104234 268435456000 4194304 4331988 140737137022704 18446744073709551615 4229471 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19949/statm: 151240 104234 172 34 0 149682 0
[pid=19950] ppid=19945 vsize=2651952 CPUtime=276.55 cores=4-31
/proc/19950/stat : 19950 (plingeling) S 19945 19945 19919 0 -1 4202496 870608 1237 0 0 27303 351 0 1 18 0 29 0 596924622 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/19950/statm: 662988 490630 159 40 0 661532 0
[pid=19950/tid=19959] ppid=19945 vsize=2651952 CPUtime=9.28 cores=4-31
/proc/19950/task/19959/stat : 19959 (plingeling) R 19945 19945 19919 0 -1 4202560 18869 1237 0 0 916 11 0 1 25 0 29 0 596926205 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4217733 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=19950/tid=19960] ppid=19945 vsize=2651952 CPUtime=9.27 cores=4-31
/proc/19950/task/19960/stat : 19960 (plingeling) R 19945 19945 19919 0 -1 4202560 19017 1237 0 0 915 11 0 1 22 0 29 0 596926205 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4276072 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19950/tid=19961] ppid=19945 vsize=2651952 CPUtime=9.18 cores=4-31
/proc/19950/task/19961/stat : 19961 (plingeling) R 19945 19945 19919 0 -1 4202560 17598 1237 0 0 911 6 0 1 25 0 29 0 596926205 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4232856 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19950/tid=19962] ppid=19945 vsize=2651952 CPUtime=9.35 cores=4-31
/proc/19950/task/19962/stat : 19962 (plingeling) R 19945 19945 19919 0 -1 4202560 15553 1237 0 0 928 6 0 1 25 0 29 0 596926205 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19950/tid=19963] ppid=19945 vsize=2651952 CPUtime=9.18 cores=4-31
/proc/19950/task/19963/stat : 19963 (plingeling) R 19945 19945 19919 0 -1 4202560 17196 1237 0 0 904 13 0 1 20 0 29 0 596926205 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4275290 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=19950/tid=19964] ppid=19945 vsize=2651952 CPUtime=9.29 cores=4-31
/proc/19950/task/19964/stat : 19964 (plingeling) R 19945 19945 19919 0 -1 4202560 18414 1237 0 0 917 11 0 1 25 0 29 0 596926205 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4308566 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19950/tid=19965] ppid=19945 vsize=2651952 CPUtime=9.24 cores=4-31
/proc/19950/task/19965/stat : 19965 (plingeling) R 19945 19945 19919 0 -1 4202560 21095 1237 0 0 908 15 0 1 25 0 29 0 596926205 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4231697 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19950/tid=19966] ppid=19945 vsize=2651952 CPUtime=9.38 cores=4-31
/proc/19950/task/19966/stat : 19966 (plingeling) R 19945 19945 19919 0 -1 4202560 16962 1237 0 0 932 5 0 1 25 0 29 0 596926206 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4306421 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19950/tid=19967] ppid=19945 vsize=2651952 CPUtime=9.25 cores=4-31
/proc/19950/task/19967/stat : 19967 (plingeling) R 19945 19945 19919 0 -1 4202560 26844 1237 0 0 909 15 0 1 19 0 29 0 596926206 2715598848 490630 268435456000 4194304 4356188 140736737818768 18446744073709551615 4230413 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=19950/tid=19968] ppid=19945 vsize=2651952 CPUtime=9.38 cores=4-31
################
# More data... #
################
[pid=19950/tid=19961] ppid=19945 vsize=2408880 CPUtime=40.37 cores=4-31
/proc/19950/task/19961/stat : 19961 (plingeling) R 19945 19945 19919 0 -1 4202560 21695 1237 0 0 4030 6 0 1 25 0 29 0 596926205 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331407 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19950/tid=19962] ppid=19945 vsize=2408880 CPUtime=40.54 cores=4-31
/proc/19950/task/19962/stat : 19962 (plingeling) R 19945 19945 19919 0 -1 4202560 17651 1237 0 0 4047 6 0 1 25 0 29 0 596926205 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19950/tid=19963] ppid=19945 vsize=2408880 CPUtime=40.36 cores=4-31
/proc/19950/task/19963/stat : 19963 (plingeling) R 19945 19945 19919 0 -1 4202560 23341 1237 0 0 4021 14 0 1 25 0 29 0 596926205 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331052 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=19950/tid=19964] ppid=19945 vsize=2408880 CPUtime=40.48 cores=4-31
/proc/19950/task/19964/stat : 19964 (plingeling) R 19945 19945 19919 0 -1 4202560 18414 1237 0 0 4035 12 0 1 25 0 29 0 596926205 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4334207 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19950/tid=19965] ppid=19945 vsize=2408880 CPUtime=40.42 cores=4-31
/proc/19950/task/19965/stat : 19965 (plingeling) R 19945 19945 19919 0 -1 4202560 23143 1237 0 0 4026 15 0 1 25 0 29 0 596926205 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330817 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19950/tid=19966] ppid=19945 vsize=2408880 CPUtime=40.58 cores=4-31
/proc/19950/task/19966/stat : 19966 (plingeling) R 19945 19945 19919 0 -1 4202560 16962 1237 0 0 4051 6 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19950/tid=19967] ppid=19945 vsize=2408880 CPUtime=40.45 cores=4-31
/proc/19950/task/19967/stat : 19967 (plingeling) R 19945 19945 19919 0 -1 4202560 26844 1237 0 0 4028 16 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=19950/tid=19968] ppid=19945 vsize=2408880 CPUtime=40.58 cores=4-31
/proc/19950/task/19968/stat : 19968 (plingeling) R 19945 19945 19919 0 -1 4202560 22301 1237 0 0 4043 14 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19950/tid=19969] ppid=19945 vsize=2408880 CPUtime=40.44 cores=4-31
/proc/19950/task/19969/stat : 19969 (plingeling) R 19945 19945 19919 0 -1 4202560 25702 1237 0 0 4034 9 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4261843 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19950/tid=19970] ppid=19945 vsize=2408880 CPUtime=40.77 cores=4-31
/proc/19950/task/19970/stat : 19970 (plingeling) R 19945 19945 19919 0 -1 4202560 14597 1237 0 0 4072 4 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19950/tid=19971] ppid=19945 vsize=2408880 CPUtime=40.42 cores=4-31
/proc/19950/task/19971/stat : 19971 (plingeling) R 19945 19945 19919 0 -1 4202560 25443 1237 0 0 4025 16 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331659 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19950/tid=19972] ppid=19945 vsize=2408880 CPUtime=40.47 cores=4-31
/proc/19950/task/19972/stat : 19972 (plingeling) R 19945 19945 19919 0 -1 4202560 20937 1237 0 0 4034 12 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4271109 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=19950/tid=19973] ppid=19945 vsize=2408880 CPUtime=40.49 cores=4-31
/proc/19950/task/19973/stat : 19973 (plingeling) R 19945 19945 19919 0 -1 4202560 19118 1237 0 0 4043 5 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=19950/tid=19974] ppid=19945 vsize=2408880 CPUtime=40.65 cores=4-31
/proc/19950/task/19974/stat : 19974 (plingeling) R 19945 19945 19919 0 -1 4202560 24903 1237 0 0 4056 8 0 1 25 0 29 0 596926206 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=19950/tid=19975] ppid=19945 vsize=2408880 CPUtime=40.73 cores=4-31
/proc/19950/task/19975/stat : 19975 (plingeling) R 19945 19945 19919 0 -1 4202560 21438 1237 0 0 4067 5 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4332322 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19950/tid=19976] ppid=19945 vsize=2408880 CPUtime=40.44 cores=4-31
/proc/19950/task/19976/stat : 19976 (plingeling) R 19945 19945 19919 0 -1 4202560 22184 1237 0 0 4030 13 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4234009 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19950/tid=19977] ppid=19945 vsize=2408880 CPUtime=39.39 cores=4-31
/proc/19950/task/19977/stat : 19977 (plingeling) R 19945 19945 19919 0 -1 4202560 13886 1237 0 0 3926 12 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4216490 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19950/tid=19978] ppid=19945 vsize=2408880 CPUtime=40.72 cores=4-31
/proc/19950/task/19978/stat : 19978 (plingeling) R 19945 19945 19919 0 -1 4202560 21880 1237 0 0 4064 7 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19950/tid=19979] ppid=19945 vsize=2408880 CPUtime=40.43 cores=4-31
/proc/19950/task/19979/stat : 19979 (plingeling) R 19945 19945 19919 0 -1 4202560 31058 1237 0 0 4024 18 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4245558 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19950/tid=19980] ppid=19945 vsize=2408880 CPUtime=40.39 cores=4-31
/proc/19950/task/19980/stat : 19980 (plingeling) R 19945 19945 19919 0 -1 4202560 18918 1237 0 0 4032 6 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19950/tid=19981] ppid=19945 vsize=2408880 CPUtime=40.65 cores=4-31
/proc/19950/task/19981/stat : 19981 (plingeling) R 19945 19945 19919 0 -1 4202560 20706 1237 0 0 4050 14 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=19950/tid=19982] ppid=19945 vsize=2408880 CPUtime=40.54 cores=4-31
/proc/19950/task/19982/stat : 19982 (plingeling) R 19945 19945 19919 0 -1 4202560 34367 1237 0 0 4044 9 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=19950/tid=19983] ppid=19945 vsize=2408880 CPUtime=40.44 cores=4-31
/proc/19950/task/19983/stat : 19983 (plingeling) R 19945 19945 19919 0 -1 4202560 25724 1237 0 0 4028 15 0 1 25 0 29 0 596926207 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19950/tid=19984] ppid=19945 vsize=2408880 CPUtime=40.47 cores=4-31
/proc/19950/task/19984/stat : 19984 (plingeling) R 19945 19945 19919 0 -1 4202560 20604 1237 0 0 4032 14 0 1 25 0 29 0 596926208 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=19950/tid=19985] ppid=19945 vsize=2408880 CPUtime=40.57 cores=4-31
/proc/19950/task/19985/stat : 19985 (plingeling) R 19945 19945 19919 0 -1 4202560 23605 1237 0 0 4047 9 0 1 25 0 29 0 596926208 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19950/tid=19986] ppid=19945 vsize=2408880 CPUtime=40.4 cores=4-31
/proc/19950/task/19986/stat : 19986 (plingeling) R 19945 19945 19919 0 -1 4202560 13845 1237 0 0 4034 5 0 1 25 0 29 0 596926208 2466693120 431889 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1375.67
Current children cumulated vsize (KiB) 4059344
[startup+57.1026 s]
/proc/loadavg: 27.71 28.06 28.97 33/447 19986
/proc/meminfo: memFree=254020340/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[pid=19946] ppid=19945 vsize=316096 CPUtime=57.1 cores=0
/proc/19946/stat : 19946 (cryptominisat) R 19945 19945 19919 0 -1 4202496 80471 0 0 0 5688 22 0 0 25 0 1 0 596924622 323682304 72500 268435456000 4194304 4587354 140733823049296 18446744073709551615 4238568 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19946/statm: 79024 72500 336 96 0 75586 0
[pid=19947] ppid=19945 vsize=194536 CPUtime=57.1 cores=1
/proc/19947/stat : 19947 (clasp) R 19945 19945 19919 0 -1 4202496 57324 0 0 0 5697 13 0 0 25 0 1 0 596924622 199204864 44718 268435456000 4194304 4785740 140733892293040 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19947/statm: 48634 44718 338 145 0 45679 0
[pid=19948] ppid=19945 vsize=516548 CPUtime=57.1 cores=2
/proc/19948/stat : 19948 (TNM) R 19945 19945 19919 0 -1 4202496 31913 0 0 0 5702 8 0 0 25 0 1 0 596924622 528945152 31811 268435456000 134512640 134534564 4287659408 18446744073709551615 134528741 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19948/statm: 129137 31811 95 6 0 127802 0
[pid=19949] ppid=19945 vsize=604960 CPUtime=57.1 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4202496 306296 0 0 0 5644 66 0 0 25 0 1 0 596924622 619479040 104234 268435456000 4194304 4331988 140737137022704 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19949/statm: 151240 104234 172 34 0 149682 0
[pid=19950] ppid=19945 vsize=2376056 CPUtime=1160.76 cores=4-31
/proc/19950/stat : 19950 (plingeling) S 19945 19945 19919 0 -1 4202496 952978 1237 0 0 115698 377 0 1 18 0 29 0 596924622 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/19950/statm: 594014 423683 159 40 0 592558 0
[pid=19950/tid=19959] ppid=19945 vsize=2376056 CPUtime=40.89 cores=4-31
/proc/19950/task/19959/stat : 19959 (plingeling) R 19945 19945 19919 0 -1 4202560 22966 1237 0 0 4076 12 0 1 25 0 29 0 596926205 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=19950/tid=19960] ppid=19945 vsize=2376056 CPUtime=40.89 cores=4-31
/proc/19950/task/19960/stat : 19960 (plingeling) R 19945 19945 19919 0 -1 4202560 25162 1237 0 0 4075 13 0 1 25 0 29 0 596926205 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4244400 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19950/tid=19961] ppid=19945 vsize=2376056 CPUtime=40.79 cores=4-31
/proc/19950/task/19961/stat : 19961 (plingeling) R 19945 19945 19919 0 -1 4202560 21695 1237 0 0 4072 6 0 1 25 0 29 0 596926205 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19950/tid=19962] ppid=19945 vsize=2376056 CPUtime=40.96 cores=4-31
/proc/19950/task/19962/stat : 19962 (plingeling) R 19945 19945 19919 0 -1 4202560 17651 1237 0 0 4089 6 0 1 25 0 29 0 596926205 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19950/tid=19963] ppid=19945 vsize=2376056 CPUtime=40.78 cores=4-31
/proc/19950/task/19963/stat : 19963 (plingeling) R 19945 19945 19919 0 -1 4202560 23341 1237 0 0 4063 14 0 1 25 0 29 0 596926205 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=19950/tid=19964] ppid=19945 vsize=2376056 CPUtime=40.91 cores=4-31
/proc/19950/task/19964/stat : 19964 (plingeling) R 19945 19945 19919 0 -1 4202560 18414 1237 0 0 4078 12 0 1 25 0 29 0 596926205 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4332037 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19950/tid=19965] ppid=19945 vsize=2376056 CPUtime=40.84 cores=4-31
/proc/19950/task/19965/stat : 19965 (plingeling) R 19945 19945 19919 0 -1 4202560 23143 1237 0 0 4068 15 0 1 25 0 29 0 596926205 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19950/tid=19966] ppid=19945 vsize=2376056 CPUtime=41 cores=4-31
/proc/19950/task/19966/stat : 19966 (plingeling) R 19945 19945 19919 0 -1 4202560 16962 1237 0 0 4093 6 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19950/tid=19967] ppid=19945 vsize=2376056 CPUtime=40.87 cores=4-31
/proc/19950/task/19967/stat : 19967 (plingeling) R 19945 19945 19919 0 -1 4202560 26844 1237 0 0 4070 16 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=19950/tid=19968] ppid=19945 vsize=2376056 CPUtime=41 cores=4-31
/proc/19950/task/19968/stat : 19968 (plingeling) R 19945 19945 19919 0 -1 4202560 22301 1237 0 0 4085 14 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19950/tid=19969] ppid=19945 vsize=2376056 CPUtime=40.87 cores=4-31
/proc/19950/task/19969/stat : 19969 (plingeling) R 19945 19945 19919 0 -1 4202560 25702 1237 0 0 4077 9 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19950/tid=19970] ppid=19945 vsize=2376056 CPUtime=41.2 cores=4-31
/proc/19950/task/19970/stat : 19970 (plingeling) R 19945 19945 19919 0 -1 4202560 14597 1237 0 0 4115 4 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4242611 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19950/tid=19971] ppid=19945 vsize=2376056 CPUtime=40.85 cores=4-31
/proc/19950/task/19971/stat : 19971 (plingeling) R 19945 19945 19919 0 -1 4202560 25443 1237 0 0 4068 16 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19950/tid=19972] ppid=19945 vsize=2376056 CPUtime=40.89 cores=4-31
/proc/19950/task/19972/stat : 19972 (plingeling) R 19945 19945 19919 0 -1 4202560 20937 1237 0 0 4076 12 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4245442 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=19950/tid=19973] ppid=19945 vsize=2376056 CPUtime=40.91 cores=4-31
/proc/19950/task/19973/stat : 19973 (plingeling) R 19945 19945 19919 0 -1 4202560 19118 1237 0 0 4085 5 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4334545 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=19950/tid=19974] ppid=19945 vsize=2376056 CPUtime=41.07 cores=4-31
/proc/19950/task/19974/stat : 19974 (plingeling) R 19945 19945 19919 0 -1 4202560 24903 1237 0 0 4098 8 0 1 25 0 29 0 596926206 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=19950/tid=19975] ppid=19945 vsize=2376056 CPUtime=41.15 cores=4-31
/proc/19950/task/19975/stat : 19975 (plingeling) R 19945 19945 19919 0 -1 4202560 21438 1237 0 0 4109 5 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4250782 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19950/tid=19976] ppid=19945 vsize=2376056 CPUtime=40.86 cores=4-31
/proc/19950/task/19976/stat : 19976 (plingeling) R 19945 19945 19919 0 -1 4202560 22184 1237 0 0 4072 13 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4246611 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19950/tid=19977] ppid=19945 vsize=2376056 CPUtime=39.79 cores=4-31
/proc/19950/task/19977/stat : 19977 (plingeling) R 19945 19945 19919 0 -1 4202560 13886 1237 0 0 3966 12 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4217733 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19950/tid=19978] ppid=19945 vsize=2376056 CPUtime=41.15 cores=4-31
/proc/19950/task/19978/stat : 19978 (plingeling) R 19945 19945 19919 0 -1 4202560 21880 1237 0 0 4107 7 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19950/tid=19979] ppid=19945 vsize=2376056 CPUtime=40.85 cores=4-31
/proc/19950/task/19979/stat : 19979 (plingeling) R 19945 19945 19919 0 -1 4202560 31058 1237 0 0 4066 18 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19950/tid=19980] ppid=19945 vsize=2376056 CPUtime=40.81 cores=4-31
/proc/19950/task/19980/stat : 19980 (plingeling) R 19945 19945 19919 0 -1 4202560 18918 1237 0 0 4074 6 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4219668 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19950/tid=19981] ppid=19945 vsize=2376056 CPUtime=41.07 cores=4-31
/proc/19950/task/19981/stat : 19981 (plingeling) R 19945 19945 19919 0 -1 4202560 20706 1237 0 0 4092 14 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=19950/tid=19982] ppid=19945 vsize=2376056 CPUtime=40.96 cores=4-31
/proc/19950/task/19982/stat : 19982 (plingeling) R 19945 19945 19919 0 -1 4202560 34367 1237 0 0 4086 9 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4262915 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=19950/tid=19983] ppid=19945 vsize=2376056 CPUtime=40.86 cores=4-31
/proc/19950/task/19983/stat : 19983 (plingeling) R 19945 19945 19919 0 -1 4202560 25724 1237 0 0 4070 15 0 1 25 0 29 0 596926207 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19950/tid=19984] ppid=19945 vsize=2376056 CPUtime=40.9 cores=4-31
/proc/19950/task/19984/stat : 19984 (plingeling) R 19945 19945 19919 0 -1 4202560 20604 1237 0 0 4075 14 0 1 25 0 29 0 596926208 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=19950/tid=19985] ppid=19945 vsize=2376056 CPUtime=40.99 cores=4-31
/proc/19950/task/19985/stat : 19985 (plingeling) R 19945 19945 19919 0 -1 4202560 23605 1237 0 0 4089 9 0 1 25 0 29 0 596926208 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19950/tid=19986] ppid=19945 vsize=2376056 CPUtime=40.82 cores=4-31
/proc/19950/task/19986/stat : 19986 (plingeling) R 19945 19945 19919 0 -1 4202560 13845 1237 0 0 4076 5 0 1 25 0 29 0 596926208 2433081344 423683 268435456000 4194304 4356188 140736737818768 18446744073709551615 4242762 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1389.16
Current children cumulated vsize (KiB) 4026520
[startup+57.5017 s]
/proc/loadavg: 27.71 28.06 28.97 33/447 19986
/proc/meminfo: memFree=254020340/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=0 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 596924621 18763776 385 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 8847910673057841151 0 0 17 4 0 0 0
/proc/19945/statm: 4581 385 337 23 0 91 0
[pid=19946] ppid=19945 vsize=316096 CPUtime=57.48 cores=0
/proc/19946/stat : 19946 (cryptominisat) R 19945 19945 19919 0 -1 4202496 80501 0 0 0 5726 22 0 0 25 0 1 0 596924622 323682304 72530 268435456000 4194304 4587354 140733823049296 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/19946/statm: 79024 72530 336 96 0 75586 0
[pid=19947] ppid=19945 vsize=194536 CPUtime=57.47 cores=1
/proc/19947/stat : 19947 (clasp) R 19945 19945 19919 0 -1 4202496 57324 0 0 0 5734 13 0 0 25 0 1 0 596924622 199204864 44718 268435456000 4194304 4785740 140733892293040 18446744073709551615 4312763 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19947/statm: 48634 44718 338 145 0 45679 0
[pid=19948] ppid=19945 vsize=516548 CPUtime=57.48 cores=2
/proc/19948/stat : 19948 (TNM) R 19945 19945 19919 0 -1 4202496 31913 0 0 0 5740 8 0 0 25 0 1 0 596924622 528945152 31811 268435456000 134512640 134534564 4287659408 18446744073709551615 134530701 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19948/statm: 129137 31811 95 6 0 127802 0
[pid=19949] ppid=19945 vsize=604960 CPUtime=57.48 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4202496 306296 0 0 0 5682 66 0 0 25 0 1 0 596924622 619479040 104234 268435456000 4194304 4331988 140737137022704 18446744073709551615 4229564 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19949/statm: 151240 104234 172 34 0 149682 0
[pid=19950] ppid=19945 vsize=1104580 CPUtime=1166.21 cores=4-31
/proc/19950/stat : 19950 (plingeling) R 19945 19945 19919 0 -1 4202496 952979 1237 0 0 116235 385 0 1 16 0 1 0 596924622 1131089920 165180 268435456000 4194304 4356188 140736737818768 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 22 0 0 0
/proc/19950/statm: 276145 165180 160 40 0 274689 0
Current children cumulated CPU time (s) 1396.12
Current children cumulated vsize (KiB) 2755044
[startup+57.6018 s]
/proc/loadavg: 27.71 28.06 28.97 33/447 19986
/proc/meminfo: memFree=254020340/264257624 swapFree=67111528/67111528
[pid=19945] ppid=19943 vsize=18324 CPUtime=1338.98 cores=0-31
/proc/19945/stat : 19945 (ppfolio) S 19943 19945 19919 0 -1 4202496 511 1123961 0 0 0 0 133455 443 15 0 1 0 596924621 18763776 386 268435456000 4194304 4287625 140735125904096 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 4 0 0 0
/proc/19945/statm: 4581 386 338 23 0 91 0
[pid=19949] ppid=19945 vsize=0 CPUtime=57.58 cores=3
/proc/19949/stat : 19949 (march_hi) R 19945 19945 19919 0 -1 4203524 306296 0 0 0 5688 70 0 0 25 0 1 0 596924622 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/19949/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1396.56
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 57.6054
CPU time (s): 1396.58
CPU user time (s): 1391.44
CPU system time (s): 5.14022
CPU usage (%): 2424.39
Max. virtual memory (cumulated for all children) (KiB): 4627272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1391.44
system time used= 5.14022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1430787
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= 3565
involuntary context switches= 3411
runsolver used 0.301954 second user time and 1.20682 second system time
The end
Begin job on node200 at 2011-05-08 13:33:02
IDJOB=3347217
IDBENCH=69619
IDSOLVER=1808
FILE ID=node200/3347217-1304854381
RUNJOBID= node200-1304854381-19933
PBS_JOBID= 13281984
Free space on /tmp= 62036 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347217-1304854381/watcher-3347217-1304854381 -o /tmp/evaluation-result-3347217-1304854381/solver-3347217-1304854381 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347217-1304854381.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=366205908
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: 256732236 kB
Buffers: 358984 kB
Cached: 6810888 kB
SwapCached: 0 kB
Active: 6345796 kB
Inactive: 892584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256732236 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26960 kB
Writeback: 0 kB
AnonPages: 68904 kB
Mapped: 14480 kB
Slab: 191976 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186680 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-08 13:34:00