Trace number 4270385

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)OPT261 7.0730901 2.64991

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-04-04-8.xml
MD5SUMaed9643ac8b54e4586138aa43d9c539b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark261
Best CPU time to get the best result obtained on this benchmark0.20433301
Satisfiable
(Un)Satisfiability was proved
Number of variables68
Number of constraints60
Number of domains6
Minimum domain size4
Maximum domain size361
Distribution of domain sizes[{"size":4,"count":32},{"size":361,"count":36}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":32},{"degree":5,"count":16}]
Minimum constraint arity1
Maximum constraint arity6
Distribution of constraint arities[{"arity":1,"count":4},{"arity":2,"count":16},{"arity":3,"count":16},{"arity":4,"count":8},{"arity":6,"count":16}]
Number of extensional constraints16
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":16},{"type":"intension","count":20},{"type":"allDifferent","count":4},{"type":"noOverlap","count":4},{"type":"element","count":16}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270385-1502618725.xml"  -tl '264s' -p 1 -x 0
0.08/0.28	c [HOME/instance-4270385-1502618725.xml, -tl, 264s, -p, 1, -x, 0]
0.26/0.34	c simple solver
0.26/0.41	c parse instance...
0.90/0.64	c solve instance...
1.14/0.71	o 360 
1.14/0.75	o 359 
1.45/0.80	o 307 
1.45/0.82	o 303 
1.45/0.84	o 292 
1.81/0.92	o 285 
1.81/0.93	o 283 
1.81/0.95	o 279 
1.81/0.98	o 274 
2.13/1.08	o 268 
3.96/1.65	o 267 
4.26/1.76	o 261 
6.98/2.61	s OPTIMUM FOUND
6.98/2.61	v <instantiation>
6.98/2.61	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[1][0] s[1][1] s[1][2] s[1][3] s[2][0] s[2][1] s[2][2] s[2][3] s[3][0] s[3][1] s[3][2] s[3][3] e[0] e[1] e[2] e[3] d[0][0] d[0][1] d[0][2] d[0][3] d[1][0] d[1][1] d[1][2] d[1][3] d[2][0] d[2][1] d[2][2] d[2][3] d[3][0] d[3][1] d[3][2] d[3][3] w[0][0] w[0][1] w[0][2] w[0][3] w[1][0] w[1][1] w[1][2] w[1][3] w[2][0] w[2][1] w[2][2] w[2][3] w[3][0] w[3][1] w[3][2] w[3][3] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[3][0] sd[3][1] sd[3][2] sd[3][3] </list>
6.98/2.61	v 	<values>0 63 135 210 0 72 158 179 0 63 165 210 0 72 165 179 256 245 242 261 59 62 71 46 69 63 21 66 63 95 45 32 72 93 11 82 2 0 1 3 3 1 2 0 0 2 3 1 1 3 0 2 63 135 0 210 179 72 158 0 0 210 63 165 165 0 179 72 </values>
6.98/2.61	v </instantiation>

Verifier Data 

OK	261

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270385-1502618725/watcher-4270385-1502618725 -o /tmp/evaluation-result-4270385-1502618725/solver-4270385-1502618725 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 505107764 HOME/instance-4270385-1502618725.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=29822, runsolver pid=29819
Current StackSize limit: 8192 KiB


[startup+0.100449 s]*
/proc/loadavg: 1.83 1.95 1.89 4/202 29825
/proc/meminfo: memFree=31426776/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13358712 memory=13836 CPUtime=0 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 3238 0 0 0 0 0 0 0 20 0 6 0 64065842 13679321088 3459 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3339678 3459 1866 1 0 3329175 0
[pid=29824/tid=29825] ppid=29822 vsize=13358712 memory=-6871798056524144002 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 2013 0 0 0 0 0 0 0 20 0 6 0 64065842 13679321088 3459 18446744073709551615 4194304 4196468 140733208513920 140172514964048 140172490921616 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13358712 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64065843 13679321088 3459 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13358712 memory=139860259579520 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64065843 13679321088 3459 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64065843 13679321088 3459 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13358712 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 6 0 64065843 13679321088 3459 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15216 KiB

[startup+0.213949 s]*
/proc/loadavg: 1.83 1.95 1.89 3/215 29838
/proc/meminfo: memFree=31419332/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13974352 memory=27056 CPUtime=0.08 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 5183 0 0 0 7 1 0 0 20 0 15 0 64065842 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3493588 6764 2726 1 0 3482964 0
[pid=29824/tid=29825] ppid=29822 vsize=13974352 memory=8390339637985935414 CPUtime=0.06 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 3340 0 0 0 6 0 0 0 20 0 15 0 64065842 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140172514953616 140172492121658 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13974352 memory=288230604708001210 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13974352 memory=139860259606844 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29830] ppid=29822 vsize=13974352 memory=139860259579520 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29830/stat : 29830 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065844 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171988806000 140172510739074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29831] ppid=29822 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29831/stat : 29831 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065845 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171987751968 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29832] ppid=29822 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29832/stat : 29832 (java) S 29822 29822 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64065845 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171986699120 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29833] ppid=29822 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29833/stat : 29833 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171985647440 140172510746523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29834] ppid=29822 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29834/stat : 29834 (java) S 29822 29822 17093 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 64065848 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171984595824 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29835] ppid=29822 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29835/stat : 29835 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065848 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171983543024 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29836] ppid=29822 vsize=13974352 memory=139860259579520 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29836/stat : 29836 (java) R 29822 29822 17093 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 15 0 64065848 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171982490224 140172510739862 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29837] ppid=29822 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29837/stat : 29837 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171981437664 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29838] ppid=29822 vsize=13974352 memory=139860259579520 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29838/stat : 29838 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065853 14309736448 6764 18446744073709551615 4194304 4196468 140733208513920 140171980384944 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28436 KiB

