Trace number 4283021

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-18)? (TO) 248.03999 240.02299

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-020-20-3.xml
MD5SUM5314b126c5fc4f843c68abc8a30fc0ca
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1690
Best CPU time to get the best result obtained on this benchmark251.91701
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints440
Number of domains1
Minimum domain size1760
Maximum domain size1760
Distribution of domain sizes[{"size":1760,"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.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283021-1503209863.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4283021-1503209863.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.29/0.61	c solve instance...
248.01/240.01	s UNKNOWN
248.01/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 (12157 MiB free)
  memory of node 1: 16384 MiB (13357 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283021-1503209863/watcher-4283021-1503209863 -o /tmp/evaluation-result-4283021-1503209863/solver-4283021-1503209863 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1503209003-32625 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1285845437 HOME/instance-4283021-1503209863.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
solver pid=32663, runsolver pid=32660
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 0.93 1.00 1.04 3/218 32685
/proc/meminfo: memFree=26098168/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0
[pid=32665] ppid=32663 vsize=13978596 memory=28812 CPUtime=0.12 cores=1,3,5,7
/proc/32665/stat : 32665 (java) S 32663 32663 32593 0 -1 1077944320 5133 0 0 0 10 2 0 0 20 0 15 0 154074373 14314082304 7203 33554432000 4194304 4196468 140735037174448 140735037156992 139837317709559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
/proc/32665/statm: 3494649 7203 2867 1 0 3482966 0
[pid=32665/tid=32666] ppid=32663 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/32665/task/32666/stat : 32666 (java) R 32663 32663 32593 0 -1 4202560 3064 0 0 0 7 1 0 0 20 0 15 0 154074373 14314082304 7203 33554432000 4194304 4196468 140735037174448 139837321941664 139837317731485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32667] ppid=32663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32667/stat : 32667 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14314082304 7203 33554432000 4194304 4196468 140735037174448 139837232778256 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32668] ppid=32663 vsize=13978596 memory=140625043715712 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32668/stat : 32668 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14314082304 7203 33554432000 4194304 4196468 140735037174448 139837231725712 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32669] ppid=32663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32669/stat : 32669 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14314082304 7203 33554432000 4194304 4196468 140735037174448 139837230672656 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32670] ppid=32663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32670/stat : 32670 (java) S 32663 32663 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154074374 14314082304 7203 33554432000 4194304 4196468 140735037174448 139837229620112 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32677] ppid=32663 vsize=13978596 memory=140625043715712 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32677/stat : 32677 (java) S 32663 32663 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154074375 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836791441648 139837317720706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32678] ppid=32663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32678/stat : 32678 (java) S 32663 32663 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154074376 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836790387872 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32679] ppid=32663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154074376 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836789334768 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) S 32663 32663 32593 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 154074378 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836787231472 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) S 32663 32663 32593 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154074378 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836786178928 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13978596 memory=140625043715712 CPUtime=0.01 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) S 32663 32663 32593 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 154074378 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836785125872 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13978596 memory=140625043715712 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074379 14314082304 7203 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30196 KiB

