2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	70	2520.06	2501.71
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 (9626 MiB free)
  memory of node 1: 16384 MiB (12928 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311643-1534543539/watcher-4311643-1534543539 -o /tmp/evaluation-result-4311643-1534543539/solver-4311643-1534543539 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534541042-5266 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 471422206 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311643-1534543539.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
solver pid=5505, runsolver pid=5502
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 1.45 1.56 1.35 3/216 5520
/proc/meminfo: memFree=23078276/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14082736 memory=30488 CPUtime=0.12 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 6536 0 0 0 11 1 0 0 20 0 15 0 271916777 14420721664 7622 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3520684 7622 3153 1 0 3482761 0
[pid=5505/tid=5507] ppid=5502 vsize=14082736 memory=-8391717357723940032 CPUtime=0.09 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 4580 0 0 0 8 1 0 0 20 0 15 0 271916778 14420721664 7622 33554432000 4194304 4196468 140723020010912 140492338512640 140492318397790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 7622 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 7622 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 7622 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 7622 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271916780 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271916780 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491874931872 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271916781 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491873878768 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0.01 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) S 5502 5505 5234 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 271916783 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491801745904 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 7622 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30488 KiB

[startup+0.211419 s]*
/proc/loadavg: 1.45 1.56 1.35 6/216 5520
/proc/meminfo: memFree=23062648/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14082736 memory=46868 CPUtime=0.3 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 10380 0 0 0 27 3 0 0 20 0 15 0 271916777 14420721664 11717 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3520684 11717 3367 1 0 3482761 0
[pid=5505/tid=5507] ppid=5502 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 8063 0 0 0 17 2 0 0 20 0 15 0 271916778 14420721664 11717 33554432000 4194304 4196468 140723020010912 140492338545584 140492318397790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 11717 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14082736 memory=288370948136556160 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 11717 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 11717 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 11717 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271916780 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271916780 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491874931872 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271916781 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491873878768 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 15 0 271916783 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 15 0 271916783 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0.05 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) R 5502 5505 5234 0 -1 4202560 323 0 0 0 5 0 0 0 20 0 15 0 271916783 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491801742840 140492313258949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 11717 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46868 KiB

[startup+0.310464 s]*
/proc/loadavg: 1.45 1.56 1.35 5/216 5520
/proc/meminfo: memFree=23058728/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14082736 memory=50632 CPUtime=0.44 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 10775 0 0 0 41 3 0 0 20 0 15 0 271916777 14420721664 12658 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3520684 12658 3381 1 0 3482761 0
[pid=5505/tid=5507] ppid=5502 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 8423 0 0 0 27 3 0 0 20 0 15 0 271916778 14420721664 12658 33554432000 4194304 4196468 140723020010912 140492338528816 140492315880859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14082736 memory=4294979922 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 12658 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14082736 memory=288370948136556160 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 12658 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 12658 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14420721664 12658 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271916780 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271916780 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491874931872 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271916781 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491873878768 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 459 0 0 0 3 0 0 0 20 0 15 0 271916783 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 15 0 271916783 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0.07 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) S 5502 5505 5234 0 -1 1077944384 342 0 0 0 7 0 0 0 20 0 15 0 271916783 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491801745904 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14082736 memory=140571984844416 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916783 14420721664 12658 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50632 KiB

[startup+0.700711 s]
/proc/loadavg: 1.45 1.56 1.35 3/216 5520
/proc/meminfo: memFree=23034544/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14084804 memory=88780 CPUtime=0.99 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 17623 0 0 0 93 6 0 0 20 0 15 0 271916777 14422839296 22195 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3521201 22195 3498 1 0 3483273 0
[pid=5505/tid=5507] ppid=5502 vsize=14084804 memory=15768 CPUtime=0.67 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 14878 0 0 0 62 5 0 0 20 0 15 0 271916778 14422839296 22195 33554432000 4194304 4196468 140723020010912 140492338541520 140492318397790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14084804 memory=4376 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271916779 14422839296 22195 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14422839296 22195 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14422839296 22195 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14422839296 22195 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14084804 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271916780 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14084804 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271916780 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491874931872 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14084804 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271916781 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491873878768 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14084804 memory=7237400421024098393 CPUtime=0.09 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 609 0 0 0 9 0 0 0 20 0 15 0 271916783 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 324 0 0 0 6 0 0 0 20 0 15 0 271916783 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) S 5502 5505 5234 0 -1 1077944384 431 0 0 0 15 0 0 0 20 0 15 0 271916783 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491801745904 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14084804 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916783 14422839296 22195 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88780 KiB

