Trace number 4272609

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 NameAnswerCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT 34.715302 21.517799

General information on the benchmark

NameQRandom/QRandom-m1-lard/
lard-90-90.xml
MD5SUM4d5ee0d3a7698119cef28df18be09f14
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark13.9392
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints4005
Number of domains1
Minimum domain size91
Maximum domain size91
Distribution of domain sizes[{"size":91,"count":90}]
Minimum variable degree89
Maximum variable degree89
Distribution of variable degrees[{"degree":89,"count":90}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4005}]
Number of extensional constraints4005
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4005}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272609-1502768687.xml"  -tl '2520s' -p 1 -x 3
0.10/0.27	c [HOME/instance-4272609-1502768687.xml, -tl, 2520s, -p, 1, -x, 3]
0.28/0.33	c simple solver
0.28/0.39	c parse instance...
33.69/21.15	c solve instance...
34.43/21.48	s SATISFIABLE
34.43/21.48	v <instantiation>
34.43/21.48	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] </list>
34.43/21.48	v 	<values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 </values>
34.43/21.48	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272609-1502768687/watcher-4272609-1502768687 -o /tmp/evaluation-result-4272609-1502768687/solver-4272609-1502768687 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1647387674 HOME/instance-4272609-1502768687.xml 

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

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

solver pid=31611, runsolver pid=31608

[startup+0.100138 s]*
/proc/loadavg: 1.44 1.59 1.65 3/206 31618
/proc/meminfo: memFree=29616200/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13441356 memory=15952 CPUtime=0.01 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 3776 0 0 0 1 0 0 0 20 0 7 0 79089377 13763948544 3988 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3360339 3988 2025 1 0 3349836 0
[pid=31613/tid=31614] ppid=31611 vsize=13441356 memory=8390339637985935414 CPUtime=0.01 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) R 31611 31611 897 0 -1 4202560 2535 0 0 0 1 0 0 0 20 0 7 0 79089377 13763948544 3988 18446744073709551615 4194304 4196468 140721987393680 139729779403536 139729759241566 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13442384 memory=288230596118065508 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 79089378 13765001216 3988 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13442384 memory=140051925969378 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 79089378 13765001216 3988 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13442384 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 79089378 13765001216 3988 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13442384 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 79089378 13765001216 3988 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13442384 memory=140051925939840 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) S 31611 31611 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 79089379 13765001216 3988 18446744073709551615 4194304 4196468 140721987393680 139729320905456 139729775172226 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13442384 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 79089380 13765001216 3988 18446744073709551615 4194304 4196468 140721987393680 139729319853536 139729775171285 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17328 KiB

[startup+0.210098 s]*
/proc/loadavg: 1.44 1.59 1.65 3/215 31627
/proc/meminfo: memFree=29604508/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13974352 memory=29188 CPUtime=0.1 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 5187 0 0 0 9 1 0 0 20 0 15 0 79089377 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3493588 7297 2749 1 0 3482964 0
[pid=31613/tid=31614] ppid=31611 vsize=13974352 memory=8390339637985935414 CPUtime=0.08 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) R 31611 31611 897 0 -1 4202560 3334 0 0 0 7 1 0 0 20 0 15 0 79089377 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729779385888 139729775183005 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13974352 memory=288230596118065508 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13974352 memory=140051925969378 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13974352 memory=140051925939840 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) S 31611 31611 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79089379 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729320905456 139729775172226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79089380 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729319851680 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31621] ppid=31611 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (java) S 31611 31611 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79089380 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729318798576 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31622] ppid=31611 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729317747152 139729775179675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31623] ppid=31611 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31623/stat : 31623 (java) S 31611 31611 897 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 79089383 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729316694256 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31624] ppid=31611 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31624/stat : 31624 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729315641712 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31625] ppid=31611 vsize=13974352 memory=140051925939840 CPUtime=0.01 cores=1,3,5,7
/proc/31613/task/31625/stat : 31625 (java) S 31611 31611 897 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 79089383 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729314588656 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31626] ppid=31611 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31626/stat : 31626 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139729313536352 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31627] ppid=31611 vsize=13974352 memory=140051925939840 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31627/stat : 31627 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089388 14309736448 7297 18446744073709551615 4194304 4196468 140721987393680 139728750111792 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30564 KiB

