2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	? (problem)		1491.17	403.711
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 (12492 MiB free)
  memory of node 1: 16384 MiB (15590 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263769-1502598501/watcher-4263769-1502598501 -o /tmp/evaluation-result-4263769-1502598501/solver-4263769-1502598501 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19457 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263769-1502598501.xml 

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

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

solver pid=19719, runsolver pid=19716

[startup+0.101419 s]*
/proc/loadavg: 4.74 4.35 3.28 4/205 19728
/proc/meminfo: memFree=28749108/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10151672 memory=19492 CPUtime=0.03 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 4211 0 0 0 2 1 0 0 20 0 9 0 62045503 10395312128 4808 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2537918 4873 2118 1 0 2527415 0
[pid=19719/tid=19721] ppid=19716 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 12560 0 -1 4202560 2855 0 0 0 2 0 0 0 20 0 9 0 62045511 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140610957439096 140610937279838 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10151672 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62045511 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140610922912016 140610953209557 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10151672 memory=140572274632320 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62045511 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140610562972048 140610953209557 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62045511 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140610561919504 140610953209557 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62045511 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140610560866960 140610953209557 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10151672 memory=140572274632320 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62045513 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140609993034224 140610953210498 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 62045513 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140609991980448 140610953209557 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 62045513 10395312128 4873 18446744073709551615 4194304 4196468 140726319168848 140609990927920 140610953209557 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 19492 KiB

[startup+0.210533 s]*
/proc/loadavg: 4.74 4.35 3.28 3/211 19734
/proc/meminfo: memFree=28740128/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10551156 memory=30748 CPUtime=0.11 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 7798 0 0 0 9 2 0 0 20 0 15 0 62045503 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2637789 7687 2787 1 0 2627261 0
[pid=19719/tid=19721] ppid=19716 vsize=10551156 memory=8318255677412212789 CPUtime=0.09 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 12560 0 -1 4202560 5716 0 0 0 7 2 0 0 20 0 15 0 62045511 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140610957387696 140610845157893 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10551156 memory=328 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140610922912016 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10551156 memory=288370948426344064 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140610562972048 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140610561919504 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140610560866960 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10551156 memory=140572274632320 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62045513 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609993034224 140610953210498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62045513 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609991980448 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62045513 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609990927856 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19729] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 12560 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 62045516 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609988823024 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609987770480 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10551156 memory=140572274632320 CPUtime=0.01 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) R 19716 19719 12560 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 15 0 62045516 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609986717936 140610937446895 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19733] ppid=19716 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609985665632 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19734] ppid=19716 vsize=10551156 memory=140572274632320 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045520 10804383744 7687 18446744073709551615 4194304 4196468 140726319168848 140609984613168 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30748 KiB

[startup+0.310186 s]*
/proc/loadavg: 4.74 4.35 3.28 4/211 19734
/proc/meminfo: memFree=28730340/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10551156 memory=39340 CPUtime=0.28 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 9125 0 0 0 25 3 0 0 20 0 15 0 62045503 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2637789 9835 2934 1 0 2627261 0
[pid=19719/tid=19721] ppid=19716 vsize=10551156 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) S 19716 19719 12560 0 -1 1077944384 6232 0 0 0 17 2 0 0 20 0 15 0 62045511 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140610957429600 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10551156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140610922912016 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140610562972048 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140610561919504 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62045511 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140610560866960 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62045513 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609993034224 140610953210498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62045513 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609991980448 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62045513 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609990927856 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19729] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 12560 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 15 0 62045516 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609988823024 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) R 19716 19719 12560 0 -1 4202560 228 0 0 0 1 0 0 0 20 0 15 0 62045516 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609987756024 140610938125904 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10551156 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) R 19716 19719 12560 0 -1 4202560 772 0 0 0 5 0 0 0 20 0 15 0 62045516 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609986714680 140610946295864 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19733] ppid=19716 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609985665632 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19734] ppid=19716 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045520 10804383744 9835 18446744073709551615 4194304 4196468 140726319168848 140609984613168 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39340 KiB

