2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	SAT (TO)	792	252.298	237.134
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 (10626 MiB free)
  memory of node 1: 16384 MiB (15836 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301544-1532881991/watcher-4301544-1532881991 -o /tmp/evaluation-result-4301544-1532881991/solver-4301544-1532881991 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301544-1532881991.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=15693, runsolver pid=15690
Current StackSize limit: 8192 KiB


[startup+0.100305 s]*
/proc/loadavg: 3.95 3.33 2.68 4/216 15708
/proc/meminfo: memFree=27081128/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10659012 memory=31196 CPUtime=0.13 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 6852 0 0 0 11 2 0 0 20 0 15 0 105762263 10914828288 7799 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2664753 7799 2844 1 0 2627263 0
[pid=15693/tid=15695] ppid=15690 vsize=10659012 memory=-8701690554792053890 CPUtime=0.09 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) R 15690 15693 13514 0 -1 4202560 4700 0 0 0 8 1 0 0 20 0 15 0 105762264 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324610312048 140324590187870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) S 15690 15693 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324569213456 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10659012 memory=140146740496000 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324211710608 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10659012 memory=140146740496000 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105762266 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324097747696 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105762266 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324096693920 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105762267 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324095640816 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15703] ppid=15690 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15703/stat : 15703 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324094589392 140324606125979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) S 15690 15693 13514 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324093536496 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) S 15690 15693 13514 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324092483952 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10659012 memory=140146740496000 CPUtime=0.02 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) S 15690 15693 13514 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 15 0 105762269 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324091430896 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15708] ppid=15690 vsize=10659012 memory=140146740496000 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15708/stat : 15708 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 7799 33554432000 4194304 4196468 140727581789296 140324089326640 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31196 KiB

[startup+0.210534 s]*
/proc/loadavg: 3.95 3.33 2.68 4/216 15708
/proc/meminfo: memFree=27069964/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10659012 memory=42100 CPUtime=0.33 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 8133 0 0 0 30 3 0 0 20 0 15 0 105762263 10914828288 10525 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2664753 10525 3004 1 0 2627263 0
[pid=15693/tid=15695] ppid=15690 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) R 15690 15693 13514 0 -1 4202560 5079 0 0 0 18 1 0 0 20 0 15 0 105762264 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324610336672 140324590187870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) S 15690 15693 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324569213456 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10659012 memory=140146741121034 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324211710608 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10659012 memory=140146740496000 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105762266 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324097747696 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105762266 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324096693920 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105762267 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324095640816 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15703] ppid=15690 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15703/stat : 15703 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324094589392 140324606125979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) S 15690 15693 13514 0 -1 1077944384 660 0 0 0 2 0 0 0 20 0 15 0 105762269 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324093536496 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) S 15690 15693 13514 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 105762269 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324092483952 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10659012 memory=140146740496000 CPUtime=0.07 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) R 15690 15693 13514 0 -1 4202560 668 0 0 0 7 0 0 0 20 0 15 0 105762269 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324091430896 140324585061929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15708] ppid=15690 vsize=10659012 memory=140146740496000 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15708/stat : 15708 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762269 10914828288 10525 33554432000 4194304 4196468 140727581789296 140324089326640 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42100 KiB

[startup+0.311335 s]*
/proc/loadavg: 3.95 3.33 2.68 5/216 15708
/proc/meminfo: memFree=27058240/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10659088 memory=52156 CPUtime=0.59 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 9621 0 0 0 55 4 0 0 20 0 15 0 105762263 10914906112 13039 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2664772 13039 3059 1 0 2627263 0
[pid=15693/tid=15695] ppid=15690 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) R 15690 15693 13514 0 -1 4202560 5566 0 0 0 28 2 0 0 20 0 15 0 105762264 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324610343776 140324590187870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) S 15690 15693 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324569213456 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10659088 memory=140146741115349 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324211710608 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10659088 memory=140146740496000 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105762266 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324097747696 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105762266 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324096693920 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105762267 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324095640816 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15703] ppid=15690 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15703/stat : 15703 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324094589392 140324606125979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) R 15690 15693 13514 0 -1 4202560 922 0 0 0 7 0 0 0 20 0 15 0 105762269 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324093529520 140324585762625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) R 15690 15693 13514 0 -1 4202560 864 0 0 0 7 0 0 0 20 0 15 0 105762269 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324092464968 140324589638840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10659088 memory=140146740496000 CPUtime=0.13 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) R 15690 15693 13514 0 -1 1077944384 911 0 0 0 13 0 0 0 20 0 15 0 105762269 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324091430896 140324606118530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15708] ppid=15690 vsize=10659088 memory=140146740496000 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15708/stat : 15708 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762269 10914906112 13039 33554432000 4194304 4196468 140727581789296 140324089326640 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52156 KiB