[startup+0.310478 s]*
/proc/loadavg: 1.44 1.59 1.65 4/215 31627
/proc/meminfo: memFree=29593848/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13974352 memory=38904 CPUtime=0.28 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 8827 0 0 0 26 2 0 0 20 0 15 0 79089377 14309736448 9726 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3493588 9726 2971 1 0 3482964 0
[pid=31613/tid=31614] ppid=31611 vsize=13974352 memory=8390339637985935414 CPUtime=0.17 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) R 31611 31611 897 0 -1 4202560 6094 0 0 0 15 2 0 0 20 0 15 0 79089377 14309736448 9726 18446744073709551615 4194304 4196468 140721987393680 139729779399136 139729761229198 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13974352 memory=301741395000176996 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 9726 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13974352 memory=140051925969378 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13974352 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79089378 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13974352 memory=8315307115299548659 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) S 31611 31611 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79089379 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729320905456 139729775172226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79089380 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729319851680 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31621] ppid=31611 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (java) S 31611 31611 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79089380 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729318798576 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31622] ppid=31611 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729317747152 139729775179675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31623] ppid=31611 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31613/task/31623/stat : 31623 (java) R 31611 31611 897 0 -1 1077944384 568 0 0 0 1 0 0 0 20 0 15 0 79089383 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729316694256 139729775172226 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31624] ppid=31611 vsize=13974352 memory=3472328296227680303 CPUtime=0.02 cores=1,3,5,7
/proc/31613/task/31624/stat : 31624 (java) R 31611 31611 897 0 -1 4202560 128 0 0 0 2 0 0 0 20 0 15 0 79089383 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729315641712 139729758647125 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31625] ppid=31611 vsize=13974352 memory=140051925939840 CPUtime=0.06 cores=1,3,5,7
/proc/31613/task/31625/stat : 31625 (java) R 31611 31611 897 0 -1 4202560 732 0 0 0 6 0 0 0 20 0 15 0 79089383 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729314588656 139729775173014 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31626] ppid=31611 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31626/stat : 31626 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139729313536352 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31627] ppid=31611 vsize=13974352 memory=140051925939840 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31627/stat : 31627 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089388 14309736448 10238 18446744073709551615 4194304 4196468 140721987393680 139728750111792 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40280 KiB

[startup+0.700728 s]
/proc/loadavg: 1.44 1.59 1.65 4/215 31627
/proc/meminfo: memFree=29549244/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13978608 memory=294160 CPUtime=1.29 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 13775 0 0 0 113 16 0 0 20 0 15 0 79089377 14314094592 73540 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3494652 73540 3131 1 0 3482964 0
[pid=31613/tid=31614] ppid=31611 vsize=13978608 memory=7372786582024121444 CPUtime=0.49 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) S 31611 31611 897 0 -1 1077944384 7575 0 0 0 43 6 0 0 20 0 15 0 79089377 14314094592 73540 18446744073709551615 4194304 4196468 140721987393680 139729779400192 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13978608 memory=4639059877604708710 CPUtime=0.04 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 70 0 0 0 2 2 0 0 20 0 15 0 79089378 14314094592 73540 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13978608 memory=4638778398332698720 CPUtime=0.04 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 55 0 0 0 2 2 0 0 20 0 15 0 79089378 14314094592 73540 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13978608 memory=6147812963321401424 CPUtime=0.04 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 15 0 79089378 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13978608 memory=7666364995466192728 CPUtime=0.05 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 66 0 0 0 3 2 0 0 20 0 15 0 79089378 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13978608 memory=280103540517536 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) R 31611 31611 897 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 15 0 79089379 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729320903968 139729767450528 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13978608 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79089380 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729319851680 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31621] ppid=31611 vsize=13978608 memory=15536310592997909 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (java) S 31611 31611 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79089380 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729318798576 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31622] ppid=31611 vsize=13978608 memory=6083049624332691286 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729317747152 139729775179675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31623] ppid=31611 vsize=13978608 memory=6220151040686249318 CPUtime=0.18 cores=1,3,5,7
/proc/31613/task/31623/stat : 31623 (java) S 31611 31611 897 0 -1 1077944384 1432 0 0 0 18 0 0 0 20 0 15 0 79089383 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729316685536 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31624] ppid=31611 vsize=13978608 memory=7595146320211562837 CPUtime=0.22 cores=1,3,5,7
/proc/31613/task/31624/stat : 31624 (java) S 31611 31611 897 0 -1 1077944384 1978 0 0 0 22 0 0 0 20 0 15 0 79089383 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729315626704 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31625] ppid=31611 vsize=13978608 memory=6003410828765843536 CPUtime=0.17 cores=1,3,5,7
/proc/31613/task/31625/stat : 31625 (java) S 31611 31611 897 0 -1 1077944384 1238 0 0 0 17 0 0 0 20 0 15 0 79089383 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729314588656 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31626] ppid=31611 vsize=13978608 memory=5864918620180207712 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31626/stat : 31626 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139729313536352 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31627] ppid=31611 vsize=13978608 memory=7739248361123960421 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31627/stat : 31627 (java) S 31611 31611 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79089388 14314094592 73557 18446744073709551615 4194304 4196468 140721987393680 139728750111792 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 295536 KiB

