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-07-02	SAT (TO)	72	2400.12	2381.73
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 (7197 MiB free)
  memory of node 1: 16384 MiB (11938 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290363-1532231284/watcher-4290363-1532231284 -o /tmp/evaluation-result-4290363-1532231284/solver-4290363-1532231284 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532226532-30726 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 926228547 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290363-1532231284.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.108776 s]*
/proc/loadavg: 1.39 1.32 1.39 4/219 31203
/proc/meminfo: memFree=19577688/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14082740 memory=33196 CPUtime=0.13 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 7258 0 0 0 12 1 0 0 20 0 15 0 40691585 14420725760 8299 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3520685 8299 3145 1 0 3482761 0
[pid=31188/tid=31190] ppid=31185 vsize=14082740 memory=-8557575366716198018 CPUtime=0.1 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 5307 0 0 0 9 1 0 0 20 0 15 0 40691586 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385888017600 140385867875678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691588 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40691588 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385072932384 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40691589 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385071879536 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) S 31185 31188 30695 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385069775216 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0.01 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) S 31185 31188 30695 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 40691591 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385067669616 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 8299 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33196 KiB

[startup+0.214594 s]*
/proc/loadavg: 1.39 1.32 1.39 5/219 31203
/proc/meminfo: memFree=19562492/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14082740 memory=47144 CPUtime=0.32 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 10405 0 0 0 30 2 0 0 20 0 15 0 40691585 14420725760 11786 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3520685 11786 3375 1 0 3482761 0
[pid=31188/tid=31190] ppid=31185 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 8102 0 0 0 19 1 0 0 20 0 15 0 40691586 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385888021008 140385867838821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14082740 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14082740 memory=3474727024504022688 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40691588 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40691588 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385072932384 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40691589 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385071879536 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) R 31185 31188 30695 0 -1 4202560 516 0 0 0 2 0 0 0 20 0 15 0 40691591 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385069775216 140385876014428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) R 31185 31188 30695 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 40691591 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0.06 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) R 31185 31188 30695 0 -1 4202560 310 0 0 0 6 0 0 0 20 0 15 0 40691591 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385067665984 140385883809051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 11786 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47144 KiB

[startup+0.310614 s]*
/proc/loadavg: 1.39 1.32 1.39 5/219 31203
/proc/meminfo: memFree=19559080/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14082740 memory=50468 CPUtime=0.44 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 10795 0 0 0 42 2 0 0 20 0 15 0 40691585 14420725760 12617 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3520685 12617 3377 1 0 3482761 0
[pid=31188/tid=31190] ppid=31185 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 8450 0 0 0 29 1 0 0 20 0 15 0 40691586 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385887998912 140385867875678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14082740 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14082740 memory=4123525746310456992 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40691588 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40691588 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385072932384 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40691589 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385071879536 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) S 31185 31188 30695 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 40691591 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385069775216 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) S 31185 31188 30695 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 40691591 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0.08 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) S 31185 31188 30695 0 -1 1077944384 327 0 0 0 8 0 0 0 20 0 15 0 40691591 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385067669616 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14082740 memory=140292707526272 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691591 14420725760 12617 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50468 KiB

[startup+0.700722 s]
/proc/loadavg: 1.39 1.32 1.39 3/219 31203
/proc/meminfo: memFree=19534648/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14084808 memory=88848 CPUtime=0.99 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 17619 0 0 0 95 4 0 0 20 0 15 0 40691585 14422843392 22212 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3521202 22212 3504 1 0 3483273 0
[pid=31188/tid=31190] ppid=31185 vsize=14084808 memory=274274061421882 CPUtime=0.67 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 14884 0 0 0 64 3 0 0 20 0 15 0 40691586 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385888019408 140385867875678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14084808 memory=175223 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691587 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691587 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14084808 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40691588 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14084808 memory=-6510337572210895455 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40691588 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385072932384 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14084808 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40691589 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385071879536 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14084808 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14084808 memory=6944652177228980320 CPUtime=0.09 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) S 31185 31188 30695 0 -1 1077944384 670 0 0 0 9 0 0 0 20 0 15 0 40691591 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385069775216 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) S 31185 31188 30695 0 -1 1077944384 259 0 0 0 6 0 0 0 20 0 15 0 40691591 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) S 31185 31188 30695 0 -1 1077944384 423 0 0 0 15 0 0 0 20 0 15 0 40691591 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385067669616 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14084808 memory=8868 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691591 14422843392 22212 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88848 KiB

