Trace number 4280621

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)466 19971.699 2520.1299

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-00.xml
MD5SUMac62098c303420005332b673e951092f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark2520.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints101
Number of domains2
Minimum domain size62
Maximum domain size100
Distribution of domain sizes[{"size":62,"count":100},{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":100}]
Minimum constraint arity3
Maximum constraint arity100
Distribution of constraint arities[{"arity":3,"count":100},{"arity":100,"count":1}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280621-1503161113.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280621-1503161113.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
14.76/10.27	c solve instance...
19.70/11.00	o 1528 
20.86/11.11	o 1524 
22.17/11.43	o 475 
22.17/11.45	o 473 
22.17/11.49	o 471 
22.17/11.49	o 470 
22.73/11.53	o 469 
22.73/11.56	o 467 
23.27/11.64	o 466 
19970.87/2520.09	s SATISFIABLE
19970.87/2520.09	v <instantiation>
19970.87/2520.09	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] </list>
19970.87/2520.09	v 	<values>69 68 98 55 56 61 38 57 99 88 82 70 73 72 71 65 66 67 60 58 52 41 45 44 39 32 24 0 18 19 23 26 25 21 20 17 12 8 6 10 16 15 11 14 28 33 36 37 40 48 43 47 51 50 35 27 2 13 9 5 4 3 7 1 22 29 30 34 31 42 46 49 53 76 86 92 95 97 94 93 85 84 80 83 74 75 77 81 78 79 89 87 90 91 96 64 63 62 59 54 1 16 20 4 2 16 9 22 6 4 6 6 1 1 2 3 3 3 1 4 4 3 2 3 4 6 17 8 2 3 1 3 3 4 3 1 2 6 2 2 2 3 4 7 4 4 1 3 2 6 1 2 1 5 7 14 7 7 3 2 1 4 8 12 6 1 6 5 6 1 2 2 10 5 5 2 1 5 1 3 3 2 1 4 5 2 4 3 2 5 4 8 3 6 15 5 1 2 3 8 </values>
19970.87/2520.09	v </instantiation>
19970.87/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	466

Watcher Data 

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 (11933 MiB free)
  memory of node 1: 16384 MiB (12146 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280621-1503161113/watcher-4280621-1503161113 -o /tmp/evaluation-result-4280621-1503161113/solver-4280621-1503161113 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503152458-770 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1592979329 HOME/instance-4280621-1503161113.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=1636, runsolver pid=1633

[startup+0.100141 s]*
/proc/loadavg: 8.18 8.21 8.23 2/200 1657
/proc/meminfo: memFree=24643116/32770624 swapFree=67108860/67108860
[pid=1636] ppid=1633 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1636/stat : 1636 (xcsp3-exec) S 1633 1636 743 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149192032 9740288 346 33554432000 4194304 5098028 140735697451680 140735697449784 140581873513084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140735697454180 140735697454391 140735697454391 140735697457131 0
/proc/1636/statm: 2378 346 289 221 0 87 0
[pid=1638] ppid=1636 vsize=25999808 memory=26524 CPUtime=0.11 cores=0-7
/proc/1638/stat : 1638 (java) S 1636 1636 743 0 -1 1077944320 5553 0 0 0 9 2 0 0 20 0 20 0 149192032 26623803392 6631 33554432000 4194304 4196468 140724042518384 140724042500928 139907848642295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
/proc/1638/statm: 6499952 6631 2849 1 0 6488269 0
[pid=1638/tid=1639] ppid=1636 vsize=25999808 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/1638/task/1639/stat : 1639 (java) R 1636 1636 743 0 -1 4202560 3571 0 0 0 7 1 0 0 20 0 20 0 149192032 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907852874264 139907848654230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1640] ppid=1636 vsize=25999808 memory=288230600429797399 CPUtime=0 cores=0-7
/proc/1638/task/1640/stat : 1640 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907756202384 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1641] ppid=1636 vsize=25999808 memory=288370823857104512 CPUtime=0 cores=0-7
/proc/1638/task/1641/stat : 1641 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907405547792 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1642] ppid=1636 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1642/stat : 1642 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907404495504 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1643] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1643/stat : 1643 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907403442704 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1644] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1644/stat : 1644 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907402390416 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1645] ppid=1636 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1645/stat : 1645 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907401337616 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1646] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1646/stat : 1646 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907400285328 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1647] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1647/stat : 1647 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149192033 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907399232528 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1648] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1648/stat : 1648 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192035 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907356723312 139907848653442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1649] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1649/stat : 1649 (java) S 1636 1636 743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149192035 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907355669280 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1650] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1650/stat : 1650 (java) S 1636 1636 743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149192035 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907354616944 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1651] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1651/stat : 1651 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192038 26623803392 6631 33554432000 4194304 4196468 140724042518384 139907353565264 139907848660891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1652] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1652/stat : 1652 (java) S 1636 1636 743 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 149192038 26623803392 6631 33554432000 4194304 4196468 140724042518384 139906971101808 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1653] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1653/stat : 1653 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149192038 26623803392 6631 33554432000 4194304 4196468 140724042518384 139906970049008 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1654] ppid=1636 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1654/stat : 1654 (java) S 1636 1636 743 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 149192038 26623803392 6631 33554432000 4194304 4196468 140724042518384 139906968996720 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1655] ppid=1636 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1638/task/1655/stat : 1655 (java) R 1636 1636 743 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 149192038 26623803392 6631 33554432000 4194304 4196468 140724042518384 139906967943920 139907833807967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1656] ppid=1636 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1656/stat : 1656 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149192038 26623803392 6631 33554432000 4194304 4196468 140724042518384 139906966890848 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1657] ppid=1636 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1657/stat : 1657 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192038 26623803392 6631 33554432000 4194304 4196468 140724042518384 139906965838128 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27908 KiB