[startup+1.50083 s]
/proc/loadavg: 1.44 1.59 1.65 5/215 31627
/proc/meminfo: memFree=29337464/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13978684 memory=561924 CPUtime=3.12 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 15606 0 0 0 275 37 0 0 20 0 15 0 79089377 14314172416 140481 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3494671 140481 3201 1 0 3482964 0
[pid=31613/tid=31614] ppid=31611 vsize=13978684 memory=280103540380896 CPUtime=1.2 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) R 31611 31611 897 0 -1 4202560 7904 0 0 0 112 8 0 0 20 0 15 0 79089377 14314172416 140481 18446744073709551615 4194304 4196468 140721987393680 139729779399344 139729399299015 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13978684 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 264 0 0 0 6 7 0 0 20 0 15 0 79089378 14314172416 140481 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13978684 memory=280103540071360 CPUtime=0.1 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 167 0 0 0 4 6 0 0 20 0 15 0 79089378 14314172416 140481 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13978684 memory=1376 CPUtime=0.11 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 183 0 0 0 5 6 0 0 20 0 15 0 79089378 14314172416 140481 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13978684 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 174 0 0 0 6 7 0 0 20 0 15 0 79089378 14314172416 140481 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/31613/task/31616/stat : 31616 (java) R 31611 31611 897 0 -1 4202560 8509 0 0 0 272 51 0 0 20 0 15 0 79089378 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729716054792 139729760150746 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13980732 memory=2930408 CPUtime=3.24 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) R 31611 31611 897 0 -1 4202560 8384 0 0 0 273 51 0 0 20 0 15 0 79089378 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729373239688 139729759861824 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13980732 memory=862396 CPUtime=3.26 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) R 31611 31611 897 0 -1 4202560 8219 0 0 0 275 51 0 0 20 0 15 0 79089378 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729372187144 139729760150693 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13980732 memory=1376 CPUtime=0.06 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) S 31611 31611 897 0 -1 1077944384 7388 0 0 0 6 0 0 0 20 0 15 0 79089379 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729320904000 139729775171285 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13980732 memory=2923780 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729319851744 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31621] ppid=31611 vsize=13980732 memory=140051769996384 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (java) S 31611 31611 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729318798592 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31622] ppid=31611 vsize=13980732 memory=271613731862278 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729317747152 139729775179675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31623] ppid=31611 vsize=13980732 memory=960 CPUtime=0.94 cores=1,3,5,7
/proc/31613/task/31623/stat : 31623 (java) S 31611 31611 897 0 -1 1077944384 3322 0 0 0 94 0 0 0 20 0 15 0 79089383 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729316694256 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31624] ppid=31611 vsize=13980732 memory=1376 CPUtime=0.91 cores=1,3,5,7
/proc/31613/task/31624/stat : 31624 (java) S 31611 31611 897 0 -1 1077944384 3222 0 0 0 91 0 0 0 20 0 15 0 79089383 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729315641712 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31625] ppid=31611 vsize=13980732 memory=4116 CPUtime=0.47 cores=1,3,5,7
/proc/31613/task/31625/stat : 31625 (java) S 31611 31611 897 0 -1 1077944384 2141 0 0 0 47 0 0 0 20 0 15 0 79089383 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729314588656 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31626] ppid=31611 vsize=13980732 memory=43600 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31626/stat : 31626 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139729313536352 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31627] ppid=31611 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31627/stat : 31627 (java) S 31611 31611 897 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 15 0 79089388 14316269568 1198828 18446744073709551615 4194304 4196468 140721987393680 139728750111792 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 31.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4796688 KiB

