2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	49	252.082	226.937
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 (6694 MiB free)
  memory of node 1: 16384 MiB (15742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302397-1532894898/watcher-4302397-1532894898 -o /tmp/evaluation-result-4302397-1532894898/solver-4302397-1532894898 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16079 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=74177426 HOME/instance-4302397-1532894898.xml 

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

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

solver pid=17115, runsolver pid=17112

[startup+0.100064 s]*
/proc/loadavg: 2.43 1.82 1.82 6/206 17172
/proc/meminfo: memFree=22918412/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=10005480 memory=18864 CPUtime=0.1 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 4384 13108 0 0 1 1 5 3 20 0 6 0 107052959 10245611520 4716 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2501370 4716 1935 1 0 2489808 0
[pid=17115/tid=17168] ppid=17112 vsize=10005480 memory=4279135703980344719 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 2191 13108 0 0 0 0 5 3 20 0 6 0 107052968 10245611520 4716 33554432000 4194304 4196468 140728809189904 140422374285904 140422386529630 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 6 0 107052968 10245611520 4716 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=10005480 memory=140390804342400 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 6 0 107052968 10245611520 4716 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 6 0 107052968 10245611520 4716 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 6 0 107052968 10245611520 4716 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18864 KiB

[startup+0.210119 s]*
/proc/loadavg: 2.43 1.82 1.82 8/215 17181
/proc/meminfo: memFree=22857580/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=10982744 memory=37604 CPUtime=0.23 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 6633 13108 0 0 14 1 5 3 20 0 15 0 107052959 11246329856 9401 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2745686 9401 2949 1 0 2708109 0
[pid=17115/tid=17168] ppid=17112 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 3177 13108 0 0 9 0 5 3 20 0 15 0 107052968 11246329856 9401 33554432000 4194304 4196468 140728809189904 140422374272776 140422382715850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=10982744 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246329856 9401 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=10982744 memory=140390804991409 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246329856 9401 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246329856 9401 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246329856 9401 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=10982744 memory=140390804342400 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246329856 9401 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246329856 9401 33554432000 4194304 4196468 140728809189904 140421204272032 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 21 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246329856 9401 33554432000 4194304 4196468 140728809189904 140421137159152 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11246329856 9401 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 362 13108 0 0 1 0 5 3 20 0 15 0 107052973 11246329856 9401 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 241 13108 0 0 0 0 5 3 20 0 15 0 107052973 11246329856 9401 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=10982744 memory=140390804342400 CPUtime=0.1 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 614 13108 0 0 2 0 5 3 20 0 15 0 107052973 11246329856 9401 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11246329856 9401 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=10982744 memory=140390804342400 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052976 11246329856 9401 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 37604 KiB

[startup+0.310628 s]*
/proc/loadavg: 2.43 1.82 1.82 7/215 17181
/proc/meminfo: memFree=22799252/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=10983192 memory=51136 CPUtime=0.36 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 9859 13108 0 0 26 2 5 3 20 0 15 0 107052959 11246788608 12784 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2745798 12784 3068 1 0 2708109 0
[pid=17115/tid=17168] ppid=17112 vsize=10983192 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 6392 13108 0 0 17 1 5 3 20 0 15 0 107052968 11246788608 12784 33554432000 4194304 4196468 140728809189904 140422374261152 140422386529630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 12784 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 12784 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 12784 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 12784 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246788608 12784 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246788608 12784 33554432000 4194304 4196468 140728809189904 140421204272032 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 21 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246788608 12784 33554432000 4194304 4196468 140728809189904 140421137159152 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11246788608 12784 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 363 13108 0 0 2 0 5 3 20 0 15 0 107052973 11246788608 12784 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 241 13108 0 0 1 0 5 3 20 0 15 0 107052973 11246788608 12784 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=10983192 memory=140390804342400 CPUtime=0.12 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 625 13108 0 0 4 0 5 3 20 0 15 0 107052973 11246788608 12784 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11246788608 12784 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=10983192 memory=140390804342400 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052976 11246788608 12784 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 51136 KiB

[startup+0.700768 s]
/proc/loadavg: 2.43 1.82 1.82 6/215 17181
/proc/meminfo: memFree=22662168/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=10983192 memory=86348 CPUtime=0.97 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 16719 13108 0 0 85 4 5 3 20 0 15 0 107052959 11246788608 21587 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2745798 21587 3247 1 0 2708109 0
[pid=17115/tid=17168] ppid=17112 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 12214 13108 0 0 54 3 5 3 20 0 15 0 107052968 11246788608 21587 33554432000 4194304 4196468 140728809189904 140422374277024 140422388129309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 21587 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 21587 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 21587 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 2 13108 0 0 0 0 5 3 20 0 15 0 107052968 11246788608 21587 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 6 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246788608 21587 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 13 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246788608 21587 33554432000 4194304 4196468 140728809189904 140421204272032 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=10983192 memory=140390669890320 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 21 13108 0 0 0 0 5 3 20 0 15 0 107052970 11246788608 21587 33554432000 4194304 4196468 140728809189904 140421137159152 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=10983192 memory=140393890972233 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11246788608 21587 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=10983192 memory=796 CPUtime=0.16 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 731 13108 0 0 8 0 5 3 20 0 15 0 107052973 11246788608 21587 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=10983192 memory=7014751519650764113 CPUtime=0.17 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 815 13108 0 0 9 0 5 3 20 0 15 0 107052973 11246788608 21587 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=10983192 memory=7597123233646858610 CPUtime=0.21 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 714 13108 0 0 13 0 5 3 20 0 15 0 107052973 11246788608 21587 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=10983192 memory=3544 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11246788608 21587 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052976 11246788608 21587 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86348 KiB

[startup+1.50262 s]
/proc/loadavg: 2.43 1.82 1.82 6/215 17181
/proc/meminfo: memFree=22327192/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=10998092 memory=190256 CPUtime=2.58 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 24646 13108 0 0 240 10 5 3 20 0 15 0 107052959 11262046208 47564 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2749523 47564 3469 1 0 2711181 0
[pid=17115/tid=17168] ppid=17112 vsize=10998092 memory=9169 CPUtime=1.41 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 17361 13108 0 0 127 6 5 3 20 0 15 0 107052968 11262046208 47564 33554432000 4194304 4196468 140728809189904 140422374266144 140422388691725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 49 13108 0 0 1 0 5 3 20 0 15 0 107052968 11262046208 47564 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=10998092 memory=1404 CPUtime=0.09 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 20 13108 0 0 1 0 5 3 20 0 15 0 107052968 11262046208 47564 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=10998092 memory=2864 CPUtime=0.09 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 169 13108 0 0 1 0 5 3 20 0 15 0 107052968 11262046208 47564 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=10998092 memory=86348 CPUtime=0.09 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 37 13108 0 0 1 0 5 3 20 0 15 0 107052968 11262046208 47564 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 53 13108 0 0 1 0 5 3 20 0 15 0 107052970 11262046208 47564 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 14 13108 0 0 0 0 5 3 20 0 15 0 107052970 11262046208 47564 33554432000 4194304 4196468 140728809189904 140421204272096 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 42 13108 0 0 0 0 5 3 20 0 15 0 107052970 11262046208 47564 33554432000 4194304 4196468 140728809189904 140421137159168 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11262046208 47564 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=10998092 memory=4638778398332698720 CPUtime=0.36 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 1283 13108 0 0 28 0 5 3 20 0 15 0 107052973 11262046208 47564 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=10998092 memory=280781340056448 CPUtime=0.44 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 1836 13108 0 0 36 0 5 3 20 0 15 0 107052973 11262046208 47564 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=10998092 memory=6944656592452807323 CPUtime=0.49 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 1594 13108 0 0 40 1 5 3 20 0 15 0 107052973 11262046208 47564 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11262046208 47564 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 1 13108 0 0 0 0 5 3 20 0 15 0 107052976 11262046208 47564 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 10998092 KiB

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

/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 48491 13108 0 0 16086 32 5 3 20 0 15 0 107052968 11345952768 448529 33554432000 4194304 4196468 140728809189904 140422374284672 140421972932572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=11080032 memory=1794116 CPUtime=0.66 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 3596 13108 0 0 49 9 5 3 20 0 15 0 107052968 11345952768 448529 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=11080032 memory=1794116 CPUtime=0.67 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 2432 13108 0 0 51 8 5 3 20 0 15 0 107052968 11345952768 448529 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=11080032 memory=1800780 CPUtime=0.67 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 1445 13108 0 0 50 9 5 3 20 0 15 0 107052968 11345952768 448529 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=11080032 memory=1815432 CPUtime=0.67 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 1757 13108 0 0 50 9 5 3 20 0 15 0 107052968 11345952768 448529 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=11080032 memory=1800788 CPUtime=0.36 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 4920 13108 0 0 26 2 5 3 20 0 15 0 107052970 11345952768 448529 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=11080032 memory=1800272 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 448529 33554432000 4194304 4196468 140728809189904 140421204272096 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=11080032 memory=1795652 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 50 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 448529 33554432000 4194304 4196468 140728809189904 140421137159168 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=11080032 memory=1797704 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 448529 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=11080032 memory=1794116 CPUtime=8.6 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 18730 13108 0 0 848 4 5 3 20 0 15 0 107052973 11345952768 448529 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=11080032 memory=1794116 CPUtime=8.55 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 21045 13108 0 0 843 4 5 3 20 0 15 0 107052973 11345952768 448529 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=11080032 memory=1794116 CPUtime=3.51 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 22865 13108 0 0 337 6 5 3 20 0 15 0 107052973 11345952768 448529 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=11080032 memory=1794116 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 448529 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=11080032 memory=1794116 CPUtime=0.16 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 810 13108 0 0 3 5 5 3 20 0 15 0 107052976 11345952768 448529 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 184.5 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1794116 KiB

[startup+222.301 s]
/proc/loadavg: 1.83 1.99 1.92 3/215 17443
/proc/meminfo: memFree=21977176/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=11080032 memory=1782164 CPUtime=247.23 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 139842 13108 0 0 24619 96 5 3 20 0 15 0 107052959 11345952768 445541 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2770008 445541 3533 1 0 2731661 0
[pid=17115/tid=17168] ppid=17112 vsize=11080032 memory=1788756 CPUtime=220.7 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 49819 13108 0 0 22030 32 5 3 20 0 15 0 107052968 11345952768 445541 33554432000 4194304 4196468 140728809189904 140422374284576 140421982438736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=11080032 memory=1789808 CPUtime=0.93 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 4657 13108 0 0 75 10 5 3 20 0 15 0 107052968 11345952768 445541 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=11080032 memory=1784728 CPUtime=0.97 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 2904 13108 0 0 79 10 5 3 20 0 15 0 107052968 11345952768 445541 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=11080032 memory=1785752 CPUtime=0.96 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 1657 13108 0 0 78 10 5 3 20 0 15 0 107052968 11345952768 445541 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=11080032 memory=1788748 CPUtime=0.97 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 1957 13108 0 0 78 11 5 3 20 0 15 0 107052968 11345952768 445541 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.56 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 5223 13108 0 0 45 3 5 3 20 0 15 0 107052970 11345952768 445541 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=11080032 memory=1782676 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 445541 33554432000 4194304 4196468 140728809189904 140421204272096 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 50 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 445541 33554432000 4194304 4196468 140728809189904 140421137159168 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 445541 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=11080032 memory=3544 CPUtime=9.38 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 20211 13108 0 0 926 4 5 3 20 0 15 0 107052973 11345952768 445541 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=11080032 memory=288230574492221466 CPUtime=9.32 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 24523 13108 0 0 919 5 5 3 20 0 15 0 107052973 11345952768 445541 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=11080032 memory=288230621803970871 CPUtime=3.85 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 25794 13108 0 0 371 6 5 3 20 0 15 0 107052973 11345952768 445541 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=11080032 memory=14412609709410693 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 445541 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.19 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 832 13108 0 0 5 6 5 3 20 0 15 0 107052976 11345952768 445541 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 247.23 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1782164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+226.901 s]
/proc/loadavg: 1.85 1.99 1.92 3/215 17443
/proc/meminfo: memFree=21977176/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=11080032 memory=1782232 CPUtime=252.03 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 142392 13108 0 0 25099 96 5 3 20 0 15 0 107052959 11345952768 445558 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2770008 445558 3533 1 0 2731661 0
[pid=17115/tid=17168] ppid=17112 vsize=11080032 memory=1782164 CPUtime=225.26 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 50046 13108 0 0 22486 32 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422374284752 140421973227458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=11080032 memory=1782232 CPUtime=0.96 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 4680 13108 0 0 78 10 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.99 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 2918 13108 0 0 81 10 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.98 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 2699 13108 0 0 80 10 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=11080032 memory=1782164 CPUtime=1 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 2055 13108 0 0 81 11 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.57 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 5243 13108 0 0 46 3 5 3 20 0 15 0 107052970 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=11080032 memory=1785752 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421204272096 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 50 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421137159168 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=11080032 memory=1784728 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=11080032 memory=1789808 CPUtime=9.43 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 20329 13108 0 0 931 4 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=11080032 memory=1782232 CPUtime=9.37 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 25389 13108 0 0 924 5 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=11080032 memory=262 CPUtime=3.88 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 25936 13108 0 0 374 6 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=11080032 memory=1782232 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=11080032 memory=1782676 CPUtime=0.2 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 832 13108 0 0 6 6 5 3 20 0 15 0 107052976 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1782232 KiB

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

