Trace number 4270272

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)? (TO) 247.64101 240.019

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-20-7.xml
MD5SUM5ac81d61620ff7de9755053b8ee3703d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1640
Best CPU time to get the best result obtained on this benchmark251.922
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints440
Number of domains1
Minimum domain size1726
Maximum domain size1726
Distribution of domain sizes[{"size":1726,"count":420}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":400}]
Minimum constraint arity1
Maximum constraint arity20
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":20,"count":20}]
Number of extensional constraints0
Number of intensional constraints420
Distribution of constraint types[{"type":"intension","count":420},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270272-1502617911.xml"  -tl '264s' -p 1 -x 0
0.17/0.33	c [HOME/instance-4270272-1502617911.xml, -tl, 264s, -p, 1, -x, 0]
0.17/0.39	c simple solver
0.35/0.46	c parse instance...
1.28/0.81	c solve instance...
247.62/240.01	s UNKNOWN
247.62/240.01	c Unexpected resolution interruption!

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270272-1502617911/watcher-4270272-1502617911 -o /tmp/evaluation-result-4270272-1502617911/solver-4270272-1502617911 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 465599315 HOME/instance-4270272-1502617911.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
Current StackSize limit: 8192 KiB

solver pid=21896, runsolver pid=21893

[startup+0.100062 s]*
/proc/loadavg: 1.93 1.97 2.01 2/185 21905
/proc/meminfo: memFree=31139524/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13574484 memory=17740 CPUtime=0.02 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 3729 0 0 0 2 0 0 0 20 0 9 0 64011811 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3393621 4435 2086 1 0 3383118 0
[pid=21899/tid=21900] ppid=21896 vsize=13574484 memory=8318255677412212789 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) R 21896 21896 897 0 -1 4202560 2434 0 0 0 2 0 0 0 20 0 9 0 64011811 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140587518239240 140587497386864 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13574484 memory=328 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64011812 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13574484 memory=288370569024194176 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64011812 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64011812 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64011812 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13574484 memory=140192872482432 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64011813 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64011814 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64011814 13900271616 4435 18446744073709551615 4194304 4196468 140736043951712 140586990498864 140587514013397 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19120 KiB

[startup+0.210052 s]*
/proc/loadavg: 1.93 1.97 2.01 1/192 21915
/proc/meminfo: memFree=31138332/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13907304 memory=20680 CPUtime=0.06 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 4545 0 0 0 5 1 0 0 20 0 14 0 64011811 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3476826 5170 2572 1 0 3466323 0
[pid=21899/tid=21900] ppid=21896 vsize=13907304 memory=8390339637985935414 CPUtime=0.04 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) D 21896 21896 897 0 -1 4202560 2731 0 0 0 4 0 0 0 20 0 14 0 64011811 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140587518240672 140587514025213 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13907304 memory=4294967624 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64011812 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13907304 memory=288370569024194176 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64011812 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64011812 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64011812 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13907304 memory=140192872482432 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64011813 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64011814 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64011814 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586990498800 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21908] ppid=21896 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21908/stat : 21908 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64011816 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586989447376 140587514021787 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21909] ppid=21896 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21909/stat : 21909 (java) S 21896 21896 897 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 14 0 64011816 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586988394992 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21910] ppid=21896 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21910/stat : 21910 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64011816 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586987342448 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21911] ppid=21896 vsize=13907304 memory=140192872482432 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21911/stat : 21911 (java) S 21896 21896 897 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 14 0 64011816 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586986289904 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21912] ppid=21896 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21912/stat : 21912 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64011816 14241079296 5170 18446744073709551615 4194304 4196468 140736043951712 140586985237600 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22060 KiB