[startup+0.210725 s]*
/proc/loadavg: 0.93 1.00 1.04 7/218 32685
/proc/meminfo: memFree=26076372/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0
[pid=32665] ppid=32663 vsize=13982852 memory=40576 CPUtime=0.34 cores=1,3,5,7
/proc/32665/stat : 32665 (java) S 32663 32663 32593 0 -1 1077944320 7799 0 0 0 31 3 0 0 20 0 15 0 154074373 14318440448 10144 33554432000 4194304 4196468 140735037174448 140735037156992 139837317709559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
/proc/32665/statm: 3495713 10144 3050 1 0 3482966 0
[pid=32665/tid=32666] ppid=32663 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/32665/task/32666/stat : 32666 (java) R 32663 32663 32593 0 -1 4202560 4920 0 0 0 17 2 0 0 20 0 15 0 154074373 14318440448 10144 33554432000 4194304 4196468 140735037174448 139837321932896 139837317731485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32667] ppid=32663 vsize=13982852 memory=9024 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32667/stat : 32667 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 10144 33554432000 4194304 4196468 140735037174448 139837232778256 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32668] ppid=32663 vsize=13982852 memory=288371001195427456 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32668/stat : 32668 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 10144 33554432000 4194304 4196468 140735037174448 139837231725712 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32669] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32669/stat : 32669 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 10144 33554432000 4194304 4196468 140735037174448 139837230672656 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32670] ppid=32663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32670/stat : 32670 (java) S 32663 32663 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 10144 33554432000 4194304 4196468 140735037174448 139837229620112 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32677] ppid=32663 vsize=13982852 memory=140625043715712 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32677/stat : 32677 (java) S 32663 32663 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154074375 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836791441648 139837317720706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32678] ppid=32663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32678/stat : 32678 (java) S 32663 32663 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154074376 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836790387872 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32679] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154074376 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836789334768 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) R 32663 32663 32593 0 -1 1077944384 645 0 0 0 3 0 0 0 20 0 15 0 154074378 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836787231472 139837317720706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) S 32663 32663 32593 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 15 0 154074378 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836786178928 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13982852 memory=140625043715712 CPUtime=0.08 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) R 32663 32663 32593 0 -1 4202560 702 0 0 0 8 0 0 0 20 0 15 0 154074378 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836785125872 139837297142624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074379 14318440448 10144 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41960 KiB

[startup+0.310567 s]*
/proc/loadavg: 0.93 1.00 1.04 5/218 32685
/proc/meminfo: memFree=26064400/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0
[pid=32665] ppid=32663 vsize=13982852 memory=47424 CPUtime=0.52 cores=1,3,5,7
/proc/32665/stat : 32665 (java) S 32663 32663 32593 0 -1 1077944320 8528 0 0 0 48 4 0 0 20 0 15 0 154074373 14318440448 11856 33554432000 4194304 4196468 140735037174448 140735037156992 139837317709559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
/proc/32665/statm: 3495713 11856 3084 1 0 3482966 0
[pid=32665/tid=32666] ppid=32663 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/32665/task/32666/stat : 32666 (java) R 32663 32663 32593 0 -1 4202560 5471 0 0 0 27 3 0 0 20 0 15 0 154074373 14318440448 11856 33554432000 4194304 4196468 140735037174448 139837321932400 139837317731485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32667] ppid=32663 vsize=13982852 memory=9367 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32667/stat : 32667 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 11856 33554432000 4194304 4196468 140735037174448 139837232778256 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32668] ppid=32663 vsize=13982852 memory=288230376152456064 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32668/stat : 32668 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 11856 33554432000 4194304 4196468 140735037174448 139837231725712 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32669] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32669/stat : 32669 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 11856 33554432000 4194304 4196468 140735037174448 139837230672656 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32670] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32670/stat : 32670 (java) S 32663 32663 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154074374 14318440448 11856 33554432000 4194304 4196468 140735037174448 139837229620112 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32677] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32677/stat : 32677 (java) S 32663 32663 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154074375 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836791441648 139837317720706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32678] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32678/stat : 32678 (java) S 32663 32663 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154074376 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836790387872 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32679] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154074376 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836789334768 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) R 32663 32663 32593 0 -1 1077944384 645 0 0 0 3 0 0 0 20 0 15 0 154074378 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836787222928 139837317719765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) R 32663 32663 32593 0 -1 4202560 309 0 0 0 4 0 0 0 20 0 15 0 154074378 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836786170256 139837298887296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) S 32663 32663 32593 0 -1 1077944384 800 0 0 0 13 0 0 0 20 0 15 0 154074378 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836785125872 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074379 14318440448 11856 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48808 KiB