[startup+1.50067 s]
/proc/loadavg: 1.44 1.33 1.39 5/219 31203
/proc/meminfo: memFree=19480216/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14088904 memory=178372 CPUtime=3.25 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 23479 0 0 0 319 6 0 0 20 0 15 0 40691585 14427037696 44593 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3522226 44593 3546 1 0 3484297 0
[pid=31188/tid=31190] ppid=31185 vsize=14088904 memory=3303 CPUtime=1.46 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 17609 0 0 0 142 4 0 0 20 0 15 0 40691586 14427037696 44593 33554432000 4194304 4196468 140728692185216 140385888030864 140385519217946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14088904 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40691587 14427037696 44593 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14427037696 44593 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691587 14427037696 44593 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40691587 14427037696 44593 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 40691588 14427037696 44593 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0

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

/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 34010 0 0 0 225285 12 0 0 20 0 15 0 40691586 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385888033408 140385528506053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14090952 memory=255824 CPUtime=4.93 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 4699 0 0 0 477 16 0 0 20 0 15 0 40691587 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14090952 memory=255824 CPUtime=4.93 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 3640 0 0 0 478 15 0 0 20 0 15 0 40691587 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14090952 memory=255824 CPUtime=4.94 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 2860 0 0 0 480 14 0 0 20 0 15 0 40691587 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14090952 memory=255824 CPUtime=4.94 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 4357 0 0 0 479 15 0 0 20 0 15 0 40691587 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14090952 memory=255824 CPUtime=2.26 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 3872 0 0 0 211 15 0 0 20 0 15 0 40691588 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14090952 memory=255824 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 40691588 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385072932448 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14090952 memory=255824 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40691589 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385071879552 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14090952 memory=255824 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14090952 memory=255824 CPUtime=1.3 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) S 31185 31188 30695 0 -1 1077944384 6396 0 0 0 129 1 0 0 20 0 15 0 40691591 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385069775216 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14090952 memory=255824 CPUtime=1.34 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) S 31185 31188 30695 0 -1 1077944384 6875 0 0 0 133 1 0 0 20 0 15 0 40691591 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14090952 memory=255824 CPUtime=0.87 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) S 31185 31188 30695 0 -1 1077944384 8717 0 0 0 85 2 0 0 20 0 15 0 40691591 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385067669616 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14090952 memory=255824 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14090952 memory=255824 CPUtime=1.33 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1136 0 0 0 64 69 0 0 20 0 15 0 40691591 14429134848 63956 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 2279.91 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 255824 KiB