[startup+0.309896 s]*
/proc/loadavg: 1.93 1.97 2.01 4/193 21919
/proc/meminfo: memFree=31132208/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13974352 memory=30360 CPUtime=0.17 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 6054 0 0 0 15 2 0 0 20 0 15 0 64011811 14309736448 7590 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3493588 7590 2945 1 0 3482964 0
[pid=21899/tid=21900] ppid=21896 vsize=13974352 memory=-7677926825137650786 CPUtime=0.11 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) R 21896 21896 897 0 -1 4202560 3443 0 0 0 10 1 0 0 20 0 15 0 64011811 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140587518232184 140587498083678 0 4 1 16800974 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64011812 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64011813 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64011814 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64011814 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586990498800 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21908] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21908/stat : 21908 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586989447376 140587514021787 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21909] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21909/stat : 21909 (java) S 21896 21896 897 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 64011816 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586988394992 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21910] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21910/stat : 21910 (java) R 21896 21896 897 0 -1 4202560 224 0 0 0 0 0 0 0 20 0 15 0 64011816 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586987322712 140587498399967 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21911] ppid=21896 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21899/task/21911/stat : 21911 (java) R 21896 21896 897 0 -1 4202560 705 0 0 0 3 0 0 0 20 0 15 0 64011816 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586986284280 140587493970310 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21912] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21912/stat : 21912 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586985237600 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21916] ppid=21896 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21916/stat : 21916 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011828 14309736448 7656 18446744073709551615 4194304 4196468 140736043951712 140586984184112 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31740 KiB

[startup+0.700803 s]
/proc/loadavg: 1.93 1.97 2.01 2/190 21930
/proc/meminfo: memFree=31122756/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13980732 memory=60884 CPUtime=0.99 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 12317 0 0 0 95 4 0 0 20 0 15 0 64011811 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3495183 15221 3161 1 0 3483476 0
[pid=21899/tid=21900] ppid=21896 vsize=13980732 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) R 21896 21896 897 0 -1 4202560 8388 0 0 0 46 3 0 0 20 0 15 0 64011811 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140587518236576 140587514025117 0 4 1 16800974 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13980732 memory=10976 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 64011813 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13980732 memory=20204 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586990498800 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21908] ppid=21896 vsize=13980732 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21908/stat : 21908 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586989447376 140587514021787 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21909] ppid=21896 vsize=13980732 memory=2316 CPUtime=0.09 cores=0,2,4,6
/proc/21899/task/21909/stat : 21909 (java) S 21896 21896 897 0 -1 1077944384 799 0 0 0 9 0 0 0 20 0 15 0 64011816 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586988394992 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21910] ppid=21896 vsize=13980732 memory=1728 CPUtime=0.12 cores=0,2,4,6
/proc/21899/task/21910/stat : 21910 (java) S 21896 21896 897 0 -1 1077944384 496 0 0 0 12 0 0 0 20 0 15 0 64011816 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586987342448 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21911] ppid=21896 vsize=13980732 memory=1228 CPUtime=0.26 cores=0,2,4,6
/proc/21899/task/21911/stat : 21911 (java) R 21896 21896 897 0 -1 4202560 1328 0 0 0 26 0 0 0 20 0 15 0 64011816 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586986289904 140587507100027 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21912] ppid=21896 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21912/stat : 21912 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586985237600 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21916] ppid=21896 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21916/stat : 21916 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011828 14316269568 15221 18446744073709551615 4194304 4196468 140736043951712 140586984184112 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62264 KiB

[startup+1.50077 s]
/proc/loadavg: 1.93 1.97 2.01 5/205 21954
/proc/meminfo: memFree=31068132/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13980732 memory=109984 CPUtime=3.43 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 30713 0 0 0 336 7 0 0 20 0 15 0 64011811 14316269568 27496 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3495183 27496 3186 1 0 3483476 0
[pid=21899/tid=21900] ppid=21896 vsize=13980732 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) R 21896 21896 897 0 -1 4202560 9578 0 0 0 125 4 0 0 20 0 15 0 64011811 14316269568 27496 18446744073709551615 4194304 4196468 140736043951712 140587518238776 140587119068438 0 4 1 16800974 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 27496 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 27496 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 27496 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64011812 14316269568 27496 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

