runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457082-1307216112/watcher-3457082-1307216112 -o /tmp/evaluation-result-3457082-1307216112/solver-3457082-1307216112 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457082-1307216112.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.16 0.48 2/572 18387
/proc/meminfo: memFree=21385744/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 2960 0 1 0 0 0 0 0 19 0 2 0 833208286 10681323520 2661 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2607745 2673 906 9 0 2598901 0
[pid=18387/tid=18388] ppid=18385 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 6070 0 1 0 0 0 0 0 20 0 2 0 833208287 10694979584 6886 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0633499 s]
/proc/loadavg: 2.00 1.16 0.48 2/572 18387
/proc/meminfo: memFree=21385744/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10538292 CPUtime=0.05 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 11620 0 1 0 3 2 0 0 19 0 18 0 833208286 10791211008 11316 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2634573 11316 1722 9 0 2625321 0
[pid=18387/tid=18388] ppid=18385 vsize=10538292 CPUtime=0.04 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 10444 0 1 0 3 1 0 0 21 0 18 0 833208287 10791211008 11316 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 46912505179452 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538292
[startup+0.100383 s]
/proc/loadavg: 2.00 1.16 0.48 2/572 18387
/proc/meminfo: memFree=21385744/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10539768 CPUtime=0.1 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 12967 0 1 0 8 2 0 0 19 0 18 0 833208286 10792722432 12627 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2634942 12627 2092 9 0 2625676 0
[pid=18387/tid=18388] ppid=18385 vsize=10539768 CPUtime=0.07 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 10999 0 1 0 6 1 0 0 21 0 18 0 833208287 10792722432 12627 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488521675 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539768
[startup+0.300306 s]
/proc/loadavg: 2.00 1.16 0.48 2/572 18387
/proc/meminfo: memFree=21385744/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10541028 CPUtime=0.39 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 15083 0 1 0 37 2 0 0 19 0 18 0 833208286 10794012672 14501 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2635257 14501 2197 9 0 2625991 0
[pid=18387/tid=18388] ppid=18385 vsize=10541028 CPUtime=0.24 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 12329 0 1 0 22 2 0 0 21 0 18 0 833208287 10794012672 14501 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 46912505166945 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 10541028
[startup+0.70023 s]
/proc/loadavg: 2.00 1.16 0.48 2/572 18387
/proc/meminfo: memFree=21385744/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10556824 CPUtime=1.35 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 36941 0 1 0 130 5 0 0 19 0 19 0 833208286 10810187776 32147 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2639206 32150 2221 9 0 2629940 0
[pid=18387/tid=18388] ppid=18385 vsize=10556824 CPUtime=0.57 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 24265 0 1 0 54 3 0 0 23 0 19 0 833208287 10810187776 32151 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 46912505672725 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 10556824
[startup+1.50717 s]
/proc/loadavg: 2.00 1.16 0.48 4/591 18406
/proc/meminfo: memFree=21170300/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10556824 CPUtime=2.82 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 113154 0 1 0 268 14 0 0 19 0 19 0 833208286 10810187776 107612 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2639206 107618 2225 9 0 2629940 0
[pid=18387/tid=18388] ppid=18385 vsize=10556824 CPUtime=1.38 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 99332 0 1 0 126 12 0 0 18 0 19 0 833208287 10810187776 107621 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 46912505665546 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18387/tid=18390] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18390/stat : 18390 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833208289 10810187776 107625 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18391] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18391/stat : 18391 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833208289 10810187776 107628 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18392] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18392/stat : 18392 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 107631 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18393] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18393/stat : 18393 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 107634 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18394] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18394/stat : 18394 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833208289 10810187776 107637 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18395] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18395/stat : 18395 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 107639 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18396] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18396/stat : 18396 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 107641 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18397] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18397/stat : 18397 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 107642 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18398] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18398/stat : 18398 (java) S 18385 18387 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833208290 10810187776 107644 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 0 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18399] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18399/stat : 18399 (java) S 18385 18387 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 107646 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18400] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18400/stat : 18400 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 107648 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18401] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18401/stat : 18401 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833208292 10810187776 107651 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488518577 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18402] ppid=18385 vsize=10556824 CPUtime=0.67 cores=1,3,5,7
/proc/18387/task/18402/stat : 18402 (java) R 18385 18387 18279 0 -1 4202560 7882 0 0 0 66 1 0 0 15 0 19 0 833208292 10810187776 107652 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 47254941688566 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18387/tid=18403] ppid=18385 vsize=10556824 CPUtime=0.74 cores=1,3,5,7
/proc/18387/task/18403/stat : 18403 (java) S 18385 18387 18279 0 -1 4202560 4788 0 0 0 74 0 0 0 15 0 19 0 833208292 10810187776 107654 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18404] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18404/stat : 18404 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833208292 10810187776 107656 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18405] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18405/stat : 18405 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833208292 10810187776 107657 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 5 0 0 0
[pid=18387/tid=18406] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18406/stat : 18406 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833208322 10810187776 107659 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10556824
Solver just ended. Dumping a history of the last processes samples
[startup+2.30099 s]
/proc/loadavg: 2.00 1.16 0.48 3/591 18406
/proc/meminfo: memFree=20703440/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10556824 CPUtime=3.63 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 200207 0 1 0 341 22 0 0 19 0 19 0 833208286 10810187776 194428 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2639206 194432 2225 9 0 2629940 0
[pid=18387/tid=18388] ppid=18385 vsize=10556824 CPUtime=2.17 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 186379 0 1 0 197 20 0 0 18 0 19 0 833208287 10810187776 194435 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 46912505714374 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18387/tid=18390] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18390/stat : 18390 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833208289 10810187776 194438 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18391] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18391/stat : 18391 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833208289 10810187776 194441 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18392] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18392/stat : 18392 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 194444 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18393] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18393/stat : 18393 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 194446 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18394] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18394/stat : 18394 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833208289 10810187776 194449 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18395] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18395/stat : 18395 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 194452 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18396] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18396/stat : 18396 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 194455 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18397] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18397/stat : 18397 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 194458 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18398] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18398/stat : 18398 (java) S 18385 18387 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833208290 10810187776 194461 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 0 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18399] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18399/stat : 18399 (java) S 18385 18387 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 194464 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18400] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18400/stat : 18400 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 194467 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18401] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18401/stat : 18401 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833208292 10810187776 194470 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488518577 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18402] ppid=18385 vsize=10556824 CPUtime=0.7 cores=1,3,5,7
/proc/18387/task/18402/stat : 18402 (java) S 18385 18387 18279 0 -1 4202560 7887 0 0 0 69 1 0 0 15 0 19 0 833208292 10810187776 194473 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18403] ppid=18385 vsize=10556824 CPUtime=0.74 cores=1,3,5,7
/proc/18387/task/18403/stat : 18403 (java) S 18385 18387 18279 0 -1 4202560 4788 0 0 0 74 0 0 0 15 0 19 0 833208292 10810187776 194476 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18404] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18404/stat : 18404 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833208292 10810187776 194478 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18405] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18405/stat : 18405 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833208292 10810187776 194481 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 5 0 0 0
[pid=18387/tid=18406] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18406/stat : 18406 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833208322 10810187776 194484 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 10556824
[startup+2.70091 s]
/proc/loadavg: 2.00 1.16 0.48 3/591 18406
/proc/meminfo: memFree=20703440/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10556824 CPUtime=4.04 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 247590 0 1 0 376 28 0 0 19 0 19 0 833208286 10810187776 241810 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2639206 241813 2225 9 0 2629940 0
[pid=18387/tid=18388] ppid=18385 vsize=10556824 CPUtime=2.57 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 233759 0 1 0 231 26 0 0 18 0 19 0 833208287 10810187776 241815 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 46912505681973 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18387/tid=18390] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18390/stat : 18390 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833208289 10810187776 241817 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18391] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18391/stat : 18391 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833208289 10810187776 241820 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18392] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18392/stat : 18392 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 241822 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18393] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18393/stat : 18393 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 241824 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18394] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18394/stat : 18394 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833208289 10810187776 241825 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18395] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18395/stat : 18395 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 241826 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18396] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18396/stat : 18396 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 241827 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18397] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18397/stat : 18397 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 241827 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18398] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18398/stat : 18398 (java) S 18385 18387 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833208290 10810187776 241827 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 0 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18399] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18399/stat : 18399 (java) S 18385 18387 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 241828 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18400] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18400/stat : 18400 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 241830 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18401] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18401/stat : 18401 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833208292 10810187776 241832 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488518577 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18402] ppid=18385 vsize=10556824 CPUtime=0.7 cores=1,3,5,7
/proc/18387/task/18402/stat : 18402 (java) S 18385 18387 18279 0 -1 4202560 7887 0 0 0 69 1 0 0 15 0 19 0 833208292 10810187776 241835 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18403] ppid=18385 vsize=10556824 CPUtime=0.74 cores=1,3,5,7
/proc/18387/task/18403/stat : 18403 (java) S 18385 18387 18279 0 -1 4202560 4788 0 0 0 74 0 0 0 15 0 19 0 833208292 10810187776 241837 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18404] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18404/stat : 18404 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833208292 10810187776 241839 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18405] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18405/stat : 18405 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833208292 10810187776 241842 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 5 0 0 0
[pid=18387/tid=18406] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18406/stat : 18406 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833208322 10810187776 241845 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10556824
[startup+2.8009 s]
/proc/loadavg: 2.00 1.16 0.48 3/591 18406
/proc/meminfo: memFree=20703440/32950928 swapFree=67056580/67111528
[pid=18387] ppid=18385 vsize=10556824 CPUtime=4.14 cores=1,3,5,7
/proc/18387/stat : 18387 (java) S 18385 18387 18279 0 -1 4202496 257318 0 1 0 385 29 0 0 19 0 19 0 833208286 10810187776 251538 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18387/statm: 2639206 251543 2225 9 0 2629940 0
[pid=18387/tid=18388] ppid=18385 vsize=10556824 CPUtime=2.68 cores=1,3,5,7
/proc/18387/task/18388/stat : 18388 (java) R 18385 18387 18279 0 -1 4202560 243490 0 1 0 241 27 0 0 18 0 19 0 833208287 10810187776 251546 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 46912505672786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18387/tid=18390] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18390/stat : 18390 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833208289 10810187776 251549 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18391] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18391/stat : 18391 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 833208289 10810187776 251552 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18392] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18392/stat : 18392 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 251554 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18393] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18393/stat : 18393 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 833208289 10810187776 251557 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18394] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18394/stat : 18394 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833208289 10810187776 251560 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18395] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18395/stat : 18395 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 251562 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18396] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18396/stat : 18396 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 251565 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18397] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18397/stat : 18397 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833208289 10810187776 251568 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18398] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18398/stat : 18398 (java) S 18385 18387 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833208290 10810187776 251570 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 0 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18399] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18399/stat : 18399 (java) S 18385 18387 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 251573 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18400] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18400/stat : 18400 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833208290 10810187776 251576 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18401] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18401/stat : 18401 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833208292 10810187776 251577 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488518577 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18402] ppid=18385 vsize=10556824 CPUtime=0.7 cores=1,3,5,7
/proc/18387/task/18402/stat : 18402 (java) S 18385 18387 18279 0 -1 4202560 7887 0 0 0 69 1 0 0 15 0 19 0 833208292 10810187776 251579 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
[pid=18387/tid=18403] ppid=18385 vsize=10556824 CPUtime=0.74 cores=1,3,5,7
/proc/18387/task/18403/stat : 18403 (java) S 18385 18387 18279 0 -1 4202560 4788 0 0 0 74 0 0 0 15 0 19 0 833208292 10810187776 251581 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18404] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18404/stat : 18404 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 833208292 10810187776 251583 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488510873 0 4 0 16800975 18446604466125451328 0 0 -1 7 0 0 0
[pid=18387/tid=18405] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18405/stat : 18405 (java) S 18385 18387 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833208292 10810187776 251584 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 5 0 0 0
[pid=18387/tid=18406] ppid=18385 vsize=10556824 CPUtime=0 cores=1,3,5,7
/proc/18387/task/18406/stat : 18406 (java) S 18385 18387 18279 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 833208322 10810187776 251586 33554432000 1073741824 1073778376 140734984600400 18446744073709551615 239488511488 0 4 0 16800975 18446604466125451328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 10556824
Child status: 10
Real time (s): 2.89183
CPU time (s): 4.23835
CPU user time (s): 3.89941
CPU system time (s): 0.338948
CPU usage (%): 146.563
Max. virtual memory (cumulated for all children) (KiB): 10556824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.89941
system time used= 0.338948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261489
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 434
involuntary context switches= 262
runsolver used 0.018997 second user time and 0.045993 second system time
The end