[startup+0.701651 s]
/proc/loadavg: 0.93 1.00 1.04 6/218 32685
/proc/meminfo: memFree=26034188/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0
[pid=32665] ppid=32663 vsize=13984976 memory=78176 CPUtime=1.55 cores=1,3,5,7
/proc/32665/stat : 32665 (java) S 32663 32663 32593 0 -1 1077944320 11732 0 0 0 150 5 0 0 20 0 15 0 154074373 14320615424 19544 33554432000 4194304 4196468 140735037174448 140735037156992 139837317709559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
/proc/32665/statm: 3496244 19544 3206 1 0 3483478 0
[pid=32665/tid=32666] ppid=32663 vsize=13984976 memory=4040 CPUtime=0.67 cores=1,3,5,7
/proc/32665/task/32666/stat : 32666 (java) R 32663 32663 32593 0 -1 4202560 6317 0 0 0 63 4 0 0 20 0 15 0 154074373 14320615424 19544 33554432000 4194304 4196468 140735037174448 139837321947488 139837317721494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32667] ppid=32663 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32667/stat : 32667 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14320615424 19544 33554432000 4194304 4196468 140735037174448 139837232778256 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32668] ppid=32663 vsize=13984976 memory=644 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32668/stat : 32668 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14320615424 19544 33554432000 4194304 4196468 140735037174448 139837231725712 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32669] ppid=32663 vsize=13984976 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32669/stat : 32669 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074374 14320615424 19544 33554432000 4194304 4196468 140735037174448 139837230672656 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32670] ppid=32663 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32670/stat : 32670 (java) S 32663 32663 32593 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154074374 14320615424 19544 33554432000 4194304 4196468 140735037174448 139837229620112 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32677] ppid=32663 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32677/stat : 32677 (java) S 32663 32663 32593 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154074375 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836791441648 139837317720706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32678] ppid=32663 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32678/stat : 32678 (java) S 32663 32663 32593 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836790387872 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32679] ppid=32663 vsize=13984976 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836789334768 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13984976 memory=4128 CPUtime=0.27 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) R 32663 32663 32593 0 -1 4202560 1663 0 0 0 27 0 0 0 20 0 15 0 154074378 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836787217272 139837299254728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13984976 memory=2204 CPUtime=0.2 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) R 32663 32663 32593 0 -1 4202560 777 0 0 0 20 0 0 0 20 0 15 0 154074378 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836786179224 139837299253948 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13984976 memory=7788 CPUtime=0.38 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) R 32663 32663 32593 0 -1 4202560 1670 0 0 0 38 0 0 0 20 0 15 0 154074378 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836785125872 139837301790046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13984976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154074379 14320615424 19544 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79560 KiB

[startup+1.50084 s]
/proc/loadavg: 0.93 1.00 1.04 7/218 32685
/proc/meminfo: memFree=25938560/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0

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

/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 56278 33554432000 4194304 4196468 140735037174448 139836789334784 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14320615424 56278 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13984976 memory=8099553953599416419 CPUtime=3.71 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) S 32663 32663 32593 0 -1 1077944384 25307 0 0 0 368 3 0 0 20 0 15 0 154074378 14320615424 56278 33554432000 4194304 4196468 140735037174448 139836787231472 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13984976 memory=7450475865980822384 CPUtime=3.36 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) S 32663 32663 32593 0 -1 1077944384 20423 0 0 0 334 2 0 0 20 0 15 0 154074378 14320615424 56278 33554432000 4194304 4196468 140735037174448 139836786178928 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13984976 memory=1296 CPUtime=0.59 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) S 32663 32663 32593 0 -1 1077944384 5772 0 0 0 58 1 0 0 20 0 15 0 154074378 14320615424 56278 33554432000 4194304 4196468 140735037174448 139836785125872 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13984976 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14320615424 56278 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13984976 memory=1724 CPUtime=0.01 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1078 0 0 0 0 1 0 0 20 0 15 0 154074379 14320615424 56278 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 110.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226496 KiB