[startup+0.210028 s]*
/proc/loadavg: 8.18 8.21 8.23 3/200 1657
/proc/meminfo: memFree=24631812/32770624 swapFree=67108860/67108860
[pid=1636] ppid=1633 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1636/stat : 1636 (xcsp3-exec) S 1633 1636 743 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149192032 9740288 346 33554432000 4194304 5098028 140735697451680 140735697449784 140581873513084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140735697454180 140735697454391 140735697454391 140735697457131 0
/proc/1636/statm: 2378 346 289 221 0 87 0
[pid=1638] ppid=1636 vsize=26004064 memory=38936 CPUtime=0.32 cores=0-7
/proc/1638/stat : 1638 (java) S 1636 1636 743 0 -1 1077944320 8291 0 0 0 30 2 0 0 20 0 20 0 149192032 26628161536 9734 33554432000 4194304 4196468 140724042518384 140724042500928 139907848642295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
/proc/1638/statm: 6501016 9734 3075 1 0 6488269 0
[pid=1638/tid=1639] ppid=1636 vsize=26004064 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/1638/task/1639/stat : 1639 (java) R 1636 1636 743 0 -1 4202560 5412 0 0 0 18 2 0 0 20 0 20 0 149192032 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907852864240 139907841320309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1640] ppid=1636 vsize=26004064 memory=288230600429797399 CPUtime=0 cores=0-7
/proc/1638/task/1640/stat : 1640 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907756202384 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1641] ppid=1636 vsize=26004064 memory=288370823857104512 CPUtime=0 cores=0-7
/proc/1638/task/1641/stat : 1641 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907405547792 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1642] ppid=1636 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1642/stat : 1642 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907404495504 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1643] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1643/stat : 1643 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907403442704 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1644] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1644/stat : 1644 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907402390416 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1645] ppid=1636 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1645/stat : 1645 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907401337616 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1646] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1646/stat : 1646 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907400285328 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1647] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1647/stat : 1647 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907399232528 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1648] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1648/stat : 1648 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192035 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907356723312 139907848653442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1649] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1649/stat : 1649 (java) S 1636 1636 743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149192035 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907355669280 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1650] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1650/stat : 1650 (java) S 1636 1636 743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149192035 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907354616944 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1651] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1651/stat : 1651 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192038 26628161536 9734 33554432000 4194304 4196468 140724042518384 139907353565264 139907848660891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1652] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1652/stat : 1652 (java) S 1636 1636 743 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 20 0 149192038 26628161536 9734 33554432000 4194304 4196468 140724042518384 139906971101808 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1653] ppid=1636 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1638/task/1653/stat : 1653 (java) S 1636 1636 743 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 149192038 26628161536 9734 33554432000 4194304 4196468 140724042518384 139906970049008 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1654] ppid=1636 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/1638/task/1654/stat : 1654 (java) S 1636 1636 743 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 149192038 26628161536 9734 33554432000 4194304 4196468 140724042518384 139906968996720 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1655] ppid=1636 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/1638/task/1655/stat : 1655 (java) S 1636 1636 743 0 -1 1077944384 713 0 0 0 7 0 0 0 20 0 20 0 149192038 26628161536 9734 33554432000 4194304 4196468 140724042518384 139906967943920 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1656] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1656/stat : 1656 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149192038 26628161536 9734 33554432000 4194304 4196468 140724042518384 139906966890848 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1657] ppid=1636 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1657/stat : 1657 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192038 26628161536 9734 33554432000 4194304 4196468 140724042518384 139906965838128 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40320 KiB