[startup+0.700704 s]
/proc/loadavg: 4.74 4.35 3.28 3/211 19734
/proc/meminfo: memFree=28713308/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10551232 memory=196156 CPUtime=1.22 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 13252 0 0 0 114 8 0 0 20 0 15 0 62045503 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2637808 49039 3074 1 0 2627261 0
[pid=19719/tid=19721] ppid=19716 vsize=10551232 memory=78 CPUtime=0.56 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 12560 0 -1 4202560 7568 0 0 0 52 4 0 0 20 0 15 0 62045511 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140610957432496 140610953211286 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10551232 memory=27 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 12560 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 62045511 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140610922912016 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 12560 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 62045511 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140610562972048 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 12560 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62045511 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140610561919504 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 12560 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 62045511 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140610560866960 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62045513 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609993034224 140610953210498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62045513 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609991980448 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10551232 memory=802 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 62045513 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609990927856 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19729] ppid=19716 vsize=10551232 memory=52 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10551232 memory=212 CPUtime=0.18 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) R 19716 19719 12560 0 -1 4202560 1696 0 0 0 18 0 0 0 20 0 15 0 62045516 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609988811776 140610932711085 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10551232 memory=281144264232720 CPUtime=0.19 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) R 19716 19719 12560 0 -1 4202560 1378 0 0 0 19 0 0 0 20 0 15 0 62045516 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609987756704 140610938076721 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10551232 memory=2510408386305 CPUtime=0.21 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 12560 0 -1 1077944384 1106 0 0 0 21 0 0 0 20 0 15 0 62045516 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609986717936 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19733] ppid=19716 vsize=10551232 memory=2518998320897 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609985665632 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19734] ppid=19716 vsize=10551232 memory=2561947993857 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62045520 10804461568 49039 18446744073709551615 4194304 4196468 140726319168848 140609984613168 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 196156 KiB

[startup+1.501 s]
/proc/loadavg: 4.74 4.35 3.28 4/211 19734
/proc/meminfo: memFree=28487108/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10551232 memory=549212 CPUtime=3.27 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 14321 0 0 0 291 36 0 0 20 0 15 0 62045503 10804461568 136791 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2637808 137303 3099 1 0 2627261 0
[pid=19719/tid=19721] ppid=19716 vsize=10551232 memory=78 CPUtime=1.07 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) S 19716 19719 12560 0 -1 1077944384 7677 0 0 0 102 5 0 0 20 0 15 0 62045511 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140610957433920 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10551232 memory=27 CPUtime=0.28 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) R 19716 19719 12560 0 -1 4202560 200 0 0 0 21 7 0 0 20 0 15 0 62045511 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140610922912016 140610938227225 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10551232 memory=281144264464864 CPUtime=0.28 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) R 19716 19719 12560 0 -1 4202560 170 0 0 0 22 6 0 0 20 0 15 0 62045511 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140610562972048 140610938221368 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10551232 memory=9132 CPUtime=0.28 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) R 19716 19719 12560 0 -1 4202560 230 0 0 0 21 7 0 0 20 0 15 0 62045511 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140610561919704 140610946296052 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10551232 memory=19658 CPUtime=0.28 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) R 19716 19719 12560 0 -1 4202560 206 0 0 0 21 7 0 0 20 0 15 0 62045511 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140610560866848 140610938227225 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 62045513 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140609993032736 140610953209557 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62045513 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140609991980512 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10551232 memory=386824 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 62045513 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140609990927872 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19729] ppid=19716 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62045516 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10551232 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 12560 0 -1 1077944384 1757 0 0 0 39 0 0 0 20 0 15 0 62045516 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140609988814304 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10551232 memory=6788 CPUtime=0.35 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 12560 0 -1 1077944384 1403 0 0 0 35 0 0 0 20 0 15 0 62045516 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140609987770480 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10551232 memory=281144264300480 CPUtime=0.27 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 12560 0 -1 1077944384 1232 0 0 0 27 0 0 0 20 0 15 0 62045516 10804461568 137303 18446744073709551615 4194304 4196468 140726319168848 140609986717936 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0

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

/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10686560 memory=2160 CPUtime=0.59 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 12560 0 -1 1077944384 3845 0 0 0 59 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609988823024 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10686560 memory=8116152 CPUtime=0.91 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 12560 0 -1 1077944384 8744 0 0 0 89 2 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609987770480 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10686560 memory=8116152 CPUtime=0.31 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 12560 0 -1 1077944384 2367 0 0 0 30 1 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609986717936 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19733] ppid=19716 vsize=10686560 memory=8116172 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609985665632 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19734] ppid=19716 vsize=10686560 memory=8116172 CPUtime=0.32 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 12560 0 -1 1077944384 616 0 0 0 14 18 0 0 20 0 17 0 62045520 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609984613168 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19762] ppid=19716 vsize=10686560 memory=8116172 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19762/stat : 19762 (java) S 19716 19719 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 62083429 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609983554752 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19763] ppid=19716 vsize=10686560 memory=8116164 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19763/stat : 19763 (java) S 19716 19719 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 62083430 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609375429136 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 1485.85 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8116188 KiB

[startup+403.711 s]
# the end of solver process 19719 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1483.56 s, system=7.60576 s

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