[startup+20.8008 s]
/proc/loadavg: 1.45 1.58 1.65 3/215 31627
/proc/meminfo: memFree=24858056/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13980732 memory=4797436 CPUtime=33.37 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 72220 0 0 0 3078 259 0 0 20 0 15 0 79089377 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3495183 1199359 3229 1 0 3483476 0
[pid=31613/tid=31614] ppid=31611 vsize=13980732 memory=1376 CPUtime=17 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) R 31611 31611 897 0 -1 4202560 15368 0 0 0 1653 47 0 0 20 0 15 0 79089377 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729779396112 139729400945077 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13980732 memory=-8774313645642428999 CPUtime=3.47 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 8408 0 0 0 294 53 0 0 20 0 15 0 79089378 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13980732 memory=3965028 CPUtime=3.42 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 9329 0 0 0 291 51 0 0 20 0 15 0 79089378 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13980732 memory=1792 CPUtime=3.43 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 9453 0 0 0 292 51 0 0 20 0 15 0 79089378 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13980732 memory=3904 CPUtime=3.45 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 9340 0 0 0 294 51 0 0 20 0 15 0 79089378 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13980732 memory=960 CPUtime=0.14 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) S 31611 31611 897 0 -1 1077944384 9185 0 0 0 14 0 0 0 20 0 15 0 79089379 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729320905456 139729775172226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729319851744 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31621] ppid=31611 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (java) S 31611 31611 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729318798592 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31622] ppid=31611 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729317747152 139729775179675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31623] ppid=31611 vsize=13980732 memory=4790164 CPUtime=0.95 cores=1,3,5,7
/proc/31613/task/31623/stat : 31623 (java) S 31611 31611 897 0 -1 1077944384 3461 0 0 0 95 0 0 0 20 0 15 0 79089383 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729316694256 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31624] ppid=31611 vsize=13980732 memory=15460 CPUtime=0.94 cores=1,3,5,7
/proc/31613/task/31624/stat : 31624 (java) S 31611 31611 897 0 -1 1077944384 3701 0 0 0 94 0 0 0 20 0 15 0 79089383 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729315641712 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31625] ppid=31611 vsize=13980732 memory=17668 CPUtime=0.47 cores=1,3,5,7
/proc/31613/task/31625/stat : 31625 (java) S 31611 31611 897 0 -1 1077944384 2143 0 0 0 47 0 0 0 20 0 15 0 79089383 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729314588656 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31626] ppid=31611 vsize=13980732 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31626/stat : 31626 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139729313536352 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31627] ppid=31611 vsize=13980732 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31627/stat : 31627 (java) S 31611 31611 897 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 79089388 14316269568 1199359 18446744073709551615 4194304 4196468 140721987393680 139728750111792 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 33.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4798812 KiB

