2018 XCSP3 competition: sequential solvers tracks competition: execution trace

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291973-1532264943/watcher-4291973-1532264943 -o /tmp/evaluation-result-4291973-1532264943/solver-4291973-1532264943 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532257777-914 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4291973-1532264943.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1722, runsolver pid=1719

[startup+0.100139 s]*
/proc/loadavg: 1.94 2.01 2.04 3/199 1737
/proc/meminfo: memFree=23517036/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10659012 memory=30692 CPUtime=0.12 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 6725 0 0 0 11 1 0 0 20 0 15 0 44057469 10914828288 7673 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2664753 7673 2822 1 0 2627263 0
[pid=1722/tid=1724] ppid=1719 vsize=10659012 memory=-8985395855772247728 CPUtime=0.09 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) R 1719 1722 877 0 -1 4202560 4573 0 0 0 8 1 0 0 20 0 15 0 44057470 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054529259456 140054525060253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10659012 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054461729680 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44057472 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44057472 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054015783712 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44057473 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054014731376 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) S 1719 1722 877 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054012627568 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) R 1719 1722 877 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054011574768 140054525049474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0.02 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) R 1719 1722 877 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 44057475 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054010522480 140054525050262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 7673 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30692 KiB

[startup+0.210129 s]*
/proc/loadavg: 1.94 2.01 2.04 3/208 1760
/proc/meminfo: memFree=23499380/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10659012 memory=42160 CPUtime=0.33 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 8088 0 0 0 31 2 0 0 20 0 15 0 44057469 10914828288 10540 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2664753 10540 3006 1 0 2627263 0
[pid=1722/tid=1724] ppid=1719 vsize=10659012 memory=5450916415389140539 CPUtime=0.2 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) R 1719 1722 877 0 -1 4202560 5036 0 0 0 19 1 0 0 20 0 15 0 44057470 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054529261504 140054509081957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10659012 memory=-9180700527125620825 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054461729680 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44057471 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44057472 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44057472 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054015783712 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44057473 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054014731376 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10659012 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) S 1719 1722 877 0 -1 1077944384 824 0 0 0 3 0 0 0 20 0 15 0 44057475 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054012627568 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) S 1719 1722 877 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 44057475 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054011574768 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0.07 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) R 1719 1722 877 0 -1 4202560 674 0 0 0 7 0 0 0 20 0 15 0 44057475 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054010522480 140054509118814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10659012 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057475 10914828288 10540 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42160 KiB

[startup+0.312224 s]*
/proc/loadavg: 1.94 2.01 2.04 7/214 1766
/proc/meminfo: memFree=23472376/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10659088 memory=53028 CPUtime=0.59 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 9992 0 0 0 57 2 0 0 20 0 15 0 44057469 10914906112 13257 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2664772 13257 3065 1 0 2627263 0
[pid=1722/tid=1724] ppid=1719 vsize=10659088 memory=2608 CPUtime=0.29 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) R 1719 1722 877 0 -1 4202560 5708 0 0 0 28 1 0 0 20 0 15 0 44057470 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054529274720 140054509118814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10659088 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054461729680 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10659088 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10659088 memory=139667165677184 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44057472 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44057472 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054015783712 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44057473 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054014731376 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) R 1719 1722 877 0 -1 4202560 1102 0 0 0 7 0 0 0 20 0 15 0 44057475 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054012627352 140054505258352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10659088 memory=110297087 CPUtime=0.07 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) R 1719 1722 877 0 -1 4202560 820 0 0 0 7 0 0 0 20 0 15 0 44057475 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054011555784 140054508537085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10659088 memory=-1 CPUtime=0.14 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) S 1719 1722 877 0 -1 1077944384 1039 0 0 0 14 0 0 0 20 0 15 0 44057475 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054010522480 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057475 10914906112 13257 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 53028 KiB