[startup+0.309411 s]*
/proc/loadavg: 8.18 8.21 8.23 2/200 1657
/proc/meminfo: memFree=24624740/32770624 swapFree=67108860/67108860
[pid=1636] ppid=1633 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1636/stat : 1636 (xcsp3-exec) S 1633 1636 743 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149192032 9740288 346 33554432000 4194304 5098028 140735697451680 140735697449784 140581873513084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140735697454180 140735697454391 140735697454391 140735697457131 0
/proc/1636/statm: 2378 346 289 221 0 87 0
[pid=1638] ppid=1636 vsize=26004064 memory=45920 CPUtime=0.48 cores=0-7
/proc/1638/stat : 1638 (java) S 1636 1636 743 0 -1 1077944320 9138 0 0 0 45 3 0 0 20 0 20 0 149192032 26628161536 11480 33554432000 4194304 4196468 140724042518384 140724042500928 139907848642295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
/proc/1638/statm: 6501016 11480 3104 1 0 6488269 0
[pid=1638/tid=1639] ppid=1636 vsize=26004064 memory=51204 CPUtime=0.28 cores=0-7
/proc/1638/task/1639/stat : 1639 (java) R 1636 1636 743 0 -1 4202560 6094 0 0 0 26 2 0 0 20 0 20 0 149192032 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907852872944 139907848664221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1640] ppid=1636 vsize=26004064 memory=35 CPUtime=0 cores=0-7
/proc/1638/task/1640/stat : 1640 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907756202384 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1641] ppid=1636 vsize=26004064 memory=140447705448512 CPUtime=0 cores=0-7
/proc/1638/task/1641/stat : 1641 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907405547792 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1642] ppid=1636 vsize=26004064 memory=35 CPUtime=0 cores=0-7
/proc/1638/task/1642/stat : 1642 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907404495504 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1643] ppid=1636 vsize=26004064 memory=60388 CPUtime=0 cores=0-7
/proc/1638/task/1643/stat : 1643 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907403442704 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1644] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1644/stat : 1644 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907402390416 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1645] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1645/stat : 1645 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907401337616 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1646] ppid=1636 vsize=26004064 memory=14135550060426530 CPUtime=0 cores=0-7
/proc/1638/task/1646/stat : 1646 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907400285328 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1647] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1647/stat : 1647 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149192033 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907399232528 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1648] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1648/stat : 1648 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192035 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907356723312 139907848653442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1649] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1649/stat : 1649 (java) S 1636 1636 743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149192035 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907355669280 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1650] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1650/stat : 1650 (java) S 1636 1636 743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149192035 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907354616944 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1651] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1651/stat : 1651 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192038 26628161536 11480 33554432000 4194304 4196468 140724042518384 139907353565264 139907848660891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1652] ppid=1636 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1638/task/1652/stat : 1652 (java) S 1636 1636 743 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 149192038 26628161536 11480 33554432000 4194304 4196468 140724042518384 139906971101808 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1653] ppid=1636 vsize=26004064 memory=0 CPUtime=0.03 cores=0-7
/proc/1638/task/1653/stat : 1653 (java) S 1636 1636 743 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 20 0 149192038 26628161536 11480 33554432000 4194304 4196468 140724042518384 139906970049008 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1654] ppid=1636 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1638/task/1654/stat : 1654 (java) S 1636 1636 743 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 149192038 26628161536 11480 33554432000 4194304 4196468 140724042518384 139906968996720 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1655] ppid=1636 vsize=26004064 memory=0 CPUtime=0.11 cores=0-7
/proc/1638/task/1655/stat : 1655 (java) R 1636 1636 743 0 -1 4202560 797 0 0 0 11 0 0 0 20 0 20 0 149192038 26628161536 11480 33554432000 4194304 4196468 140724042518384 139906967943920 139907827660230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1656] ppid=1636 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1656/stat : 1656 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149192038 26628161536 11480 33554432000 4194304 4196468 140724042518384 139906966890848 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1657] ppid=1636 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1638/task/1657/stat : 1657 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149192038 26628161536 11480 33554432000 4194304 4196468 140724042518384 139906965838128 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47304 KiB

