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-3457116-1307633360/watcher-3457116-1307633360 -o /tmp/evaluation-result-3457116-1307633360/solver-3457116-1307633360 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457116-1307633360.opb
running on 4 cores: 0,2,4,6
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: 1.26 0.34 0.11 3/194 12675
/proc/meminfo: memFree=30335320/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=24008 CPUtime=0 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 1129 0 0 0 0 0 0 0 25 0 2 0 953566664 24584192 867 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 6001 877 664 9 0 381 0
[pid=12675/tid=12676] ppid=12673 vsize=26140 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 2 0 953566665 26767360 888 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224279963292 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.0319211 s]
/proc/loadavg: 1.26 0.34 0.11 3/194 12675
/proc/meminfo: memFree=30335320/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10464264 CPUtime=0.02 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 10895 0 1 0 1 1 0 0 25 0 10 0 953566664 10715406336 10594 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2616066 10595 1561 9 0 2606814 0
[pid=12675/tid=12676] ppid=12673 vsize=10464264 CPUtime=0.02 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 9778 0 1 0 1 1 0 0 25 0 10 0 953566665 10715406336 10599 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224284951658 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10464264
[startup+0.100916 s]
/proc/loadavg: 1.26 0.34 0.11 3/194 12675
/proc/meminfo: memFree=30335320/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10540360 CPUtime=0.1 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 13098 0 1 0 8 2 0 0 25 0 18 0 953566664 10793328640 12761 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2635090 12762 2092 9 0 2625824 0
[pid=12675/tid=12676] ppid=12673 vsize=10540360 CPUtime=0.09 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 11144 0 1 0 7 2 0 0 25 0 18 0 953566665 10793328640 12762 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296752587 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540360
[startup+0.304877 s]
/proc/loadavg: 1.26 0.34 0.11 3/194 12675
/proc/meminfo: memFree=30335320/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10546232 CPUtime=0.56 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 17070 0 1 0 53 3 0 0 25 0 19 0 953566664 10799341568 16054 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2636558 16054 2207 9 0 2627292 0
[pid=12675/tid=12676] ppid=12673 vsize=10546232 CPUtime=0.29 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 12506 0 1 0 27 2 0 0 18 0 19 0 953566665 10799341568 16054 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 46912505217379 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10546232
[startup+0.70081 s]
/proc/loadavg: 1.26 0.34 0.11 3/194 12675
/proc/meminfo: memFree=30335320/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10558680 CPUtime=1.74 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 37343 0 1 0 168 6 0 0 25 0 19 0 953566664 10812088320 33341 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2639670 33344 2223 9 0 2630404 0
[pid=12675/tid=12676] ppid=12673 vsize=10558680 CPUtime=0.68 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 23856 0 1 0 64 4 0 0 18 0 19 0 953566665 10812088320 33346 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 46912505635946 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 10558680
[startup+1.50072 s]
/proc/loadavg: 1.26 0.34 0.11 4/213 12694
/proc/meminfo: memFree=29621572/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10558680 CPUtime=2.84 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 91808 0 1 0 271 13 0 0 25 0 19 0 953566664 10812088320 87028 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2639670 87030 2228 9 0 2630404 0
[pid=12675/tid=12676] ppid=12673 vsize=10558680 CPUtime=1.48 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 77501 0 1 0 138 10 0 0 18 0 19 0 953566665 10812088320 87031 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 46912506120738 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87034 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87035 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87037 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87038 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87039 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87039 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87040 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 87041 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 12325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 953566667 10812088320 87042 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 0 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953566668 10812088320 87043 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953566668 10812088320 87048 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10812088320 87052 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296749489 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=10558680 CPUtime=0.68 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 12325 0 -1 4202560 6034 0 0 0 68 0 0 0 15 0 19 0 953566670 10812088320 87053 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=10558680 CPUtime=0.63 cores=0,2,4,6
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 12325 0 -1 4202560 7115 0 0 0 63 0 0 0 15 0 19 0 953566670 10812088320 87055 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10812088320 87056 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953566670 10812088320 87058 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953566687 10812088320 87059 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 10558680
[startup+3.10144 s]
/proc/loadavg: 1.26 0.34 0.11 4/193 12703
/proc/meminfo: memFree=31751288/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10558680 CPUtime=4.45 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 205127 0 1 0 420 25 0 0 25 0 19 0 953566664 10812088320 200346 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2639670 200349 2228 9 0 2630404 0
[pid=12675/tid=12676] ppid=12673 vsize=10558680 CPUtime=3.09 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 190819 0 1 0 286 23 0 0 20 0 19 0 953566665 10812088320 200349 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 46912505694278 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200351 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200353 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200355 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200356 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200358 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200360 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200361 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 200363 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 12325 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 953566667 10812088320 200365 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 0 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953566668 10812088320 200367 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953566668 10812088320 200369 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10812088320 200371 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296749489 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=10558680 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 12325 0 -1 4202560 6034 0 0 0 69 0 0 0 15 0 19 0 953566670 10812088320 200373 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=10558680 CPUtime=0.65 cores=0,2,4,6
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 12325 0 -1 4202560 7115 0 0 0 65 0 0 0 15 0 19 0 953566670 10812088320 200374 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10812088320 200375 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953566670 10812088320 200377 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953566687 10812088320 200378 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 10558680
Solver just ended. Dumping a history of the last processes samples
[startup+4.70117 s]
/proc/loadavg: 1.32 0.37 0.12 3/193 12703
/proc/meminfo: memFree=31094708/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10558680 CPUtime=6.06 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 333258 0 1 0 567 39 0 0 25 0 19 0 953566664 10812088320 328475 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2639670 328480 2228 9 0 2630404 0
[pid=12675/tid=12676] ppid=12673 vsize=10558680 CPUtime=4.68 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 318954 0 1 0 431 37 0 0 19 0 19 0 953566665 10812088320 328482 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 46912505654556 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328484 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328486 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328489 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328491 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328494 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328497 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328499 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10812088320 328501 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 12325 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 953566667 10812088320 328503 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 0 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953566668 10812088320 328505 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953566668 10812088320 328508 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10812088320 328510 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296749489 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=10558680 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 12325 0 -1 4202560 6034 0 0 0 69 0 0 0 15 0 19 0 953566670 10812088320 328512 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=10558680 CPUtime=0.65 cores=0,2,4,6
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 12325 0 -1 4202560 7115 0 0 0 65 0 0 0 15 0 19 0 953566670 10812088320 328514 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10812088320 328517 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953566670 10812088320 328519 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=10558680 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953566687 10812088320 328521 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 10558680
[startup+5.50703 s]
/proc/loadavg: 1.32 0.37 0.12 3/193 12703
/proc/meminfo: memFree=30670644/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10555200 CPUtime=6.86 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 414916 0 1 0 638 48 0 0 25 0 19 0 953566664 10808524800 409286 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2638800 409291 2228 9 0 2629534 0
[pid=12675/tid=12676] ppid=12673 vsize=10555200 CPUtime=5.49 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 400612 0 1 0 503 46 0 0 20 0 19 0 953566665 10808524800 409293 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 46912505654552 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409296 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409298 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409300 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409303 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409306 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409308 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409311 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 409313 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 12325 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 953566667 10808524800 409316 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 0 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953566668 10808524800 409319 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953566668 10808524800 409322 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10808524800 409324 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296749489 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=10555200 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 12325 0 -1 4202560 6034 0 0 0 69 0 0 0 15 0 19 0 953566670 10808524800 409326 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=10555200 CPUtime=0.65 cores=0,2,4,6
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 12325 0 -1 4202560 7115 0 0 0 65 0 0 0 15 0 19 0 953566670 10808524800 409329 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10808524800 409332 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953566670 10808524800 409335 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953566687 10808524800 409337 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 10555200
[startup+5.90097 s]
/proc/loadavg: 1.32 0.37 0.12 3/193 12703
/proc/meminfo: memFree=30670644/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=10555200 CPUtime=7.28 cores=0,2,4,6
/proc/12675/stat : 12675 (java) S 12673 12675 12325 0 -1 4202496 447818 0 1 0 676 52 0 0 25 0 19 0 953566664 10808524800 442188 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 2638800 442191 2231 9 0 2629534 0
[pid=12675/tid=12676] ppid=12673 vsize=10555200 CPUtime=5.89 cores=0,2,4,6
/proc/12675/task/12676/stat : 12676 (java) R 12673 12675 12325 0 -1 4202560 433503 0 1 0 539 50 0 0 21 0 19 0 953566665 10808524800 442192 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 46912505654556 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12678/stat : 12678 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442194 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12679] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12679/stat : 12679 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442196 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12680] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12680/stat : 12680 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442197 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12681] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12681/stat : 12681 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442199 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12682] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12682/stat : 12682 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442201 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12683] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12683/stat : 12683 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442203 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12684] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12684/stat : 12684 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442205 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566666 10808524800 442206 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12686] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12686/stat : 12686 (java) S 12673 12675 12325 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 953566667 10808524800 442208 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 0 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12687] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12687/stat : 12687 (java) S 12673 12675 12325 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953566668 10808524800 442209 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12688] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12688/stat : 12688 (java) S 12673 12675 12325 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 953566668 10808524800 442211 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
[pid=12675/tid=12689] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12689/stat : 12689 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10808524800 442212 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296749489 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12690] ppid=12673 vsize=10555200 CPUtime=0.69 cores=0,2,4,6
/proc/12675/task/12690/stat : 12690 (java) S 12673 12675 12325 0 -1 4202560 6034 0 0 0 69 0 0 0 15 0 19 0 953566670 10808524800 442214 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12691] ppid=12673 vsize=10555200 CPUtime=0.67 cores=0,2,4,6
/proc/12675/task/12691/stat : 12691 (java) S 12673 12675 12325 0 -1 4202560 7123 0 0 0 67 0 0 0 15 0 19 0 953566670 10808524800 442215 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 2 0 0 0
[pid=12675/tid=12692] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12692/stat : 12692 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953566670 10808524800 442217 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296741785 0 4 0 16800975 18446604445738884160 0 0 -1 4 0 0 0
[pid=12675/tid=12693] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12693/stat : 12693 (java) S 12673 12675 12325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953566670 10808524800 442218 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 0 0 0 0
[pid=12675/tid=12694] ppid=12673 vsize=10555200 CPUtime=0 cores=0,2,4,6
/proc/12675/task/12694/stat : 12694 (java) S 12673 12675 12325 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953566687 10808524800 442219 33554432000 1073741824 1073778376 140737007585664 18446744073709551615 224296742400 0 4 0 16800975 18446604445738884160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 10555200
[startup+6.00097 s]
/proc/loadavg: 1.32 0.37 0.12 3/193 12703
/proc/meminfo: memFree=30670644/32951124 swapFree=67049456/67111528
[pid=12675] ppid=12673 vsize=0 CPUtime=7.38 cores=0,2,4,6
/proc/12675/stat : 12675 (java) Z 12673 12675 12325 0 -1 4203548 450709 0 1 0 681 57 0 0 18 0 2 0 953566664 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12675/statm: 0 0 0 0 0 0 0
[pid=12675/tid=12685] ppid=12673 vsize=0 CPUtime=0.05 cores=0,2,4,6
/proc/12675/task/12685/stat : 12685 (java) R 12673 12675 12325 0 -1 4203588 1 0 0 0 0 5 0 0 18 0 2 0 953566666 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 6.02583
CPU time (s): 7.41887
CPU user time (s): 6.81596
CPU system time (s): 0.602908
CPU usage (%): 123.118
Max. virtual memory (cumulated for all children) (KiB): 10558680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.81596
system time used= 0.602908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450709
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= 375
involuntary context switches= 86
runsolver used 0.013997 second user time and 0.022996 second system time
The end