[startup+2322.3 s]
/proc/loadavg: 1.32 1.26 1.29 3/219 31380
/proc/meminfo: memFree=20372596/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14090952 memory=257872 CPUtime=2340.31 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 78427 0 0 0 233889 142 0 0 20 0 15 0 40691585 14429134848 64468 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3522738 64468 3590 1 0 3484809 0
[pid=31188/tid=31190] ppid=31185 vsize=14090952 memory=257872 CPUtime=2312.72 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 34235 0 0 0 231260 12 0 0 20 0 15 0 40691586 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385888033408 140385529151612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14090952 memory=257872 CPUtime=5.06 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 4757 0 0 0 490 16 0 0 20 0 15 0 40691587 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14090952 memory=14340 CPUtime=5.07 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 3644 0 0 0 492 15 0 0 20 0 15 0 40691587 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14090952 memory=257872 CPUtime=5.08 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 2865 0 0 0 493 15 0 0 20 0 15 0 40691587 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14090952 memory=257872 CPUtime=5.08 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 4439 0 0 0 493 15 0 0 20 0 15 0 40691587 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14090952 memory=0 CPUtime=2.31 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 3919 0 0 0 216 15 0 0 20 0 15 0 40691588 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14090952 memory=257872 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 40691588 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385072932448 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14090952 memory=257872 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40691589 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385071879552 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14090952 memory=257872 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14090952 memory=257872 CPUtime=1.3 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) S 31185 31188 30695 0 -1 1077944384 6396 0 0 0 129 1 0 0 20 0 15 0 40691591 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385069775216 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14090952 memory=257872 CPUtime=1.34 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) S 31185 31188 30695 0 -1 1077944384 6875 0 0 0 133 1 0 0 20 0 15 0 40691591 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14090952 memory=257872 CPUtime=0.87 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) S 31185 31188 30695 0 -1 1077944384 8717 0 0 0 85 2 0 0 20 0 15 0 40691591 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385067669616 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14090952 memory=257872 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14090952 memory=257872 CPUtime=1.37 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1142 0 0 0 65 72 0 0 20 0 15 0 40691591 14429134848 64468 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 2340.31 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 257872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2381.7 s]
/proc/loadavg: 1.27 1.24 1.29 6/218 31412
/proc/meminfo: memFree=20708688/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14090952 memory=259920 CPUtime=2400.09 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 78597 0 0 0 239864 145 0 0 20 0 15 0 40691585 14429134848 64980 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3522738 64980 3590 1 0 3484809 0
[pid=31188/tid=31190] ppid=31185 vsize=14090952 memory=259920 CPUtime=2371.84 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 34341 0 0 0 237171 13 0 0 20 0 15 0 40691586 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385888033296 140385528642266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.21 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 4779 0 0 0 504 17 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.2 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 3645 0 0 0 505 15 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.22 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 2897 0 0 0 507 15 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.22 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 4440 0 0 0 507 15 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14090952 memory=259920 CPUtime=2.38 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 3923 0 0 0 222 16 0 0 20 0 15 0 40691588 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14090952 memory=216728 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 40691588 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385072932448 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14090952 memory=259920 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40691589 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385071879552 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14090952 memory=259920 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14090952 memory=257872 CPUtime=1.3 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) S 31185 31188 30695 0 -1 1077944384 6396 0 0 0 129 1 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385069775216 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14090952 memory=4126316290023845779 CPUtime=1.34 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) S 31185 31188 30695 0 -1 1077944384 6875 0 0 0 133 1 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14090952 memory=257872 CPUtime=0.87 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) S 31185 31188 30695 0 -1 1077944384 8717 0 0 0 85 2 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385067669616 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14090952 memory=7288 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14090952 memory=840 CPUtime=1.4 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1146 0 0 0 66 74 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 259920 KiB

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

[startup+2381.73 s]
# the end of solver process 31188 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.66 s, system=1.45934 s

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