[startup+0.700854 s]
/proc/loadavg: 8.18 8.21 8.23 2/200 1657
/proc/meminfo: memFree=24602148/32770624 swapFree=67108860/67108860
[pid=1636] ppid=1633 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1636/stat : 1636 (xcsp3-exec) S 1633 1636 743 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149192032 9740288 346 33554432000 4194304 5098028 140735697451680 140735697449784 140581873513084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140735697454180 140735697454391 140735697454391 140735697457131 0
/proc/1636/statm: 2378 346 289 221 0 87 0
[pid=1638] ppid=1636 vsize=26006188 memory=79560 CPUtime=1.5 cores=0-7
/proc/1638/stat : 1638 (java) S 1636 1636 743 0 -1 1077944320 12446 0 0 0 146 4 0 0 20 0 20 0 149192032 26630336512 19890 33554432000 4194304 4196468 140724042518384 140724042500928 139907848642295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
/proc/1638/statm: 6501547 19890 3188 1 0 6488781 0
[pid=1638/tid=1639] ppid=1636 vsize=26006188 memory=1292 CPUtime=0.67 cores=0-7
/proc/1638/task/1639/stat : 1639 (java) R 1636 1636 743 0 -1 4202560 6554 0 0 0 64 3 0 0 20 0 20 0 149192032 26630336512 19890 33554432000 4194304 4196468 140724042518384 139907852876288 139907439116426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1640] ppid=1636 vsize=26006188 memory=2428 CPUtime=0 cores=0-7
/proc/1638/task/1640/stat : 1640 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26630336512 19890 33554432000 4194304 4196468 140724042518384 139907756202384 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1641] ppid=1636 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1641/stat : 1641 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26630336512 19890 33554432000 4194304 4196468 140724042518384 139907405547792 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1642] ppid=1636 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1642/stat : 1642 (java) S 1636 1636 743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149192033 26630336512 19890 33554432000 4194304 4196468 140724042518384 139907404495504 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0

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

[pid=1638/tid=1738] ppid=1636 vsize=26938084 memory=1399051139730258233 CPUtime=2402.41 cores=0-7
/proc/1638/task/1738/stat : 1738 (java) R 1636 1636 743 0 -1 4202560 36328 0 0 0 240199 42 0 0 20 0 28 0 149193198 27584598016 378414 33554432000 4194304 4196468 140724042518384 139906958323152 139907441738419 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
Current children cumulated CPU time: 19351.2 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 1515040 KiB

