Trace number 4269667

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 4.0.5 seq (2017-08-09)SAT 25.683901 15.2101

General information on the benchmark

NameQRandom/QRandom-m1-lard/
lard-83-83.xml
MD5SUM5a1cc99098bd305fca19847613bf445f
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 benchmark9.8167
Satisfiable
(Un)Satisfiability was proved
Number of variables83
Number of constraints3403
Number of domains1
Minimum domain size84
Maximum domain size84
Distribution of domain sizes[{"size":84,"count":83}]
Minimum variable degree82
Maximum variable degree82
Distribution of variable degrees[{"degree":82,"count":83}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3403}]
Number of extensional constraints3403
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3403}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269667-1502770561.xml"  -tl '2520s' -p 1 -x 0
0.14/0.24	c [HOME/instance-4269667-1502770561.xml, -tl, 2520s, -p, 1, -x, 0]
0.14/0.30	c simple solver
0.33/0.37	c parse instance...
24.76/14.90	c solve instance...
25.44/15.17	s SATISFIABLE
25.44/15.17	v <instantiation>
25.44/15.17	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] </list>
25.44/15.17	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 </values>
25.44/15.17	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 (14310 MiB free)
  memory of node 1: 16384 MiB (15452 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269667-1502770561/watcher-4269667-1502770561 -o /tmp/evaluation-result-4269667-1502770561/solver-4269667-1502770561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1006756441 HOME/instance-4269667-1502770561.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
solver pid=13329, runsolver pid=13326
Current StackSize limit: 8192 KiB


[startup+0.102738 s]*
/proc/loadavg: 2.05 2.09 1.98 4/212 13338
/proc/meminfo: memFree=30469524/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13574484 memory=16936 CPUtime=0.03 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 4078 0 0 0 2 1 0 0 20 0 9 0 124562666 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3393621 4234 2093 1 0 3383118 0
[pid=13331/tid=13332] ppid=13329 vsize=13574484 memory=-6871798056557643345 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) R 13329 13329 4674 0 -1 4202560 2798 0 0 0 2 0 0 0 20 0 9 0 124562666 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139938026230280 139938003643179 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13574484 memory=735272052430568040 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 124562667 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938022004437 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13574484 memory=139680967358080 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 124562667 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139937955376016 139938022004437 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 124562667 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139937619557392 139938022004437 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13574484 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13329 13329 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 124562667 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139937618504848 139938022004437 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13337] ppid=13329 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13329 13329 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 124562668 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139937567647728 139938022005378 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13338] ppid=13329 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 124562668 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139937566593952 139938022004437 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 124562669 13900271616 4234 18446744073709551615 4194304 4196468 140729187525184 139937565541424 139938022004437 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18312 KiB

[startup+0.210401 s]*
/proc/loadavg: 2.05 2.09 1.98 4/219 13345
/proc/meminfo: memFree=30459788/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13974352 memory=29020 CPUtime=0.14 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 5659 0 0 0 13 1 0 0 20 0 15 0 124562666 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3493588 7255 2868 1 0 3482964 0
[pid=13331/tid=13332] ppid=13329 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) R 13329 13329 4674 0 -1 4202560 3594 0 0 0 9 0 0 0 20 0 15 0 124562666 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139938026223824 139938022006166 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562667 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13974352 memory=139680968442301 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562667 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139937955376016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562667 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139937619557392 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13329 13329 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124562667 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139937618504848 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13337] ppid=13329 vsize=13974352 memory=139680967358080 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13329 13329 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124562668 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139937567647728 139938022005378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13338] ppid=13329 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124562668 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139937566593952 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124562669 14309736448 7255 18446744073709551615 4194304 4196468 140729187525184 139937565541360 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13340] ppid=13329 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14309736448 7321 18446744073709551615 4194304 4196468 140729187525184 139937564489936 139938022012827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13341] ppid=13329 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) R 13329 13329 4674 0 -1 4202560 451 0 0 0 0 0 0 0 20 0 15 0 124562671 14309736448 7321 18446744073709551615 4194304 4196468 140729187525184 139937563429200 139938005429969 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13342] ppid=13329 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) R 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562671 14309736448 7321 18446744073709551615 4194304 4196468 140729187525184 139937562385008 139938022005378 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13343] ppid=13329 vsize=13974352 memory=139680967358080 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) R 13329 13329 4674 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 124562671 14309736448 7321 18446744073709551615 4194304 4196468 140729187525184 139937561332464 139938022006166 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13344] ppid=13329 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14309736448 7321 18446744073709551615 4194304 4196468 140729187525184 139937560280160 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13345] ppid=13329 vsize=13974352 memory=139680967358080 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562675 14309736448 7321 18446744073709551615 4194304 4196468 140729187525184 139937559226672 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30396 KiB

