Trace number 4284612

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 5a (2017-08-18)? (TO) 264.03299 229.812

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-1.xml
MD5SUM133cdadaee2e697c51b4261ec7f2679b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark620
Best CPU time to get the best result obtained on this benchmark251.35899
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size696
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":10},{"size":10,"count":180},{"size":696,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284612-1503210308.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284612-1503210308.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.30/0.61	c solve instance...
264.01/229.80	s UNKNOWN
264.01/229.80	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 (11130 MiB free)
  memory of node 1: 16384 MiB (12137 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284612-1503210308/watcher-4284612-1503210308 -o /tmp/evaluation-result-4284612-1503210308/solver-4284612-1503210308 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1484653487 HOME/instance-4284612-1503210308.xml 

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

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=4216, runsolver pid=4213

[startup+0.100093 s]*
/proc/loadavg: 1.89 1.72 1.65 5/219 4232
/proc/meminfo: memFree=23800536/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0
[pid=4218] ppid=4216 vsize=13978596 memory=28948 CPUtime=0.12 cores=1,3,5,7
/proc/4218/stat : 4218 (java) S 4216 4216 3809 0 -1 1077944320 5079 0 0 0 11 1 0 0 20 0 15 0 154118570 14314082304 7237 33554432000 4194304 4196468 140721932331856 140721932314400 140244333899511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
/proc/4218/statm: 3494649 7237 2896 1 0 3482966 0
[pid=4218/tid=4219] ppid=4216 vsize=13978596 memory=8115951206965416795 CPUtime=0.09 cores=1,3,5,7
/proc/4218/task/4219/stat : 4219 (java) R 4216 4216 3809 0 -1 4202560 3041 0 0 0 9 0 0 0 20 0 15 0 154118570 14314082304 7303 33554432000 4194304 4196468 140721932331856 140244338132784 140244316114610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4220] ppid=4216 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4220/stat : 4220 (java) S 4216 4216 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154118571 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243929766800 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4221] ppid=4216 vsize=13978596 memory=139943106360960 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4221/stat : 4221 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243928714000 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4222] ppid=4216 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4222/stat : 4222 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243927661712 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4223] ppid=4216 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4223/stat : 4223 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243926608912 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4224] ppid=4216 vsize=13978596 memory=139943106360960 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4224/stat : 4224 (java) S 4216 4216 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154118572 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243808217200 140244333910658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4225] ppid=4216 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4225/stat : 4225 (java) S 4216 4216 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154118573 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243807163168 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4226] ppid=4216 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154118573 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 154118575 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 15 0 154118575 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13978596 memory=139943106360960 CPUtime=0.01 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) R 4216 4216 3809 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 15 0 154118575 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243801901936 140244313614326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13978596 memory=139943106360960 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) R 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118576 14314082304 7303 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30332 KiB

[startup+0.210929 s]*
/proc/loadavg: 1.89 1.72 1.65 6/219 4232
/proc/meminfo: memFree=23780736/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0
[pid=4218] ppid=4216 vsize=13982852 memory=40928 CPUtime=0.34 cores=1,3,5,7
/proc/4218/stat : 4218 (java) S 4216 4216 3809 0 -1 1077944320 7914 0 0 0 32 2 0 0 20 0 15 0 154118570 14318440448 10232 33554432000 4194304 4196468 140721932331856 140721932314400 140244333899511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
/proc/4218/statm: 3495713 10232 3047 1 0 3482966 0
[pid=4218/tid=4219] ppid=4216 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/4218/task/4219/stat : 4219 (java) R 4216 4216 3809 0 -1 4202560 4948 0 0 0 18 1 0 0 20 0 15 0 154118570 14318440448 10232 33554432000 4194304 4196468 140721932331856 140244338109408 140244333921437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4220] ppid=4216 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4220/stat : 4220 (java) S 4216 4216 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243929766800 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4221] ppid=4216 vsize=13982852 memory=139943106755388 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4221/stat : 4221 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243928714000 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4222] ppid=4216 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4222/stat : 4222 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243927661712 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4223] ppid=4216 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4223/stat : 4223 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243926608912 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4224] ppid=4216 vsize=13982852 memory=139943106360960 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4224/stat : 4224 (java) S 4216 4216 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154118572 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243808217200 140244333910658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4225] ppid=4216 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4225/stat : 4225 (java) S 4216 4216 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154118573 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243807163168 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4226] ppid=4216 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154118573 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 15 0 154118575 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 154118575 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13982852 memory=139943106360960 CPUtime=0.08 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) R 4216 4216 3809 0 -1 4202560 878 0 0 0 8 0 0 0 20 0 15 0 154118575 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243801901936 140244313034032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118576 14318440448 10232 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42312 KiB