[startup+0.700718 s]
/proc/loadavg: 1.94 2.01 2.04 8/214 1766
/proc/meminfo: memFree=23416512/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10659088 memory=197700 CPUtime=1.93 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 14554 0 0 0 186 7 0 0 20 0 15 0 44057469 10914906112 49425 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2664772 49425 3122 1 0 2627263 0
[pid=1722/tid=1724] ppid=1719 vsize=10659088 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) R 1719 1722 877 0 -1 4202560 6062 0 0 0 63 3 0 0 20 0 15 0 44057470 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054529274256 140054139706158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) S 1719 1722 877 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054461729680 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10659088 memory=147093033327136 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10659088 memory=245441 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 44057471 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 44057472 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44057472 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054015783712 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10659088 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44057473 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054014731376 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10659088 memory=9049595987850068141 CPUtime=0.42 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) R 1719 1722 877 0 -1 4202560 2566 0 0 0 42 0 0 0 20 0 15 0 44057475 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054012617040 140054504294775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10659088 memory=6943526294502006880 CPUtime=0.42 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) R 1719 1722 877 0 -1 4202560 2586 0 0 0 42 0 0 0 20 0 15 0 44057475 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054011574768 140054525050262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10659088 memory=6944656592455360604 CPUtime=0.36 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) R 1719 1722 877 0 -1 1077944384 1842 0 0 0 36 0 0 0 20 0 15 0 44057475 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054010514400 140054525048533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10659088 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44057475 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10659088 memory=-7357787915995474596 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44057475 10914906112 49425 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 197700 KiB

[startup+1.50123 s]
/proc/loadavg: 1.94 2.01 2.04 8/214 1766
/proc/meminfo: memFree=23162164/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10661136 memory=444508 CPUtime=4.36 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 15973 0 0 0 414 22 0 0 20 0 15 0 44057469 10917003264 111127 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2665284 111127 3150 1 0 2627775 0
[pid=1722/tid=1724] ppid=1719 vsize=10661136 memory=198748 CPUtime=1.32 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) S 1719 1722 877 0 -1 1077944384 6168 0 0 0 127 5 0 0 20 0 15 0 44057470 10917003264 111127 33554432000 4194304 4196468 140727913620128 140054529273632 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10661136 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) R 1719 1722 877 0 -1 4202560 68 0 0 0 9 3 0 0 20 0 15 0 44057471 10917003264 111127 33554432000 4194304 4196468 140727913620128 140054461729880 140054510065896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10661136 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) R 1719 1722 877 0 -1 4202560 155 0 0 0 10 3 0 0 20 0 15 0 44057471 10917003264 111127 33554432000 4194304 4196468 140727913620128 140054460677080 140054510066573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10661136 memory=55 CPUtime=0.12 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) R 1719 1722 877 0 -1 4202560 160 0 0 0 9 3 0 0 20 0 15 0 44057471 10917003264 111127 33554432000 4194304 4196468 140727913620128 140054459624792 140054510066504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10661136 memory=12898 CPUtime=0.11 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) R 1719 1722 877 0 -1 4202560 156 0 0 0 9 2 0 0 20 0 15 0 44057471 10917003264 111127 33554432000 4194304 4196468 140727913620128 140054458571680 140054509394476 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10661136 memory=20674 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 44057472 10917003264 111127 33554432000 4194304 4196468 140727913620128 140054016836256 140054525048533 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0

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