[startup+1.50072 s]
/proc/loadavg: 1.57 1.59 1.36 4/202 5538
/proc/meminfo: memFree=23383348/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14088900 memory=181776 CPUtime=3.14 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 26535 0 0 0 305 9 0 0 20 0 15 0 271916777 14427033600 45444 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3522225 45444 3553 1 0 3484297 0
[pid=5505/tid=5507] ppid=5502 vsize=14088900 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 19661 0 0 0 140 7 0 0 20 0 15 0 271916778 14427033600 45444 33554432000 4194304 4196468 140723020010912 140492338547856 140492318397790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271916779 14427033600 45444 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14088900 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14427033600 45444 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14427033600 45444 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271916779 14427033600 45444 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 271916780 14427033600 45444 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0

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

/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 37270 0 0 0 237411 19 0 0 20 0 15 0 271916778 14429130752 65035 33554432000 4194304 4196468 140723020010912 140492338555488 140491963258514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14090948 memory=260140 CPUtime=4.56 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 3369 0 0 0 436 20 0 0 20 0 15 0 271916779 14429130752 65035 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14090948 memory=260140 CPUtime=4.57 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 2604 0 0 0 437 20 0 0 20 0 15 0 271916779 14429130752 65035 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14090948 memory=260140 CPUtime=4.59 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 5352 0 0 0 440 19 0 0 20 0 15 0 271916779 14429130752 65035 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14090948 memory=260140 CPUtime=4.57 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 3162 0 0 0 439 18 0 0 20 0 15 0 271916779 14429130752 65035 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14090948 memory=260140 CPUtime=2.42 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 5330 0 0 0 222 20 0 0 20 0 15 0 271916780 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14090948 memory=260140 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 271916780 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491874931936 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14090948 memory=164 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271916781 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491873878784 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14090948 memory=260140 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14090948 memory=260140 CPUtime=1.3 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 5786 0 0 0 129 1 0 0 20 0 15 0 271916783 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14090948 memory=260140 CPUtime=1.32 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 8020 0 0 0 131 1 0 0 20 0 15 0 271916783 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14090948 memory=260140 CPUtime=0.82 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) S 5502 5505 5234 0 -1 1077944384 9045 0 0 0 80 2 0 0 20 0 15 0 271916783 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491801745904 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14090948 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14090948 memory=924 CPUtime=1.37 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 793 0 0 0 57 80 0 0 20 0 15 0 271916783 14429130752 65035 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 2399.9 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 260140 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.50 1.44 3/215 5753
/proc/meminfo: memFree=21479992/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14090948 memory=262188 CPUtime=2460.28 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 83406 0 0 0 245853 175 0 0 20 0 15 0 271916777 14429130752 65547 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3522737 65547 3591 1 0 3484809 0
[pid=5505/tid=5507] ppid=5502 vsize=14090948 memory=262188 CPUtime=2434.08 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 37769 0 0 0 243389 19 0 0 20 0 15 0 271916778 14429130752 65547 33554432000 4194304 4196468 140723020010912 140492338555488 140491963455135 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14090948 memory=262188 CPUtime=4.68 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 3531 0 0 0 448 20 0 0 20 0 15 0 271916779 14429130752 65547 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14090948 memory=260140 CPUtime=4.69 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 2751 0 0 0 449 20 0 0 20 0 15 0 271916779 14429130752 65547 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14090948 memory=262188 CPUtime=4.72 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 5366 0 0 0 452 20 0 0 20 0 15 0 271916779 14429130752 65547 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14090948 memory=262188 CPUtime=4.69 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 3181 0 0 0 451 18 0 0 20 0 15 0 271916779 14429130752 65547 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14090948 memory=262188 CPUtime=2.48 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 5505 0 0 0 228 20 0 0 20 0 15 0 271916780 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14090948 memory=262188 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 271916780 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491874931936 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14090948 memory=262188 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271916781 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491873878784 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14090948 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14090948 memory=262188 CPUtime=1.3 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 5788 0 0 0 129 1 0 0 20 0 15 0 271916783 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14090948 memory=262188 CPUtime=1.32 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 8022 0 0 0 131 1 0 0 20 0 15 0 271916783 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14090948 memory=262188 CPUtime=0.82 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) S 5502 5505 5234 0 -1 1077944384 9250 0 0 0 80 2 0 0 20 0 15 0 271916783 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491801745904 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14090948 memory=262188 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14090948 memory=262188 CPUtime=1.4 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 808 0 0 0 58 82 0 0 20 0 15 0 271916783 14429130752 65547 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 2460.28 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 262188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.7 s]
/proc/loadavg: 1.32 1.46 1.43 3/215 5754
/proc/meminfo: memFree=21514528/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14090948 memory=264236 CPUtime=2520.04 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 83566 0 0 0 251824 180 0 0 20 0 15 0 271916777 14429130752 66059 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3522737 66059 3591 1 0 3484809 0
[pid=5505/tid=5507] ppid=5502 vsize=14090948 memory=264236 CPUtime=2493.26 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 37874 0 0 0 249307 19 0 0 20 0 15 0 271916778 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492338555488 140491962483218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14090948 memory=264236 CPUtime=4.8 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 3533 0 0 0 459 21 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14090948 memory=264236 CPUtime=4.81 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 2752 0 0 0 461 20 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14090948 memory=264236 CPUtime=4.84 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 5408 0 0 0 464 20 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14090948 memory=1752 CPUtime=4.8 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 3183 0 0 0 461 19 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14090948 memory=264236 CPUtime=2.54 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 5509 0 0 0 234 20 0 0 20 0 15 0 271916780 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14090948 memory=264236 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 271916780 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491874931936 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14090948 memory=264236 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271916781 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491873878784 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14090948 memory=264236 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14090948 memory=264236 CPUtime=1.3 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 5788 0 0 0 129 1 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14090948 memory=264236 CPUtime=1.32 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 8022 0 0 0 131 1 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14090948 memory=264236 CPUtime=0.82 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) S 5502 5505 5234 0 -1 1077944384 9250 0 0 0 80 2 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491801745904 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14090948 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14090948 memory=264236 CPUtime=1.43 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 812 0 0 0 60 83 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 264236 KiB

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