[startup+0.311364 s]*
/proc/loadavg: 1.89 1.72 1.65 6/219 4232
/proc/meminfo: memFree=23768340/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0
[pid=4218] ppid=4216 vsize=13982852 memory=48308 CPUtime=0.52 cores=1,3,5,7
/proc/4218/stat : 4218 (java) S 4216 4216 3809 0 -1 1077944320 8746 0 0 0 49 3 0 0 20 0 15 0 154118570 14318440448 12077 33554432000 4194304 4196468 140721932331856 140721932314400 140244333899511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
/proc/4218/statm: 3495713 12077 3115 1 0 3482966 0
[pid=4218/tid=4219] ppid=4216 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4218/task/4219/stat : 4219 (java) R 4216 4216 3809 0 -1 4202560 5504 0 0 0 27 2 0 0 20 0 15 0 154118570 14318440448 12077 33554432000 4194304 4196468 140721932331856 140244338121424 140244333921437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4220] ppid=4216 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4220/stat : 4220 (java) S 4216 4216 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243929766800 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4221] ppid=4216 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4221/stat : 4221 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243928714000 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4222] ppid=4216 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4222/stat : 4222 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243927661712 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4223] ppid=4216 vsize=13982852 memory=7593740018551660441 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4223/stat : 4223 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243926608912 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4224] ppid=4216 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4224/stat : 4224 (java) S 4216 4216 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154118572 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243808217200 140244333910658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4225] ppid=4216 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4225/stat : 4225 (java) S 4216 4216 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154118573 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243807163168 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4226] ppid=4216 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154118573 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 15 0 154118575 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 15 0 154118575 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) S 4216 4216 3809 0 -1 1077944384 1052 0 0 0 13 0 0 0 20 0 15 0 154118575 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243801901936 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118576 14318440448 12077 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49692 KiB

[startup+0.700789 s]
/proc/loadavg: 1.89 1.72 1.65 8/219 4232
/proc/meminfo: memFree=23741732/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0
[pid=4218] ppid=4216 vsize=13984976 memory=73400 CPUtime=1.54 cores=1,3,5,7
/proc/4218/stat : 4218 (java) S 4216 4216 3809 0 -1 1077944320 11599 0 0 0 149 5 0 0 20 0 15 0 154118570 14320615424 18350 33554432000 4194304 4196468 140721932331856 140721932314400 140244333899511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
/proc/4218/statm: 3496244 18350 3203 1 0 3483478 0
[pid=4218/tid=4219] ppid=4216 vsize=13984976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/4218/task/4219/stat : 4219 (java) R 4216 4216 3809 0 -1 4202560 6520 0 0 0 64 3 0 0 20 0 15 0 154118570 14320615424 18350 33554432000 4194304 4196468 140721932331856 140244338136848 140244333911446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4220] ppid=4216 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4220/stat : 4220 (java) S 4216 4216 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154118571 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243929766800 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4221] ppid=4216 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4221/stat : 4221 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243928714000 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4222] ppid=4216 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4222/stat : 4222 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243927661712 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4223] ppid=4216 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4223/stat : 4223 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118571 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243926608912 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4224] ppid=4216 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4224/stat : 4224 (java) S 4216 4216 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154118572 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243808217200 140244333910658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4225] ppid=4216 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4225/stat : 4225 (java) S 4216 4216 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154118573 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243807163168 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4226] ppid=4216 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154118573 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13984976 memory=11112 CPUtime=0.22 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 889 0 0 0 22 0 0 0 20 0 15 0 154118575 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13984976 memory=1228 CPUtime=0.21 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 975 0 0 0 21 0 0 0 20 0 15 0 154118575 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13984976 memory=1420 CPUtime=0.39 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) R 4216 4216 3809 0 -1 4202560 1908 0 0 0 39 0 0 0 20 0 15 0 154118575 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243801901936 140244317979998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) S 4216 4216 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154118576 14320615424 18350 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74784 KiB