[startup+0.311036 s]*
/proc/loadavg: 2.05 2.09 1.98 3/219 13345
/proc/meminfo: memFree=30447296/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13978608 memory=40016 CPUtime=0.33 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 9251 0 0 0 31 2 0 0 20 0 15 0 124562666 14314094592 10004 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3494652 10004 3038 1 0 3482964 0
[pid=13331/tid=13332] ppid=13329 vsize=13978608 memory=4278483708103473607 CPUtime=0.2 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) R 13329 13329 4674 0 -1 4202560 6404 0 0 0 18 2 0 0 20 0 15 0 124562666 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139938026215224 139938014711194 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562667 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562667 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937955376016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562667 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937619557392 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13329 13329 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124562667 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937618504848 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13337] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13329 13329 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124562668 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937567647728 139938022005378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13338] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124562668 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937566593952 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124562669 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937565541360 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13340] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937564489936 139938022012827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13341] ppid=13329 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13329 13329 4674 0 -1 1077944384 568 0 0 0 2 0 0 0 20 0 15 0 124562671 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937563437648 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13342] ppid=13329 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13329 13329 4674 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 124562671 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937562385008 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13343] ppid=13329 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) R 13329 13329 4674 0 -1 4202560 700 0 0 0 7 0 0 0 20 0 15 0 124562671 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937561332464 139938022006166 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13344] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937560280160 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13345] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562675 14314094592 10060 18446744073709551615 4194304 4196468 140729187525184 139937559226672 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41392 KiB

[startup+0.707201 s]
/proc/loadavg: 2.05 2.09 1.98 5/219 13345
/proc/meminfo: memFree=30391404/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13978608 memory=292468 CPUtime=1.42 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 13838 0 0 0 121 21 0 0 20 0 15 0 124562666 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3494652 73117 3144 1 0 3482964 0
[pid=13331/tid=13332] ppid=13329 vsize=13978608 memory=796 CPUtime=0.51 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) R 13329 13329 4674 0 -1 4202560 7613 0 0 0 45 6 0 0 20 0 15 0 124562666 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139938026229888 139938022016157 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13978608 memory=984 CPUtime=0.06 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) S 13329 13329 4674 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 124562667 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13978608 memory=1728 CPUtime=0.06 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13329 13329 4674 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 124562667 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937955376016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13978608 memory=4572 CPUtime=0.05 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13329 13329 4674 0 -1 1077944384 52 0 0 0 2 3 0 0 20 0 15 0 124562667 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937619557392 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13978608 memory=1444 CPUtime=0.06 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13329 13329 4674 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 124562667 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937618504848 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13337] ppid=13329 vsize=13978608 memory=12304 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13329 13329 4674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 124562668 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937567647728 139938022005378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13338] ppid=13329 vsize=13978608 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124562668 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937566594016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13978608 memory=28 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 124562669 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937565541360 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13340] ppid=13329 vsize=13978608 memory=229 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937564489936 139938022012827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13341] ppid=13329 vsize=13978608 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) R 13329 13329 4674 0 -1 4202560 1657 0 0 0 22 0 0 0 20 0 15 0 124562671 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937563424336 139938022015578 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13342] ppid=13329 vsize=13978608 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) R 13329 13329 4674 0 -1 1077944384 1727 0 0 0 22 0 0 0 20 0 15 0 124562671 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937562376960 139938022004437 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13343] ppid=13329 vsize=13978608 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13329 13329 4674 0 -1 1077944384 1212 0 0 0 17 0 0 0 20 0 15 0 124562671 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937561328224 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13344] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937560280160 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13345] ppid=13329 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13329 13329 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124562675 14314094592 73117 18446744073709551615 4194304 4196468 140729187525184 139937559226672 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 293844 KiB