[startup+402.401 s]
/proc/loadavg: 4.97 4.63 3.75 6/215 19763
/proc/meminfo: memFree=20499684/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10686560 memory=8116188 CPUtime=1486.25 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 175932 0 0 0 147869 756 0 0 20 0 17 0 62045503 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2671640 2029047 3171 1 0 2661055 0
[pid=19719/tid=19721] ppid=19716 vsize=10686560 memory=35424 CPUtime=13.85 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) S 19716 19719 12560 0 -1 1077944384 17968 0 0 0 1376 9 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610957440032 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10686560 memory=-8774313645642428999 CPUtime=362.7 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) R 19716 19719 12560 0 -1 4202560 18859 0 0 0 36074 196 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610922912016 140610938195755 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10686560 memory=35424 CPUtime=360.87 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) R 19716 19719 12560 0 -1 4202560 16854 0 0 0 35898 189 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610562972248 140610934809097 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10686560 memory=8116156 CPUtime=361.95 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) R 19716 19719 12560 0 -1 4202560 14618 0 0 0 36011 184 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610561919704 140610938195755 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10686560 memory=2384 CPUtime=362.4 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) R 19716 19719 12560 0 -1 4202560 20891 0 0 0 36074 166 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610560867160 140610937898131 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10686560 memory=8116172 CPUtime=22.25 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 69671 0 0 0 2222 3 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609993032768 140610953209557 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10686560 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609991980512 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10686560 memory=15254835616287083 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609990927872 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19729] ppid=19716 vsize=10686560 memory=4080 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10686560 memory=4580 CPUtime=0.59 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 12560 0 -1 1077944384 3845 0 0 0 59 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609988823024 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10686560 memory=8116156 CPUtime=0.91 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 12560 0 -1 1077944384 8744 0 0 0 89 2 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609987770480 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10686560 memory=-8774313645642428999 CPUtime=0.31 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 12560 0 -1 1077944384 2367 0 0 0 30 1 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609986717936 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19733] ppid=19716 vsize=10686560 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609985665632 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19734] ppid=19716 vsize=10686560 memory=8600 CPUtime=0.32 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 12560 0 -1 1077944384 616 0 0 0 14 18 0 0 20 0 17 0 62045520 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609984613168 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19762] ppid=19716 vsize=10686560 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19762/stat : 19762 (java) S 19716 19719 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 62083429 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609983554752 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19763] ppid=19716 vsize=10686560 memory=14260 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19763/stat : 19763 (java) S 19716 19719 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 62083430 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609375429136 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 1486.25 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8116188 KiB

[startup+403.201 s]
/proc/loadavg: 4.97 4.63 3.75 6/215 19763
/proc/meminfo: memFree=20499676/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10686560 memory=8116188 CPUtime=1489.43 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 176516 0 0 0 148187 756 0 0 20 0 17 0 62045503 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2671640 2029047 3171 1 0 2661055 0
[pid=19719/tid=19721] ppid=19716 vsize=10686560 memory=8116156 CPUtime=13.85 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) S 19716 19719 12560 0 -1 1077944384 17968 0 0 0 1376 9 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610957440032 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10686560 memory=8116156 CPUtime=363.5 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) R 19716 19719 12560 0 -1 4202560 18873 0 0 0 36154 196 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610922911904 140610937898048 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10686560 memory=796 CPUtime=361.67 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) R 19716 19719 12560 0 -1 4202560 16854 0 0 0 35978 189 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610562972248 140610934809097 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10686560 memory=8116160 CPUtime=362.73 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) R 19716 19719 12560 0 -1 4202560 14618 0 0 0 36089 184 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610561919704 140610938195748 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10686560 memory=3908 CPUtime=363.2 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) R 19716 19719 12560 0 -1 4202560 21461 0 0 0 36154 166 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610560867160 140610938196030 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10686560 memory=4068 CPUtime=22.25 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 69671 0 0 0 2222 3 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609993032768 140610953209557 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10686560 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609991980512 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10686560 memory=6944665225504242272 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609990927872 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19729] ppid=19716 vsize=10686560 memory=3008234654816052 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10686560 memory=7018400866621219392 CPUtime=0.59 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 12560 0 -1 1077944384 3845 0 0 0 59 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609988823024 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10686560 memory=-8774313645642428999 CPUtime=0.91 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 12560 0 -1 1077944384 8744 0 0 0 89 2 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609987770480 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10686560 memory=4144 CPUtime=0.31 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 12560 0 -1 1077944384 2367 0 0 0 30 1 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609986717936 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19733] ppid=19716 vsize=10686560 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609985665632 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19734] ppid=19716 vsize=10686560 memory=35424 CPUtime=0.32 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 12560 0 -1 1077944384 616 0 0 0 14 18 0 0 20 0 17 0 62045520 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609984613168 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19762] ppid=19716 vsize=10686560 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19762/stat : 19762 (java) S 19716 19719 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 62083429 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609983554752 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19763] ppid=19716 vsize=10686560 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19763/stat : 19763 (java) S 19716 19719 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 62083430 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609375429136 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 1489.43 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8116188 KiB