[startup+1.50087 s]
/proc/loadavg: 1.89 1.72 1.65 8/219 4232
/proc/meminfo: memFree=23639108/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0

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

/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154118573 14324699136 100209 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13988964 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14324699136 100209 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13988964 memory=393564 CPUtime=15.75 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 57901 0 0 0 1568 7 0 0 20 0 15 0 154118575 14324699136 100209 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13988964 memory=796 CPUtime=15.84 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 73319 0 0 0 1578 6 0 0 20 0 15 0 154118575 14324699136 100209 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13988964 memory=1952 CPUtime=1.02 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) S 4216 4216 3809 0 -1 1077944384 13683 0 0 0 99 3 0 0 20 0 15 0 154118575 14324699136 100209 33554432000 4194304 4196468 140721932331856 140243801901936 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13988964 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14324699136 100209 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13988964 memory=400836 CPUtime=0.02 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) S 4216 4216 3809 0 -1 1077944384 588 0 0 0 0 2 0 0 20 0 15 0 154118576 14324699136 100209 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 135.33 s
Current children cumulated vsize: 13998476 KiB
Current children cumulated memory: 402220 KiB

[startup+162.301 s]
/proc/loadavg: 1.70 1.81 1.70 3/219 4313
/proc/meminfo: memFree=23164328/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0
[pid=4218] ppid=4216 vsize=13988964 memory=400892 CPUtime=195.85 cores=1,3,5,7
/proc/4218/stat : 4218 (java) S 4216 4216 3809 0 -1 1077944320 175057 0 0 0 19549 36 0 0 20 0 15 0 154118570 14324699136 100223 33554432000 4194304 4196468 140721932331856 140721932314400 140244333899511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
/proc/4218/statm: 3497241 100223 3278 1 0 3484475 0
[pid=4218/tid=4219] ppid=4216 vsize=13988964 memory=1384 CPUtime=161.82 cores=1,3,5,7
/proc/4218/task/4219/stat : 4219 (java) R 4216 4216 3809 0 -1 4202560 16265 0 0 0 16176 6 0 0 20 0 15 0 154118570 14324699136 100223 33554432000 4194304 4196468 140721932331856 140244338138752 140243979192999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4220] ppid=4216 vsize=13988964 memory=7157188895982969703 CPUtime=0.24 cores=1,3,5,7
/proc/4218/task/4220/stat : 4220 (java) S 4216 4216 3809 0 -1 1077944384 1256 0 0 0 22 2 0 0 20 0 15 0 154118571 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243929766800 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4221] ppid=4216 vsize=13988964 memory=400892 CPUtime=0.23 cores=1,3,5,7
/proc/4218/task/4221/stat : 4221 (java) S 4216 4216 3809 0 -1 1077944384 3231 0 0 0 21 2 0 0 20 0 15 0 154118571 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243928714000 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4222] ppid=4216 vsize=13988964 memory=1384 CPUtime=0.22 cores=1,3,5,7
/proc/4218/task/4222/stat : 4222 (java) S 4216 4216 3809 0 -1 1077944384 534 0 0 0 21 1 0 0 20 0 15 0 154118571 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243927661712 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4223] ppid=4216 vsize=13988964 memory=400892 CPUtime=0.23 cores=1,3,5,7
/proc/4218/task/4223/stat : 4223 (java) S 4216 4216 3809 0 -1 1077944384 545 0 0 0 21 2 0 0 20 0 15 0 154118571 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243926608912 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4224] ppid=4216 vsize=13988964 memory=400892 CPUtime=0.03 cores=1,3,5,7
/proc/4218/task/4224/stat : 4224 (java) S 4216 4216 3809 0 -1 1077944384 1419 0 0 0 2 1 0 0 20 0 15 0 154118572 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243808217200 140244333910658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4225] ppid=4216 vsize=13988964 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4225/stat : 4225 (java) S 4216 4216 3809 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154118573 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243807163168 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4226] ppid=4216 vsize=13988964 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154118573 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13988964 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13988964 memory=1384 CPUtime=16.02 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 61664 0 0 0 1595 7 0 0 20 0 15 0 154118575 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13988964 memory=1384 CPUtime=15.9 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 73404 0 0 0 1584 6 0 0 20 0 15 0 154118575 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13988964 memory=1384 CPUtime=1.03 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) S 4216 4216 3809 0 -1 1077944384 14721 0 0 0 100 3 0 0 20 0 15 0 154118575 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243801901936 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13988964 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13988964 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) S 4216 4216 3809 0 -1 1077944384 659 0 0 0 1 3 0 0 20 0 15 0 154118576 14324699136 100223 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 195.85 s
Current children cumulated vsize: 13998476 KiB
Current children cumulated memory: 402276 KiB