[startup+0.310495 s]*
/proc/loadavg: 1.83 1.95 1.89 6/215 29838
/proc/meminfo: memFree=31408328/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13974352 memory=36904 CPUtime=0.26 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 8839 0 0 0 23 3 0 0 20 0 15 0 64065842 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3493588 9226 2971 1 0 3482964 0
[pid=29824/tid=29825] ppid=29822 vsize=13974352 memory=8390339637985935414 CPUtime=0.16 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 6049 0 0 0 14 2 0 0 20 0 15 0 64065842 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140172514942592 140172510749853 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13974352 memory=291045354475107770 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13974352 memory=139860259606844 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13974352 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065843 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29830] ppid=29822 vsize=13974352 memory=8392725736016877793 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29830/stat : 29830 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065844 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171988806000 140172510739074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29831] ppid=29822 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29831/stat : 29831 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065845 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171987751968 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29832] ppid=29822 vsize=13974352 memory=-8990767739041718176 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29832/stat : 29832 (java) S 29822 29822 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64065845 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171986699120 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29833] ppid=29822 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29833/stat : 29833 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171985647440 140172510746523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29834] ppid=29822 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29824/task/29834/stat : 29834 (java) R 29822 29822 17093 0 -1 4202560 687 0 0 0 1 0 0 0 20 0 15 0 64065848 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171984595824 140172490557537 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29835] ppid=29822 vsize=13974352 memory=3472328296227679279 CPUtime=0.01 cores=0,2,4,6
/proc/29824/task/29835/stat : 29835 (java) R 29822 29822 17093 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 15 0 64065848 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171983543024 140172510739074 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29836] ppid=29822 vsize=13974352 memory=139860259579520 CPUtime=0.05 cores=0,2,4,6
/proc/29824/task/29836/stat : 29836 (java) R 29822 29822 17093 0 -1 1077944384 751 0 0 0 5 0 0 0 20 0 15 0 64065848 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171982490224 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29837] ppid=29822 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29837/stat : 29837 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171981437664 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29838] ppid=29822 vsize=13974352 memory=139860259579520 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29838/stat : 29838 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065853 14309736448 9226 18446744073709551615 4194304 4196468 140733208513920 140171980384944 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38284 KiB