[startup+21.2008 s]
/proc/loadavg: 1.45 1.58 1.65 3/215 31627
/proc/meminfo: memFree=24860328/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13980732 memory=4798276 CPUtime=33.9 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 77945 0 0 0 3130 260 0 0 20 0 15 0 79089377 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3495183 1199569 3235 1 0 3483476 0
[pid=31613/tid=31614] ppid=31611 vsize=13980732 memory=0 CPUtime=17.39 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) R 31611 31611 897 0 -1 4202560 20273 0 0 0 1692 47 0 0 20 0 15 0 79089377 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729779399856 139729401623387 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13980732 memory=0 CPUtime=3.47 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 8408 0 0 0 294 53 0 0 20 0 15 0 79089378 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13980732 memory=0 CPUtime=3.42 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 9329 0 0 0 291 51 0 0 20 0 15 0 79089378 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13980732 memory=0 CPUtime=3.43 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 9453 0 0 0 292 51 0 0 20 0 15 0 79089378 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13980732 memory=0 CPUtime=3.45 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 9340 0 0 0 294 51 0 0 20 0 15 0 79089378 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) S 31611 31611 897 0 -1 1077944384 9193 0 0 0 14 0 0 0 20 0 15 0 79089379 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729320905456 139729775172226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729319851744 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31621] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (java) S 31611 31611 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729318798592 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31622] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729317747152 139729775179675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31623] ppid=31611 vsize=13980732 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/31613/task/31623/stat : 31623 (java) S 31611 31611 897 0 -1 1077944384 3655 0 0 0 99 0 0 0 20 0 15 0 79089383 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729316694256 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31624] ppid=31611 vsize=13980732 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/31613/task/31624/stat : 31624 (java) R 31611 31611 897 0 -1 4202560 4107 0 0 0 99 0 0 0 20 0 15 0 79089383 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729315628496 139729775174983 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31625] ppid=31611 vsize=13980732 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/31613/task/31625/stat : 31625 (java) S 31611 31611 897 0 -1 1077944384 2355 0 0 0 50 0 0 0 20 0 15 0 79089383 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729314588656 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31626] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31626/stat : 31626 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139729313536352 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31627] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31627/stat : 31627 (java) S 31611 31611 897 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 79089388 14316269568 1199569 18446744073709551615 4194304 4196468 140721987393680 139728750111792 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 33.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4799652 KiB

[startup+21.4008 s]
/proc/loadavg: 1.45 1.58 1.65 3/215 31627
/proc/meminfo: memFree=24860328/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
[pid=31613] ppid=31611 vsize=13980732 memory=4798608 CPUtime=34.43 cores=1,3,5,7
/proc/31613/stat : 31613 (java) S 31611 31611 897 0 -1 1077944320 81801 0 0 0 3183 260 0 0 20 0 15 0 79089377 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 140721987376224 139729775161079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
/proc/31613/statm: 3495183 1199652 3236 1 0 3483476 0
[pid=31613/tid=31614] ppid=31611 vsize=13980732 memory=0 CPUtime=17.6 cores=1,3,5,7
/proc/31613/task/31614/stat : 31614 (java) R 31611 31611 897 0 -1 4202560 22795 0 0 0 1712 48 0 0 20 0 15 0 79089377 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729779397736 139729401862004 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31615] ppid=31611 vsize=13980732 memory=0 CPUtime=3.47 cores=1,3,5,7
/proc/31613/task/31615/stat : 31615 (java) S 31611 31611 897 0 -1 1077944384 8408 0 0 0 294 53 0 0 20 0 15 0 79089378 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729717107216 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31616] ppid=31611 vsize=13980732 memory=0 CPUtime=3.42 cores=1,3,5,7
/proc/31613/task/31616/stat : 31616 (java) S 31611 31611 897 0 -1 1077944384 9329 0 0 0 291 51 0 0 20 0 15 0 79089378 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729716054672 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31617] ppid=31611 vsize=13980732 memory=0 CPUtime=3.43 cores=1,3,5,7
/proc/31613/task/31617/stat : 31617 (java) S 31611 31611 897 0 -1 1077944384 9453 0 0 0 292 51 0 0 20 0 15 0 79089378 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729373239568 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31618] ppid=31611 vsize=13980732 memory=0 CPUtime=3.45 cores=1,3,5,7
/proc/31613/task/31618/stat : 31618 (java) S 31611 31611 897 0 -1 1077944384 9340 0 0 0 294 51 0 0 20 0 15 0 79089378 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729372187024 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31619] ppid=31611 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/31613/task/31619/stat : 31619 (java) S 31611 31611 897 0 -1 1077944384 9193 0 0 0 14 0 0 0 20 0 15 0 79089379 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729320905456 139729775172226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31620] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31620/stat : 31620 (java) S 31611 31611 897 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729319851744 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31621] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31621/stat : 31621 (java) S 31611 31611 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 79089380 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729318798592 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31622] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31622/stat : 31622 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729317747152 139729775179675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31623] ppid=31611 vsize=13980732 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/31613/task/31623/stat : 31623 (java) S 31611 31611 897 0 -1 1077944384 4096 0 0 0 111 0 0 0 20 0 15 0 79089383 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729316694256 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31624] ppid=31611 vsize=13980732 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/31613/task/31624/stat : 31624 (java) R 31611 31611 897 0 -1 4202560 4938 0 0 0 118 0 0 0 20 0 15 0 79089383 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729315634200 139729760268965 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31625] ppid=31611 vsize=13980732 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/31613/task/31625/stat : 31625 (java) S 31611 31611 897 0 -1 1077944384 2417 0 0 0 52 0 0 0 20 0 15 0 79089383 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729314588656 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31626] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31626/stat : 31626 (java) S 31611 31611 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79089383 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139729313536352 139729775171285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
[pid=31613/tid=31627] ppid=31611 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31613/task/31627/stat : 31627 (java) S 31611 31611 897 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 79089388 14316269568 1199652 18446744073709551615 4194304 4196468 140721987393680 139728750111792 139729775172226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22831104 140721987396017 140721987396193 140721987396193 140721987399631 0
Current children cumulated CPU time: 34.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4799984 KiB