[startup+222.301 s]
/proc/loadavg: 1.58 1.75 1.68 4/219 4314
/proc/meminfo: memFree=23035552/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0
[pid=4218] ppid=4216 vsize=13991012 memory=431704 CPUtime=256.45 cores=1,3,5,7
/proc/4218/stat : 4218 (java) S 4216 4216 3809 0 -1 1077944320 177263 0 0 0 25601 44 0 0 20 0 15 0 154118570 14326796288 107926 33554432000 4194304 4196468 140721932331856 140721932314400 140244333899511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
/proc/4218/statm: 3497753 107926 3278 1 0 3484987 0
[pid=4218/tid=4219] ppid=4216 vsize=13991012 memory=431704 CPUtime=221.69 cores=1,3,5,7
/proc/4218/task/4219/stat : 4219 (java) R 4216 4216 3809 0 -1 4202560 16733 0 0 0 22163 6 0 0 20 0 15 0 154118570 14326796288 107926 33554432000 4194304 4196468 140721932331856 140244338138928 140243979209992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4220] ppid=4216 vsize=13991012 memory=431704 CPUtime=0.35 cores=1,3,5,7
/proc/4218/task/4220/stat : 4220 (java) S 4216 4216 3809 0 -1 1077944384 1304 0 0 0 31 4 0 0 20 0 15 0 154118571 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243929766800 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4221] ppid=4216 vsize=13991012 memory=431704 CPUtime=0.35 cores=1,3,5,7
/proc/4218/task/4221/stat : 4221 (java) S 4216 4216 3809 0 -1 1077944384 3298 0 0 0 31 4 0 0 20 0 15 0 154118571 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243928714000 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4222] ppid=4216 vsize=13991012 memory=1384 CPUtime=0.33 cores=1,3,5,7
/proc/4218/task/4222/stat : 4222 (java) S 4216 4216 3809 0 -1 1077944384 582 0 0 0 30 3 0 0 20 0 15 0 154118571 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243927661712 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4223] ppid=4216 vsize=13991012 memory=431704 CPUtime=0.34 cores=1,3,5,7
/proc/4218/task/4223/stat : 4223 (java) S 4216 4216 3809 0 -1 1077944384 814 0 0 0 31 3 0 0 20 0 15 0 154118571 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243926608912 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4224] ppid=4216 vsize=13991012 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/4218/task/4224/stat : 4224 (java) S 4216 4216 3809 0 -1 1077944384 1440 0 0 0 3 1 0 0 20 0 15 0 154118572 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243808217200 140244333910658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4225] ppid=4216 vsize=13991012 memory=431704 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4225/stat : 4225 (java) S 4216 4216 3809 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154118573 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243807163168 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4226] ppid=4216 vsize=13991012 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154118573 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13991012 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13991012 memory=431704 CPUtime=16.15 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 62110 0 0 0 1608 7 0 0 20 0 15 0 154118575 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13991012 memory=4140 CPUtime=16.01 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 73698 0 0 0 1594 7 0 0 20 0 15 0 154118575 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13991012 memory=4140 CPUtime=1.05 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) S 4216 4216 3809 0 -1 1077944384 15261 0 0 0 102 3 0 0 20 0 15 0 154118575 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243801901936 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13991012 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13991012 memory=1580 CPUtime=0.05 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) S 4216 4216 3809 0 -1 1077944384 664 0 0 0 2 3 0 0 20 0 15 0 154118576 14326796288 107926 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 256.45 s
Current children cumulated vsize: 14000524 KiB
Current children cumulated memory: 433088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+229.801 s]
/proc/loadavg: 1.64 1.76 1.69 3/219 4314
/proc/meminfo: memFree=23019980/32770624 swapFree=67108860/67108860
[pid=4216] ppid=4213 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4216/stat : 4216 (xcsp3-exec) S 4213 4216 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154118570 9740288 346 33554432000 4194304 5098028 140730936011008 140730936009112 140181763826300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37347328 140730936018036 140730936018240 140730936018240 140730936020971 0
/proc/4216/statm: 2378 346 289 221 0 87 0
[pid=4218] ppid=4216 vsize=13991012 memory=432716 CPUtime=264.01 cores=1,3,5,7
/proc/4218/stat : 4218 (java) S 4216 4216 3809 0 -1 1077944320 177285 0 0 0 26356 45 0 0 20 0 15 0 154118570 14326796288 108179 33554432000 4194304 4196468 140721932331856 140721932314400 140244333899511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
/proc/4218/statm: 3497753 108179 3278 1 0 3484987 0
[pid=4218/tid=4219] ppid=4216 vsize=13991012 memory=1788 CPUtime=229.17 cores=1,3,5,7
/proc/4218/task/4219/stat : 4219 (java) R 4216 4216 3809 0 -1 4202560 16736 0 0 0 22911 6 0 0 20 0 15 0 154118570 14326796288 108179 33554432000 4194304 4196468 140721932331856 140244338138416 140243979210105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4220] ppid=4216 vsize=13991012 memory=952 CPUtime=0.37 cores=1,3,5,7
/proc/4218/task/4220/stat : 4220 (java) S 4216 4216 3809 0 -1 1077944384 1308 0 0 0 33 4 0 0 20 0 15 0 154118571 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243929766800 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4221] ppid=4216 vsize=13991012 memory=23728 CPUtime=0.36 cores=1,3,5,7
/proc/4218/task/4221/stat : 4221 (java) S 4216 4216 3809 0 -1 1077944384 3303 0 0 0 32 4 0 0 20 0 15 0 154118571 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243928714000 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4222] ppid=4216 vsize=13991012 memory=4048 CPUtime=0.35 cores=1,3,5,7
/proc/4218/task/4222/stat : 4222 (java) S 4216 4216 3809 0 -1 1077944384 588 0 0 0 32 3 0 0 20 0 15 0 154118571 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243927661712 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4223] ppid=4216 vsize=13991012 memory=1236 CPUtime=0.36 cores=1,3,5,7
/proc/4218/task/4223/stat : 4223 (java) S 4216 4216 3809 0 -1 1077944384 818 0 0 0 33 3 0 0 20 0 15 0 154118571 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243926608912 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4224] ppid=4216 vsize=13991012 memory=644 CPUtime=0.04 cores=1,3,5,7
/proc/4218/task/4224/stat : 4224 (java) S 4216 4216 3809 0 -1 1077944384 1440 0 0 0 3 1 0 0 20 0 15 0 154118572 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243808217200 140244333910658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4225] ppid=4216 vsize=13991012 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4225/stat : 4225 (java) S 4216 4216 3809 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154118573 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243807163168 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4226] ppid=4216 vsize=13991012 memory=952 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4226/stat : 4226 (java) S 4216 4216 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154118573 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243806110832 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4227] ppid=4216 vsize=13991012 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4227/stat : 4227 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118575 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243805059152 140244333918107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4228] ppid=4216 vsize=13991012 memory=1580 CPUtime=16.15 cores=1,3,5,7
/proc/4218/task/4228/stat : 4228 (java) S 4216 4216 3809 0 -1 1077944384 62110 0 0 0 1608 7 0 0 20 0 15 0 154118575 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243804007024 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4229] ppid=4216 vsize=13991012 memory=928 CPUtime=16.01 cores=1,3,5,7
/proc/4218/task/4229/stat : 4229 (java) S 4216 4216 3809 0 -1 1077944384 73698 0 0 0 1594 7 0 0 20 0 15 0 154118575 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243802954224 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4230] ppid=4216 vsize=13991012 memory=2240 CPUtime=1.05 cores=1,3,5,7
/proc/4218/task/4230/stat : 4230 (java) S 4216 4216 3809 0 -1 1077944384 15261 0 0 0 102 3 0 0 20 0 15 0 154118575 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243801901936 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4231] ppid=4216 vsize=13991012 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4218/task/4231/stat : 4231 (java) S 4216 4216 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154118576 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243800849376 140244333909717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
[pid=4218/tid=4232] ppid=4216 vsize=13991012 memory=2428 CPUtime=0.05 cores=1,3,5,7
/proc/4218/task/4232/stat : 4232 (java) S 4216 4216 3809 0 -1 1077944384 664 0 0 0 2 3 0 0 20 0 15 0 154118576 14326796288 108179 33554432000 4194304 4196468 140721932331856 140243799796144 140244333910658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 29822976 140721932338333 140721932338508 140721932338508 140721932341199 0
Current children cumulated CPU time: 264.01 s
Current children cumulated vsize: 14000524 KiB
Current children cumulated memory: 434100 KiB

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

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