[pid=21899/tid=21905] ppid=21896 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 15 0 64011813 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13980732 memory=229220 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586990498816 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21908] ppid=21896 vsize=13980732 memory=223052 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21908/stat : 21908 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586989447376 140587514021787 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21909] ppid=21896 vsize=13980732 memory=1292 CPUtime=3.35 cores=0,2,4,6
/proc/21899/task/21909/stat : 21909 (java) S 21896 21896 897 0 -1 1077944384 17549 0 0 0 333 2 0 0 20 0 15 0 64011816 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586988394992 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21910] ppid=21896 vsize=13980732 memory=2316 CPUtime=3.49 cores=0,2,4,6
/proc/21899/task/21910/stat : 21910 (java) S 21896 21896 897 0 -1 1077944384 21958 0 0 0 347 2 0 0 20 0 15 0 64011816 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586987342448 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21911] ppid=21896 vsize=13980732 memory=4116 CPUtime=0.63 cores=0,2,4,6
/proc/21899/task/21911/stat : 21911 (java) S 21896 21896 897 0 -1 1077944384 5830 0 0 0 62 1 0 0 20 0 15 0 64011816 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586986289904 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21912] ppid=21896 vsize=13980732 memory=36228 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21912/stat : 21912 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586985237600 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21916] ppid=21896 vsize=13980732 memory=1292 CPUtime=0.03 cores=0,2,4,6
/proc/21899/task/21916/stat : 21916 (java) S 21896 21896 897 0 -1 1077944384 982 0 0 0 1 2 0 0 20 0 15 0 64011828 14316269568 57305 18446744073709551615 4194304 4196468 140736043951712 140586984184112 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 109.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 230600 KiB

[startup+162.301 s]
/proc/loadavg: 1.98 1.96 2.00 3/214 21979
/proc/meminfo: memFree=30701988/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13980732 memory=238920 CPUtime=169.73 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 69516 0 0 0 16955 18 0 0 20 0 15 0 64011811 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3495183 59730 3239 1 0 3483476 0
[pid=21899/tid=21900] ppid=21896 vsize=13980732 memory=238920 CPUtime=162.04 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) R 21896 21896 897 0 -1 4202560 14279 0 0 0 16198 6 0 0 20 0 15 0 64011811 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140587518240232 140587121664633 0 4 1 16800974 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13980732 memory=238920 CPUtime=0.01 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 2043 0 0 0 1 0 0 0 20 0 15 0 64011812 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 15 0 64011812 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13980732 memory=280385532813760 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1693 0 0 0 2 0 0 0 20 0 15 0 64011812 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13980732 memory=238920 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 857 0 0 0 2 0 0 0 20 0 15 0 64011812 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 1384 0 0 0 1 0 0 0 20 0 15 0 64011813 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13980732 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586990498816 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21908] ppid=21896 vsize=13980732 memory=238920 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21908/stat : 21908 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586989447376 140587514021787 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21909] ppid=21896 vsize=13980732 memory=63 CPUtime=3.35 cores=0,2,4,6
/proc/21899/task/21909/stat : 21909 (java) S 21896 21896 897 0 -1 1077944384 17663 0 0 0 333 2 0 0 20 0 15 0 64011816 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586988394992 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21910] ppid=21896 vsize=13980732 memory=0 CPUtime=3.5 cores=0,2,4,6
/proc/21899/task/21910/stat : 21910 (java) S 21896 21896 897 0 -1 1077944384 22149 0 0 0 348 2 0 0 20 0 15 0 64011816 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586987342448 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21911] ppid=21896 vsize=13980732 memory=1380 CPUtime=0.63 cores=0,2,4,6
/proc/21899/task/21911/stat : 21911 (java) S 21896 21896 897 0 -1 1077944384 5867 0 0 0 62 1 0 0 20 0 15 0 64011816 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586986289904 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21912] ppid=21896 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21912/stat : 21912 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586985237600 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21916] ppid=21896 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/21899/task/21916/stat : 21916 (java) S 21896 21896 897 0 -1 1077944384 989 0 0 0 1 3 0 0 20 0 15 0 64011828 14316269568 59730 18446744073709551615 4194304 4196468 140736043951712 140586984184112 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 169.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 240300 KiB

