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-3458322-1307158812/watcher-3458322-1307158812 -o /tmp/evaluation-result-3458322-1307158812/solver-3458322-1307158812 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458322-1307158812.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: 2.00 2.01 2.00 2/479 20686
/proc/meminfo: memFree=28572344/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 4962 0 1 0 0 0 0 0 25 0 2 0 827479216 13850947584 4664 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3381579 4677 917 9 0 3372735 0
[pid=20686/tid=20687] ppid=20684 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 6301 0 1 0 0 0 0 0 25 0 2 0 827479217 13850947584 7117 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.078415 s]
/proc/loadavg: 2.00 2.01 2.00 2/479 20686
/proc/meminfo: memFree=28572344/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 14448 0 1 0 5 1 0 0 25 0 18 0 827479216 13880410112 14145 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3388772 14145 1755 9 0 3379506 0
[pid=20686/tid=20687] ppid=20684 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 13275 0 1 0 5 1 0 0 25 0 18 0 827479217 13880410112 14146 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 47864357804883 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.100434 s]
/proc/loadavg: 2.00 2.01 2.00 2/479 20686
/proc/meminfo: memFree=28572344/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13557020 CPUtime=0.1 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 15487 0 1 0 8 2 0 0 25 0 18 0 827479216 13882388480 15184 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3389255 15184 2093 9 0 3379989 0
[pid=20686/tid=20687] ppid=20684 vsize=13557020 CPUtime=0.09 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 13562 0 1 0 7 2 0 0 18 0 18 0 827479217 13882388480 15184 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912496198087 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13557020
[startup+0.321487 s]
/proc/loadavg: 2.00 2.01 2.00 2/479 20686
/proc/meminfo: memFree=28572344/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13629012 CPUtime=0.54 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 18176 0 1 0 51 3 0 0 25 0 19 0 827479216 13956108288 17376 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407253 17376 2206 9 0 3397987 0
[pid=20686/tid=20687] ppid=20684 vsize=13629012 CPUtime=0.3 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14370 0 1 0 28 2 0 0 19 0 19 0 827479217 13956108288 17377 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 47864357804883 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13629012
[startup+0.700304 s]
/proc/loadavg: 2.00 2.01 2.00 2/479 20686
/proc/meminfo: memFree=28572344/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13629012 CPUtime=1.01 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 18621 0 1 0 98 3 0 0 25 0 19 0 827479216 13956108288 17741 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407253 17741 2212 9 0 3397987 0
[pid=20686/tid=20687] ppid=20684 vsize=13629012 CPUtime=0.68 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14666 0 1 0 66 2 0 0 19 0 19 0 827479217 13956108288 17741 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912505609953 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13629012
[startup+1.50112 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 20705
/proc/meminfo: memFree=28505860/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13629012 CPUtime=1.86 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 19815 0 1 0 183 3 0 0 25 0 19 0 827479216 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407253 18929 2244 9 0 3397987 0
[pid=20686/tid=20687] ppid=20684 vsize=13629012 CPUtime=1.45 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14792 0 1 0 143 2 0 0 20 0 19 0 827479217 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912505587910 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20686/tid=20689] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20689/stat : 20689 (java) S 20684 20686 16141 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20690] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20690/stat : 20690 (java) S 20684 20686 16141 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20691] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20691/stat : 20691 (java) S 20684 20686 16141 0 -1 4202560 256 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 0 0 0 0
[pid=20686/tid=20692] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20692/stat : 20692 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20693] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20693/stat : 20693 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20694] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20694/stat : 20694 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20695] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20695/stat : 20695 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20696] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20696/stat : 20696 (java) S 20684 20686 16141 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20697] ppid=20684 vsize=13629012 CPUtime=0.02 cores=0,2,4,6
/proc/20686/task/20697/stat : 20697 (java) S 20684 20686 16141 0 -1 4202560 469 0 0 0 2 0 0 0 15 0 19 0 827479220 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 0 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20698] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20698/stat : 20698 (java) S 20684 20686 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20699] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20699/stat : 20699 (java) S 20684 20686 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20700] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20700/stat : 20700 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134537649 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20701] ppid=20684 vsize=13629012 CPUtime=0.18 cores=0,2,4,6
/proc/20686/task/20701/stat : 20701 (java) S 20684 20686 16141 0 -1 4202560 1157 0 0 0 18 0 0 0 15 0 19 0 827479222 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20702] ppid=20684 vsize=13629012 CPUtime=0.18 cores=0,2,4,6
/proc/20686/task/20702/stat : 20702 (java) S 20684 20686 16141 0 -1 4202560 1654 0 0 0 18 0 0 0 16 0 19 0 827479222 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20703] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20703/stat : 20703 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20704] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20704/stat : 20704 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479222 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20705] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20705/stat : 20705 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827479238 13956108288 18929 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 13629012
[startup+3.10087 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 20705
/proc/meminfo: memFree=28503136/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13629012 CPUtime=3.48 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 20024 0 1 0 345 3 0 0 25 0 19 0 827479216 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407253 19135 2245 9 0 3397987 0
[pid=20686/tid=20687] ppid=20684 vsize=13629012 CPUtime=3.01 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14792 0 1 0 299 2 0 0 25 0 19 0 827479217 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912505577868 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20686/tid=20689] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20689/stat : 20689 (java) S 20684 20686 16141 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20690] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20690/stat : 20690 (java) S 20684 20686 16141 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20691] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20691/stat : 20691 (java) S 20684 20686 16141 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20692] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20692/stat : 20692 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20693] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20693/stat : 20693 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20694] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20694/stat : 20694 (java) S 20684 20686 16141 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20695] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20695/stat : 20695 (java) S 20684 20686 16141 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20696] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20696/stat : 20696 (java) S 20684 20686 16141 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20697] ppid=20684 vsize=13629012 CPUtime=0.05 cores=0,2,4,6
/proc/20686/task/20697/stat : 20697 (java) S 20684 20686 16141 0 -1 4202560 569 0 0 0 5 0 0 0 15 0 19 0 827479220 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 0 0 16800975 18446604442117994432 0 0 -1 0 0 0 0
[pid=20686/tid=20698] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20698/stat : 20698 (java) S 20684 20686 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20699] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20699/stat : 20699 (java) S 20684 20686 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20700] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20700/stat : 20700 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134537649 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20701] ppid=20684 vsize=13629012 CPUtime=0.18 cores=0,2,4,6
/proc/20686/task/20701/stat : 20701 (java) S 20684 20686 16141 0 -1 4202560 1157 0 0 0 18 0 0 0 15 0 19 0 827479222 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20702] ppid=20684 vsize=13629012 CPUtime=0.2 cores=0,2,4,6
/proc/20686/task/20702/stat : 20702 (java) S 20684 20686 16141 0 -1 4202560 1664 0 0 0 20 0 0 0 15 0 19 0 827479222 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20703] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20703/stat : 20703 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20704] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20704/stat : 20704 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479222 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20705] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20705/stat : 20705 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827479238 13956108288 19135 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 13629012
Solver just ended. Dumping a history of the last processes samples
[startup+4.70158 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 20705
/proc/meminfo: memFree=28502248/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13629012 CPUtime=5.09 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 20075 0 1 0 506 3 0 0 25 0 19 0 827479216 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407253 19185 2245 9 0 3397987 0
[pid=20686/tid=20687] ppid=20684 vsize=13629012 CPUtime=4.6 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14793 0 1 0 458 2 0 0 25 0 19 0 827479217 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912505646006 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20686/tid=20689] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20689/stat : 20689 (java) S 20684 20686 16141 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20690] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20690/stat : 20690 (java) S 20684 20686 16141 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20691] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20691/stat : 20691 (java) S 20684 20686 16141 0 -1 4202560 256 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20692] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20692/stat : 20692 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20693] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20693/stat : 20693 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20694] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20694/stat : 20694 (java) S 20684 20686 16141 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20695] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20695/stat : 20695 (java) S 20684 20686 16141 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20696] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20696/stat : 20696 (java) S 20684 20686 16141 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20697] ppid=20684 vsize=13629012 CPUtime=0.07 cores=0,2,4,6
/proc/20686/task/20697/stat : 20697 (java) S 20684 20686 16141 0 -1 4202560 616 0 0 0 7 0 0 0 16 0 19 0 827479220 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 0 0 16800975 18446604442117994432 0 0 -1 0 0 0 0
[pid=20686/tid=20698] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20698/stat : 20698 (java) S 20684 20686 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20699] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20699/stat : 20699 (java) S 20684 20686 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20700] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20700/stat : 20700 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134537649 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20701] ppid=20684 vsize=13629012 CPUtime=0.18 cores=0,2,4,6
/proc/20686/task/20701/stat : 20701 (java) S 20684 20686 16141 0 -1 4202560 1157 0 0 0 18 0 0 0 15 0 19 0 827479222 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20702] ppid=20684 vsize=13629012 CPUtime=0.2 cores=0,2,4,6
/proc/20686/task/20702/stat : 20702 (java) S 20684 20686 16141 0 -1 4202560 1664 0 0 0 20 0 0 0 15 0 19 0 827479222 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20703] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20703/stat : 20703 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20704] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20704/stat : 20704 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479222 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20705] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20705/stat : 20705 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827479238 13956108288 19185 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 13629012
[startup+5.10151 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 20705
/proc/meminfo: memFree=28502248/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13629012 CPUtime=5.49 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 20205 0 1 0 546 3 0 0 25 0 19 0 827479216 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407253 19313 2245 9 0 3397987 0
[pid=20686/tid=20687] ppid=20684 vsize=13629012 CPUtime=4.98 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14795 0 1 0 496 2 0 0 25 0 19 0 827479217 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912505563900 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20686/tid=20689] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20689/stat : 20689 (java) S 20684 20686 16141 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20690] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20690/stat : 20690 (java) S 20684 20686 16141 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20691] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20691/stat : 20691 (java) S 20684 20686 16141 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20692] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20692/stat : 20692 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20693] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20693/stat : 20693 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20694] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20694/stat : 20694 (java) S 20684 20686 16141 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20695] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20695/stat : 20695 (java) S 20684 20686 16141 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20696] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20696/stat : 20696 (java) S 20684 20686 16141 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20697] ppid=20684 vsize=13629012 CPUtime=0.09 cores=0,2,4,6
/proc/20686/task/20697/stat : 20697 (java) S 20684 20686 16141 0 -1 4202560 730 0 0 0 9 0 0 0 16 0 19 0 827479220 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 0 0 16800975 18446604442117994432 0 0 -1 0 0 0 0
[pid=20686/tid=20698] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20698/stat : 20698 (java) S 20684 20686 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20699] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20699/stat : 20699 (java) S 20684 20686 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20700] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20700/stat : 20700 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134537649 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20701] ppid=20684 vsize=13629012 CPUtime=0.18 cores=0,2,4,6
/proc/20686/task/20701/stat : 20701 (java) S 20684 20686 16141 0 -1 4202560 1157 0 0 0 18 0 0 0 15 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20702] ppid=20684 vsize=13629012 CPUtime=0.2 cores=0,2,4,6
/proc/20686/task/20702/stat : 20702 (java) S 20684 20686 16141 0 -1 4202560 1664 0 0 0 20 0 0 0 15 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20703] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20703/stat : 20703 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20704] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20704/stat : 20704 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20705] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20705/stat : 20705 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827479238 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 13629012
[startup+5.30147 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 20705
/proc/meminfo: memFree=28502248/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13629012 CPUtime=5.69 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 20205 0 1 0 566 3 0 0 25 0 19 0 827479216 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407253 19313 2245 9 0 3397987 0
[pid=20686/tid=20687] ppid=20684 vsize=13629012 CPUtime=5.18 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14795 0 1 0 516 2 0 0 25 0 19 0 827479217 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912505588284 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20686/tid=20689] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20689/stat : 20689 (java) S 20684 20686 16141 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20690] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20690/stat : 20690 (java) S 20684 20686 16141 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20691] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20691/stat : 20691 (java) S 20684 20686 16141 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20692] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20692/stat : 20692 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20693] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20693/stat : 20693 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20694] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20694/stat : 20694 (java) S 20684 20686 16141 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20695] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20695/stat : 20695 (java) S 20684 20686 16141 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20696] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20696/stat : 20696 (java) S 20684 20686 16141 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 827479219 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20697] ppid=20684 vsize=13629012 CPUtime=0.09 cores=0,2,4,6
/proc/20686/task/20697/stat : 20697 (java) S 20684 20686 16141 0 -1 4202560 730 0 0 0 9 0 0 0 16 0 19 0 827479220 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 0 0 16800975 18446604442117994432 0 0 -1 0 0 0 0
[pid=20686/tid=20698] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20698/stat : 20698 (java) S 20684 20686 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20699] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20699/stat : 20699 (java) S 20684 20686 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827479220 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20700] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20700/stat : 20700 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134537649 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20701] ppid=20684 vsize=13629012 CPUtime=0.18 cores=0,2,4,6
/proc/20686/task/20701/stat : 20701 (java) S 20684 20686 16141 0 -1 4202560 1157 0 0 0 18 0 0 0 15 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20702] ppid=20684 vsize=13629012 CPUtime=0.2 cores=0,2,4,6
/proc/20686/task/20702/stat : 20702 (java) S 20684 20686 16141 0 -1 4202560 1664 0 0 0 20 0 0 0 15 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20703] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20703/stat : 20703 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20704] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20704/stat : 20704 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479222 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20705] ppid=20684 vsize=13629012 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20705/stat : 20705 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827479238 13956108288 19313 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13629012
[startup+5.40146 s]
/proc/loadavg: 2.00 2.01 2.00 3/498 20705
/proc/meminfo: memFree=28501388/32951124 swapFree=41830676/67111528
[pid=20686] ppid=20684 vsize=13628472 CPUtime=5.8 cores=0,2,4,6
/proc/20686/stat : 20686 (java) S 20684 20686 16141 0 -1 4202496 20211 0 1 0 577 3 0 0 25 0 19 0 827479216 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20686/statm: 3407118 19257 2249 9 0 3397852 0
[pid=20686/tid=20687] ppid=20684 vsize=13628472 CPUtime=5.29 cores=0,2,4,6
/proc/20686/task/20687/stat : 20687 (java) R 20684 20686 16141 0 -1 4202560 14801 0 1 0 527 2 0 0 25 0 19 0 827479217 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 46912505588379 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20686/tid=20689] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20689/stat : 20689 (java) S 20684 20686 16141 0 -1 4202560 107 0 0 0 0 0 0 0 16 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20690] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20690/stat : 20690 (java) S 20684 20686 16141 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20691] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20691/stat : 20691 (java) S 20684 20686 16141 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20692] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20692/stat : 20692 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20693] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20693/stat : 20693 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20694] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20694/stat : 20694 (java) S 20684 20686 16141 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20695] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20695/stat : 20695 (java) S 20684 20686 16141 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20696] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20696/stat : 20696 (java) S 20684 20686 16141 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 19 0 827479219 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20697] ppid=20684 vsize=13628472 CPUtime=0.09 cores=0,2,4,6
/proc/20686/task/20697/stat : 20697 (java) S 20684 20686 16141 0 -1 4202560 730 0 0 0 9 0 0 0 16 0 19 0 827479220 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 0 0 16800975 18446604442117994432 0 0 -1 0 0 0 0
[pid=20686/tid=20698] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20698/stat : 20698 (java) S 20684 20686 16141 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827479220 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20699] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20699/stat : 20699 (java) S 20684 20686 16141 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827479220 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20700] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20700/stat : 20700 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134537649 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20701] ppid=20684 vsize=13628472 CPUtime=0.18 cores=0,2,4,6
/proc/20686/task/20701/stat : 20701 (java) S 20684 20686 16141 0 -1 4202560 1157 0 0 0 18 0 0 0 15 0 19 0 827479222 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 2 0 0 0
[pid=20686/tid=20702] ppid=20684 vsize=13628472 CPUtime=0.2 cores=0,2,4,6
/proc/20686/task/20702/stat : 20702 (java) S 20684 20686 16141 0 -1 4202560 1664 0 0 0 20 0 0 0 15 0 19 0 827479222 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20703] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20703/stat : 20703 (java) S 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827479222 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134529945 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
[pid=20686/tid=20704] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20704/stat : 20704 (java) R 20684 20686 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827479222 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20686/tid=20705] ppid=20684 vsize=13628472 CPUtime=0 cores=0,2,4,6
/proc/20686/task/20705/stat : 20705 (java) S 20684 20686 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827479238 13955555328 19257 33554432000 1073741824 1073778376 140737234518944 18446744073709551615 228134530560 0 4 0 16800975 18446604442117994432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 13628472
Child status: 30
Real time (s): 5.48886
CPU time (s): 5.9061
CPU user time (s): 5.86711
CPU system time (s): 0.038994
CPU usage (%): 107.602
Max. virtual memory (cumulated for all children) (KiB): 13629012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.86711
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20243
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= 432
involuntary context switches= 154
runsolver used 0.033994 second user time and 0.066989 second system time
The end