[startup+162.301 s]
/proc/loadavg: 1.84 1.40 1.19 3/217 32687
/proc/meminfo: memFree=25735828/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0
[pid=32665] ppid=32663 vsize=13984976 memory=228252 CPUtime=170.19 cores=1,3,5,7
/proc/32665/stat : 32665 (java) S 32663 32663 32593 0 -1 1077944320 72751 0 0 0 17001 18 0 0 20 0 15 0 154074373 14320615424 57063 33554432000 4194304 4196468 140735037174448 140735037156992 139837317709559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
/proc/32665/statm: 3496244 57063 3262 1 0 3483478 0
[pid=32665/tid=32666] ppid=32663 vsize=13984976 memory=228252 CPUtime=162.22 cores=1,3,5,7
/proc/32665/task/32666/stat : 32666 (java) R 32663 32663 32593 0 -1 4202560 11661 0 0 0 16217 5 0 0 20 0 15 0 154074373 14320615424 57063 33554432000 4194304 4196468 140735037174448 139837321948496 139836910883121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32667] ppid=32663 vsize=13984976 memory=228252 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32667/stat : 32667 (java) S 32663 32663 32593 0 -1 1077944384 887 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 57063 33554432000 4194304 4196468 140735037174448 139837232778256 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32668] ppid=32663 vsize=13984976 memory=228252 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32668/stat : 32668 (java) S 32663 32663 32593 0 -1 1077944384 1367 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 57063 33554432000 4194304 4196468 140735037174448 139837231725712 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32669] ppid=32663 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32669/stat : 32669 (java) S 32663 32663 32593 0 -1 1077944384 699 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 57063 33554432000 4194304 4196468 140735037174448 139837230672656 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32670] ppid=32663 vsize=13984976 memory=228252 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32670/stat : 32670 (java) S 32663 32663 32593 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 57063 33554432000 4194304 4196468 140735037174448 139837229620112 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32677] ppid=32663 vsize=13984976 memory=228252 CPUtime=0.01 cores=1,3,5,7
/proc/32665/task/32677/stat : 32677 (java) S 32663 32663 32593 0 -1 1077944384 1274 0 0 0 1 0 0 0 20 0 15 0 154074375 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836791441648 139837317720706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32678] ppid=32663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32678/stat : 32678 (java) S 32663 32663 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836790387936 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32679] ppid=32663 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836789334784 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13984976 memory=1384 CPUtime=3.77 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) S 32663 32663 32593 0 -1 1077944384 26342 0 0 0 374 3 0 0 20 0 15 0 154074378 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836787231472 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13984976 memory=1384 CPUtime=3.41 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) S 32663 32663 32593 0 -1 1077944384 21857 0 0 0 338 3 0 0 20 0 15 0 154074378 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836786178928 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13984976 memory=4140 CPUtime=0.6 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) S 32663 32663 32593 0 -1 1077944384 5823 0 0 0 59 1 0 0 20 0 15 0 154074378 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836785125872 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13984976 memory=228252 CPUtime=0.03 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1108 0 0 0 1 2 0 0 20 0 15 0 154074379 14320615424 57063 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 170.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229636 KiB