[startup+222.301 s]
/proc/loadavg: 2.22 2.02 2.02 3/214 21981
/proc/meminfo: memFree=30727608/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13980732 memory=226144 CPUtime=229.91 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 70158 0 0 0 22971 20 0 0 20 0 15 0 64011811 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3495183 56536 3239 1 0 3483476 0
[pid=21899/tid=21900] ppid=21896 vsize=13980732 memory=226144 CPUtime=222.04 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) R 21896 21896 897 0 -1 4202560 14465 0 0 0 22198 6 0 0 20 0 15 0 64011811 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140587518242336 140587119832139 0 4 1 16800974 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 2043 0 0 0 2 1 0 0 20 0 15 0 64011812 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13980732 memory=226144 CPUtime=0.03 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1249 0 0 0 2 1 0 0 20 0 15 0 64011812 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13980732 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1700 0 0 0 2 0 0 0 20 0 15 0 64011812 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13980732 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 860 0 0 0 2 0 0 0 20 0 15 0 64011812 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13980732 memory=228196 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 1400 0 0 0 2 0 0 0 20 0 15 0 64011813 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13980732 memory=228196 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586990498816 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21908] ppid=21896 vsize=13980732 memory=36240 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21908/stat : 21908 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586989447376 140587514021787 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21909] ppid=21896 vsize=13980732 memory=1292 CPUtime=3.41 cores=0,2,4,6
/proc/21899/task/21909/stat : 21909 (java) S 21896 21896 897 0 -1 1077944384 17838 0 0 0 339 2 0 0 20 0 15 0 64011816 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586988394992 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21910] ppid=21896 vsize=13980732 memory=1380 CPUtime=3.57 cores=0,2,4,6
/proc/21899/task/21910/stat : 21910 (java) S 21896 21896 897 0 -1 1077944384 22365 0 0 0 355 2 0 0 20 0 15 0 64011816 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586987342448 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21911] ppid=21896 vsize=13980732 memory=226144 CPUtime=0.63 cores=0,2,4,6
/proc/21899/task/21911/stat : 21911 (java) S 21896 21896 897 0 -1 1077944384 5883 0 0 0 62 1 0 0 20 0 15 0 64011816 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586986289904 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21912] ppid=21896 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21912/stat : 21912 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586985237600 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21916] ppid=21896 vsize=13980732 memory=1712 CPUtime=0.05 cores=0,2,4,6
/proc/21899/task/21916/stat : 21916 (java) S 21896 21896 897 0 -1 1077944384 1010 0 0 0 1 4 0 0 20 0 15 0 64011828 14316269568 56536 18446744073709551615 4194304 4196468 140736043951712 140586984184112 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 229.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 227524 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.40 2.07 2.04 3/212 21981
/proc/meminfo: memFree=30736756/32770624 swapFree=67108860/67108860
[pid=21896] ppid=21893 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21896/stat : 21896 (xcsp3-exec) S 21893 21896 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64011803 9740288 345 18446744073709551615 4194304 5098028 140735007506192 140735007504296 139668112093820 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 23461888 140735007515007 140735007515210 140735007515210 140735007518699 0
/proc/21896/statm: 2378 345 289 221 0 87 0
[pid=21899] ppid=21896 vsize=13980732 memory=221016 CPUtime=247.62 cores=0,2,4,6
/proc/21899/stat : 21899 (java) S 21896 21896 897 0 -1 1077944320 70164 0 0 0 24742 20 0 0 20 0 15 0 64011811 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140736043934256 140587514003191 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
/proc/21899/statm: 3495183 55254 3239 1 0 3483476 0
[pid=21899/tid=21900] ppid=21896 vsize=13980732 memory=10164 CPUtime=239.74 cores=0,2,4,6
/proc/21899/task/21900/stat : 21900 (java) R 21896 21896 897 0 -1 4202560 14468 0 0 0 23968 6 0 0 20 0 15 0 64011811 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140587518242336 140587120730754 0 4 1 16800974 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21901] ppid=21896 vsize=13980732 memory=1440 CPUtime=0.03 cores=0,2,4,6
/proc/21899/task/21901/stat : 21901 (java) S 21896 21896 897 0 -1 1077944384 2043 0 0 0 2 1 0 0 20 0 15 0 64011812 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140587114162960 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21902] ppid=21896 vsize=13980732 memory=4872558044660077418 CPUtime=0.03 cores=0,2,4,6
/proc/21899/task/21902/stat : 21902 (java) S 21896 21896 897 0 -1 1077944384 1249 0 0 0 2 1 0 0 20 0 15 0 64011812 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140587113110416 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21903] ppid=21896 vsize=13980732 memory=-7824251494390717290 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21903/stat : 21903 (java) S 21896 21896 897 0 -1 1077944384 1700 0 0 0 2 0 0 0 20 0 15 0 64011812 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140587112057872 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21904] ppid=21896 vsize=13980732 memory=4872558044660077418 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21904/stat : 21904 (java) S 21896 21896 897 0 -1 1077944384 860 0 0 0 2 0 0 0 20 0 15 0 64011812 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140587111005328 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21905] ppid=21896 vsize=13980732 memory=4304 CPUtime=0.02 cores=0,2,4,6
/proc/21899/task/21905/stat : 21905 (java) S 21896 21896 897 0 -1 1077944384 1400 0 0 0 2 0 0 0 20 0 15 0 64011813 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586992605168 140587514014338 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21906] ppid=21896 vsize=13980732 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21906/stat : 21906 (java) S 21896 21896 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586991551392 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21907] ppid=21896 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21907/stat : 21907 (java) S 21896 21896 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 64011814 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586990498816 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21908] ppid=21896 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21908/stat : 21908 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586989447376 140587514021787 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21909] ppid=21896 vsize=13980732 memory=840 CPUtime=3.42 cores=0,2,4,6
/proc/21899/task/21909/stat : 21909 (java) S 21896 21896 897 0 -1 1077944384 17841 0 0 0 340 2 0 0 20 0 15 0 64011816 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586988394992 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21910] ppid=21896 vsize=13980732 memory=4872558044660077418 CPUtime=3.57 cores=0,2,4,6
/proc/21899/task/21910/stat : 21910 (java) S 21896 21896 897 0 -1 1077944384 22365 0 0 0 355 2 0 0 20 0 15 0 64011816 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586987342448 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21911] ppid=21896 vsize=13980732 memory=223068 CPUtime=0.63 cores=0,2,4,6
/proc/21899/task/21911/stat : 21911 (java) S 21896 21896 897 0 -1 1077944384 5883 0 0 0 62 1 0 0 20 0 15 0 64011816 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586986289904 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21912] ppid=21896 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21899/task/21912/stat : 21912 (java) S 21896 21896 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64011816 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586985237600 140587514013397 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
[pid=21899/tid=21916] ppid=21896 vsize=13980732 memory=223068 CPUtime=0.06 cores=0,2,4,6
/proc/21899/task/21916/stat : 21916 (java) S 21896 21896 897 0 -1 1077944384 1010 0 0 0 1 5 0 0 20 0 15 0 64011828 14316269568 55254 18446744073709551615 4194304 4196468 140736043951712 140586984184112 140587514014338 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16961536 140736043958711 140736043958886 140736043958886 140736043962319 0
Current children cumulated CPU time: 247.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 222396 KiB

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