[startup+0.704598 s]
/proc/loadavg: 1.83 1.95 1.89 6/215 29838
/proc/meminfo: memFree=31395644/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13980732 memory=65776 CPUtime=1.14 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 13999 0 0 0 108 6 0 0 20 0 15 0 64065842 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3495183 16444 3169 1 0 3483476 0
[pid=29824/tid=29825] ppid=29822 vsize=13980732 memory=2464103269889 CPUtime=0.54 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 9112 0 0 0 50 4 0 0 20 0 15 0 64065842 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140172514965904 140172510739862 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13980732 memory=2481283139073 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13980732 memory=2485578106369 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13980732 memory=51172 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29830] ppid=29822 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29830/stat : 29830 (java) S 29822 29822 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64065844 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171988806000 140172510739074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29831] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29831/stat : 29831 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171987751968 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29832] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29832/stat : 29832 (java) S 29822 29822 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171986699120 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29833] ppid=29822 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29833/stat : 29833 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171985647440 140172510746523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29834] ppid=29822 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/29824/task/29834/stat : 29834 (java) R 29822 29822 17093 0 -1 4202560 1305 0 0 0 14 0 0 0 20 0 15 0 64065848 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171984583456 140172510749274 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29835] ppid=29822 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/29824/task/29835/stat : 29835 (java) R 29822 29822 17093 0 -1 1077944384 677 0 0 0 14 0 0 0 20 0 15 0 64065848 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171983543120 140172510738133 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29836] ppid=29822 vsize=13980732 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/29824/task/29836/stat : 29836 (java) R 29822 29822 17093 0 -1 4202560 1597 0 0 0 29 0 0 0 20 0 15 0 64065848 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171982483840 140172510739862 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29837] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29837/stat : 29837 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171981437664 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29838] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29838/stat : 29838 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065853 14316269568 16444 18446744073709551615 4194304 4196468 140733208513920 140171980384944 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67156 KiB

[startup+1.50083 s]
/proc/loadavg: 1.83 1.95 1.89 5/215 29838
/proc/meminfo: memFree=31353784/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13983564 memory=122336 CPUtime=3.65 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 41092 0 0 0 356 9 0 0 20 0 15 0 64065842 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3495891 30584 3187 1 0 3484184 0
[pid=29824/tid=29825] ppid=29822 vsize=13983564 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 9688 0 0 0 130 4 0 0 20 0 15 0 64065842 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140172514963240 140172116584971 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13983564 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13983564 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13983564 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065843 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13983564 memory=7451877854906902628 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065843 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29830] ppid=29822 vsize=13983564 memory=7668329887206040914 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29830/stat : 29830 (java) S 29822 29822 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64065844 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171988806000 140172510739074 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29831] ppid=29822 vsize=13983564 memory=8028901548557429602 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29831/stat : 29831 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065845 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171987751968 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29832] ppid=29822 vsize=13983564 memory=7812174591191902288 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29832/stat : 29832 (java) S 29822 29822 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64065845 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171986699120 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29833] ppid=29822 vsize=13983564 memory=7956013814784549989 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29833/stat : 29833 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171985647440 140172510746523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29834] ppid=29822 vsize=13983564 memory=0 CPUtime=0.94 cores=0,2,4,6
/proc/29824/task/29834/stat : 29834 (java) R 29822 29822 17093 0 -1 4202560 12179 0 0 0 92 2 0 0 20 0 15 0 64065848 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171984581984 140172492272888 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29835] ppid=29822 vsize=13983564 memory=1708 CPUtime=0.93 cores=0,2,4,6
/proc/29824/task/29835/stat : 29835 (java) R 29822 29822 17093 0 -1 4202560 13654 0 0 0 92 1 0 0 20 0 15 0 64065848 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171983529184 140172489971814 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29836] ppid=29822 vsize=13983564 memory=1444 CPUtime=0.42 cores=0,2,4,6
/proc/29824/task/29836/stat : 29836 (java) S 29822 29822 17093 0 -1 1077944384 4262 0 0 0 41 1 0 0 20 0 15 0 64065848 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171982490224 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29837] ppid=29822 vsize=13983564 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29837/stat : 29837 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171981437664 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29838] ppid=29822 vsize=13983564 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29838/stat : 29838 (java) S 29822 29822 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 64065853 14319169536 30584 18446744073709551615 4194304 4196468 140733208513920 140171980384944 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 13993076 KiB
Current children cumulated memory: 123716 KiB

