runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11418 MiB free)
memory of node 1: 16384 MiB (15431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274050-1502780099/watcher-4274050-1502780099 -o /tmp/evaluation-result-4274050-1502780099/solver-4274050-1502780099 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1773171881 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274050-1502780099.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3517, runsolver pid=3514
[startup+0.100153 s]*
/proc/loadavg: 1.76 1.74 1.69 3/203 3523
/proc/meminfo: memFree=27490240/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13440536 memory=16132 CPUtime=0.01 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 3847 0 0 0 1 0 0 0 20 0 7 0 80205264 13763108864 4033 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3360134 4033 2030 1 0 3349631 0
[pid=3517/tid=3519] ppid=3514 vsize=13440536 memory=-7677926825137650786 CPUtime=0.01 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 2570 0 0 0 1 0 0 0 20 0 7 0 80205272 13763108864 4033 18446744073709551615 4194304 4196468 140720498125424 140151464352528 140151444190558 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13440536 memory=3677534773662714415 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 80205273 13763108864 4033 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13440536 memory=140436778972800 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 80205273 13763108864 4033 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 80205273 13763108864 4033 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13440536 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 80205273 13763108864 4033 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 80205274 13763108864 4033 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 16132 KiB
[startup+0.20995 s]*
/proc/loadavg: 1.76 1.74 1.69 4/212 3532
/proc/meminfo: memFree=27478308/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13975920 memory=31344 CPUtime=0.1 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 7133 0 0 0 9 1 0 0 20 0 15 0 80205264 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3493980 7836 3385 1 0 3482759 0
[pid=3517/tid=3519] ppid=3514 vsize=13975920 memory=-7677926825137650786 CPUtime=0.08 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 5105 0 0 0 7 1 0 0 20 0 15 0 80205272 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140151464330536 140151460131997 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13975920 memory=3677534773662714415 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13975920 memory=140436778972800 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13975920 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205274 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3525] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3525/stat : 3525 (java) S 3514 3517 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80205275 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150443431584 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3526] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3526/stat : 3526 (java) S 3514 3517 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80205275 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150442378480 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3527] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3527/stat : 3527 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150441327056 140151460128667 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3528] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3528/stat : 3528 (java) S 3514 3517 12560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 80205277 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150440274160 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3529] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3529/stat : 3529 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150439221616 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3530] ppid=3514 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3517/task/3530/stat : 3530 (java) R 3514 3517 12560 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 15 0 80205277 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150438168560 140151445275653 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3531] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3531/stat : 3531 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150437116256 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3532] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3532/stat : 3532 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205282 14311342080 7836 18446744073709551615 4194304 4196468 140720498125424 140150436064304 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31344 KiB
[startup+0.310438 s]*
/proc/loadavg: 1.76 1.74 1.69 3/212 3532
/proc/meminfo: memFree=27467688/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13975920 memory=40544 CPUtime=0.26 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 10858 0 0 0 23 3 0 0 20 0 15 0 80205264 14311342080 10136 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3493980 10136 3542 1 0 3482759 0
[pid=3517/tid=3519] ppid=3514 vsize=13975920 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 8524 0 0 0 15 3 0 0 20 0 15 0 80205272 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140151464328176 140151444153701 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13975920 memory=4426080405320600950 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13975920 memory=-7749975593672162402 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13975920 memory=140436778979793 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205273 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80205274 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3525] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3525/stat : 3525 (java) S 3514 3517 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80205275 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150443431584 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3526] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3526/stat : 3526 (java) S 3514 3517 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80205275 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150442378480 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3527] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3527/stat : 3527 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150441327056 140151460128667 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3528] ppid=3514 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3517/task/3528/stat : 3528 (java) S 3514 3517 12560 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 80205277 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150440274160 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3529] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3529/stat : 3529 (java) S 3514 3517 12560 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 80205277 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150439221616 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3530] ppid=3514 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/3517/task/3530/stat : 3530 (java) S 3514 3517 12560 0 -1 1077944384 450 0 0 0 5 0 0 0 20 0 15 0 80205277 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150438168560 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3531] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3531/stat : 3531 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150437116256 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3532] ppid=3514 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3532/stat : 3532 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205282 14311342080 10164 18446744073709551615 4194304 4196468 140720498125424 140150436064304 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40544 KiB
[startup+0.700645 s]
/proc/loadavg: 1.76 1.74 1.69 5/212 3532
/proc/meminfo: memFree=27452700/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13977988 memory=68324 CPUtime=1.09 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 13756 0 0 0 104 5 0 0 20 0 15 0 80205264 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3494497 17081 3727 1 0 3483271 0
[pid=3517/tid=3519] ppid=3514 vsize=13977988 memory=2 CPUtime=0.56 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 10384 0 0 0 52 4 0 0 20 0 15 0 80205272 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140151464344960 140151446179124 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205273 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80205274 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3525] ppid=3514 vsize=13977988 memory=19031000092388 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3525/stat : 3525 (java) S 3514 3517 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80205275 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150443431584 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3526] ppid=3514 vsize=13977988 memory=302867294839906996 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3526/stat : 3526 (java) S 3514 3517 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80205275 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150442378480 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3527] ppid=3514 vsize=13977988 memory=14691885662885099 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3527/stat : 3527 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150441327056 140151460128667 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3528] ppid=3514 vsize=13977988 memory=5788639897922661206 CPUtime=0.14 cores=1,3,5,7
/proc/3517/task/3528/stat : 3528 (java) R 3514 3517 12560 0 -1 4202560 676 0 0 0 14 0 0 0 20 0 15 0 80205277 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150440274160 140151453095113 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3529] ppid=3514 vsize=13977988 memory=6008456457378097768 CPUtime=0.14 cores=1,3,5,7
/proc/3517/task/3529/stat : 3529 (java) R 3514 3517 12560 0 -1 1077944384 548 0 0 0 14 0 0 0 20 0 15 0 80205277 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150439221616 140151460121218 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3530] ppid=3514 vsize=13977988 memory=6084732980643971168 CPUtime=0.23 cores=1,3,5,7
/proc/3517/task/3530/stat : 3530 (java) R 3514 3517 12560 0 -1 4202560 767 0 0 0 23 0 0 0 20 0 15 0 80205277 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150438168688 140151439578145 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3531] ppid=3514 vsize=13977988 memory=5793438175626679660 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3531/stat : 3531 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150437116256 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3532] ppid=3514 vsize=13977988 memory=6226886622811543143 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3532/stat : 3532 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205282 14313459712 17081 18446744073709551615 4194304 4196468 140720498125424 140150436064304 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68324 KiB
[startup+1.50169 s]
/proc/loadavg: 1.76 1.74 1.69 6/212 3532
/proc/meminfo: memFree=27386360/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13980036 memory=183104 CPUtime=3.3 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 28598 0 0 0 321 9 0 0 20 0 15 0 80205264 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3495009 45776 3770 1 0 3483783 0
[pid=3517/tid=3519] ppid=3514 vsize=13980036 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 14681 0 0 0 129 7 0 0 20 0 15 0 80205272 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151464345688 140151108243381 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13980036 memory=-8316900901535099443 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13980036 memory=-7022074515825631275 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13980036 memory=-4695043397844020537 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13980036 memory=-7022074515825631275 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 80205274 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3525] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3525/stat : 3525 (java) S 3514 3517 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150443431584 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3526] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3526/stat : 3526 (java) S 3514 3517 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150442378480 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3527] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3527/stat : 3527 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150441327056 140151460128667 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3528] ppid=3514 vsize=13980036 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/3517/task/3528/stat : 3528 (java) S 3514 3517 12560 0 -1 1077944384 3839 0 0 0 69 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150440274160 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3529] ppid=3514 vsize=13980036 memory=62 CPUtime=0.65 cores=1,3,5,7
/proc/3517/task/3529/stat : 3529 (java) S 3514 3517 12560 0 -1 1077944384 3776 0 0 0 65 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150439221616 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3530] ppid=3514 vsize=13980036 memory=59 CPUtime=0.56 cores=1,3,5,7
/proc/3517/task/3530/stat : 3530 (java) S 3514 3517 12560 0 -1 1077944384 4517 0 0 0 56 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150438168560 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3531] ppid=3514 vsize=13980036 memory=49 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3531/stat : 3531 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150437116256 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3532] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3532/stat : 3532 (java) S 3514 3517 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80205282 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150436064304 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 3.3 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 183104 KiB
[startup+2.8104 s]
# the end of solver process 3517 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.53078 s, system=0.099943 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60169 s]
/proc/loadavg: 1.76 1.74 1.69 6/212 3532
/proc/meminfo: memFree=27386360/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13980036 memory=183104 CPUtime=3.4 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 28598 0 0 0 331 9 0 0 20 0 15 0 80205264 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3495009 45776 3770 1 0 3483783 0
[pid=3517/tid=3519] ppid=3514 vsize=13980036 memory=7680170660397595203 CPUtime=1.46 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 14681 0 0 0 139 7 0 0 20 0 15 0 80205272 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151464345688 140151108242686 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13980036 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13980036 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13980036 memory=8628 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13980036 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13980036 memory=14260 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 80205274 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3525] ppid=3514 vsize=13980036 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3525/stat : 3525 (java) S 3514 3517 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150443431584 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3526] ppid=3514 vsize=13980036 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3526/stat : 3526 (java) S 3514 3517 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150442378480 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3527] ppid=3514 vsize=13980036 memory=8100380778122859860 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3527/stat : 3527 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150441327056 140151460128667 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3528] ppid=3514 vsize=13980036 memory=19031000092388 CPUtime=0.69 cores=1,3,5,7
/proc/3517/task/3528/stat : 3528 (java) S 3514 3517 12560 0 -1 1077944384 3839 0 0 0 69 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150440274160 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3529] ppid=3514 vsize=13980036 memory=118862 CPUtime=0.65 cores=1,3,5,7
/proc/3517/task/3529/stat : 3529 (java) S 3514 3517 12560 0 -1 1077944384 3776 0 0 0 65 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150439221616 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3530] ppid=3514 vsize=13980036 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/3517/task/3530/stat : 3530 (java) S 3514 3517 12560 0 -1 1077944384 4517 0 0 0 56 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150438168560 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3531] ppid=3514 vsize=13980036 memory=140436639561424 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3531/stat : 3531 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150437116256 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3532] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3532/stat : 3532 (java) S 3514 3517 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80205282 14315556864 45776 18446744073709551615 4194304 4196468 140720498125424 140150436064304 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 183104 KiB
[startup+2.4006 s]
/proc/loadavg: 1.76 1.74 1.69 3/212 3532
/proc/meminfo: memFree=27326184/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13980036 memory=183132 CPUtime=4.21 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 28645 0 0 0 412 9 0 0 20 0 15 0 80205264 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3495009 45783 3770 1 0 3483783 0
[pid=3517/tid=3519] ppid=3514 vsize=13980036 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 14691 0 0 0 218 7 0 0 20 0 15 0 80205272 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140151464343328 140151108242771 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13980036 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13980036 memory=7811324655802865749 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13980036 memory=7812733143032947032 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13980036 memory=7162519289430757994 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13980036 memory=7162519289430757994 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 80205274 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3525] ppid=3514 vsize=13980036 memory=7162519289430757994 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3525/stat : 3525 (java) S 3514 3517 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150443431584 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3526] ppid=3514 vsize=13980036 memory=7812733143032947032 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3526/stat : 3526 (java) S 3514 3517 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150442378480 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3527] ppid=3514 vsize=13980036 memory=183132 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3527/stat : 3527 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150441327056 140151460128667 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3528] ppid=3514 vsize=13980036 memory=7596276686919197016 CPUtime=0.69 cores=1,3,5,7
/proc/3517/task/3528/stat : 3528 (java) S 3514 3517 12560 0 -1 1077944384 3839 0 0 0 69 0 0 0 20 0 15 0 80205277 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150440274160 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3529] ppid=3514 vsize=13980036 memory=7738704111811516501 CPUtime=0.66 cores=1,3,5,7
/proc/3517/task/3529/stat : 3529 (java) S 3514 3517 12560 0 -1 1077944384 3779 0 0 0 66 0 0 0 20 0 15 0 80205277 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150439221616 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3530] ppid=3514 vsize=13980036 memory=7738704111811516501 CPUtime=0.56 cores=1,3,5,7
/proc/3517/task/3530/stat : 3530 (java) S 3514 3517 12560 0 -1 1077944384 4517 0 0 0 56 0 0 0 20 0 15 0 80205277 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150438168560 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3531] ppid=3514 vsize=13980036 memory=7812449469032980824 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3531/stat : 3531 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150437116256 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3532] ppid=3514 vsize=13980036 memory=7738704111811516503 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3532/stat : 3532 (java) S 3514 3517 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 80205282 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140150436064304 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 183132 KiB
[startup+2.8006 s]
/proc/loadavg: 1.76 1.74 1.69 3/212 3532
/proc/meminfo: memFree=27326184/32770624 swapFree=67105588/67108860
[pid=3517] ppid=3514 vsize=13980036 memory=183132 CPUtime=4.61 cores=1,3,5,7
/proc/3517/stat : 3517 (java) S 3514 3517 12560 0 -1 1077944320 28645 0 0 0 452 9 0 0 20 0 15 0 80205264 14315556864 45783 18446744073709551615 4194304 4196468 140720498125424 140720498107968 140151460110071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
/proc/3517/statm: 3495009 45783 3770 1 0 3483783 0
[pid=3517/tid=3519] ppid=3514 vsize=13980036 memory=280873278925744 CPUtime=2.65 cores=1,3,5,7
/proc/3517/task/3519/stat : 3519 (java) R 3514 3517 12560 0 -1 4202560 14712 0 0 0 258 7 0 0 20 0 15 0 80205272 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140151464343328 140151101296421 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3520] ppid=3514 vsize=13980036 memory=16097078686254946 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3520/stat : 3520 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140151059728912 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3521] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3521/stat : 3521 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140151058676368 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3522] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3522/stat : 3522 (java) S 3514 3517 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140151057623312 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3523] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3523/stat : 3523 (java) S 3514 3517 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80205273 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140151056570768 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3524] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3524/stat : 3524 (java) S 3514 3517 12560 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 80205274 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150444485360 140151460121218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3525] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3525/stat : 3525 (java) S 3514 3517 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150443431584 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3526] ppid=3514 vsize=13980036 memory=105793 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3526/stat : 3526 (java) S 3514 3517 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80205275 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150442378480 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3527] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3527/stat : 3527 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150441327056 140151460128667 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3528] ppid=3514 vsize=13980036 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/3517/task/3528/stat : 3528 (java) S 3514 3517 12560 0 -1 1077944384 3839 0 0 0 69 0 0 0 20 0 15 0 80205277 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150440274160 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3529] ppid=3514 vsize=13980036 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3517/task/3529/stat : 3529 (java) S 3514 3517 12560 0 -1 1077944384 3779 0 0 0 66 0 0 0 20 0 15 0 80205277 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150439221616 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3530] ppid=3514 vsize=13980036 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/3517/task/3530/stat : 3530 (java) R 3514 3517 12560 0 -1 1077944384 4517 0 0 0 56 0 0 0 20 0 15 0 80205277 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150438168560 140151460121218 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3531] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3531/stat : 3531 (java) S 3514 3517 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80205277 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150437116256 140151460120277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
[pid=3517/tid=3532] ppid=3514 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3517/task/3532/stat : 3532 (java) S 3514 3517 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 80205282 14315556864 45805 18446744073709551615 4194304 4196468 140720498125424 140150436064304 140151460121218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22917120 140720498131310 140720498131497 140720498131497 140720498134991 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 183132 KiB
Child status: 0
Real time (s): 2.81046
CPU time (s): 4.63072
CPU user time (s): 4.53078
CPU system time (s): 0.099943
CPU usage (%): 164.767
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 183132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.53078
system time used= 0.099943
maximum resident set size= 185960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2013
involuntary context switches= 19
# summary of solver processes directly reported to runsolver:
# pid: 3517
# total CPU time (s): 4.63072
# total CPU user time (s): 4.53078
# total CPU system time (s): 0.099943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03115 second user time and 0.07235 second system time
The end