/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 2362 0 0 0 260 33 0 0 20 0 16 0 44057471 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10727700 memory=1696 CPUtime=2.99 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 1704 0 0 0 265 34 0 0 20 0 16 0 44057471 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2.96 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 2856 0 0 0 262 34 0 0 20 0 16 0 44057471 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10727700 memory=4140 CPUtime=0.98 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 4643 0 0 0 94 4 0 0 20 0 16 0 44057472 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10727700 memory=2087168 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 44057472 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054015783776 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10727700 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 16 0 44057473 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054014731392 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10727700 memory=2087168 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2.57 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) S 1719 1722 877 0 -1 1077944384 7577 0 0 0 256 1 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054012627568 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10727700 memory=1724 CPUtime=3.44 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) S 1719 1722 877 0 -1 1077944384 11560 0 0 0 342 2 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054011574768 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10727700 memory=1228 CPUtime=0.72 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) S 1719 1722 877 0 -1 1077944384 5330 0 0 0 71 1 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054010522480 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10727700 memory=2087168 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10727700 memory=2087168 CPUtime=1.45 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 2001 0 0 0 61 84 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1813] ppid=1719 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1813/stat : 1813 (java) S 1719 1722 877 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44058088 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054005265072 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 2399.28 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2087168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2383.11 s]
/proc/loadavg: 2.00 2.04 2.35 3/217 2062
/proc/meminfo: memFree=17638456/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2400.09 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 99566 0 0 0 239784 225 0 0 20 0 16 0 44057469 10985164800 521792 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2681925 521792 3198 1 0 2644416 0
[pid=1722/tid=1724] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2379.15 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) R 1719 1722 877 0 -1 4202560 58482 0 0 0 237899 16 0 0 20 0 16 0 44057470 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054529277424 140054143171637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2.83 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) S 1719 1722 877 0 -1 1077944384 1572 0 0 0 252 31 0 0 20 0 16 0 44057471 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054461729680 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2.93 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 2362 0 0 0 260 33 0 0 20 0 16 0 44057471 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2.99 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 1704 0 0 0 265 34 0 0 20 0 16 0 44057471 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10727700 memory=2087168 CPUtime=2.96 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 2856 0 0 0 262 34 0 0 20 0 16 0 44057471 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10727700 memory=2087168 CPUtime=0.98 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 4643 0 0 0 94 4 0 0 20 0 16 0 44057472 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10727700 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 44057472 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054015783776 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10727700 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 16 0 44057473 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054014731392 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10727700 memory=2087168 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10727700 memory=18484 CPUtime=2.57 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) S 1719 1722 877 0 -1 1077944384 7577 0 0 0 256 1 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054012627568 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10727700 memory=2087168 CPUtime=3.44 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) S 1719 1722 877 0 -1 1077944384 11560 0 0 0 342 2 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054011574768 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10727700 memory=2087168 CPUtime=0.72 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) S 1719 1722 877 0 -1 1077944384 5330 0 0 0 71 1 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054010522480 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10727700 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10727700 memory=11960 CPUtime=1.45 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 2001 0 0 0 61 84 0 0 20 0 16 0 44057475 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1813] ppid=1719 vsize=10727700 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1813/stat : 1813 (java) S 1719 1722 877 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44058088 10985164800 521792 33554432000 4194304 4196468 140727913620128 140054005265072 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2087168 KiB

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

[startup+2383.39 s]
# the end of solver process 1722 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.27 s, system=2.26943 s

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

[startup+2383.21 s]
/proc/loadavg: 2.00 2.04 2.35 3/217 2062
/proc/meminfo: memFree=17638456/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10927392 memory=2087400 CPUtime=2400.21 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 100185 0 0 0 239796 225 0 0 20 0 17 0 44057469 11189649408 521850 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2731848 521850 3200 1 0 2694339 0
[pid=1722/tid=1724] ppid=1719 vsize=10927392 memory=1228 CPUtime=2379.24 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) R 1719 1722 877 0 -1 4202560 58562 0 0 0 237908 16 0 0 20 0 17 0 44057470 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054529276544 140054143314789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10927392 memory=4140 CPUtime=2.83 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) S 1719 1722 877 0 -1 1077944384 1572 0 0 0 252 31 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054461729680 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10927392 memory=8112282956445269571 CPUtime=2.93 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 2362 0 0 0 260 33 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10927392 memory=1196 CPUtime=2.99 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 1704 0 0 0 265 34 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10927392 memory=5300 CPUtime=2.96 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 2856 0 0 0 262 34 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10927392 memory=4616 CPUtime=0.98 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 4664 0 0 0 94 4 0 0 20 0 17 0 44057472 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10927392 memory=11960 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 44057472 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054015783776 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10927392 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 44057473 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054014731392 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10927392 memory=792 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10927392 memory=1716 CPUtime=2.58 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) S 1719 1722 877 0 -1 1077944384 7721 0 0 0 257 1 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054012627568 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10927392 memory=1952 CPUtime=3.45 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) S 1719 1722 877 0 -1 1077944384 11570 0 0 0 343 2 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054011574768 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10927392 memory=8384 CPUtime=0.72 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) S 1719 1722 877 0 -1 1077944384 5410 0 0 0 71 1 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054010522480 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10927392 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10927392 memory=2872 CPUtime=1.45 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 2001 0 0 0 61 84 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 2400.21 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2087400 KiB