[startup+1.50079 s]
/proc/loadavg: 2.05 2.09 1.98 5/219 13345
/proc/meminfo: memFree=30185688/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13978684 memory=528548 CPUtime=3.37 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 16896 0 0 0 299 38 0 0 20 0 15 0 124562666 14314172416 132137 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3494671 132137 3199 1 0 3482964 0
[pid=13331/tid=13332] ppid=13329 vsize=13978684 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13329 13329 4674 0 -1 1077944384 7946 0 0 0 115 9 0 0 20 0 15 0 124562666 14314172416 132137 18446744073709551615 4194304 4196468 140729187525184 139938026232560 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13978684 memory=-3704326594973231466 CPUtime=0.13 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) R 13329 13329 4674 0 -1 4202560 166 0 0 0 7 6 0 0 20 0 15 0 124562667 14314172416 132137 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938015091067 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13978684 memory=279361719169344 CPUtime=0.13 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) R 13329 13329 4674 0 -1 4202560 214 0 0 0 7 6 0 0 20 0 15 0 124562667 14314172416 132137 18446744073709551615 4194304 4196468 140729187525184 139937955376016 139938015091067 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13978684 memory=4120857844384228456 CPUtime=0.11 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) R 13329 13329 4674 0 -1 4202560 138 0 0 0 5 6 0 0 20 0 15 0 124562667 14314172416 132137 18446744073709551615 4194304 4196468 140729187525184 139937619557392 139938007022114 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13978684 memory=-8487259742172856210 CPUtime=0.13 cores=1,3,5,7

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

/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 124562668 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937566594016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 124562669 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937565541376 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13340] ppid=13329 vsize=13980732 memory=97 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937564489936 139938022012827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13341] ppid=13329 vsize=13980732 memory=6656426216303648864 CPUtime=1.35 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13329 13329 4674 0 -1 1077944384 4829 0 0 0 135 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937563437552 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13342] ppid=13329 vsize=13980732 memory=139680859491169 CPUtime=1.17 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13329 13329 4674 0 -1 1077944384 3349 0 0 0 116 1 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937562385008 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13343] ppid=13329 vsize=13980732 memory=6944656592455359580 CPUtime=0.48 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13329 13329 4674 0 -1 1077944384 2600 0 0 0 48 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937561332464 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13344] ppid=13329 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937560280160 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13345] ppid=13329 vsize=13980732 memory=-8388089942953067618 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13329 13329 4674 0 -1 1077944384 573 0 0 0 0 0 0 0 20 0 15 0 124562675 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937559226672 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 20.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4281480 KiB

[startup+15.21 s]
# the end of solver process 13329 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=23.6673 s, system=2.01662 s

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

[startup+12.8018 s]
/proc/loadavg: 2.04 2.08 1.98 3/219 13345
/proc/meminfo: memFree=26794036/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13980732 memory=4280104 CPUtime=20.83 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 38670 0 0 0 1885 198 0 0 20 0 15 0 124562666 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3495183 1070026 3227 1 0 3483476 0
[pid=13331/tid=13332] ppid=13329 vsize=13980732 memory=196928478653936 CPUtime=10.92 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) S 13329 13329 4674 0 -1 1077944384 13454 0 0 0 1047 45 0 0 20 0 15 0 124562666 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139938026232592 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13980732 memory=-8774313645642428999 CPUtime=1.7 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) R 13329 13329 4674 0 -1 4202560 3374 0 0 0 135 35 0 0 20 0 15 0 124562667 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938007752544 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13980732 memory=-9062862659931694204 CPUtime=1.7 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) R 13329 13329 4674 0 -1 4202560 2400 0 0 0 132 38 0 0 20 0 15 0 124562667 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937955376216 139938006691870 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13980732 memory=8414074075373934941 CPUtime=1.69 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) R 13329 13329 4674 0 -1 4202560 1220 0 0 0 133 36 0 0 20 0 15 0 124562667 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937619557280 139938006944836 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13980732 memory=6368487236721468522 CPUtime=1.7 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) R 13329 13329 4674 0 -1 4202560 1385 0 0 0 133 37 0 0 20 0 15 0 124562667 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937618504848 139938006691983 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13337] ppid=13329 vsize=13980732 memory=7666086887595010406 CPUtime=0.03 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13329 13329 4674 0 -1 1077944384 4188 0 0 0 3 0 0 0 20 0 15 0 124562668 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937567646048 139938022004437 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13338] ppid=13329 vsize=13980732 memory=11048 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 124562668 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937566594016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 124562669 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937565541376 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13340] ppid=13329 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937564489936 139938022012827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13341] ppid=13329 vsize=13980732 memory=796 CPUtime=1.35 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13329 13329 4674 0 -1 1077944384 4829 0 0 0 135 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937563437552 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13342] ppid=13329 vsize=13980732 memory=984 CPUtime=1.17 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13329 13329 4674 0 -1 1077944384 3349 0 0 0 116 1 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937562385008 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13343] ppid=13329 vsize=13980732 memory=1728 CPUtime=0.48 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13329 13329 4674 0 -1 1077944384 2600 0 0 0 48 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937561332464 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13344] ppid=13329 vsize=13980732 memory=4029476 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937560280160 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13345] ppid=13329 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13329 13329 4674 0 -1 1077944384 573 0 0 0 0 0 0 0 20 0 15 0 124562675 14316269568 1070026 18446744073709551615 4194304 4196468 140729187525184 139937559226672 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 20.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4281480 KiB