[startup+240.019 s]
# the end of solver process 21896 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.431 s, system=0.209443 s

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

Child status: 143
Real time (s): 240.019
CPU time (s): 247.641
CPU user time (s): 247.431
CPU system time (s): 0.209443
CPU usage (%): 103.175
Max. virtual memory (cumulated for all children) (KiB): 13992168
Max. memory (cumulated for all children) (KiB): 243856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.431
system time used= 0.209443
maximum resident set size= 242476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8308
involuntary context switches= 246


# summary of solver processes directly reported to runsolver:
#   pid: 21896
#   total CPU time (s): 247.641
#   total CPU user time (s): 247.431
#   total CPU system time (s): 0.209443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29725 second user time and 2.29886 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-13 11:37:45
IDJOB=4270272
IDBENCH=115761
IDSOLVER=2661
FILE ID=node125/4270272-1502617911
RUNJOBID= node125-1502615132-20541
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-20-7.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-4270272-1502617911/watcher-4270272-1502617911 -o /tmp/evaluation-result-4270272-1502617911/solver-4270272-1502617911 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 465599315 HOME/instance-4270272-1502617911.xml

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

MD5SUM BENCH= 5ac81d61620ff7de9755053b8ee3703d
RANDOM SEED=465599315

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31140004 kB
MemAvailable:   31986332 kB
Buffers:          281916 kB
Cached:           860552 kB
SwapCached:            0 kB
Active:           628496 kB
Inactive:         577920 kB
Active(anon):      64340 kB
Inactive(anon):    33100 kB
Active(file):     564156 kB
Inactive(file):   544820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7896 kB
Writeback:             0 kB
AnonPages:         59340 kB
Mapped:            55132 kB
Shmem:             33444 kB
Slab:             132136 kB
SReclaimable:     106372 kB
SUnreclaim:        25764 kB
KernelStack:        3136 kB
PageTables:         4816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1254304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-13 11:41:46