[startup+2.64985 s]
# the end of solver process 29822 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.95926 s, system=0.11383 s

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

[startup+1.60214 s]
/proc/loadavg: 1.83 1.95 1.89 5/215 29838
/proc/meminfo: memFree=31353784/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13980732 memory=119888 CPUtime=3.96 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 41757 0 0 0 387 9 0 0 20 0 15 0 64065842 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3495183 29972 3189 1 0 3483476 0
[pid=29824/tid=29825] ppid=29822 vsize=13980732 memory=6655300316396806240 CPUtime=1.44 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 9695 0 0 0 140 4 0 0 20 0 15 0 64065842 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140172514965680 140172116377025 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13980732 memory=4872558142750483264 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13980732 memory=-1391509512798377362 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29830] ppid=29822 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29830/stat : 29830 (java) S 29822 29822 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64065844 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171988806000 140172510739074 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29831] ppid=29822 vsize=13980732 memory=139860107340066 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29831/stat : 29831 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171987751968 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29832] ppid=29822 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29832/stat : 29832 (java) S 29822 29822 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171986699120 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29833] ppid=29822 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29833/stat : 29833 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171985647440 140172510746523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29834] ppid=29822 vsize=13980732 memory=6944656592455360604 CPUtime=1.04 cores=0,2,4,6
/proc/29824/task/29834/stat : 29834 (java) R 29822 29822 17093 0 -1 4202560 12629 0 0 0 102 2 0 0 20 0 15 0 64065848 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171984583376 140172503017376 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29835] ppid=29822 vsize=13980732 memory=6944656592455359580 CPUtime=1.03 cores=0,2,4,6
/proc/29824/task/29835/stat : 29835 (java) R 29822 29822 17093 0 -1 4202560 13838 0 0 0 102 1 0 0 20 0 15 0 64065848 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171983529184 140172495607446 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29836] ppid=29822 vsize=13980732 memory=6944652177228980320 CPUtime=0.43 cores=0,2,4,6
/proc/29824/task/29836/stat : 29836 (java) S 29822 29822 17093 0 -1 1077944384 4283 0 0 0 42 1 0 0 20 0 15 0 64065848 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171982490224 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29837] ppid=29822 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29837/stat : 29837 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171981437664 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29838] ppid=29822 vsize=13980732 memory=18889266171726 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29838/stat : 29838 (java) S 29822 29822 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 64065853 14316269568 29972 18446744073709551615 4194304 4196468 140733208513920 140171980384944 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 121268 KiB