[startup+14.4008 s]
/proc/loadavg: 2.36 2.15 2.00 3/219 13345
/proc/meminfo: memFree=26176724/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13980732 memory=4301452 CPUtime=24.34 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 39622 0 0 0 2236 198 0 0 20 0 15 0 124562666 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3495183 1075363 3227 1 0 3483476 0
[pid=13331/tid=13332] ppid=13329 vsize=13980732 memory=4301452 CPUtime=11.84 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) R 13329 13329 4674 0 -1 4202560 13656 0 0 0 1139 45 0 0 20 0 15 0 124562666 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139938026230552 139937639972238 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13980732 memory=2164 CPUtime=2.32 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) S 13329 13329 4674 0 -1 1077944384 3434 0 0 0 197 35 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13980732 memory=-8774313645642428999 CPUtime=2.32 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13329 13329 4674 0 -1 1077944384 2514 0 0 0 194 38 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937955376016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13980732 memory=0 CPUtime=2.31 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13329 13329 4674 0 -1 1077944384 1282 0 0 0 195 36 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937619557392 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13980732 memory=5998894258910757509 CPUtime=2.3 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13329 13329 4674 0 -1 1077944384 1423 0 0 0 193 37 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937618504848 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13337] ppid=13329 vsize=13980732 memory=6944656592455360608 CPUtime=0.08 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13329 13329 4674 0 -1 1077944384 4627 0 0 0 8 0 0 0 20 0 15 0 124562668 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937567647728 139938022005378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13338] ppid=13329 vsize=13980732 memory=60400 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 124562668 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937566594016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 124562669 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937565541376 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13340] ppid=13329 vsize=13980732 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937564489936 139938022012827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13341] ppid=13329 vsize=13980732 memory=1724 CPUtime=1.4 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13329 13329 4674 0 -1 1077944384 4835 0 0 0 139 1 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937563437552 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13342] ppid=13329 vsize=13980732 memory=2012 CPUtime=1.19 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13329 13329 4674 0 -1 1077944384 3356 0 0 0 118 1 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937562385008 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13343] ppid=13329 vsize=13980732 memory=11048 CPUtime=0.49 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13329 13329 4674 0 -1 1077944384 2600 0 0 0 48 1 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937561332464 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13344] ppid=13329 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937560280160 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13345] ppid=13329 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13329 13329 4674 0 -1 1077944384 573 0 0 0 0 0 0 0 20 0 15 0 124562675 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937559226672 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 24.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4302828 KiB