[startup+229.812 s]
# the end of solver process 4218 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=263.575 s, system=0.457265 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 229.812
CPU time (s): 264.033
CPU user time (s): 263.575
CPU system time (s): 0.457265
CPU usage (%): 114.891
Max. virtual memory (cumulated for all children) (KiB): 14063112
Max. memory (cumulated for all children) (KiB): 435132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.575
system time used= 0.457265
maximum resident set size= 435800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177937
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= 9342
involuntary context switches= 249


# summary of solver processes directly reported to runsolver:
#   pid: 4216,4218
#   total CPU time (s): 264.033
#   total CPU user time (s): 263.575
#   total CPU system time (s): 0.457265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5489 second user time and 2.03661 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-20 08:10:48
IDJOB=4284612
IDBENCH=115817
IDSOLVER=2680
FILE ID=node104/4284612-1503210308
RUNJOBID= node104-1503208966-3841
PBS_JOBID= 20630870
Free space on /tmp= 61720 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-1.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-4284612-1503210308/watcher-4284612-1503210308 -o /tmp/evaluation-result-4284612-1503210308/solver-4284612-1503210308 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1484653487 HOME/instance-4284612-1503210308.xml

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

MD5SUM BENCH= 133cdadaee2e697c51b4261ec7f2679b
RANDOM SEED=1484653487

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23826312 kB
MemAvailable:   31923944 kB
Buffers:          280088 kB
Cached:          8096224 kB
SwapCached:            0 kB
Active:          3349432 kB
Inactive:        5120336 kB
Active(anon):      96440 kB
Inactive(anon):    33192 kB
Active(file):    3252992 kB
Inactive(file):  5087144 kB
Unevictable:        7828 kB
Mlocked:            7828 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15688 kB
Writeback:             0 kB
AnonPages:         81168 kB
Mapped:            63220 kB
Shmem:             33420 kB
Slab:             172872 kB
SReclaimable:     146660 kB
SUnreclaim:        26212 kB
KernelStack:        3360 kB
PageTables:         5924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1297528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61712 MiB
End job on node104 at 2017-08-20 08:14:38