[startup+2502.3 s]
/proc/loadavg: 8.13 8.19 8.28 9/209 1818
/proc/meminfo: memFree=23155596/32770624 swapFree=67108860/67108860
[pid=1636] ppid=1633 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1636/stat : 1636 (xcsp3-exec) S 1633 1636 743 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149192032 9740288 346 33554432000 4194304 5098028 140735697451680 140735697449784 140581873513084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140735697454180 140735697454391 140735697454391 140735697457131 0
/proc/1636/statm: 2378 346 289 221 0 87 0
[pid=1638] ppid=1636 vsize=26938084 memory=1511644 CPUtime=19829.7 cores=0-7
/proc/1638/stat : 1638 (java) S 1636 1636 743 0 -1 1077944320 604720 0 0 0 1982353 613 0 0 20 0 28 0 149192032 27584598016 377911 33554432000 4194304 4196468 140724042518384 140724042500928 139907848642295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
/proc/1638/statm: 6734521 377911 3300 1 0 6721755 0
[pid=1638/tid=1639] ppid=1636 vsize=26938084 memory=1511644 CPUtime=9.76 cores=0-7
/proc/1638/task/1639/stat : 1639 (java) S 1636 1636 743 0 -1 1077944384 10385 0 0 0 968 8 0 0 20 0 28 0 149192032 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907852883072 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1640] ppid=1636 vsize=26938084 memory=1384 CPUtime=11.56 cores=0-7
/proc/1638/task/1640/stat : 1640 (java) S 1636 1636 743 0 -1 1077944384 32494 0 0 0 1118 38 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907756202384 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1641] ppid=1636 vsize=26938084 memory=1511644 CPUtime=11.58 cores=0-7
/proc/1638/task/1641/stat : 1641 (java) S 1636 1636 743 0 -1 1077944384 32748 0 0 0 1120 38 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907405547792 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1642] ppid=1636 vsize=26938084 memory=1511644 CPUtime=11.52 cores=0-7
/proc/1638/task/1642/stat : 1642 (java) S 1636 1636 743 0 -1 1077944384 31429 0 0 0 1112 40 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907404495504 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1643] ppid=1636 vsize=26938084 memory=1384 CPUtime=11.59 cores=0-7
/proc/1638/task/1643/stat : 1643 (java) S 1636 1636 743 0 -1 1077944384 32139 0 0 0 1119 40 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907403442704 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1644] ppid=1636 vsize=26938084 memory=1512116 CPUtime=11.51 cores=0-7
/proc/1638/task/1644/stat : 1644 (java) S 1636 1636 743 0 -1 1077944384 33252 0 0 0 1111 40 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907402390416 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1645] ppid=1636 vsize=26938084 memory=1384 CPUtime=11.61 cores=0-7
/proc/1638/task/1645/stat : 1645 (java) S 1636 1636 743 0 -1 1077944384 32872 0 0 0 1121 40 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907401337616 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1646] ppid=1636 vsize=26938084 memory=14894946585994 CPUtime=11.51 cores=0-7
/proc/1638/task/1646/stat : 1646 (java) S 1636 1636 743 0 -1 1077944384 28717 0 0 0 1112 39 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907400285328 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1647] ppid=1636 vsize=26938084 memory=1512116 CPUtime=11.56 cores=0-7
/proc/1638/task/1647/stat : 1647 (java) S 1636 1636 743 0 -1 1077944384 33578 0 0 0 1121 35 0 0 20 0 28 0 149192033 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907399232528 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1648] ppid=1636 vsize=26938084 memory=1384 CPUtime=3.53 cores=0-7
/proc/1638/task/1648/stat : 1648 (java) S 1636 1636 743 0 -1 1077944384 45955 0 0 0 304 49 0 0 20 0 28 0 149192035 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907356723312 139907848653442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1649] ppid=1636 vsize=26938084 memory=0 CPUtime=0 cores=0-7
/proc/1638/task/1649/stat : 1649 (java) S 1636 1636 743 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 149192035 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907355669344 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1650] ppid=1636 vsize=26938084 memory=280895158507072 CPUtime=0 cores=0-7
/proc/1638/task/1650/stat : 1650 (java) S 1636 1636 743 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 149192035 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907354616960 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1651] ppid=1636 vsize=26938084 memory=7589503746947829841 CPUtime=0 cores=0-7
/proc/1638/task/1651/stat : 1651 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149192038 27584598016 377911 33554432000 4194304 4196468 140724042518384 139907353565264 139907848660891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1652] ppid=1636 vsize=26938084 memory=6365111744243716965 CPUtime=2.73 cores=0-7
/proc/1638/task/1652/stat : 1652 (java) S 1636 1636 743 0 -1 1077944384 22098 0 0 0 270 3 0 0 20 0 28 0 149192038 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906971101808 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1653] ppid=1636 vsize=26938084 memory=1384 CPUtime=2.94 cores=0-7
/proc/1638/task/1653/stat : 1653 (java) S 1636 1636 743 0 -1 1077944384 21406 0 0 0 291 3 0 0 20 0 28 0 149192038 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906970049008 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1654] ppid=1636 vsize=26938084 memory=1384 CPUtime=2.83 cores=0-7
/proc/1638/task/1654/stat : 1654 (java) S 1636 1636 743 0 -1 1077944384 18348 0 0 0 280 3 0 0 20 0 28 0 149192038 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906968996720 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1655] ppid=1636 vsize=26938084 memory=41648 CPUtime=0.93 cores=0-7
/proc/1638/task/1655/stat : 1655 (java) S 1636 1636 743 0 -1 1077944384 16437 0 0 0 90 3 0 0 20 0 28 0 149192038 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906967943920 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1656] ppid=1636 vsize=26938084 memory=1292 CPUtime=0 cores=0-7
/proc/1638/task/1656/stat : 1656 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149192038 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906966890848 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1657] ppid=1636 vsize=26938084 memory=2244 CPUtime=1.08 cores=0-7
/proc/1638/task/1657/stat : 1657 (java) S 1636 1636 743 0 -1 1077944384 4700 0 0 0 54 54 0 0 20 0 28 0 149192038 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906965838128 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1731] ppid=1636 vsize=26938084 memory=4132 CPUtime=2468.93 cores=0-7
/proc/1638/task/1731/stat : 1731 (java) R 1636 1636 743 0 -1 4202560 17851 0 0 0 246866 27 0 0 20 0 28 0 149193196 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906881932488 139907441738187 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1732] ppid=1636 vsize=26938084 memory=280895156462720 CPUtime=2457.36 cores=0-7
/proc/1638/task/1732/stat : 1732 (java) R 1636 1636 743 0 -1 4202560 23409 0 0 0 245708 28 0 0 20 0 28 0 149193196 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906957270920 139907441790812 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1733] ppid=1636 vsize=26938084 memory=2110798185519364 CPUtime=2464.61 cores=0-7
/proc/1638/task/1733/stat : 1733 (java) R 1636 1636 743 0 -1 4202560 23264 0 0 0 246434 27 0 0 20 0 28 0 149193196 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906953060616 139907442863317 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1734] ppid=1636 vsize=26938084 memory=7814415408121012323 CPUtime=2459 cores=0-7
/proc/1638/task/1734/stat : 1734 (java) R 1636 1636 743 0 -1 4202560 27432 0 0 0 245865 35 0 0 20 0 28 0 149193196 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906880880776 139907441790792 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1735] ppid=1636 vsize=26938084 memory=5938960841782879827 CPUtime=2466.87 cores=0-7
/proc/1638/task/1735/stat : 1735 (java) R 1636 1636 743 0 -1 4202560 26438 0 0 0 246656 31 0 0 20 0 28 0 149193196 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906952008200 139907441790787 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1736] ppid=1636 vsize=26938084 memory=2428 CPUtime=2466.52 cores=0-7
/proc/1638/task/1736/stat : 1736 (java) R 1636 1636 743 0 -1 4202560 15750 0 0 0 246629 23 0 0 20 0 28 0 149193196 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906876670648 139907443020344 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1737] ppid=1636 vsize=26938084 memory=1728 CPUtime=2462.41 cores=0-7
/proc/1638/task/1737/stat : 1737 (java) R 1636 1636 743 0 -1 4202560 33586 0 0 0 246211 30 0 0 20 0 28 0 149193196 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906955167472 139907441790792 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1738] ppid=1636 vsize=26938084 memory=1384 CPUtime=2462.29 cores=0-7
/proc/1638/task/1738/stat : 1738 (java) R 1636 1636 743 0 -1 4202560 37221 0 0 0 246184 45 0 0 20 0 28 0 149193198 27584598016 377911 33554432000 4194304 4196468 140724042518384 139906958323248 139907443055049 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
Current children cumulated CPU time: 19829.7 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 1513028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.21 8.29 9/209 1818
/proc/meminfo: memFree=23156684/32770624 swapFree=67108860/67108860
[pid=1636] ppid=1633 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1636/stat : 1636 (xcsp3-exec) S 1633 1636 743 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149192032 9740288 346 33554432000 4194304 5098028 140735697451680 140735697449784 140581873513084 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7938048 140735697454180 140735697454391 140735697454391 140735697457131 0
/proc/1636/statm: 2378 346 289 221 0 87 0
[pid=1638] ppid=1636 vsize=26938084 memory=1511140 CPUtime=19970.9 cores=0-7
/proc/1638/stat : 1638 (java) S 1636 1636 743 0 -1 1077944320 615457 0 0 0 1996465 622 0 0 20 0 28 0 149192032 27584598016 377785 33554432000 4194304 4196468 140724042518384 140724042500928 139907848642295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
/proc/1638/statm: 6734521 377785 3300 1 0 6721755 0
[pid=1638/tid=1639] ppid=1636 vsize=26938084 memory=1399051139730258233 CPUtime=9.76 cores=0-7
/proc/1638/task/1639/stat : 1639 (java) S 1636 1636 743 0 -1 1077944384 10385 0 0 0 968 8 0 0 20 0 28 0 149192032 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907852883072 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1640] ppid=1636 vsize=26938084 memory=4126316290023845779 CPUtime=11.58 cores=0-7
/proc/1638/task/1640/stat : 1640 (java) S 1636 1636 743 0 -1 1077944384 33640 0 0 0 1120 38 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907756202384 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1641] ppid=1636 vsize=26938084 memory=1720 CPUtime=11.6 cores=0-7
/proc/1638/task/1641/stat : 1641 (java) S 1636 1636 743 0 -1 1077944384 33225 0 0 0 1122 38 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907405547792 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1642] ppid=1636 vsize=26938084 memory=4612 CPUtime=11.54 cores=0-7
/proc/1638/task/1642/stat : 1642 (java) S 1636 1636 743 0 -1 1077944384 32002 0 0 0 1114 40 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907404495504 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1643] ppid=1636 vsize=26938084 memory=1008 CPUtime=11.6 cores=0-7
/proc/1638/task/1643/stat : 1643 (java) S 1636 1636 743 0 -1 1077944384 33228 0 0 0 1120 40 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907403442704 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1644] ppid=1636 vsize=26938084 memory=1384 CPUtime=11.53 cores=0-7
/proc/1638/task/1644/stat : 1644 (java) S 1636 1636 743 0 -1 1077944384 33806 0 0 0 1113 40 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907402390416 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1645] ppid=1636 vsize=26938084 memory=1511128 CPUtime=11.63 cores=0-7
/proc/1638/task/1645/stat : 1645 (java) S 1636 1636 743 0 -1 1077944384 33455 0 0 0 1123 40 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907401337616 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1646] ppid=1636 vsize=26938084 memory=1424 CPUtime=11.52 cores=0-7
/proc/1638/task/1646/stat : 1646 (java) S 1636 1636 743 0 -1 1077944384 29436 0 0 0 1113 39 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907400285328 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1647] ppid=1636 vsize=26938084 memory=8112282956445269571 CPUtime=11.57 cores=0-7
/proc/1638/task/1647/stat : 1647 (java) S 1636 1636 743 0 -1 1077944384 34048 0 0 0 1122 35 0 0 20 0 28 0 149192033 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907399232528 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1648] ppid=1636 vsize=26938084 memory=1511644 CPUtime=3.53 cores=0-7
/proc/1638/task/1648/stat : 1648 (java) S 1636 1636 743 0 -1 1077944384 46743 0 0 0 304 49 0 0 20 0 28 0 149192035 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907356723312 139907848653442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1649] ppid=1636 vsize=26938084 memory=15876 CPUtime=0 cores=0-7
/proc/1638/task/1649/stat : 1649 (java) S 1636 1636 743 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 149192035 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907355669344 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1650] ppid=1636 vsize=26938084 memory=8596 CPUtime=0 cores=0-7
/proc/1638/task/1650/stat : 1650 (java) S 1636 1636 743 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 149192035 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907354616960 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1651] ppid=1636 vsize=26938084 memory=15876 CPUtime=0 cores=0-7
/proc/1638/task/1651/stat : 1651 (java) S 1636 1636 743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149192038 27584598016 377785 33554432000 4194304 4196468 140724042518384 139907353565264 139907848660891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1652] ppid=1636 vsize=26938084 memory=1692 CPUtime=2.73 cores=0-7
/proc/1638/task/1652/stat : 1652 (java) S 1636 1636 743 0 -1 1077944384 22104 0 0 0 270 3 0 0 20 0 28 0 149192038 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906971101808 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1653] ppid=1636 vsize=26938084 memory=912 CPUtime=2.94 cores=0-7
/proc/1638/task/1653/stat : 1653 (java) S 1636 1636 743 0 -1 1077944384 21412 0 0 0 291 3 0 0 20 0 28 0 149192038 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906970049008 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1654] ppid=1636 vsize=26938084 memory=4116 CPUtime=2.83 cores=0-7
/proc/1638/task/1654/stat : 1654 (java) S 1636 1636 743 0 -1 1077944384 18354 0 0 0 280 3 0 0 20 0 28 0 149192038 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906968996720 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1655] ppid=1636 vsize=26938084 memory=4052 CPUtime=0.93 cores=0-7
/proc/1638/task/1655/stat : 1655 (java) S 1636 1636 743 0 -1 1077944384 16443 0 0 0 90 3 0 0 20 0 28 0 149192038 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906967943920 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1656] ppid=1636 vsize=26938084 memory=24096 CPUtime=0 cores=0-7
/proc/1638/task/1656/stat : 1656 (java) S 1636 1636 743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149192038 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906966890848 139907848652501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1657] ppid=1636 vsize=26938084 memory=1384 CPUtime=1.1 cores=0-7
/proc/1638/task/1657/stat : 1657 (java) S 1636 1636 743 0 -1 1077944384 4746 0 0 0 55 55 0 0 20 0 28 0 149192038 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906965838128 139907848653442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1731] ppid=1636 vsize=26938084 memory=1008 CPUtime=2486.61 cores=0-7
/proc/1638/task/1731/stat : 1731 (java) R 1636 1636 743 0 -1 4202560 18474 0 0 0 248633 28 0 0 20 0 28 0 149193196 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906881932328 139907442306892 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1732] ppid=1636 vsize=26938084 memory=1944 CPUtime=2474.94 cores=0-7
/proc/1638/task/1732/stat : 1732 (java) R 1636 1636 743 0 -1 4202560 23758 0 0 0 247466 28 0 0 20 0 28 0 149193196 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906957270920 139907441790363 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1733] ppid=1636 vsize=26938084 memory=1200 CPUtime=2482.21 cores=0-7
/proc/1638/task/1733/stat : 1733 (java) R 1636 1636 743 0 -1 4202560 24163 0 0 0 248193 28 0 0 20 0 28 0 149193196 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906953060616 139907441791004 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1734] ppid=1636 vsize=26938084 memory=1424 CPUtime=2476.68 cores=0-7
/proc/1638/task/1734/stat : 1734 (java) R 1636 1636 743 0 -1 4202560 27801 0 0 0 247633 35 0 0 20 0 28 0 149193196 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906880881080 139907441792978 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1735] ppid=1636 vsize=26938084 memory=8596 CPUtime=2484.55 cores=0-7
/proc/1638/task/1735/stat : 1735 (java) R 1636 1636 743 0 -1 4202560 26798 0 0 0 248424 31 0 0 20 0 28 0 149193196 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906952008200 139907441790812 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1736] ppid=1636 vsize=26938084 memory=15876 CPUtime=2484.2 cores=0-7
/proc/1638/task/1736/stat : 1736 (java) R 1636 1636 743 0 -1 4202560 16120 0 0 0 248396 24 0 0 20 0 28 0 149193196 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906876670344 139907441790462 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1737] ppid=1636 vsize=26938084 memory=1692 CPUtime=2480.08 cores=0-7
/proc/1638/task/1737/stat : 1737 (java) R 1636 1636 743 0 -1 4202560 34338 0 0 0 247977 31 0 0 20 0 28 0 149193196 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906955167808 139907442304958 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
[pid=1638/tid=1738] ppid=1636 vsize=26938084 memory=912 CPUtime=2479.77 cores=0-7
/proc/1638/task/1738/stat : 1738 (java) R 1636 1636 743 0 -1 4202560 37776 0 0 0 247931 46 0 0 20 0 28 0 149193198 27584598016 377785 33554432000 4194304 4196468 140724042518384 139906958323248 139907441790812 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 11583488 140724042523794 140724042523971 140724042523971 140724042526671 0
Current children cumulated CPU time: 19970.9 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 1512524 KiB

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