[startup+0.705513 s]
/proc/loadavg: 3.95 3.33 2.68 5/216 15708
/proc/meminfo: memFree=27022820/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10659088 memory=197552 CPUtime=1.93 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 14495 0 0 0 185 8 0 0 20 0 15 0 105762263 10914906112 49388 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2664772 49388 3126 1 0 2627263 0
[pid=15693/tid=15695] ppid=15690 vsize=10659088 memory=16828 CPUtime=0.66 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) R 15690 15693 13514 0 -1 4202560 6108 0 0 0 62 4 0 0 20 0 15 0 105762264 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324610340368 140324606119318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) S 15690 15693 13514 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324569213456 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) S 15690 15693 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324211710608 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 105762265 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105762266 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324097747696 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105762266 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324096693920 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105762267 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324095640816 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15703] ppid=15690 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15703/stat : 15703 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324094589392 140324606125979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10659088 memory=6081108994580573287 CPUtime=0.42 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) R 15690 15693 13514 0 -1 4202560 2589 0 0 0 42 0 0 0 20 0 15 0 105762269 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324093528448 140324586859819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10659088 memory=6220993253238723945 CPUtime=0.42 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) R 15690 15693 13514 0 -1 4202560 2623 0 0 0 42 0 0 0 20 0 15 0 105762269 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324092471584 140324606128730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10659088 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) R 15690 15693 13514 0 -1 1077944384 1676 0 0 0 35 1 0 0 20 0 15 0 105762269 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324091430896 140324606118530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105762269 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15708] ppid=15690 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15708/stat : 15708 (java) S 15690 15693 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105762269 10914906112 49388 33554432000 4194304 4196468 140727581789296 140324089326640 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 197552 KiB

[startup+1.50111 s]
/proc/loadavg: 3.95 3.33 2.68 5/216 15708
/proc/meminfo: memFree=26872700/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10661136 memory=480016 CPUtime=4.52 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 15715 0 0 0 425 27 0 0 20 0 15 0 105762263 10917003264 120004 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2665284 120004 3145 1 0 2627775 0
[pid=15693/tid=15695] ppid=15690 vsize=10661136 memory=321892 CPUtime=1.26 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) S 15690 15693 13514 0 -1 1077944384 6212 0 0 0 120 6 0 0 20 0 15 0 105762264 10917003264 120004 33554432000 4194304 4196468 140727581789296 140324610342528 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10661136 memory=33 CPUtime=0.18 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) R 15690 15693 13514 0 -1 4202560 148 0 0 0 15 3 0 0 20 0 15 0 105762265 10917003264 120004 33554432000 4194304 4196468 140727581789296 140324569213344 140324591129504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10661136 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) R 15690 15693 13514 0 -1 4202560 151 0 0 0 15 4 0 0 20 0 15 0 105762265 10917003264 120004 33554432000 4194304 4196468 140727581789296 140324211710808 140324591129504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10661136 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) R 15690 15693 13514 0 -1 4202560 165 0 0 0 15 4 0 0 20 0 15 0 105762265 10917003264 120004 33554432000 4194304 4196468 140727581789296 140324210657752 140324591129504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10661136 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) R 15690 15693 13514 0 -1 4202560 162 0 0 0 15 4 0 0 20 0 15 0 105762265 10917003264 120004 33554432000 4194304 4196468 140727581789296 140324209605208 140324591129504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105762266 10917003264 120004 33554432000 4194304 4196468 140727581789296 140324097746208 140324606117589 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0