[startup+21.5008 s]
/proc/loadavg: 1.45 1.58 1.65 3/215 31627
/proc/meminfo: memFree=24860328/32770624 swapFree=67108860/67108860
[pid=31611] ppid=31608 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/31611/stat : 31611 (xcsp3-exec) S 31608 31611 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 79089369 9740288 344 18446744073709551615 4194304 5098028 140726614420496 140726614418600 139982252151420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17018880 140726614425976 140726614426181 140726614426181 140726614429675 0
/proc/31611/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB

Child status: 0
Real time (s): 21.5178
CPU time (s): 34.7153
CPU user time (s): 32.0796
CPU system time (s): 2.63565
CPU usage (%): 161.333
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 4799984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.0796
system time used= 2.63565
maximum resident set size= 4799220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3793
involuntary context switches= 185


# summary of solver processes directly reported to runsolver:
#   pid: 31611
#   total CPU time (s): 34.7153
#   total CPU user time (s): 32.0796
#   total CPU system time (s): 2.63565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.15274 second user time and 0.259462 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-15 05:30:41
IDJOB=4272609
IDBENCH=125604
IDSOLVER=2664
FILE ID=node125/4272609-1502768687
RUNJOBID= node125-1502662595-11629
PBS_JOBID= 
Free space on /tmp= 61920 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/QRandom/QRandom-m1-lard/lard-90-90.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272609-1502768687/watcher-4272609-1502768687 -o /tmp/evaluation-result-4272609-1502768687/solver-4272609-1502768687 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1647387674 HOME/instance-4272609-1502768687.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4d5ee0d3a7698119cef28df18be09f14
RANDOM SEED=1647387674

node125.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	: 5333.07
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	: 5333.07
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	: 5333.07
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	: 5333.07
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:        29621108 kB
MemAvailable:   30707964 kB
Buffers:          301064 kB
Cached:          1079284 kB
SwapCached:            0 kB
Active:          2105388 kB
Inactive:         605524 kB
Active(anon):    1331264 kB
Inactive(anon):    33100 kB
Active(file):     774124 kB
Inactive(file):   572424 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            113792 kB
Writeback:             0 kB
AnonPages:       1332728 kB
Mapped:            64204 kB
Shmem:             33444 kB
Slab:             138228 kB
SReclaimable:     112288 kB
SUnreclaim:        25940 kB
KernelStack:        3520 kB
PageTables:         9096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1978416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1218560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61912 MiB
End job on node125 at 2017-08-15 05:31:03