[startup+226.937 s]
# the end of solver process 17115 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.063 s, system=1.01846 s

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

[startup+226.901 s]
/proc/loadavg: 1.85 1.99 1.92 3/215 17443
/proc/meminfo: memFree=21977176/32770624 swapFree=67028828/67108860
[pid=17115] ppid=17112 vsize=11080032 memory=1782232 CPUtime=252.03 cores=1,3,5,7
/proc/17115/stat : 17115 (java) S 17112 17115 10029 0 -1 1077944320 142392 13108 0 0 25099 96 5 3 20 0 15 0 107052959 11345952768 445558 33554432000 4194304 4196468 140728809189904 140728809172448 140422402449143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
/proc/17115/statm: 2770008 445558 3533 1 0 2731661 0
[pid=17115/tid=17168] ppid=17112 vsize=11080032 memory=1782164 CPUtime=225.26 cores=1,3,5,7
/proc/17115/task/17168/stat : 17168 (java) R 17112 17115 10029 0 -1 4202560 50046 13108 0 0 22486 32 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422374284752 140421973227458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17169] ppid=17112 vsize=11080032 memory=1782232 CPUtime=0.96 cores=1,3,5,7
/proc/17115/task/17169/stat : 17169 (java) S 17112 17115 10029 0 -1 1077944384 4680 13108 0 0 78 10 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422406691600 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17170] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.99 cores=1,3,5,7
/proc/17115/task/17170/stat : 17170 (java) S 17112 17115 10029 0 -1 1077944384 2918 13108 0 0 81 10 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422287956880 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17171] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.98 cores=1,3,5,7
/proc/17115/task/17171/stat : 17171 (java) S 17112 17115 10029 0 -1 1077944384 2699 13108 0 0 80 10 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422286904336 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17172] ppid=17112 vsize=11080032 memory=1782164 CPUtime=1 cores=1,3,5,7
/proc/17115/task/17172/stat : 17172 (java) S 17112 17115 10029 0 -1 1077944384 2055 13108 0 0 81 11 5 3 20 0 15 0 107052968 11345952768 445558 33554432000 4194304 4196468 140728809189904 140422285851792 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17173] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.57 cores=1,3,5,7
/proc/17115/task/17173/stat : 17173 (java) S 17112 17115 10029 0 -1 1077944384 5243 13108 0 0 46 3 5 3 20 0 15 0 107052970 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421895485424 140422402460290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17174] ppid=17112 vsize=11080032 memory=1785752 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17174/stat : 17174 (java) S 17112 17115 10029 0 -1 1077944384 16 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421204272096 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17175] ppid=17112 vsize=11080032 memory=1782164 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17175/stat : 17175 (java) S 17112 17115 10029 0 -1 1077944384 50 13108 0 0 0 0 5 3 20 0 15 0 107052970 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421137159168 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17176] ppid=17112 vsize=11080032 memory=1784728 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17176/stat : 17176 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140420829763792 140422402467739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17177] ppid=17112 vsize=11080032 memory=1789808 CPUtime=9.43 cores=1,3,5,7
/proc/17115/task/17177/stat : 17177 (java) S 17112 17115 10029 0 -1 1077944384 20329 13108 0 0 931 4 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421894433264 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17178] ppid=17112 vsize=11080032 memory=1782232 CPUtime=9.37 cores=1,3,5,7
/proc/17115/task/17178/stat : 17178 (java) S 17112 17115 10029 0 -1 1077944384 25389 13108 0 0 924 5 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421893380720 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17179] ppid=17112 vsize=11080032 memory=262 CPUtime=3.88 cores=1,3,5,7
/proc/17115/task/17179/stat : 17179 (java) S 17112 17115 10029 0 -1 1077944384 25936 13108 0 0 374 6 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421892328176 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17180] ppid=17112 vsize=11080032 memory=1782232 CPUtime=0.08 cores=1,3,5,7
/proc/17115/task/17180/stat : 17180 (java) S 17112 17115 10029 0 -1 1077944384 3 13108 0 0 0 0 5 3 20 0 15 0 107052973 11345952768 445558 33554432000 4194304 4196468 140728809189904 140420398967904 140422402459349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
[pid=17115/tid=17181] ppid=17112 vsize=11080032 memory=1782676 CPUtime=0.2 cores=1,3,5,7
/proc/17115/task/17181/stat : 17181 (java) S 17112 17115 10029 0 -1 1077944384 832 13108 0 0 6 6 5 3 20 0 15 0 107052976 11345952768 445558 33554432000 4194304 4196468 140728809189904 140421891275056 140422402460290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26787840 140728809196147 140728809198945 140728809198945 140728809201615 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1782232 KiB