[startup+2.40077 s]
/proc/loadavg: 1.83 1.95 1.89 5/215 29838
/proc/meminfo: memFree=31311924/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13980732 memory=132508 CPUtime=6.37 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 45041 0 0 0 628 9 0 0 20 0 15 0 64065842 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3495183 33127 3198 1 0 3483476 0
[pid=29824/tid=29825] ppid=29822 vsize=13980732 memory=288230587427455269 CPUtime=2.23 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 9925 0 0 0 219 4 0 0 20 0 15 0 64065842 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140172514963528 140172117983654 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13980732 memory=23734 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29830] ppid=29822 vsize=13980732 memory=117328 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29830/stat : 29830 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065844 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171988806000 140172510739074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29831] ppid=29822 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29831/stat : 29831 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171987751968 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29832] ppid=29822 vsize=13980732 memory=267941534820608 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29832/stat : 29832 (java) S 29822 29822 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171986699120 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29833] ppid=29822 vsize=13980732 memory=279720214649952 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29833/stat : 29833 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171985647440 140172510746523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29834] ppid=29822 vsize=13980732 memory=3977416711071675552 CPUtime=1.84 cores=0,2,4,6
/proc/29824/task/29834/stat : 29834 (java) R 29822 29822 17093 0 -1 4202560 13955 0 0 0 182 2 0 0 20 0 15 0 64065848 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171984588312 140172494114715 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29835] ppid=29822 vsize=13980732 memory=6003386622314496102 CPUtime=1.83 cores=0,2,4,6
/proc/29824/task/29835/stat : 29835 (java) R 29822 29822 17093 0 -1 4202560 15460 0 0 0 182 1 0 0 20 0 15 0 64065848 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171983535512 140172490382481 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29836] ppid=29822 vsize=13980732 memory=5787495302022849344 CPUtime=0.44 cores=0,2,4,6
/proc/29824/task/29836/stat : 29836 (java) S 29822 29822 17093 0 -1 1077944384 4354 0 0 0 43 1 0 0 20 0 15 0 64065848 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171982490224 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29837] ppid=29822 vsize=13980732 memory=5931329019416957008 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29837/stat : 29837 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171981437664 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29838] ppid=29822 vsize=13980732 memory=5787495302022849088 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29838/stat : 29838 (java) S 29822 29822 17093 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 64065853 14316269568 33127 18446744073709551615 4194304 4196468 140733208513920 140171980384944 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 133888 KiB