################
# More data... #
################

/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 1477 0 0 0 236 19 0 0 20 0 16 0 105762265 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10727700 memory=1450072 CPUtime=2.64 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 1983 0 0 0 244 20 0 0 20 0 16 0 105762265 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0.86 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 3329 0 0 0 86 0 0 0 20 0 16 0 105762266 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324097747696 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 105762266 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324096693984 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105762267 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324095640832 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15703] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15703/stat : 15703 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324094589392 140324606125979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10727700 memory=1450072 CPUtime=3.11 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) S 15690 15693 13514 0 -1 1077944384 11679 0 0 0 309 2 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324093536496 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10727700 memory=2204 CPUtime=3.61 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) S 15690 15693 13514 0 -1 1077944384 11969 0 0 0 360 1 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324092483952 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10727700 memory=1240 CPUtime=0.68 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) S 15690 15693 13514 0 -1 1077944384 4981 0 0 0 66 2 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324091430896 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15708] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0.13 cores=1,3,5,7
/proc/15693/task/15708/stat : 15708 (java) S 15690 15693 13514 0 -1 1077944384 835 0 0 0 5 8 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324089326640 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15709] ppid=15690 vsize=10727700 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15709/stat : 15709 (java) S 15690 15693 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105762879 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324086175280 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 237.48 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1450072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+236.901 s]
/proc/loadavg: 2.38 2.89 2.65 3/217 15865
/proc/meminfo: memFree=26474780/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10727700 memory=1450072 CPUtime=252.08 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 56880 0 0 0 25104 104 0 0 20 0 16 0 105762263 10985164800 362518 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2681925 362518 3195 1 0 2644416 0
[pid=15693/tid=15695] ppid=15690 vsize=10727700 memory=1450072 CPUtime=233.33 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) R 15690 15693 13514 0 -1 4202560 16499 0 0 0 23322 11 0 0 20 0 16 0 105762264 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324610344008 140324249812951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10727700 memory=1450072 CPUtime=2.56 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) S 15690 15693 13514 0 -1 1077944384 1262 0 0 0 237 19 0 0 20 0 16 0 105762265 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324569213456 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10727700 memory=1450072 CPUtime=2.52 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) S 15690 15693 13514 0 -1 1077944384 1459 0 0 0 232 20 0 0 20 0 16 0 105762265 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324211710608 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10727700 memory=1450072 CPUtime=2.55 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 1477 0 0 0 236 19 0 0 20 0 16 0 105762265 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10727700 memory=1450072 CPUtime=2.64 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 1983 0 0 0 244 20 0 0 20 0 16 0 105762265 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0.86 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 3329 0 0 0 86 0 0 0 20 0 16 0 105762266 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324097747696 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 105762266 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324096693984 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105762267 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324095640832 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15703] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15703/stat : 15703 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324094589392 140324606125979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10727700 memory=6791534058613427641 CPUtime=3.11 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) S 15690 15693 13514 0 -1 1077944384 11679 0 0 0 309 2 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324093536496 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10727700 memory=1450072 CPUtime=3.61 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) S 15690 15693 13514 0 -1 1077944384 11969 0 0 0 360 1 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324092483952 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0.68 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) S 15690 15693 13514 0 -1 1077944384 4981 0 0 0 66 2 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324091430896 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10727700 memory=844 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15708] ppid=15690 vsize=10727700 memory=1450072 CPUtime=0.14 cores=1,3,5,7
/proc/15693/task/15708/stat : 15708 (java) S 15690 15693 13514 0 -1 1077944384 835 0 0 0 5 9 0 0 20 0 16 0 105762269 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324089326640 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15709] ppid=15690 vsize=10727700 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15709/stat : 15709 (java) S 15690 15693 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105762879 10985164800 362518 33554432000 4194304 4196468 140727581789296 140324086175280 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1450072 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+237.133 s]
# the end of solver process 15693 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.236 s, system=1.06158 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+237.005 s]*
/proc/loadavg: 2.38 2.89 2.65 3/218 15868
/proc/meminfo: memFree=26474780/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10927392 memory=1450424 CPUtime=252.22 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 59005 0 0 0 25118 104 0 0 20 0 17 0 105762263 11189649408 362606 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2731848 362606 3198 1 0 2694339 0
[pid=15693/tid=15695] ppid=15690 vsize=10927392 memory=6791534058613427641 CPUtime=233.45 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) R 15690 15693 13514 0 -1 4202560 16722 0 0 0 23334 11 0 0 20 0 17 0 105762264 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324610343424 140324242532157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10927392 memory=4126316290023845779 CPUtime=2.56 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) S 15690 15693 13514 0 -1 1077944384 1262 0 0 0 237 19 0 0 20 0 17 0 105762265 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324569213456 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10927392 memory=1992 CPUtime=2.52 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) S 15690 15693 13514 0 -1 1077944384 1459 0 0 0 232 20 0 0 20 0 17 0 105762265 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324211710608 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10927392 memory=2236 CPUtime=2.55 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 1477 0 0 0 236 19 0 0 20 0 17 0 105762265 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10927392 memory=1992 CPUtime=2.64 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 1983 0 0 0 244 20 0 0 20 0 17 0 105762265 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10927392 memory=4104 CPUtime=0.86 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 3370 0 0 0 86 0 0 0 20 0 17 0 105762266 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324097747696 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10927392 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 105762266 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324096693984 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10927392 memory=3188 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 105762267 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324095640832 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15703] ppid=15690 vsize=10927392 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15703/stat : 15703 (java) S 15690 15693 13514 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 17 0 105762269 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324094589392 140324606125979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10927392 memory=1408 CPUtime=3.11 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) S 15690 15693 13514 0 -1 1077944384 12199 0 0 0 309 2 0 0 20 0 17 0 105762269 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324093536496 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10927392 memory=2820 CPUtime=3.62 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) S 15690 15693 13514 0 -1 1077944384 12136 0 0 0 361 1 0 0 20 0 17 0 105762269 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324092483952 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10927392 memory=782936 CPUtime=0.69 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) S 15690 15693 13514 0 -1 1077944384 5532 0 0 0 67 2 0 0 20 0 17 0 105762269 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324091430896 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10927392 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105762269 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15708] ppid=15690 vsize=10927392 memory=804 CPUtime=0.14 cores=1,3,5,7
/proc/15693/task/15708/stat : 15708 (java) S 15690 15693 13514 0 -1 1077944384 835 0 0 0 5 9 0 0 20 0 17 0 105762269 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324089326640 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15866] ppid=15690 vsize=10927392 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15866/stat : 15866 (java) S 15690 15693 13514 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 17 0 105785954 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324085121520 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15867] ppid=15690 vsize=10927392 memory=916 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15867/stat : 15867 (java) S 15690 15693 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 105785954 11189649408 362606 33554432000 4194304 4196468 140727581789296 140324084069904 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 252.22 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1450424 KiB