Child status: 143
Real time (s): 226.937
CPU time (s): 252.082
CPU user time (s): 251.063
CPU system time (s): 1.01846
CPU usage (%): 111.08
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1957408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.063
system time used= 1.01846
maximum resident set size= 1959492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27871
involuntary context switches= 478


# summary of solver processes directly reported to runsolver:
#   pid: 17115
#   total CPU time (s): 252.082
#   total CPU user time (s): 251.063
#   total CPU system time (s): 1.01846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43882 second user time and 2.13431 second system time

The end
Name	PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml
MD5SUM	6059cce927de517ef09e7ab17e66c3d6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	5
Best CPU time to get the best result obtained on this benchmark	252.053
Satisfiable
(Un)Satisfiability was proved
Number of variables	776
Number of constraints	867
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":776}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":81},{"degree":4,"count":204},{"degree":5,"count":222},{"degree":6,"count":243},{"degree":7,"count":6},{"degree":8,"count":17}]
Minimum constraint arity	1
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":697},{"arity":3,"count":12},{"arity":4,"count":15},{"arity":5,"count":16},{"arity":6,"count":18},{"arity":7,"count":10},{"arity":8,"count":8},{"arity":9,"count":14},{"arity":10,"count":11},{"arity":11,"count":5},{"arity":12,"count":11},{"arity":13,"count":8},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":8},{"arity":17,"count":6},{"arity":18,"count":10},{"arity":19,"count":5},{"arity":20,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":867}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4302397

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