[startup+222.301 s]
/proc/loadavg: 1.71 1.44 1.22 3/217 32688
/proc/meminfo: memFree=25760856/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0
[pid=32665] ppid=32663 vsize=13984976 memory=220608 CPUtime=230.29 cores=1,3,5,7
/proc/32665/stat : 32665 (java) S 32663 32663 32593 0 -1 1077944320 76583 0 0 0 23011 18 0 0 20 0 15 0 154074373 14320615424 55152 33554432000 4194304 4196468 140735037174448 140735037156992 139837317709559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
/proc/32665/statm: 3496244 55152 3262 1 0 3483478 0
[pid=32665/tid=32666] ppid=32663 vsize=13984976 memory=220608 CPUtime=222.22 cores=1,3,5,7
/proc/32665/task/32666/stat : 32666 (java) R 32663 32663 32593 0 -1 4202560 12045 0 0 0 22217 5 0 0 20 0 15 0 154074373 14320615424 55152 33554432000 4194304 4196468 140735037174448 139837321945888 139836910126299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32667] ppid=32663 vsize=13984976 memory=220608 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32667/stat : 32667 (java) S 32663 32663 32593 0 -1 1077944384 887 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 55152 33554432000 4194304 4196468 140735037174448 139837232778256 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32668] ppid=32663 vsize=13984976 memory=220608 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32668/stat : 32668 (java) S 32663 32663 32593 0 -1 1077944384 1368 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 55152 33554432000 4194304 4196468 140735037174448 139837231725712 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32669] ppid=32663 vsize=13984976 memory=220608 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32669/stat : 32669 (java) S 32663 32663 32593 0 -1 1077944384 700 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 55152 33554432000 4194304 4196468 140735037174448 139837230672656 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32670] ppid=32663 vsize=13984976 memory=220608 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32670/stat : 32670 (java) S 32663 32663 32593 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 55152 33554432000 4194304 4196468 140735037174448 139837229620112 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32677] ppid=32663 vsize=13984976 memory=220608 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32677/stat : 32677 (java) S 32663 32663 32593 0 -1 1077944384 1283 0 0 0 2 0 0 0 20 0 15 0 154074375 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836791441648 139837317720706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32678] ppid=32663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32678/stat : 32678 (java) S 32663 32663 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836790387936 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32679] ppid=32663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836789334784 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13984976 memory=220608 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13984976 memory=4140 CPUtime=3.84 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) S 32663 32663 32593 0 -1 1077944384 28786 0 0 0 381 3 0 0 20 0 15 0 154074378 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836787231472 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13984976 memory=281249895121328 CPUtime=3.41 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) S 32663 32663 32593 0 -1 1077944384 21900 0 0 0 338 3 0 0 20 0 15 0 154074378 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836786178928 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13984976 memory=220608 CPUtime=0.6 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) S 32663 32663 32593 0 -1 1077944384 6758 0 0 0 59 1 0 0 20 0 15 0 154074378 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836785125872 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13984976 memory=220608 CPUtime=0.04 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1123 0 0 0 1 3 0 0 20 0 15 0 154074379 14320615424 55152 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 230.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 221992 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.73 1.46 1.23 2/200 32690
/proc/meminfo: memFree=25931500/32770624 swapFree=67108860/67108860
[pid=32663] ppid=32660 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32663/stat : 32663 (xcsp3-exec) S 32660 32663 32593 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154074373 9740288 346 33554432000 4194304 5098028 140726026363936 140726026362040 140152553874044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15151104 140726026372212 140726026372416 140726026372416 140726026375147 0
/proc/32663/statm: 2378 346 289 221 0 87 0
[pid=32665] ppid=32663 vsize=13984976 memory=213428 CPUtime=248.01 cores=1,3,5,7
/proc/32665/stat : 32665 (java) S 32663 32663 32593 0 -1 1077944320 78025 0 0 0 24783 18 0 0 20 0 15 0 154074373 14320615424 53357 33554432000 4194304 4196468 140735037174448 140735037156992 139837317709559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
/proc/32665/statm: 3496244 53357 3262 1 0 3483478 0
[pid=32665/tid=32666] ppid=32663 vsize=13984976 memory=215480 CPUtime=239.92 cores=1,3,5,7
/proc/32665/task/32666/stat : 32666 (java) R 32663 32663 32593 0 -1 4202560 12425 0 0 0 23987 5 0 0 20 0 15 0 154074373 14320615424 53357 33554432000 4194304 4196468 140735037174448 139837321948752 139836910883009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32667] ppid=32663 vsize=13984976 memory=1696 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32667/stat : 32667 (java) S 32663 32663 32593 0 -1 1077944384 890 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 53357 33554432000 4194304 4196468 140735037174448 139837232778256 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32668] ppid=32663 vsize=13984976 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32668/stat : 32668 (java) S 32663 32663 32593 0 -1 1077944384 1731 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 53357 33554432000 4194304 4196468 140735037174448 139837231725712 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32669] ppid=32663 vsize=13984976 memory=2428 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32669/stat : 32669 (java) S 32663 32663 32593 0 -1 1077944384 758 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 53357 33554432000 4194304 4196468 140735037174448 139837230672656 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32670] ppid=32663 vsize=13984976 memory=928 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32670/stat : 32670 (java) S 32663 32663 32593 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 15 0 154074374 14320615424 53357 33554432000 4194304 4196468 140735037174448 139837229620112 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32677] ppid=32663 vsize=13984976 memory=1568 CPUtime=0.02 cores=1,3,5,7
/proc/32665/task/32677/stat : 32677 (java) S 32663 32663 32593 0 -1 1077944384 1480 0 0 0 2 0 0 0 20 0 15 0 154074375 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836791441648 139837317720706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32678] ppid=32663 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32678/stat : 32678 (java) S 32663 32663 32593 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836790387936 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32679] ppid=32663 vsize=13984976 memory=213428 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32679/stat : 32679 (java) S 32663 32663 32593 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154074376 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836789334784 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32680] ppid=32663 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32680/stat : 32680 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074378 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836788283344 139837317728155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32681] ppid=32663 vsize=13984976 memory=215480 CPUtime=3.85 cores=1,3,5,7
/proc/32665/task/32681/stat : 32681 (java) S 32663 32663 32593 0 -1 1077944384 28946 0 0 0 382 3 0 0 20 0 15 0 154074378 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836787231472 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32682] ppid=32663 vsize=13984976 memory=6791534058613427641 CPUtime=3.41 cores=1,3,5,7
/proc/32665/task/32682/stat : 32682 (java) S 32663 32663 32593 0 -1 1077944384 21965 0 0 0 338 3 0 0 20 0 15 0 154074378 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836786178928 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32683] ppid=32663 vsize=13984976 memory=4040 CPUtime=0.6 cores=1,3,5,7
/proc/32665/task/32683/stat : 32683 (java) S 32663 32663 32593 0 -1 1077944384 6910 0 0 0 59 1 0 0 20 0 15 0 154074378 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836785125872 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32684] ppid=32663 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/32665/task/32684/stat : 32684 (java) S 32663 32663 32593 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154074379 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836784073568 139837317719765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
[pid=32665/tid=32685] ppid=32663 vsize=13984976 memory=644 CPUtime=0.04 cores=1,3,5,7
/proc/32665/task/32685/stat : 32685 (java) S 32663 32663 32593 0 -1 1077944384 1143 0 0 0 1 3 0 0 20 0 15 0 154074379 14320615424 53357 33554432000 4194304 4196468 140735037174448 139836783020592 139837317720706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34787328 140735037179037 140735037179212 140735037179212 140735037181903 0
Current children cumulated CPU time: 248.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 214812 KiB

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

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