[startup+403.601 s]
/proc/loadavg: 4.97 4.63 3.75 6/215 19763
/proc/meminfo: memFree=20499676/32770624 swapFree=67105588/67108860
[pid=19719] ppid=19716 vsize=10686560 memory=8116188 CPUtime=1491 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 12560 0 -1 1077944320 176516 0 0 0 148344 756 0 0 20 0 17 0 62045503 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140726319151392 140610953199351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
/proc/19719/statm: 2671640 2029047 3171 1 0 2661055 0
[pid=19719/tid=19721] ppid=19716 vsize=10686560 memory=2160 CPUtime=13.85 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) S 19716 19719 12560 0 -1 1077944384 17968 0 0 0 1376 9 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610957440032 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19722] ppid=19716 vsize=10686560 memory=832 CPUtime=363.89 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) R 19716 19719 12560 0 -1 4202560 18873 0 0 0 36193 196 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610922911824 140610945827559 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19723] ppid=19716 vsize=10686560 memory=-8774313645642428999 CPUtime=362.06 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) R 19716 19719 12560 0 -1 4202560 16854 0 0 0 36017 189 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610562971856 140610945827559 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19724] ppid=19716 vsize=10686560 memory=1228 CPUtime=363.13 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) R 19716 19719 12560 0 -1 4202560 14618 0 0 0 36129 184 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610561919704 140610937656984 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19725] ppid=19716 vsize=10686560 memory=1412 CPUtime=363.59 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) R 19716 19719 12560 0 -1 4202560 21461 0 0 0 36193 166 0 0 20 0 17 0 62045511 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140610560866768 140610945827559 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19726] ppid=19716 vsize=10686560 memory=15584 CPUtime=22.25 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 12560 0 -1 1077944384 69671 0 0 0 2222 3 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609993032768 140610953209557 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19727] ppid=19716 vsize=10686560 memory=21964 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 12560 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609991980512 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19728] ppid=19716 vsize=10686560 memory=4639948313719891052 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 62045513 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609990927872 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19729] ppid=19716 vsize=10686560 memory=8116188 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609989876432 140610953217947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19730] ppid=19716 vsize=10686560 memory=8116172 CPUtime=0.59 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 12560 0 -1 1077944384 3845 0 0 0 59 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609988822784 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19731] ppid=19716 vsize=10686560 memory=3248 CPUtime=0.91 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 12560 0 -1 1077944384 8744 0 0 0 89 2 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609987770528 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19732] ppid=19716 vsize=10686560 memory=3135168 CPUtime=0.31 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 12560 0 -1 1077944384 2367 0 0 0 30 1 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609986717984 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19733] ppid=19716 vsize=10686560 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62045516 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609985665632 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19734] ppid=19716 vsize=10686560 memory=3128 CPUtime=0.32 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 12560 0 -1 1077944384 616 0 0 0 14 18 0 0 20 0 17 0 62045520 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609984613168 140610953210498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19762] ppid=19716 vsize=10686560 memory=8116160 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19762/stat : 19762 (java) S 19716 19719 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 62083429 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609983554752 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
[pid=19719/tid=19763] ppid=19716 vsize=10686560 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19763/stat : 19763 (java) S 19716 19719 12560 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 17 0 62083430 10943037440 2029047 18446744073709551615 4194304 4196468 140726319168848 140609375429136 140610953209557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23236608 140726319174032 140726319174185 140726319174185 140726319177679 0
Current children cumulated CPU time: 1491 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8116188 KiB

[startup+403.701 s]*
/proc/loadavg: 4.97 4.63 3.75 3/200 19763
/proc/meminfo: memFree=28590548/32770624 swapFree=67105588/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 403.711
CPU time (s): 1491.17
CPU user time (s): 1483.56
CPU system time (s): 7.60576
CPU usage (%): 369.366
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8116188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1483.56
system time used= 7.60576
maximum resident set size= 8116328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20834
involuntary context switches= 16216


# summary of solver processes directly reported to runsolver:
#   pid: 19719
#   total CPU time (s): 1491.17
#   total CPU user time (s): 1483.56
#   total CPU system time (s): 7.60576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57113 second user time and 3.8944 second system time

The end
Name	Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml
MD5SUM	3801e67c429176a130b0cb7922d17a7f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	458
Best CPU time to get the best result obtained on this benchmark	140.29401
Satisfiable
(Un)Satisfiability was proved
Number of variables	203
Number of constraints	168
Number of domains	9
Minimum domain size	6
Maximum domain size	560
Distribution of domain sizes	[{"size":6,"count":7},{"size":7,"count":91},{"size":560,"count":105}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}]
Minimum constraint arity	1
Maximum constraint arity	9
Distribution of constraint arities	[{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}]
Number of extensional constraints	49
Number of intensional constraints	56
Distribution of constraint types	[{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4263769

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