[startup+2520.04 s]
# the end of solver process 1636 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000984 s, system=0.000984 s

[startup+2520.13 s]
# the end of solver process 1638 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19965.4 s, system=6.23364 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

Child status: 143
Real time (s): 2520.13
CPU time (s): 19971.7
CPU user time (s): 19965.4
CPU system time (s): 6.23364
CPU usage (%): 792.486
Max. virtual memory (cumulated for all children) (KiB): 26947596
Max. memory (cumulated for all children) (KiB): 1548864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19965.4
system time used= 6.23364
maximum resident set size= 1547480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295820
involuntary context switches= 215373


# summary of solver processes directly reported to runsolver:
#   pid: 1636,1638
#   total CPU time (s): 19971.7
#   total CPU user time (s): 19965.4
#   total CPU system time (s): 6.23364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0708 second user time and 31.495 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-19 18:30:53
IDJOB=4280621
IDBENCH=135892
IDSOLVER=2675
FILE ID=node151/4280621-1503161113
RUNJOBID= node151-1503152458-770
PBS_JOBID= 20630814
Free space on /tmp= 61804 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-00.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-4280621-1503161113/watcher-4280621-1503161113 -o /tmp/evaluation-result-4280621-1503161113/solver-4280621-1503161113 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503152458-770 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1592979329 HOME/instance-4280621-1503161113.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ac62098c303420005332b673e951092f
RANDOM SEED=1592979329

node151.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.95
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.95
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.95
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.95
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:        24658228 kB
MemAvailable:   31973264 kB
Buffers:          324436 kB
Cached:          7282284 kB
SwapCached:            0 kB
Active:          1796004 kB
Inactive:        5863956 kB
Active(anon):      44764 kB
Inactive(anon):    44332 kB
Active(file):    1751240 kB
Inactive(file):  5819624 kB
Unevictable:        7576 kB
Mlocked:            7576 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7544 kB
Writeback:             0 kB
AnonPages:         59568 kB
Mapped:            51204 kB
Shmem:             33416 kB
Slab:             146760 kB
SReclaimable:     120016 kB
SUnreclaim:        26744 kB
KernelStack:        3216 kB
PageTables:         4512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332768 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61796 MiB
End job on node151 at 2017-08-19 19:12:53