[startup+237.113 s]
/proc/loadavg: 2.38 2.89 2.65 3/218 15868
/proc/meminfo: memFree=26474780/32770624 swapFree=67108860/67108860
[pid=15693] ppid=15690 vsize=10927392 memory=1450368 CPUtime=252.28 cores=1,3,5,7
/proc/15693/stat : 15693 (java) S 15690 15693 13514 0 -1 1077944320 60565 0 0 0 25123 105 0 0 20 0 14 0 105762263 11189649408 362592 33554432000 4194304 4196468 140727581789296 140727581771840 140324606107383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
/proc/15693/statm: 2731848 362592 3198 1 0 2694339 0
[pid=15693/tid=15695] ppid=15690 vsize=10927392 memory=844 CPUtime=233.46 cores=1,3,5,7
/proc/15693/task/15695/stat : 15695 (java) S 15690 15693 13514 0 -1 1077944384 16729 0 0 0 23335 11 0 0 20 0 14 0 105762264 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324610348784 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15696] ppid=15690 vsize=10927392 memory=1450072 CPUtime=2.56 cores=1,3,5,7
/proc/15693/task/15696/stat : 15696 (java) S 15690 15693 13514 0 -1 1077944384 1262 0 0 0 237 19 0 0 20 0 14 0 105762265 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324569213456 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15697] ppid=15690 vsize=10927392 memory=6791534058613427641 CPUtime=2.52 cores=1,3,5,7
/proc/15693/task/15697/stat : 15697 (java) S 15690 15693 13514 0 -1 1077944384 1459 0 0 0 232 20 0 0 20 0 14 0 105762265 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324211710608 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15698] ppid=15690 vsize=10927392 memory=1450072 CPUtime=2.55 cores=1,3,5,7
/proc/15693/task/15698/stat : 15698 (java) S 15690 15693 13514 0 -1 1077944384 1477 0 0 0 236 19 0 0 20 0 14 0 105762265 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324210657552 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15699] ppid=15690 vsize=10927392 memory=1450072 CPUtime=2.64 cores=1,3,5,7
/proc/15693/task/15699/stat : 15699 (java) S 15690 15693 13514 0 -1 1077944384 1983 0 0 0 244 20 0 0 20 0 14 0 105762265 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324209605008 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15700] ppid=15690 vsize=10927392 memory=1450072 CPUtime=0.86 cores=1,3,5,7
/proc/15693/task/15700/stat : 15700 (java) S 15690 15693 13514 0 -1 1077944384 3684 0 0 0 86 0 0 0 20 0 14 0 105762266 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324097747200 140324606118530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15701] ppid=15690 vsize=10927392 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15701/stat : 15701 (java) S 15690 15693 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 14 0 105762266 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324096693984 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15702] ppid=15690 vsize=10927392 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15702/stat : 15702 (java) S 15690 15693 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 14 0 105762267 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324095640832 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15704] ppid=15690 vsize=10927392 memory=1450072 CPUtime=3.15 cores=1,3,5,7
/proc/15693/task/15704/stat : 15704 (java) R 15690 15693 13514 0 -1 4202560 13139 0 0 0 313 2 0 0 20 0 14 0 105762269 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324093536496 140324587631634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15705] ppid=15690 vsize=10927392 memory=1450072 CPUtime=3.62 cores=1,3,5,7
/proc/15693/task/15705/stat : 15705 (java) S 15690 15693 13514 0 -1 1077944384 12170 0 0 0 361 1 0 0 20 0 14 0 105762269 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324092464352 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15706] ppid=15690 vsize=10927392 memory=1450072 CPUtime=0.69 cores=1,3,5,7
/proc/15693/task/15706/stat : 15706 (java) S 15690 15693 13514 0 -1 1077944384 5567 0 0 0 67 2 0 0 20 0 14 0 105762269 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324091430896 140324606118530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15707] ppid=15690 vsize=10927392 memory=1450072 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15707/stat : 15707 (java) S 15690 15693 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 105762269 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324090378592 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
[pid=15693/tid=15866] ppid=15690 vsize=10927392 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/15693/task/15866/stat : 15866 (java) S 15690 15693 13514 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 14 0 105785954 11189649408 362592 33554432000 4194304 4196468 140727581789296 140324085121520 140324606117589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9576448 140727581791350 140727581791502 140727581791502 140727581794255 0
Current children cumulated CPU time: 252.28 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1450368 KiB

Child status: 143
Real time (s): 237.134
CPU time (s): 252.298
CPU user time (s): 251.236
CPU system time (s): 1.06158
CPU usage (%): 106.395
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1450424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.236
system time used= 1.06157
maximum resident set size= 1450676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7758
involuntary context switches= 217


# summary of solver processes directly reported to runsolver:
#   pid: 15693
#   total CPU time (s): 252.298
#   total CPU user time (s): 251.236
#   total CPU system time (s): 1.06158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44978 second user time and 2.35494 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	11.7087
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4301544

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
