| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | ? (TO) | 1957.3 | 252.2 |
| Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml |
| MD5SUM | 35e588148f794a6a4a81576d123b10dc |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 19091 |
| Number of constraints | 160 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":19091}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 19 |
| Distribution of variable degrees | [{"degree":3,"count":10},{"degree":4,"count":86},{"degree":5,"count":309},{"degree":6,"count":636},{"degree":7,"count":911},{"degree":8,"count":1069},{"degree":9,"count":1258},{"degree":10,"count":1321},{"degree":11,"count":1446},{"degree":12,"count":1732},{"degree":13,"count":2126},{"degree":14,"count":2492},{"degree":15,"count":3123},{"degree":16,"count":1856},{"degree":17,"count":628},{"degree":18,"count":85},{"degree":19,"count":3}] |
| Minimum constraint arity | 13 |
| Maximum constraint arity | 4379 |
| Distribution of constraint arities | [{"arity":13,"count":2},{"arity":140,"count":2},{"arity":176,"count":1},{"arity":182,"count":2},{"arity":212,"count":2},{"arity":214,"count":2},{"arity":221,"count":2},{"arity":222,"count":2},{"arity":271,"count":1},{"arity":273,"count":2},{"arity":275,"count":3},{"arity":280,"count":1},{"arity":282,"count":1},{"arity":291,"count":3},{"arity":301,"count":4},{"arity":304,"count":3},{"arity":307,"count":5},{"arity":341,"count":3},{"arity":352,"count":1},{"arity":393,"count":2},{"arity":421,"count":3},{"arity":438,"count":2},{"arity":441,"count":2},{"arity":449,"count":1},{"arity":458,"count":2},"...",{"arity":2907,"count":1}, {"arity":2936,"count":1}, {"arity":3201,"count":1}, {"arity":3393,"count":1}, {"arity":3498,"count":1}, {"arity":3551,"count":1}, {"arity":3656,"count":1}, {"arity":3814,"count":1}, {"arity":3816,"count":1}, {"arity":3827,"count":1}, {"arity":3932,"count":1}, {"arity":3961,"count":1}, {"arity":4014,"count":1}, {"arity":4038,"count":1}, {"arity":4066,"count":1}, {"arity":4072,"count":1}, {"arity":4078,"count":1}, {"arity":4125,"count":1}, {"arity":4146,"count":1}, {"arity":4162,"count":1}, {"arity":4242,"count":1}, {"arity":4283,"count":1}, {"arity":4304,"count":1}, {"arity":4369,"count":1}, {"arity":4379,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":160}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281300-1503187039.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281300-1503187039.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 7.03/2.58 c solve instance... 1956.48/252.07 s UNKNOWN 1956.48/252.07 c Unexpected resolution interruption!
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 (10293 MiB free)
memory of node 1: 16384 MiB (12484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281300-1503187039/watcher-4281300-1503187039 -o /tmp/evaluation-result-4281300-1503187039/solver-4281300-1503187039 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1181957807 HOME/instance-4281300-1503187039.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1990, runsolver pid=1987
[startup+0.10011 s]*
/proc/loadavg: 6.17 5.75 6.80 3/200 2011
/proc/meminfo: memFree=23308364/32770624 swapFree=67108860/67108860
[pid=1990] ppid=1987 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1990/stat : 1990 (xcsp3-exec) S 1987 1990 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151784888 9740288 345 33554432000 4194304 5098028 140736390573040 140736390571144 139907458187900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22118400 140736390575210 140736390575420 140736390575420 140736390578155 0
/proc/1990/statm: 2378 345 289 221 0 87 0
[pid=1992] ppid=1990 vsize=25999808 memory=26360 CPUtime=0.11 cores=0-7
/proc/1992/stat : 1992 (java) S 1990 1990 29114 0 -1 1077944320 5521 0 0 0 10 1 0 0 20 0 20 0 151784888 26623803392 6590 33554432000 4194304 4196468 140723754881232 140723754863776 140459456032503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
/proc/1992/statm: 6499952 6590 2848 1 0 6488269 0
[pid=1992/tid=1993] ppid=1990 vsize=25999808 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/1992/task/1993/stat : 1993 (java) R 1990 1990 29114 0 -1 4202560 3533 0 0 0 8 1 0 0 20 0 20 0 151784888 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459460263808 140459456044438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1994] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/1994/stat : 1994 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459408653456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1995] ppid=1990 vsize=25999808 memory=139995633370752 CPUtime=0 cores=0-7
/proc/1992/task/1995/stat : 1995 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459407600656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1996] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/1996/stat : 1996 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459406547856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1997] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/1997/stat : 1997 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459405495056 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1998] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/1998/stat : 1998 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459404442256 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1999] ppid=1990 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1992/task/1999/stat : 1999 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459403389456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2000] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2000/stat : 2000 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459402336656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2001] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2001/stat : 2001 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26623803392 6590 33554432000 4194304 4196468 140723754881232 140459401283856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2002] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2002/stat : 2002 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784890 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457996721008 140459456043650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2003] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2003/stat : 2003 (java) S 1990 1990 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151784891 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457995666976 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2004] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2004/stat : 2004 (java) S 1990 1990 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151784891 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457994614128 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2005] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2005/stat : 2005 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784894 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457993562448 140459456051099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2006] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2006/stat : 2006 (java) S 1990 1990 29114 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 151784894 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457992509808 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2007] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2007/stat : 2007 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784894 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457991457008 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2008] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2008/stat : 2008 (java) S 1990 1990 29114 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 151784894 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457990404208 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2009] ppid=1990 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1992/task/2009/stat : 2009 (java) R 1990 1990 29114 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 151784894 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457989351408 140459435939452 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2010] ppid=1990 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2010/stat : 2010 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784894 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457988299872 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2011] ppid=1990 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1992/task/2011/stat : 2011 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784894 26623803392 6590 33554432000 4194304 4196468 140723754881232 140457987247152 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27740 KiB
[startup+0.210054 s]*
/proc/loadavg: 6.17 5.75 6.80 2/200 2011
/proc/meminfo: memFree=23298068/32770624 swapFree=67108860/67108860
[pid=1990] ppid=1987 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1990/stat : 1990 (xcsp3-exec) S 1987 1990 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151784888 9740288 345 33554432000 4194304 5098028 140736390573040 140736390571144 139907458187900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22118400 140736390575210 140736390575420 140736390575420 140736390578155 0
/proc/1990/statm: 2378 345 289 221 0 87 0
[pid=1992] ppid=1990 vsize=26004064 memory=38680 CPUtime=0.33 cores=0-7
/proc/1992/stat : 1992 (java) S 1990 1990 29114 0 -1 1077944320 8235 0 0 0 30 3 0 0 20 0 20 0 151784888 26628161536 9670 33554432000 4194304 4196468 140723754881232 140723754863776 140459456032503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
/proc/1992/statm: 6501016 9670 3011 1 0 6488269 0
[pid=1992/tid=1993] ppid=1990 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/1992/task/1993/stat : 1993 (java) R 1990 1990 29114 0 -1 4202560 5423 0 0 0 18 2 0 0 20 0 20 0 151784888 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459460246048 140459456054429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1994] ppid=1990 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/1992/task/1994/stat : 1994 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459408653456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1995] ppid=1990 vsize=26004064 memory=3617990889194079904 CPUtime=0 cores=0-7
/proc/1992/task/1995/stat : 1995 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459407600656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1996] ppid=1990 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1992/task/1996/stat : 1996 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459406547856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1997] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/1997/stat : 1997 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459405495056 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1998] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/1998/stat : 1998 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459404442256 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1999] ppid=1990 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1992/task/1999/stat : 1999 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459403389456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2000] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2000/stat : 2000 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459402336656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2001] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2001/stat : 2001 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 9670 33554432000 4194304 4196468 140723754881232 140459401283856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2002] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2002/stat : 2002 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784890 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457996721008 140459456043650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2003] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2003/stat : 2003 (java) S 1990 1990 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151784891 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457995666976 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2004] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2004/stat : 2004 (java) S 1990 1990 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151784891 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457994614128 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2005] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2005/stat : 2005 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784894 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457993562448 140459456051099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2006] ppid=1990 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1992/task/2006/stat : 2006 (java) S 1990 1990 29114 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 20 0 151784894 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457992509808 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2007] ppid=1990 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1992/task/2007/stat : 2007 (java) S 1990 1990 29114 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 151784894 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457991457008 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2008] ppid=1990 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1992/task/2008/stat : 2008 (java) S 1990 1990 29114 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 20 0 151784894 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457990404208 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2009] ppid=1990 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/1992/task/2009/stat : 2009 (java) R 1990 1990 29114 0 -1 4202560 731 0 0 0 7 0 0 0 20 0 20 0 151784894 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457989351408 140459456044438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2010] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2010/stat : 2010 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784894 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457988299872 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2011] ppid=1990 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1992/task/2011/stat : 2011 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784894 26628161536 9670 33554432000 4194304 4196468 140723754881232 140457987247152 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40060 KiB
[startup+0.309446 s]*
/proc/loadavg: 6.17 5.75 6.80 6/200 2011
/proc/meminfo: memFree=23293292/32770624 swapFree=67108860/67108860
[pid=1990] ppid=1987 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1990/stat : 1990 (xcsp3-exec) S 1987 1990 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151784888 9740288 345 33554432000 4194304 5098028 140736390573040 140736390571144 139907458187900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22118400 140736390575210 140736390575420 140736390575420 140736390578155 0
/proc/1990/statm: 2378 345 289 221 0 87 0
[pid=1992] ppid=1990 vsize=26004064 memory=46936 CPUtime=0.51 cores=0-7
/proc/1992/stat : 1992 (java) S 1990 1990 29114 0 -1 1077944320 9405 0 0 0 47 4 0 0 20 0 20 0 151784888 26628161536 11734 33554432000 4194304 4196468 140723754881232 140723754863776 140459456032503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
/proc/1992/statm: 6501016 11734 3087 1 0 6488269 0
[pid=1992/tid=1993] ppid=1990 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/1992/task/1993/stat : 1993 (java) R 1990 1990 29114 0 -1 4202560 6087 0 0 0 27 2 0 0 20 0 20 0 151784888 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459460271456 140459456054429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1994] ppid=1990 vsize=26004064 memory=1224 CPUtime=0 cores=0-7
/proc/1992/task/1994/stat : 1994 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459408653456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1995] ppid=1990 vsize=26004064 memory=1716 CPUtime=0 cores=0-7
/proc/1992/task/1995/stat : 1995 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459407600656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1996] ppid=1990 vsize=26004064 memory=10636 CPUtime=0 cores=0-7
/proc/1992/task/1996/stat : 1996 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459406547856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1997] ppid=1990 vsize=26004064 memory=1200 CPUtime=0 cores=0-7
/proc/1992/task/1997/stat : 1997 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459405495056 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1998] ppid=1990 vsize=26004064 memory=15876 CPUtime=0 cores=0-7
/proc/1992/task/1998/stat : 1998 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459404442256 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1999] ppid=1990 vsize=26004064 memory=4044 CPUtime=0 cores=0-7
/proc/1992/task/1999/stat : 1999 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459403389456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2000] ppid=1990 vsize=26004064 memory=16444 CPUtime=0 cores=0-7
/proc/1992/task/2000/stat : 2000 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459402336656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2001] ppid=1990 vsize=26004064 memory=24448 CPUtime=0 cores=0-7
/proc/1992/task/2001/stat : 2001 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628161536 11800 33554432000 4194304 4196468 140723754881232 140459401283856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2002] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2002/stat : 2002 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784890 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457996721008 140459456043650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2003] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2003/stat : 2003 (java) S 1990 1990 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151784891 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457995666976 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2004] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2004/stat : 2004 (java) S 1990 1990 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151784891 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457994614128 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2005] ppid=1990 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/2005/stat : 2005 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784894 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457993562448 140459456051099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2006] ppid=1990 vsize=26004064 memory=139995532854735 CPUtime=0.02 cores=0-7
/proc/1992/task/2006/stat : 2006 (java) R 1990 1990 29114 0 -1 4202560 673 0 0 0 2 0 0 0 20 0 20 0 151784894 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457992490824 140459437208616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2007] ppid=1990 vsize=26004064 memory=67 CPUtime=0.03 cores=0-7
/proc/1992/task/2007/stat : 2007 (java) R 1990 1990 29114 0 -1 4202560 204 0 0 0 3 0 0 0 20 0 20 0 151784894 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457991448336 140459456053850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2008] ppid=1990 vsize=26004064 memory=51172 CPUtime=0.01 cores=0-7
/proc/1992/task/2008/stat : 2008 (java) S 1990 1990 29114 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 151784894 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457990404208 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2009] ppid=1990 vsize=26004064 memory=53476 CPUtime=0.12 cores=0-7
/proc/1992/task/2009/stat : 2009 (java) R 1990 1990 29114 0 -1 4202560 991 0 0 0 12 0 0 0 20 0 20 0 151784894 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457989347360 140459456044438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2010] ppid=1990 vsize=26004064 memory=110297088 CPUtime=0 cores=0-7
/proc/1992/task/2010/stat : 2010 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151784894 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457988299872 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2011] ppid=1990 vsize=26004064 memory=9740287 CPUtime=0 cores=0-7
/proc/1992/task/2011/stat : 2011 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784894 26628161536 11800 33554432000 4194304 4196468 140723754881232 140457987247152 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 48316 KiB
[startup+0.700873 s]
/proc/loadavg: 6.17 5.75 6.80 5/200 2011
/proc/meminfo: memFree=23248152/32770624 swapFree=67108860/67108860
[pid=1990] ppid=1987 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1990/stat : 1990 (xcsp3-exec) S 1987 1990 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151784888 9740288 345 33554432000 4194304 5098028 140736390573040 140736390571144 139907458187900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22118400 140736390575210 140736390575420 140736390575420 140736390578155 0
/proc/1990/statm: 2378 345 289 221 0 87 0
[pid=1992] ppid=1990 vsize=26004140 memory=171744 CPUtime=2.03 cores=0-7
/proc/1992/stat : 1992 (java) S 1990 1990 29114 0 -1 1077944320 14076 0 0 0 196 7 0 0 20 0 20 0 151784888 26628239360 42936 33554432000 4194304 4196468 140723754881232 140723754863776 140459456032503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
/proc/1992/statm: 6501035 42936 3202 1 0 6488269 0
[pid=1992/tid=1993] ppid=1990 vsize=26004140 memory=0 CPUtime=0.67 cores=0-7
/proc/1992/task/1993/stat : 1993 (java) R 1990 1990 29114 0 -1 4202560 6456 0 0 0 63 4 0 0 20 0 20 0 151784888 26628239360 42936 33554432000 4194304 4196468 140723754881232 140459460271136 140459438495365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1994] ppid=1990 vsize=26004140 memory=139995533058928 CPUtime=0 cores=0-7
/proc/1992/task/1994/stat : 1994 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628239360 42936 33554432000 4194304 4196468 140723754881232 140459408653456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1995] ppid=1990 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1992/task/1995/stat : 1995 (java) S 1990 1990 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151784889 26628239360 42936 33554432000 4194304 4196468 140723754881232 140459407600656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1996] ppid=1990 vsize=26004140 memory=2396 CPUtime=0 cores=0-7
/proc/1992/task/1996/stat : 1996 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151784889 26628239360 42936 33554432000 4194304 4196468 140723754881232 140459406547856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
################
# More data... #
################
[pid=1992/tid=2018] ppid=1990 vsize=26538700 memory=42400 CPUtime=211.61 cores=0-7
/proc/1992/task/2018/stat : 2018 (java) R 1990 1990 29114 0 -1 4202560 1208 0 0 0 21158 3 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457772289720 140459077874023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2019] ppid=1990 vsize=26538700 memory=1296 CPUtime=211.49 cores=0-7
/proc/1992/task/2019/stat : 2019 (java) R 1990 1990 29114 0 -1 4202560 1495 0 0 0 21143 6 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457771237944 140459077873992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2020] ppid=1990 vsize=26538700 memory=2396 CPUtime=211.68 cores=0-7
/proc/1992/task/2020/stat : 2020 (java) R 1990 1990 29114 0 -1 4202560 1335 0 0 0 21165 3 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457770184712 140459077873725 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
Current children cumulated CPU time: 1720.05 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4351164 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.06 6.96 7.05 10/207 2020
/proc/meminfo: memFree=18981520/32770624 swapFree=67108860/67108860
[pid=1990] ppid=1987 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/1990/stat : 1990 (xcsp3-exec) S 1987 1990 29114 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151784888 9740288 345 33554432000 4194304 5098028 140736390573040 140736390571144 139907458187900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22118400 140736390575210 140736390575420 140736390575420 140736390578155 0
/proc/1990/statm: 2378 345 289 221 0 87 0
[pid=1992] ppid=1990 vsize=26538700 memory=4349784 CPUtime=1956.48 cores=0-7
/proc/1992/stat : 1992 (java) S 1990 1990 29114 0 -1 1077944320 95455 0 0 0 195398 250 0 0 20 0 28 0 151784888 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140723754863776 140459456032503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
/proc/1992/statm: 6634675 1087446 3299 1 0 6621909 0
[pid=1992/tid=1993] ppid=1990 vsize=26538700 memory=6935054825532540783 CPUtime=2.45 cores=0-7
/proc/1992/task/1993/stat : 1993 (java) S 1990 1990 29114 0 -1 1077944384 7063 0 0 0 237 8 0 0 20 0 28 0 151784888 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459460273280 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1994] ppid=1990 vsize=26538700 memory=1380 CPUtime=1.98 cores=0-7
/proc/1992/task/1994/stat : 1994 (java) S 1990 1990 29114 0 -1 1077944384 1565 0 0 0 183 15 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459408653456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1995] ppid=1990 vsize=26538700 memory=4349784 CPUtime=1.97 cores=0-7
/proc/1992/task/1995/stat : 1995 (java) S 1990 1990 29114 0 -1 1077944384 2246 0 0 0 174 23 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459407600656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1996] ppid=1990 vsize=26538700 memory=42400 CPUtime=1.96 cores=0-7
/proc/1992/task/1996/stat : 1996 (java) S 1990 1990 29114 0 -1 1077944384 951 0 0 0 180 16 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459406547856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1997] ppid=1990 vsize=26538700 memory=1380 CPUtime=1.95 cores=0-7
/proc/1992/task/1997/stat : 1997 (java) S 1990 1990 29114 0 -1 1077944384 1716 0 0 0 184 11 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459405495056 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1998] ppid=1990 vsize=26538700 memory=4349784 CPUtime=1.98 cores=0-7
/proc/1992/task/1998/stat : 1998 (java) S 1990 1990 29114 0 -1 1077944384 1506 0 0 0 176 22 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459404442256 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1999] ppid=1990 vsize=26538700 memory=14136666633799930 CPUtime=1.98 cores=0-7
/proc/1992/task/1999/stat : 1999 (java) S 1990 1990 29114 0 -1 1077944384 2108 0 0 0 187 11 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459403389456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2000] ppid=1990 vsize=26538700 memory=164 CPUtime=1.96 cores=0-7
/proc/1992/task/2000/stat : 2000 (java) S 1990 1990 29114 0 -1 1077944384 1024 0 0 0 184 12 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459402336656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2001] ppid=1990 vsize=26538700 memory=3054156605268465310 CPUtime=1.95 cores=0-7
/proc/1992/task/2001/stat : 2001 (java) S 1990 1990 29114 0 -1 1077944384 798 0 0 0 184 11 0 0 20 0 28 0 151784889 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140459401283856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2002] ppid=1990 vsize=26538700 memory=-8707038579349950309 CPUtime=5.69 cores=0-7
/proc/1992/task/2002/stat : 2002 (java) S 1990 1990 29114 0 -1 1077944384 10276 0 0 0 549 20 0 0 20 0 28 0 151784890 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457996721008 140459456043650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2003] ppid=1990 vsize=26538700 memory=1580 CPUtime=0 cores=0-7
/proc/1992/task/2003/stat : 2003 (java) S 1990 1990 29114 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 151784891 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457995667040 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2004] ppid=1990 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/1992/task/2004/stat : 2004 (java) S 1990 1990 29114 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 151784891 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457994614144 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2005] ppid=1990 vsize=26538700 memory=1160 CPUtime=0 cores=0-7
/proc/1992/task/2005/stat : 2005 (java) S 1990 1990 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151784894 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457993562448 140459456051099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2006] ppid=1990 vsize=26538700 memory=1160 CPUtime=2.07 cores=0-7
/proc/1992/task/2006/stat : 2006 (java) S 1990 1990 29114 0 -1 1077944384 11757 0 0 0 205 2 0 0 20 0 28 0 151784894 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457992509808 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2007] ppid=1990 vsize=26538700 memory=3688 CPUtime=2.1 cores=0-7
/proc/1992/task/2007/stat : 2007 (java) S 1990 1990 29114 0 -1 1077944384 11185 0 0 0 206 4 0 0 20 0 28 0 151784894 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457991457008 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2008] ppid=1990 vsize=26538700 memory=1380 CPUtime=1.75 cores=0-7
/proc/1992/task/2008/stat : 2008 (java) S 1990 1990 29114 0 -1 1077944384 9441 0 0 0 173 2 0 0 20 0 28 0 151784894 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457990404208 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2009] ppid=1990 vsize=26538700 memory=4349784 CPUtime=0.77 cores=0-7
/proc/1992/task/2009/stat : 2009 (java) S 1990 1990 29114 0 -1 1077944384 9441 0 0 0 75 2 0 0 20 0 28 0 151784894 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457989351408 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2010] ppid=1990 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/1992/task/2010/stat : 2010 (java) S 1990 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151784894 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457988299872 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2011] ppid=1990 vsize=26538700 memory=4124 CPUtime=0.1 cores=0-7
/proc/1992/task/2011/stat : 2011 (java) S 1990 1990 29114 0 -1 1077944384 1215 0 0 0 3 7 0 0 20 0 28 0 151784894 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457987247152 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2012] ppid=1990 vsize=26538700 memory=2196 CPUtime=241.52 cores=0-7
/proc/1992/task/2012/stat : 2012 (java) R 1990 1990 29114 0 -1 4202560 1340 0 0 0 24148 4 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457981332664 140459077873996 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2013] ppid=1990 vsize=26538700 memory=7540 CPUtime=241.33 cores=0-7
/proc/1992/task/2013/stat : 2013 (java) R 1990 1990 29114 0 -1 4202560 1528 0 0 0 24128 5 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457776500440 140459077854779 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2014] ppid=1990 vsize=26538700 memory=840 CPUtime=241.04 cores=0-7
/proc/1992/task/2014/stat : 2014 (java) R 1990 1990 29114 0 -1 4202560 1761 0 0 0 24098 6 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457775448120 140459073238211 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2015] ppid=1990 vsize=26538700 memory=4104 CPUtime=236.8 cores=0-7
/proc/1992/task/2015/stat : 2015 (java) R 1990 1990 29114 0 -1 4202560 5483 0 0 0 23663 17 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457774397912 140459077873943 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2016] ppid=1990 vsize=26538700 memory=1696 CPUtime=241.77 cores=0-7
/proc/1992/task/2016/stat : 2016 (java) R 1990 1990 29114 0 -1 4202560 7439 0 0 0 24141 36 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457773342064 140459070792850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2018] ppid=1990 vsize=26538700 memory=920 CPUtime=241.2 cores=0-7
/proc/1992/task/2018/stat : 2018 (java) R 1990 1990 29114 0 -1 4202560 1251 0 0 0 24117 3 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457772289720 140459077873793 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2019] ppid=1990 vsize=26538700 memory=4436 CPUtime=240.68 cores=0-7
/proc/1992/task/2019/stat : 2019 (java) R 1990 1990 29114 0 -1 4202560 1614 0 0 0 24061 7 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457771237944 140459073238090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2020] ppid=1990 vsize=26538700 memory=6935054825532540783 CPUtime=241.28 cores=0-7
/proc/1992/task/2020/stat : 2020 (java) R 1990 1990 29114 0 -1 4202560 1407 0 0 0 24125 3 0 0 20 0 28 0 151785151 27175628800 1087446 33554432000 4194304 4196468 140723754881232 140457770184712 140459077873793 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
Current children cumulated CPU time: 1956.48 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4351164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.042 s]
# the end of solver process 1990 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000962 s, system=0.000962 s
[startup+252.2 s]
# the end of solver process 1992 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1954.73 s, system=2.5683 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+252.131 s]*
/proc/loadavg: 8.06 6.96 7.05 3/205 2022
/proc/meminfo: memFree=18980992/32770624 swapFree=67108860/67108860
[pid=1992] ppid=1987 vsize=26671828 memory=4349944 CPUtime=1957.19 cores=0-7
/proc/1992/stat : 1992 (java) S 1987 1990 29114 0 -1 1077944320 96076 0 0 0 195467 252 0 0 20 0 27 0 151784888 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140723754863776 140459456032503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
/proc/1992/statm: 6667957 1087486 3301 1 0 6655191 0
[pid=1992/tid=1993] ppid=1987 vsize=26671828 memory=6935054825532540783 CPUtime=2.45 cores=0-7
/proc/1992/task/1993/stat : 1993 (java) S 1987 1990 29114 0 -1 1077944384 7063 0 0 0 237 8 0 0 20 0 27 0 151784888 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459460273280 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1994] ppid=1987 vsize=26671828 memory=42400 CPUtime=1.98 cores=0-7
/proc/1992/task/1994/stat : 1994 (java) S 1987 1990 29114 0 -1 1077944384 1565 0 0 0 183 15 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459408653456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1995] ppid=1987 vsize=26671828 memory=1296 CPUtime=1.97 cores=0-7
/proc/1992/task/1995/stat : 1995 (java) S 1987 1990 29114 0 -1 1077944384 2246 0 0 0 174 23 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459407600656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1996] ppid=1987 vsize=26671828 memory=2396 CPUtime=1.96 cores=0-7
/proc/1992/task/1996/stat : 1996 (java) S 1987 1990 29114 0 -1 1077944384 951 0 0 0 180 16 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459406547856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1997] ppid=1987 vsize=26671828 memory=288230574492221466 CPUtime=1.95 cores=0-7
/proc/1992/task/1997/stat : 1997 (java) S 1987 1990 29114 0 -1 1077944384 1716 0 0 0 184 11 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459405495056 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1998] ppid=1987 vsize=26671828 memory=302304344886477115 CPUtime=1.98 cores=0-7
/proc/1992/task/1998/stat : 1998 (java) S 1987 1990 29114 0 -1 1077944384 1506 0 0 0 176 22 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459404442256 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=1999] ppid=1987 vsize=26671828 memory=14136666633799930 CPUtime=1.98 cores=0-7
/proc/1992/task/1999/stat : 1999 (java) S 1987 1990 29114 0 -1 1077944384 2108 0 0 0 187 11 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459403389456 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2000] ppid=1987 vsize=26671828 memory=5776 CPUtime=1.96 cores=0-7
/proc/1992/task/2000/stat : 2000 (java) S 1987 1990 29114 0 -1 1077944384 1024 0 0 0 184 12 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459402336656 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2001] ppid=1987 vsize=26671828 memory=4616 CPUtime=1.95 cores=0-7
/proc/1992/task/2001/stat : 2001 (java) S 1987 1990 29114 0 -1 1077944384 798 0 0 0 184 11 0 0 20 0 27 0 151784889 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140459401283856 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2002] ppid=1987 vsize=26671828 memory=792 CPUtime=5.74 cores=0-7
/proc/1992/task/2002/stat : 2002 (java) R 1987 1990 29114 0 -1 4202560 10287 0 0 0 552 22 0 0 20 0 27 0 151784890 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457996721008 140459448660711 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2003] ppid=1987 vsize=26671828 memory=1424 CPUtime=0 cores=0-7
/proc/1992/task/2003/stat : 2003 (java) S 1987 1990 29114 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 27 0 151784891 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457995667040 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2004] ppid=1987 vsize=26671828 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/1992/task/2004/stat : 2004 (java) S 1987 1990 29114 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 27 0 151784891 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457994614144 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2006] ppid=1987 vsize=26671828 memory=1380 CPUtime=2.07 cores=0-7
/proc/1992/task/2006/stat : 2006 (java) S 1987 1990 29114 0 -1 1077944384 11757 0 0 0 205 2 0 0 20 0 27 0 151784894 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457992509808 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2007] ppid=1987 vsize=26671828 memory=4349784 CPUtime=2.1 cores=0-7
/proc/1992/task/2007/stat : 2007 (java) S 1987 1990 29114 0 -1 1077944384 11185 0 0 0 206 4 0 0 20 0 27 0 151784894 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457991457008 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2008] ppid=1987 vsize=26671828 memory=8112282956445269571 CPUtime=1.75 cores=0-7
/proc/1992/task/2008/stat : 2008 (java) S 1987 1990 29114 0 -1 1077944384 9441 0 0 0 173 2 0 0 20 0 27 0 151784894 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457990404208 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2009] ppid=1987 vsize=26671828 memory=8112282956445269571 CPUtime=0.77 cores=0-7
/proc/1992/task/2009/stat : 2009 (java) S 1987 1990 29114 0 -1 1077944384 9441 0 0 0 75 2 0 0 20 0 27 0 151784894 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457989351408 140459456043650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2010] ppid=1987 vsize=26671828 memory=2396 CPUtime=0 cores=0-7
/proc/1992/task/2010/stat : 2010 (java) S 1987 1990 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 151784894 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457988299872 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2012] ppid=1987 vsize=26671828 memory=279991067837104 CPUtime=241.59 cores=0-7
/proc/1992/task/2012/stat : 2012 (java) S 1987 1990 29114 0 -1 1077944384 1342 0 0 0 24155 4 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457981332064 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2013] ppid=1987 vsize=26671828 memory=-8961168018402230209 CPUtime=241.4 cores=0-7
/proc/1992/task/2013/stat : 2013 (java) S 1987 1990 29114 0 -1 1077944384 1529 0 0 0 24135 5 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457776500768 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2014] ppid=1987 vsize=26671828 memory=-7175204567652784766 CPUtime=241.11 cores=0-7
/proc/1992/task/2014/stat : 2014 (java) S 1987 1990 29114 0 -1 1077944384 1764 0 0 0 24105 6 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457775448128 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2015] ppid=1987 vsize=26671828 memory=3054156605268465310 CPUtime=236.87 cores=0-7
/proc/1992/task/2015/stat : 2015 (java) S 1987 1990 29114 0 -1 1077944384 5483 0 0 0 23670 17 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457774395168 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2016] ppid=1987 vsize=26671828 memory=-8707038579349950309 CPUtime=241.9 cores=0-7
/proc/1992/task/2016/stat : 2016 (java) R 1987 1990 29114 0 -1 4202560 7446 0 0 0 24154 36 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457773342064 140459070793590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2018] ppid=1987 vsize=26671828 memory=-8412652177879177843 CPUtime=241.27 cores=0-7
/proc/1992/task/2018/stat : 2018 (java) S 1987 1990 29114 0 -1 1077944384 1252 0 0 0 24124 3 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457772289120 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2019] ppid=1987 vsize=26671828 memory=-8341965534556230502 CPUtime=240.76 cores=0-7
/proc/1992/task/2019/stat : 2019 (java) S 1987 1990 29114 0 -1 1077944384 1615 0 0 0 24069 7 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457771237808 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2020] ppid=1987 vsize=26671828 memory=9047017150487036571 CPUtime=241.36 cores=0-7
/proc/1992/task/2020/stat : 2020 (java) S 1987 1990 29114 0 -1 1077944384 1409 0 0 0 24133 3 0 0 20 0 27 0 151785151 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457770184576 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
[pid=1992/tid=2021] ppid=1987 vsize=26671828 memory=8514726395714825349 CPUtime=0 cores=0-7
/proc/1992/task/2021/stat : 2021 (java) S 1987 1990 29114 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 27 0 151810090 27311951872 1087486 33554432000 4194304 4196468 140723754881232 140457769136752 140459456042709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140723754886296 140723754886472 140723754886472 140723754889167 0
Current cumulated CPU time of completed processes: 0.001924 s
Current children cumulated CPU time: 1957.19 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 4349944 KiB
Child status: 143
Real time (s): 252.2
CPU time (s): 1957.3
CPU user time (s): 1954.73
CPU system time (s): 2.5683
CPU usage (%): 776.089
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 4351164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1954.73
system time used= 2.5683
maximum resident set size= 4350656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96710
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= 10889
involuntary context switches= 20161
# summary of solver processes directly reported to runsolver:
# pid: 1990,1992
# total CPU time (s): 1957.3
# total CPU user time (s): 1954.73
# total CPU system time (s): 2.5683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1506 second user time and 3.26458 second system time
The end
Begin job on node150 at 2017-08-20 01:42:59 IDJOB=4281300 IDBENCH=133709 IDSOLVER=2676 FILE ID=node150/4281300-1503187039 RUNJOBID= node150-1503183633-29141 PBS_JOBID= 20630853 Free space on /tmp= 61904 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281300-1503187039/watcher-4281300-1503187039 -o /tmp/evaluation-result-4281300-1503187039/solver-4281300-1503187039 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1181957807 HOME/instance-4281300-1503187039.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 35e588148f794a6a4a81576d123b10dc RANDOM SEED=1181957807 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23325284 kB MemAvailable: 31962952 kB Buffers: 300556 kB Cached: 8616544 kB SwapCached: 0 kB Active: 2718048 kB Inactive: 6252612 kB Active(anon): 3680 kB Inactive(anon): 85948 kB Active(file): 2714368 kB Inactive(file): 6166664 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8172 kB Writeback: 0 kB AnonPages: 60392 kB Mapped: 51612 kB Shmem: 33416 kB Slab: 171328 kB SReclaimable: 144944 kB SUnreclaim: 26384 kB KernelStack: 3344 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61896 MiB End job on node150 at 2017-08-20 01:47:11