[startup+14.8008 s]
/proc/loadavg: 2.36 2.15 2.00 3/219 13345
/proc/meminfo: memFree=26176724/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/statm: 2378 344 289 221 0 87 0
[pid=13331] ppid=13329 vsize=13980732 memory=4301452 CPUtime=24.76 cores=1,3,5,7
/proc/13331/stat : 13331 (java) S 13329 13329 4674 0 -1 1077944320 39877 0 0 0 2278 198 0 0 20 0 15 0 124562666 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 140729187507728 139938021994231 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
/proc/13331/statm: 3495183 1075363 3227 1 0 3483476 0
[pid=13331/tid=13332] ppid=13329 vsize=13980732 memory=196924250548262 CPUtime=12.24 cores=1,3,5,7
/proc/13331/task/13332/stat : 13332 (java) R 13329 13329 4674 0 -1 4202560 13901 0 0 0 1179 45 0 0 20 0 15 0 124562666 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139938026229616 139937639973583 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13333] ppid=13329 vsize=13980732 memory=279361719247872 CPUtime=2.32 cores=1,3,5,7
/proc/13331/task/13333/stat : 13333 (java) S 13329 13329 4674 0 -1 1077944384 3434 0 0 0 197 35 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937956428560 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13334] ppid=13329 vsize=13980732 memory=4207743426968077889 CPUtime=2.32 cores=1,3,5,7
/proc/13331/task/13334/stat : 13334 (java) S 13329 13329 4674 0 -1 1077944384 2514 0 0 0 194 38 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937955376016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13335] ppid=13329 vsize=13980732 memory=43757090612 CPUtime=2.31 cores=1,3,5,7
/proc/13331/task/13335/stat : 13335 (java) S 13329 13329 4674 0 -1 1077944384 1282 0 0 0 195 36 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937619557392 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13336] ppid=13329 vsize=13980732 memory=7811322400996287598 CPUtime=2.3 cores=1,3,5,7
/proc/13331/task/13336/stat : 13336 (java) S 13329 13329 4674 0 -1 1077944384 1423 0 0 0 193 37 0 0 20 0 15 0 124562667 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937618504848 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13337] ppid=13329 vsize=13980732 memory=6444208446251553125 CPUtime=0.08 cores=1,3,5,7
/proc/13331/task/13337/stat : 13337 (java) S 13329 13329 4674 0 -1 1077944384 4627 0 0 0 8 0 0 0 20 0 15 0 124562668 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937567647728 139938022005378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13338] ppid=13329 vsize=13980732 memory=139680967358080 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13338/stat : 13338 (java) S 13329 13329 4674 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 124562668 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937566594016 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13339] ppid=13329 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13339/stat : 13339 (java) S 13329 13329 4674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 124562669 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937565541376 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13340] ppid=13329 vsize=13980732 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13340/stat : 13340 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937564489936 139938022012827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13341] ppid=13329 vsize=13980732 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/13331/task/13341/stat : 13341 (java) S 13329 13329 4674 0 -1 1077944384 4836 0 0 0 140 1 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937563437552 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13342] ppid=13329 vsize=13980732 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/13331/task/13342/stat : 13342 (java) S 13329 13329 4674 0 -1 1077944384 3366 0 0 0 119 1 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937562385008 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13343] ppid=13329 vsize=13980732 memory=-8774313645642428999 CPUtime=0.49 cores=1,3,5,7
/proc/13331/task/13343/stat : 13343 (java) S 13329 13329 4674 0 -1 1077944384 2600 0 0 0 48 1 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937561332464 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13344] ppid=13329 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13344/stat : 13344 (java) S 13329 13329 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124562671 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937560280160 139938022004437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
[pid=13331/tid=13345] ppid=13329 vsize=13980732 memory=139 CPUtime=0 cores=1,3,5,7
/proc/13331/task/13345/stat : 13345 (java) S 13329 13329 4674 0 -1 1077944384 573 0 0 0 0 0 0 0 20 0 15 0 124562675 14316269568 1075363 18446744073709551615 4194304 4196468 140729187525184 139937559226672 139938022005378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 19046400 140729187533233 140729187533409 140729187533409 140729187536847 0
Current children cumulated CPU time: 24.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4302828 KiB

[startup+15.2009 s]
/proc/loadavg: 2.36 2.15 2.00 5/219 13345
/proc/meminfo: memFree=26176104/32770624 swapFree=67108764/67108860
[pid=13329] ppid=13326 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13329/stat : 13329 (xcsp3-exec) S 13326 13329 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 124562658 9740288 344 18446744073709551615 4194304 5098028 140721159998896 140721159997000 140625723986556 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 32555008 140721159999864 140721160000069 140721160000069 140721160003563 0
/proc/13329/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): 15.2101
CPU time (s): 25.6839
CPU user time (s): 23.6673
CPU system time (s): 2.01662
CPU usage (%): 168.861
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 4303608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6673
system time used= 2.01662
maximum resident set size= 4303248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2934
involuntary context switches= 136


# summary of solver processes directly reported to runsolver:
#   pid: 13329
#   total CPU time (s): 25.6839
#   total CPU user time (s): 23.6673
#   total CPU system time (s): 2.01662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.112276 second user time and 0.208885 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-15 06:02:08
IDJOB=4269667
IDBENCH=125598
IDSOLVER=2660
FILE ID=node134/4269667-1502770561
RUNJOBID= node134-1502649032-24471
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/QRandom/QRandom-m1-lard/lard-83-83.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-4269667-1502770561/watcher-4269667-1502770561 -o /tmp/evaluation-result-4269667-1502770561/solver-4269667-1502770561 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1006756441 HOME/instance-4269667-1502770561.xml

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

MD5SUM BENCH= 5a1cc99098bd305fca19847613bf445f
RANDOM SEED=1006756441

node134.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.43
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.43
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.43
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.43
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:        30477208 kB
MemAvailable:   30818952 kB
Buffers:          272088 kB
Cached:           369188 kB
SwapCached:            4 kB
Active:          1610588 kB
Inactive:         222512 kB
Active(anon):    1139276 kB
Inactive(anon):   102692 kB
Active(file):     471312 kB
Inactive(file):   119820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:             84008 kB
Writeback:             0 kB
AnonPages:       1216476 kB
Mapped:            73304 kB
Shmem:             49756 kB
Slab:             160176 kB
SReclaimable:     132892 kB
SUnreclaim:        27284 kB
KernelStack:        3840 kB
PageTables:         7976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2794844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1103872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61940 MiB
End job on node134 at 2017-08-15 06:02:23