[startup+2.60078 s]
/proc/loadavg: 1.83 1.95 1.89 5/215 29838
/proc/meminfo: memFree=31311924/32770624 swapFree=67108860/67108860
[pid=29822] ppid=29819 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29822/stat : 29822 (xcsp3-exec) S 29819 29822 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64065833 9740288 345 18446744073709551615 4194304 5098028 140733610790928 140733610789032 140600420041340 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10866688 140733610795391 140733610795594 140733610795594 140733610799083 0
/proc/29822/statm: 2378 345 289 221 0 87 0
[pid=29824] ppid=29822 vsize=13980732 memory=135648 CPUtime=6.98 cores=0,2,4,6
/proc/29824/stat : 29824 (java) S 29822 29822 17093 0 -1 1077944320 45483 0 0 0 688 10 0 0 20 0 15 0 64065842 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140733208496464 140172510727927 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
/proc/29824/statm: 3495183 33912 3198 1 0 3483476 0
[pid=29824/tid=29825] ppid=29822 vsize=13980732 memory=7666089056436314727 CPUtime=2.43 cores=0,2,4,6
/proc/29824/task/29825/stat : 29825 (java) R 29822 29822 17093 0 -1 4202560 9955 0 0 0 239 4 0 0 20 0 15 0 64065842 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140172514963528 140172117978469 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29826] ppid=29822 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29826/stat : 29826 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140172445162640 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29827] ppid=29822 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29827/stat : 29827 (java) S 29822 29822 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140172444109840 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29828] ppid=29822 vsize=13980732 memory=123936 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29828/stat : 29828 (java) S 29822 29822 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140172443057040 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29829] ppid=29822 vsize=13980732 memory=7308586179480281682 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29829/stat : 29829 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065843 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140172442004240 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29830] ppid=29822 vsize=13980732 memory=6370718158766957161 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29830/stat : 29830 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065844 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171988806000 140172510739074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29831] ppid=29822 vsize=13980732 memory=8028335274349323364 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29831/stat : 29831 (java) S 29822 29822 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171987751968 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29832] ppid=29822 vsize=13980732 memory=5787785663623029848 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29832/stat : 29832 (java) S 29822 29822 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64065845 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171986699120 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29833] ppid=29822 vsize=13980732 memory=7309449300588652396 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29833/stat : 29833 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171985647440 140172510746523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29834] ppid=29822 vsize=13980732 memory=8097869506030300259 CPUtime=2.04 cores=0,2,4,6
/proc/29824/task/29834/stat : 29834 (java) R 29822 29822 17093 0 -1 4202560 14251 0 0 0 202 2 0 0 20 0 15 0 64065848 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171984588312 140172492250404 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29835] ppid=29822 vsize=13980732 memory=8097869506030300259 CPUtime=2.03 cores=0,2,4,6
/proc/29824/task/29835/stat : 29835 (java) R 29822 29822 17093 0 -1 4202560 15551 0 0 0 202 1 0 0 20 0 15 0 64065848 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171983535512 140172489966412 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29836] ppid=29822 vsize=13980732 memory=8097869506030300259 CPUtime=0.45 cores=0,2,4,6
/proc/29824/task/29836/stat : 29836 (java) S 29822 29822 17093 0 -1 1077944384 4379 0 0 0 44 1 0 0 20 0 15 0 64065848 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171982490224 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29837] ppid=29822 vsize=13980732 memory=7309449300588652396 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29837/stat : 29837 (java) S 29822 29822 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64065848 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171981437664 140172510738133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
[pid=29824/tid=29838] ppid=29822 vsize=13980732 memory=7309449300588651114 CPUtime=0 cores=0,2,4,6
/proc/29824/task/29838/stat : 29838 (java) S 29822 29822 17093 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 64065853 14316269568 33912 18446744073709551615 4194304 4196468 140733208513920 140171980384944 140172510739074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11276288 140733208519095 140733208519270 140733208519270 140733208522703 0
Current children cumulated CPU time: 6.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 137028 KiB

Child status: 0
Real time (s): 2.64991
CPU time (s): 7.07309
CPU user time (s): 6.95926
CPU system time (s): 0.11383
CPU usage (%): 266.919
Max. virtual memory (cumulated for all children) (KiB): 13994728
Max. memory (cumulated for all children) (KiB): 137028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.95926
system time used= 0.11383
maximum resident set size= 138320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46569
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2113
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 29822
#   total CPU time (s): 7.07309
#   total CPU user time (s): 6.95926
#   total CPU system time (s): 0.11383

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033566 second user time and 0.075416 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-13 11:51:17
IDJOB=4270385
IDBENCH=115839
IDSOLVER=2661
FILE ID=node127/4270385-1502618725
RUNJOBID= node127-1502615937-28320
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-04-04-8.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-4270385-1502618725/watcher-4270385-1502618725 -o /tmp/evaluation-result-4270385-1502618725/solver-4270385-1502618725 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 505107764 HOME/instance-4270385-1502618725.xml

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

MD5SUM BENCH= aed9643ac8b54e4586138aa43d9c539b
RANDOM SEED=505107764

node127.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.92
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.92
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.92
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.92
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:        31431288 kB
MemAvailable:   31850204 kB
Buffers:          188772 kB
Cached:           526676 kB
SwapCached:            0 kB
Active:           724536 kB
Inactive:         189412 kB
Active(anon):     148124 kB
Inactive(anon):    83916 kB
Active(file):     576412 kB
Inactive(file):   105496 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8028 kB
Writeback:             0 kB
AnonPages:        197164 kB
Mapped:            59760 kB
Shmem:             33444 kB
Slab:             131212 kB
SReclaimable:     105684 kB
SUnreclaim:        25528 kB
KernelStack:        3504 kB
PageTables:         5904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1282056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 62016 MiB
End job on node127 at 2017-08-13 11:51:19