[startup+2501.71 s]
# the end of solver process 5505 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.26 s, system=1.80517 s

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

[startup+2501.7 s]
/proc/loadavg: 1.32 1.46 1.43 3/215 5754
/proc/meminfo: memFree=21514528/32770624 swapFree=67108688/67108860
[pid=5505] ppid=5502 vsize=14090948 memory=264236 CPUtime=2520.04 cores=1,3,5,7
/proc/5505/stat : 5505 (java) S 5502 5505 5234 0 -1 1077944320 83566 0 0 0 251824 180 0 0 20 0 15 0 271916777 14429130752 66059 33554432000 4194304 4196468 140723020010912 140723019993456 140492334317303 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
/proc/5505/statm: 3522737 66059 3591 1 0 3484809 0
[pid=5505/tid=5507] ppid=5502 vsize=14090948 memory=264236 CPUtime=2493.26 cores=1,3,5,7
/proc/5505/task/5507/stat : 5507 (java) R 5502 5505 5234 0 -1 4202560 37874 0 0 0 249307 19 0 0 20 0 15 0 271916778 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492338555488 140491962483218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5508] ppid=5502 vsize=14090948 memory=264236 CPUtime=4.8 cores=1,3,5,7
/proc/5505/task/5508/stat : 5508 (java) S 5502 5505 5234 0 -1 1077944384 3533 0 0 0 459 21 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492286938128 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5509] ppid=5502 vsize=14090948 memory=264236 CPUtime=4.81 cores=1,3,5,7
/proc/5505/task/5509/stat : 5509 (java) S 5502 5505 5234 0 -1 1077944384 2752 0 0 0 461 20 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492285885584 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5510] ppid=5502 vsize=14090948 memory=264236 CPUtime=4.84 cores=1,3,5,7
/proc/5505/task/5510/stat : 5510 (java) S 5502 5505 5234 0 -1 1077944384 5408 0 0 0 464 20 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492284832528 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5511] ppid=5502 vsize=14090948 memory=1752 CPUtime=4.8 cores=1,3,5,7
/proc/5505/task/5511/stat : 5511 (java) S 5502 5505 5234 0 -1 1077944384 3183 0 0 0 461 19 0 0 20 0 15 0 271916779 14429130752 66059 33554432000 4194304 4196468 140723020010912 140492283779984 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5512] ppid=5502 vsize=14090948 memory=264236 CPUtime=2.54 cores=1,3,5,7
/proc/5505/task/5512/stat : 5512 (java) S 5502 5505 5234 0 -1 1077944384 5509 0 0 0 234 20 0 0 20 0 15 0 271916780 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491875985648 140492334328450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5513] ppid=5502 vsize=14090948 memory=264236 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5513/stat : 5513 (java) S 5502 5505 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 271916780 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491874931936 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5514] ppid=5502 vsize=14090948 memory=264236 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5514/stat : 5514 (java) S 5502 5505 5234 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271916781 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491873878784 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5515] ppid=5502 vsize=14090948 memory=264236 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5515/stat : 5515 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491872827344 140492334335899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5516] ppid=5502 vsize=14090948 memory=264236 CPUtime=1.3 cores=1,3,5,7
/proc/5505/task/5516/stat : 5516 (java) S 5502 5505 5234 0 -1 1077944384 5788 0 0 0 129 1 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491871775472 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5517] ppid=5502 vsize=14090948 memory=264236 CPUtime=1.32 cores=1,3,5,7
/proc/5505/task/5517/stat : 5517 (java) S 5502 5505 5234 0 -1 1077944384 8022 0 0 0 131 1 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491802798960 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5518] ppid=5502 vsize=14090948 memory=264236 CPUtime=0.82 cores=1,3,5,7
/proc/5505/task/5518/stat : 5518 (java) S 5502 5505 5234 0 -1 1077944384 9250 0 0 0 80 2 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491801745904 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5519] ppid=5502 vsize=14090948 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/5505/task/5519/stat : 5519 (java) S 5502 5505 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491800693600 140492334327509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
[pid=5505/tid=5520] ppid=5502 vsize=14090948 memory=264236 CPUtime=1.43 cores=1,3,5,7
/proc/5505/task/5520/stat : 5520 (java) S 5502 5505 5234 0 -1 1077944384 812 0 0 0 60 83 0 0 20 0 15 0 271916783 14429130752 66059 33554432000 4194304 4196468 140723020010912 140491799640624 140492334328450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38498304 140723020014665 140723020014857 140723020014857 140723020017615 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 264236 KiB

Child status: 143
Real time (s): 2501.71
CPU time (s): 2520.06
CPU user time (s): 2518.26
CPU system time (s): 1.80517
CPU usage (%): 100.734
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 285880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.26
system time used= 1.80516
maximum resident set size= 286300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120826
involuntary context switches= 2757


# summary of solver processes directly reported to runsolver:
#   pid: 5505
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2518.26
#   total CPU system time (s): 1.80517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2684 second user time and 23.1822 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4311643

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
