runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4245780-1500707273/watcher-4245780-1500707273 -o /tmp/evaluation-result-4245780-1500707273/solver-4245780-1500707273 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14649 --watchdog 2560 bin/concrete HOME/instance-4245780-1500707273.xml
pid=20989
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.59 1.55 3/261 20992
/proc/meminfo: memFree=30360116/32770624 swapFree=5940/267908
[pid=20992] ppid=20989 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (bash) S 20989 20992 14618 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 5994188 9736192 350 33554432000 4194304 5098028 140731429449744 140731429447384 139807166098432 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 22720512 140731429451022 140731429451107 140731429451107 140731429453806 0
/proc/20992/statm: 2377 350 278 221 0 86 0
[startup+0.100105 s]
/proc/loadavg: 1.91 1.59 1.55 3/261 20992
/proc/meminfo: memFree=30360116/32770624 swapFree=5940/267908
[pid=20992] ppid=20989 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (bash) S 20989 20992 14618 0 -1 4202496 879 6426 0 0 0 0 0 1 20 0 1 0 5994188 9871360 377 33554432000 4194304 5098028 140731429449744 140731429443752 139807166098432 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 22720512 140731429451022 140731429451107 140731429451107 140731429453806 0
/proc/20992/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200425 s]
/proc/loadavg: 1.91 1.59 1.55 3/261 20992
/proc/meminfo: memFree=30360116/32770624 swapFree=5940/267908
[pid=20992] ppid=20989 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 4879 12642 0 0 6 1 8 4 20 0 13 0 5994188 10686320640 5245 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2608965 5245 2170 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300319 s]
/proc/loadavg: 1.91 1.59 1.55 3/261 20992
/proc/meminfo: memFree=30360116/32770624 swapFree=5940/267908
[pid=20992] ppid=20989 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 8051 12642 0 0 23 2 8 4 20 0 20 0 5994188 11164049408 9774 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2725598 9774 3006 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700212 s]
/proc/loadavg: 1.91 1.59 1.55 3/261 20992
/proc/meminfo: memFree=30360116/32770624 swapFree=5940/267908
[pid=20992] ppid=20989 vsize=10902720 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 12841 12642 0 0 82 4 8 4 20 0 20 0 5994188 11164385280 16120 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2725680 16120 3232 1 0 2713890 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10902720
[startup+1.50117 s]
/proc/loadavg: 1.83 1.58 1.55 3/281 21065
/proc/meminfo: memFree=30255728/32770624 swapFree=5940/268072
[pid=20992] ppid=20989 vsize=10913344 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 27368 12642 0 0 206 15 8 4 20 0 20 0 5994188 11175264256 44145 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2728336 44145 3408 1 0 2716450 0
[pid=20992/tid=21047] ppid=20989 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21047/stat : 21047 (java) R 20989 20992 14618 0 -1 4202560 19298 12642 0 0 125 6 8 4 20 0 20 0 5994202 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712777289816 140712754927329 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21048] ppid=20989 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21048/stat : 21048 (java) S 20989 20992 14618 0 -1 1077944384 22 12642 0 0 0 1 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712379866256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21049] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21049/stat : 21049 (java) S 20989 20992 14618 0 -1 1077944384 22 12642 0 0 0 0 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712378813456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21050] ppid=20989 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21050/stat : 21050 (java) S 20989 20992 14618 0 -1 1077944384 27 12642 0 0 1 0 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712377760656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21051] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21051/stat : 21051 (java) S 20989 20992 14618 0 -1 1077944384 20 12642 0 0 0 0 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712376707856 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21052] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21052/stat : 21052 (java) S 20989 20992 14618 0 -1 1077944384 17 12642 0 0 0 0 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712375655056 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21053] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21053/stat : 21053 (java) S 20989 20992 14618 0 -1 1077944384 23 12642 0 0 0 0 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712374602256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21054] ppid=20989 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21054/stat : 21054 (java) S 20989 20992 14618 0 -1 1077944384 53 12642 0 0 1 0 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712373549456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21055] ppid=20989 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21055/stat : 21055 (java) S 20989 20992 14618 0 -1 1077944384 137 12642 0 0 1 0 8 4 20 0 20 0 5994203 11175264256 44145 33554432000 4194304 4196468 140729509687328 140712372496656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21056] ppid=20989 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21056/stat : 21056 (java) S 20989 20992 14618 0 -1 1077944384 1357 12642 0 0 1 0 8 4 20 0 20 0 5994205 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711978560368 140712773073538 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21057] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21057/stat : 21057 (java) S 20989 20992 14618 0 -1 1077944384 54 12642 0 0 0 0 8 4 20 0 20 0 5994206 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711977506400 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21058] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21058/stat : 21058 (java) S 20989 20992 14618 0 -1 1077944384 44 12642 0 0 0 0 8 4 20 0 20 0 5994206 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711976453504 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21059] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21059/stat : 21059 (java) S 20989 20992 14618 0 -1 1077944384 1 12642 0 0 0 0 8 4 20 0 20 0 5994210 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711975401808 140712773080987 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21060] ppid=20989 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21060/stat : 21060 (java) S 20989 20992 14618 0 -1 1077944384 950 12642 0 0 12 0 8 4 20 0 20 0 5994210 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711974349168 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21061] ppid=20989 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21061/stat : 21061 (java) S 20989 20992 14618 0 -1 1077944384 673 12642 0 0 14 0 8 4 20 0 20 0 5994210 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711973296368 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21062] ppid=20989 vsize=10913344 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21062/stat : 21062 (java) S 20989 20992 14618 0 -1 1077944384 1148 12642 0 0 16 0 8 4 20 0 20 0 5994210 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711972243568 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21063] ppid=20989 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21063/stat : 21063 (java) S 20989 20992 14618 0 -1 1077944384 1387 12642 0 0 27 0 8 4 20 0 20 0 5994210 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711971190768 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21064] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21064/stat : 21064 (java) S 20989 20992 14618 0 -1 1077944384 3 12642 0 0 0 0 8 4 20 0 20 0 5994210 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711970139232 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21065] ppid=20989 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21065/stat : 21065 (java) S 20989 20992 14618 0 -1 1077944384 3 12642 0 0 0 0 8 4 20 0 20 0 5994210 11175264256 44145 33554432000 4194304 4196468 140729509687328 140711969086512 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10913344
[startup+3.10103 s]
/proc/loadavg: 1.83 1.58 1.55 4/281 21065
/proc/meminfo: memFree=30185040/32770624 swapFree=5940/268072
[pid=20992] ppid=20989 vsize=10927868 CPUtime=7.01 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 49056 12642 0 0 667 22 8 4 20 0 20 0 5994188 11190136832 63265 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2731967 63265 3476 1 0 2719522 0
[pid=20992/tid=21047] ppid=20989 vsize=10927868 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21047/stat : 21047 (java) R 20989 20992 14618 0 -1 4202560 32901 12642 0 0 280 10 8 4 20 0 20 0 5994202 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712777293528 140712416144540 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21048] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21048/stat : 21048 (java) S 20989 20992 14618 0 -1 1077944384 22 12642 0 0 0 1 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712379866256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21049] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21049/stat : 21049 (java) S 20989 20992 14618 0 -1 1077944384 22 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712378813456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21050] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21050/stat : 21050 (java) S 20989 20992 14618 0 -1 1077944384 27 12642 0 0 1 0 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712377760656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21051] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21051/stat : 21051 (java) S 20989 20992 14618 0 -1 1077944384 20 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712376707856 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21052] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21052/stat : 21052 (java) S 20989 20992 14618 0 -1 1077944384 17 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712375655056 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21053] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21053/stat : 21053 (java) S 20989 20992 14618 0 -1 1077944384 23 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712374602256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21054] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21054/stat : 21054 (java) S 20989 20992 14618 0 -1 1077944384 53 12642 0 0 1 0 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712373549456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21055] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21055/stat : 21055 (java) S 20989 20992 14618 0 -1 1077944384 137 12642 0 0 1 0 8 4 20 0 20 0 5994203 11190136832 63265 33554432000 4194304 4196468 140729509687328 140712372496656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21056] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21056/stat : 21056 (java) S 20989 20992 14618 0 -1 1077944384 1389 12642 0 0 1 0 8 4 20 0 20 0 5994205 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711978560368 140712773073538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21057] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21057/stat : 21057 (java) S 20989 20992 14618 0 -1 1077944384 54 12642 0 0 0 0 8 4 20 0 20 0 5994206 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711977506400 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21058] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21058/stat : 21058 (java) S 20989 20992 14618 0 -1 1077944384 44 12642 0 0 0 0 8 4 20 0 20 0 5994206 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711976453504 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21059] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21059/stat : 21059 (java) S 20989 20992 14618 0 -1 1077944384 1 12642 0 0 0 0 8 4 20 0 20 0 5994210 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711975401808 140712773080987 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21060] ppid=20989 vsize=10927868 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21060/stat : 21060 (java) R 20989 20992 14618 0 -1 4202560 2120 12642 0 0 71 1 8 4 20 0 20 0 5994210 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711974338960 140712756473206 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21061] ppid=20989 vsize=10927868 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21061/stat : 21061 (java) R 20989 20992 14618 0 -1 4202560 1856 12642 0 0 87 0 8 4 20 0 20 0 5994210 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711973282464 140712754606527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21062] ppid=20989 vsize=10927868 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21062/stat : 21062 (java) R 20989 20992 14618 0 -1 4202560 4914 12642 0 0 117 0 8 4 20 0 20 0 5994210 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711972229536 140712757961659 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21063] ppid=20989 vsize=10927868 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21063/stat : 21063 (java) R 20989 20992 14618 0 -1 4202560 3319 12642 0 0 100 1 8 4 20 0 20 0 5994210 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711971190768 140712773083738 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21064] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21064/stat : 21064 (java) S 20989 20992 14618 0 -1 1077944384 3 12642 0 0 0 0 8 4 20 0 20 0 5994210 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711970139232 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21065] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21065/stat : 21065 (java) S 20989 20992 14618 0 -1 1077944384 5 12642 0 0 0 0 8 4 20 0 20 0 5994210 11190136832 63265 33554432000 4194304 4196468 140729509687328 140711969086512 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 10927868
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20992 sig 9
??? kill -20992 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20148 s]
/proc/loadavg: 1.83 1.58 1.55 4/281 21065
/proc/meminfo: memFree=30185040/32770624 swapFree=5940/268072
[pid=20992] ppid=20989 vsize=10927868 CPUtime=7.39 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 49350 12642 0 0 705 22 8 4 20 0 20 0 5994188 11190136832 67604 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2731967 67604 3477 1 0 2719522 0
[pid=20992/tid=21047] ppid=20989 vsize=10927868 CPUtime=3.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21047/stat : 21047 (java) R 20989 20992 14618 0 -1 4202560 33093 12642 0 0 290 10 8 4 20 0 20 0 5994202 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712777293216 140712773074326 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21048] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21048/stat : 21048 (java) S 20989 20992 14618 0 -1 1077944384 22 12642 0 0 0 1 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712379866256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21049] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21049/stat : 21049 (java) S 20989 20992 14618 0 -1 1077944384 22 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712378813456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21050] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21050/stat : 21050 (java) S 20989 20992 14618 0 -1 1077944384 27 12642 0 0 1 0 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712377760656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21051] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21051/stat : 21051 (java) S 20989 20992 14618 0 -1 1077944384 20 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712376707856 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21052] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21052/stat : 21052 (java) S 20989 20992 14618 0 -1 1077944384 17 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712375655056 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21053] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21053/stat : 21053 (java) S 20989 20992 14618 0 -1 1077944384 23 12642 0 0 0 0 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712374602256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21054] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21054/stat : 21054 (java) S 20989 20992 14618 0 -1 1077944384 53 12642 0 0 1 0 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712373549456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21055] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21055/stat : 21055 (java) S 20989 20992 14618 0 -1 1077944384 137 12642 0 0 1 0 8 4 20 0 20 0 5994203 11190136832 67604 33554432000 4194304 4196468 140729509687328 140712372496656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21056] ppid=20989 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21056/stat : 21056 (java) S 20989 20992 14618 0 -1 1077944384 1389 12642 0 0 1 0 8 4 20 0 20 0 5994205 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711978560368 140712773073538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21057] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21057/stat : 21057 (java) S 20989 20992 14618 0 -1 1077944384 54 12642 0 0 0 0 8 4 20 0 20 0 5994206 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711977506400 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21058] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21058/stat : 21058 (java) S 20989 20992 14618 0 -1 1077944384 44 12642 0 0 0 0 8 4 20 0 20 0 5994206 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711976453504 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21059] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21059/stat : 21059 (java) S 20989 20992 14618 0 -1 1077944384 1 12642 0 0 0 0 8 4 20 0 20 0 5994210 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711975401808 140712773080987 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21060] ppid=20989 vsize=10927868 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21060/stat : 21060 (java) S 20989 20992 14618 0 -1 1077944384 2149 12642 0 0 77 1 8 4 20 0 20 0 5994210 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711974349168 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21061] ppid=20989 vsize=10927868 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21061/stat : 21061 (java) S 20989 20992 14618 0 -1 1077944384 1871 12642 0 0 95 0 8 4 20 0 20 0 5994210 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711973296368 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21062] ppid=20989 vsize=10927868 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21062/stat : 21062 (java) R 20989 20992 14618 0 -1 4202560 4941 12642 0 0 127 0 8 4 20 0 20 0 5994210 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711972230112 140712754605779 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21063] ppid=20989 vsize=10927868 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21063/stat : 21063 (java) R 20989 20992 14618 0 -1 4202560 3350 12642 0 0 103 1 8 4 20 0 20 0 5994210 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711971191064 140712751722032 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21064] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21064/stat : 21064 (java) S 20989 20992 14618 0 -1 1077944384 3 12642 0 0 0 0 8 4 20 0 20 0 5994210 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711970139232 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21065] ppid=20989 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21065/stat : 21065 (java) S 20989 20992 14618 0 -1 1077944384 5 12642 0 0 0 0 8 4 20 0 20 0 5994210 11190136832 67604 33554432000 4194304 4196468 140729509687328 140711969086512 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 10927868
[startup+4.00073 s]
/proc/loadavg: 1.83 1.58 1.55 4/281 21065
/proc/meminfo: memFree=30078268/32770624 swapFree=5940/268072
[pid=20992] ppid=20989 vsize=10997576 CPUtime=10.53 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 63429 12642 0 0 1010 31 8 4 20 0 20 0 5994188 11261517824 91928 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2749394 91928 3488 1 0 2736949 0
[pid=20992/tid=21047] ppid=20989 vsize=10997576 CPUtime=3.86 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21047/stat : 21047 (java) R 20989 20992 14618 0 -1 4202560 40790 12642 0 0 362 12 8 4 20 0 20 0 5994202 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712777293128 140712418188526 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21048] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21048/stat : 21048 (java) S 20989 20992 14618 0 -1 1077944384 44 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712379866256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21049] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21049/stat : 21049 (java) S 20989 20992 14618 0 -1 1077944384 39 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712378813456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21050] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21050/stat : 21050 (java) S 20989 20992 14618 0 -1 1077944384 149 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712377760656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21051] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21051/stat : 21051 (java) S 20989 20992 14618 0 -1 1077944384 33 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712376707856 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21052] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21052/stat : 21052 (java) S 20989 20992 14618 0 -1 1077944384 39 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712375655056 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21053] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21053/stat : 21053 (java) S 20989 20992 14618 0 -1 1077944384 74 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712374602256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21054] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21054/stat : 21054 (java) S 20989 20992 14618 0 -1 1077944384 89 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712373549456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21055] ppid=20989 vsize=10997576 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21055/stat : 21055 (java) S 20989 20992 14618 0 -1 1077944384 155 12642 0 0 3 1 8 4 20 0 20 0 5994203 11261517824 91928 33554432000 4194304 4196468 140729509687328 140712372496656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21056] ppid=20989 vsize=10997576 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21056/stat : 21056 (java) S 20989 20992 14618 0 -1 1077944384 2330 12642 0 0 3 0 8 4 20 0 20 0 5994205 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711978560368 140712773073538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21057] ppid=20989 vsize=10997576 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21057/stat : 21057 (java) S 20989 20992 14618 0 -1 1077944384 55 12642 0 0 0 0 8 4 20 0 20 0 5994206 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711977506464 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21058] ppid=20989 vsize=10997576 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21058/stat : 21058 (java) S 20989 20992 14618 0 -1 1077944384 44 12642 0 0 0 0 8 4 20 0 20 0 5994206 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711976453504 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21059] ppid=20989 vsize=10997576 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21059/stat : 21059 (java) S 20989 20992 14618 0 -1 1077944384 1 12642 0 0 0 0 8 4 20 0 20 0 5994210 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711975401808 140712773080987 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21060] ppid=20989 vsize=10997576 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21060/stat : 21060 (java) R 20989 20992 14618 0 -1 4202560 6574 12642 0 0 147 2 8 4 20 0 20 0 5994210 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711974335328 140712765351845 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21061] ppid=20989 vsize=10997576 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21061/stat : 21061 (java) R 20989 20992 14618 0 -1 4202560 2022 12642 0 0 152 0 8 4 20 0 20 0 5994210 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711973288856 140712753707269 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21062] ppid=20989 vsize=10997576 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21062/stat : 21062 (java) R 20989 20992 14618 0 -1 4202560 5038 12642 0 0 184 0 8 4 20 0 20 0 5994210 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711972229536 140712751477981 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21063] ppid=20989 vsize=10997576 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21063/stat : 21063 (java) S 20989 20992 14618 0 -1 1077944384 3814 12642 0 0 129 2 8 4 20 0 20 0 5994210 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711971190768 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21064] ppid=20989 vsize=10997576 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21064/stat : 21064 (java) S 20989 20992 14618 0 -1 1077944384 3 12642 0 0 0 0 8 4 20 0 20 0 5994210 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711970139232 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21065] ppid=20989 vsize=10997576 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21065/stat : 21065 (java) S 20989 20992 14618 0 -1 1077944384 7 12642 0 0 0 0 8 4 20 0 20 0 5994210 11261517824 91928 33554432000 4194304 4196468 140729509687328 140711969086512 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (KiB) 10997576
[startup+4.40079 s]
/proc/loadavg: 1.83 1.58 1.55 3/281 21065
/proc/meminfo: memFree=30010832/32770624 swapFree=5940/268072
[pid=20992] ppid=20989 vsize=10995452 CPUtime=12.19 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (java) S 20989 20992 14618 0 -1 1077944320 63716 12642 0 0 1174 33 8 4 20 0 20 0 5994188 11259342848 91136 33554432000 4194304 4196468 140729509687328 140729509669872 140712773062391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
/proc/20992/statm: 2748863 91136 3489 1 0 2736418 0
[pid=20992/tid=21047] ppid=20989 vsize=10995452 CPUtime=4.03 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21047/stat : 21047 (java) R 20989 20992 14618 0 -1 4202560 40889 12642 0 0 379 12 8 4 20 0 20 0 5994202 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712777277088 140712753337729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21048] ppid=20989 vsize=10995452 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21048/stat : 21048 (java) S 20989 20992 14618 0 -1 1077944384 49 12642 0 0 17 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712379866256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21049] ppid=20989 vsize=10995452 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21049/stat : 21049 (java) S 20989 20992 14618 0 -1 1077944384 43 12642 0 0 16 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712378813456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21050] ppid=20989 vsize=10995452 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21050/stat : 21050 (java) S 20989 20992 14618 0 -1 1077944384 154 12642 0 0 16 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712377760656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21051] ppid=20989 vsize=10995452 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21051/stat : 21051 (java) S 20989 20992 14618 0 -1 1077944384 47 12642 0 0 17 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712376707856 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21052] ppid=20989 vsize=10995452 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21052/stat : 21052 (java) S 20989 20992 14618 0 -1 1077944384 44 12642 0 0 17 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712375655056 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21053] ppid=20989 vsize=10995452 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21053/stat : 21053 (java) S 20989 20992 14618 0 -1 1077944384 77 12642 0 0 17 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712374602256 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21054] ppid=20989 vsize=10995452 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21054/stat : 21054 (java) S 20989 20992 14618 0 -1 1077944384 94 12642 0 0 17 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712373549456 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21055] ppid=20989 vsize=10995452 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21055/stat : 21055 (java) S 20989 20992 14618 0 -1 1077944384 157 12642 0 0 17 1 8 4 20 0 20 0 5994203 11259342848 91136 33554432000 4194304 4196468 140729509687328 140712372496656 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21056] ppid=20989 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21056/stat : 21056 (java) S 20989 20992 14618 0 -1 1077944384 2356 12642 0 0 12 0 8 4 20 0 20 0 5994205 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711978560368 140712773073538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21057] ppid=20989 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21057/stat : 21057 (java) S 20989 20992 14618 0 -1 1077944384 56 12642 0 0 0 0 8 4 20 0 20 0 5994206 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711977506464 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21058] ppid=20989 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21058/stat : 21058 (java) S 20989 20992 14618 0 -1 1077944384 45 12642 0 0 0 0 8 4 20 0 20 0 5994206 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711976453504 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21059] ppid=20989 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21059/stat : 21059 (java) S 20989 20992 14618 0 -1 1077944384 1 12642 0 0 0 0 8 4 20 0 20 0 5994210 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711975401808 140712773080987 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21060] ppid=20989 vsize=10995452 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21060/stat : 21060 (java) S 20989 20992 14618 0 -1 1077944384 6626 12642 0 0 156 2 8 4 20 0 20 0 5994210 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711974349168 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21061] ppid=20989 vsize=10995452 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21061/stat : 21061 (java) S 20989 20992 14618 0 -1 1077944384 2032 12642 0 0 161 0 8 4 20 0 20 0 5994210 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711973296368 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21062] ppid=20989 vsize=10995452 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21062/stat : 21062 (java) S 20989 20992 14618 0 -1 1077944384 5080 12642 0 0 193 1 8 4 20 0 20 0 5994210 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711972243568 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21063] ppid=20989 vsize=10995452 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21063/stat : 21063 (java) S 20989 20992 14618 0 -1 1077944384 3826 12642 0 0 130 2 8 4 20 0 20 0 5994210 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711971190768 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21064] ppid=20989 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21064/stat : 21064 (java) S 20989 20992 14618 0 -1 1077944384 3 12642 0 0 0 0 8 4 20 0 20 0 5994210 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711970139232 140712773072597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
[pid=20992/tid=21065] ppid=20989 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/20992/task/21065/stat : 21065 (java) S 20989 20992 14618 0 -1 1077944384 8 12642 0 0 0 0 8 4 20 0 20 0 5994210 11259342848 91136 33554432000 4194304 4196468 140729509687328 140711969086512 140712773073538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32522240 140729509694145 140729509696919 140729509696919 140729509699535 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 10995452
Child status: 0
Real time (s): 4.47644
CPU time (s): 12.3014
CPU user time (s): 11.9118
CPU system time (s): 0.389609
CPU usage (%): 274.804
Max. virtual memory (cumulated for all children) (KiB): 10997576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9118
system time used= 0.389609
maximum resident set size= 367828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8457
involuntary context switches= 1169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051374 second user time and 0.053471 second system time
The end