[startup+2383.3 s]
/proc/loadavg: 2.00 2.04 2.35 3/217 2062
/proc/meminfo: memFree=17638456/32770624 swapFree=67108860/67108860
[pid=1722] ppid=1719 vsize=10927392 memory=2087400 CPUtime=2400.34 cores=1,3,5,7
/proc/1722/stat : 1722 (java) S 1719 1722 877 0 -1 1077944320 100186 0 0 0 239808 226 0 0 20 0 17 0 44057469 11189649408 521850 33554432000 4194304 4196468 140727913620128 140727913602672 140054525038327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
/proc/1722/statm: 2731848 521850 3200 1 0 2694339 0
[pid=1722/tid=1724] ppid=1719 vsize=10927392 memory=2087168 CPUtime=2379.34 cores=1,3,5,7
/proc/1722/task/1724/stat : 1724 (java) R 1719 1722 877 0 -1 4202560 58562 0 0 0 237918 16 0 0 20 0 17 0 44057470 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054529276544 140054143929532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1725] ppid=1719 vsize=10927392 memory=2087168 CPUtime=2.83 cores=1,3,5,7
/proc/1722/task/1725/stat : 1725 (java) S 1719 1722 877 0 -1 1077944384 1572 0 0 0 252 31 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054461729680 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1726] ppid=1719 vsize=10927392 memory=2087168 CPUtime=2.93 cores=1,3,5,7
/proc/1722/task/1726/stat : 1726 (java) S 1719 1722 877 0 -1 1077944384 2362 0 0 0 260 33 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054460676880 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1727] ppid=1719 vsize=10927392 memory=2087168 CPUtime=2.99 cores=1,3,5,7
/proc/1722/task/1727/stat : 1727 (java) S 1719 1722 877 0 -1 1077944384 1704 0 0 0 265 34 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054459624592 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1728] ppid=1719 vsize=10927392 memory=8112282956445269571 CPUtime=2.96 cores=1,3,5,7
/proc/1722/task/1728/stat : 1728 (java) S 1719 1722 877 0 -1 1077944384 2856 0 0 0 262 34 0 0 20 0 17 0 44057471 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054458571792 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1729] ppid=1719 vsize=10927392 memory=1696 CPUtime=0.98 cores=1,3,5,7
/proc/1722/task/1729/stat : 1729 (java) S 1719 1722 877 0 -1 1077944384 4664 0 0 0 94 4 0 0 20 0 17 0 44057472 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054016837744 140054525049474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1730] ppid=1719 vsize=10927392 memory=2087168 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1730/stat : 1730 (java) S 1719 1722 877 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 44057472 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054015783776 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1731] ppid=1719 vsize=10927392 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1731/stat : 1731 (java) S 1719 1722 877 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 17 0 44057473 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054014731392 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1732] ppid=1719 vsize=10927392 memory=2087168 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1732/stat : 1732 (java) S 1719 1722 877 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054013679696 140054525056923 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1733] ppid=1719 vsize=10927392 memory=2087168 CPUtime=2.6 cores=1,3,5,7
/proc/1722/task/1733/stat : 1733 (java) S 1719 1722 877 0 -1 1077944384 7722 0 0 0 259 1 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054012627568 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1734] ppid=1719 vsize=10927392 memory=2087168 CPUtime=3.45 cores=1,3,5,7
/proc/1722/task/1734/stat : 1734 (java) S 1719 1722 877 0 -1 1077944384 11570 0 0 0 343 2 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054011574768 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1735] ppid=1719 vsize=10927392 memory=2087168 CPUtime=0.72 cores=1,3,5,7
/proc/1722/task/1735/stat : 1735 (java) S 1719 1722 877 0 -1 1077944384 5410 0 0 0 71 1 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054010522480 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1736] ppid=1719 vsize=10927392 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1722/task/1736/stat : 1736 (java) S 1719 1722 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054009469920 140054525048533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
[pid=1722/tid=1737] ppid=1719 vsize=10927392 memory=11960 CPUtime=1.45 cores=1,3,5,7
/proc/1722/task/1737/stat : 1737 (java) S 1719 1722 877 0 -1 1077944384 2001 0 0 0 61 84 0 0 20 0 17 0 44057475 11189649408 521850 33554432000 4194304 4196468 140727913620128 140054008416688 140054525049474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 38330368 140727913624689 140727913624841 140727913624841 140727913627599 0
Current children cumulated CPU time: 2400.34 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2087400 KiB

Child status: 143
Real time (s): 2383.39
CPU time (s): 2400.54
CPU user time (s): 2398.27
CPU system time (s): 2.26943
CPU usage (%): 100.719
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 2087400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.27
system time used= 2.26943
maximum resident set size= 2087680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54528
involuntary context switches= 1908


# summary of solver processes directly reported to runsolver:
#   pid: 1722
#   total CPU time (s): 2400.54
#   total CPU user time (s): 2398.27
#   total CPU system time (s): 2.26943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1232 second user time and 22.4747 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.8578
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 4291973

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