[startup+240.023 s]
# the end of solver process 32665 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.843 s, system=0.19606 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): 240.023
CPU time (s): 248.04
CPU user time (s): 247.843
CPU system time (s): 0.19606
CPU usage (%): 103.34
Max. virtual memory (cumulated for all children) (KiB): 13998588
Max. memory (cumulated for all children) (KiB): 232152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.843
system time used= 0.19606
maximum resident set size= 233388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8317
involuntary context switches= 117


# summary of solver processes directly reported to runsolver:
#   pid: 32663,32665
#   total CPU time (s): 248.04
#   total CPU user time (s): 247.843
#   total CPU system time (s): 0.19606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20038 second user time and 2.30335 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-20 08:03:23
IDJOB=4283021
IDBENCH=115758
IDSOLVER=2678
FILE ID=node103/4283021-1503209863
RUNJOBID= node103-1503209003-32625
PBS_JOBID= 20630873
Free space on /tmp= 61528 MiB

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

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

MD5SUM BENCH= 5314b126c5fc4f843c68abc8a30fc0ca
RANDOM SEED=1285845437

node103.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.56
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.56
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.56
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.56
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:        26127796 kB
MemAvailable:   31965384 kB
Buffers:          239992 kB
Cached:          5889144 kB
SwapCached:            0 kB
Active:          1085396 kB
Inactive:        5108168 kB
Active(anon):      13732 kB
Inactive(anon):    86696 kB
Active(file):    1071664 kB
Inactive(file):  5021472 kB
Unevictable:        7496 kB
Mlocked:            7496 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15448 kB
Writeback:             0 kB
AnonPages:         66816 kB
Mapped:            58952 kB
Shmem:             33420 kB
Slab:             146776 kB
SReclaimable:     120576 kB
SUnreclaim:        26200 kB
KernelStack:        3120 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1283100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61520 MiB
End job on node103 at 2017-08-20 08:07:23