[startup+2381.7 s]
/proc/loadavg: 1.27 1.24 1.29 6/218 31412
/proc/meminfo: memFree=20708688/32770624 swapFree=67108860/67108860
[pid=31188] ppid=31185 vsize=14090952 memory=259920 CPUtime=2400.09 cores=0,2,4,6
/proc/31188/stat : 31188 (java) S 31185 31188 30695 0 -1 1077944320 78597 0 0 0 239864 145 0 0 20 0 15 0 40691585 14429134848 64980 33554432000 4194304 4196468 140728692185216 140728692167760 140385883795191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
/proc/31188/statm: 3522738 64980 3590 1 0 3484809 0
[pid=31188/tid=31190] ppid=31185 vsize=14090952 memory=259920 CPUtime=2371.84 cores=0,2,4,6
/proc/31188/task/31190/stat : 31190 (java) R 31185 31188 30695 0 -1 4202560 34341 0 0 0 237171 13 0 0 20 0 15 0 40691586 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385888033296 140385528642266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31191] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.21 cores=0,2,4,6
/proc/31188/task/31191/stat : 31191 (java) S 31185 31188 30695 0 -1 1077944384 4779 0 0 0 504 17 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385840347792 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31192] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.2 cores=0,2,4,6
/proc/31188/task/31192/stat : 31192 (java) S 31185 31188 30695 0 -1 1077944384 3645 0 0 0 505 15 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385839294992 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31193] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.22 cores=0,2,4,6
/proc/31188/task/31193/stat : 31193 (java) S 31185 31188 30695 0 -1 1077944384 2897 0 0 0 507 15 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385477650832 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31194] ppid=31185 vsize=14090952 memory=259920 CPUtime=5.22 cores=0,2,4,6
/proc/31188/task/31194/stat : 31194 (java) S 31185 31188 30695 0 -1 1077944384 4440 0 0 0 507 15 0 0 20 0 15 0 40691587 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385476598032 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31195] ppid=31185 vsize=14090952 memory=259920 CPUtime=2.38 cores=0,2,4,6
/proc/31188/task/31195/stat : 31195 (java) S 31185 31188 30695 0 -1 1077944384 3923 0 0 0 222 16 0 0 20 0 15 0 40691588 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385073986416 140385883806338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31196] ppid=31185 vsize=14090952 memory=216728 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31196/stat : 31196 (java) S 31185 31188 30695 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 40691588 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385072932448 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31197] ppid=31185 vsize=14090952 memory=259920 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31197/stat : 31197 (java) S 31185 31188 30695 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40691589 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385071879552 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31198] ppid=31185 vsize=14090952 memory=259920 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31198/stat : 31198 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385070827856 140385883813787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31199] ppid=31185 vsize=14090952 memory=257872 CPUtime=1.3 cores=0,2,4,6
/proc/31188/task/31199/stat : 31199 (java) S 31185 31188 30695 0 -1 1077944384 6396 0 0 0 129 1 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385069775216 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31200] ppid=31185 vsize=14090952 memory=4126316290023845779 CPUtime=1.34 cores=0,2,4,6
/proc/31188/task/31200/stat : 31200 (java) S 31185 31188 30695 0 -1 1077944384 6875 0 0 0 133 1 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385068722416 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31201] ppid=31185 vsize=14090952 memory=257872 CPUtime=0.87 cores=0,2,4,6
/proc/31188/task/31201/stat : 31201 (java) S 31185 31188 30695 0 -1 1077944384 8717 0 0 0 85 2 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385067669616 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31202] ppid=31185 vsize=14090952 memory=7288 CPUtime=0 cores=0,2,4,6
/proc/31188/task/31202/stat : 31202 (java) S 31185 31188 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385066617056 140385883805397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
[pid=31188/tid=31203] ppid=31185 vsize=14090952 memory=840 CPUtime=1.4 cores=0,2,4,6
/proc/31188/task/31203/stat : 31203 (java) S 31185 31188 30695 0 -1 1077944384 1146 0 0 0 66 74 0 0 20 0 15 0 40691591 14429134848 64980 33554432000 4194304 4196468 140728692185216 140385065565360 140385883806338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 9310208 140728692192329 140728692192521 140728692192521 140728692195279 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 259920 KiB

Child status: 143
Real time (s): 2381.73
CPU time (s): 2400.12
CPU user time (s): 2398.66
CPU system time (s): 1.45934
CPU usage (%): 100.772
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 269172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.66
system time used= 1.45934
maximum resident set size= 269208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79110
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114638
involuntary context switches= 5576


# summary of solver processes directly reported to runsolver:
#   pid: 31188
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2398.66
#   total CPU system time (s): 1.45934

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4894 second user time and 20.1104 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 4290363

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
