Trace number 4270071

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)? (TO) 243.92799 240.021

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-21-a3.xml
MD5SUM77b850f9bb38d7d923034c01213ab5aa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark416
Best CPU time to get the best result obtained on this benchmark2001.25
Satisfiable
(Un)Satisfiability was proved
Number of variables462
Number of constraints213
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":210},{"size":1001,"count":21}]
Minimum variable degree0
Maximum variable degree22
Distribution of variable degrees[{"degree":0,"count":231},{"degree":2,"count":210},{"degree":21,"count":19},{"degree":22,"count":2}]
Minimum constraint arity1
Maximum constraint arity210
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":210},{"arity":21,"count":1},{"arity":210,"count":1}]
Number of extensional constraints0
Number of intensional constraints211
Distribution of constraint types[{"type":"intension","count":211},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270071-1502621782.xml"  -tl '264s' -p 1 -x 0
0.10/0.26	c [HOME/instance-4270071-1502621782.xml, -tl, 264s, -p, 1, -x, 0]
0.30/0.32	c simple solver
0.30/0.39	c parse instance...
0.89/0.67	c solve instance...
243.90/240.01	s UNKNOWN
243.90/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 (14924 MiB free)
  memory of node 1: 16384 MiB (15266 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270071-1502621782/watcher-4270071-1502621782 -o /tmp/evaluation-result-4270071-1502621782/solver-4270071-1502621782 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502620465-28448 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 877976973 HOME/instance-4270071-1502621782.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=28834, runsolver pid=28831
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 1.89 1.99 2.03 3/207 28841
/proc/meminfo: memFree=30909108/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13441356 memory=17292 CPUtime=0.01 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 3576 0 0 0 1 0 0 0 20 0 7 0 104089481 13763948544 4323 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3360339 4323 2003 1 0 3349836 0
[pid=28836/tid=28837] ppid=28834 vsize=13441356 memory=4206989191851631162 CPUtime=0.01 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 2337 0 0 0 1 0 0 0 20 0 7 0 104089481 13763948544 4323 18446744073709551615 4194304 4196468 140733596100864 140619352115984 140619313217744 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13441356 memory=3461491310502028937 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104089482 13763948544 4323 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13441356 memory=140705872344704 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104089482 13763948544 4323 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104089482 13763948544 4323 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 104089482 13763948544 4323 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 104089483 13763948544 4323 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18672 KiB

[startup+0.210133 s]*
/proc/loadavg: 1.89 1.99 2.03 5/216 28850
/proc/meminfo: memFree=30899160/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13974352 memory=27048 CPUtime=0.1 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 5173 0 0 0 9 1 0 0 20 0 15 0 104089481 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3493588 6762 2756 1 0 3482964 0
[pid=28836/tid=28837] ppid=28834 vsize=13974352 memory=-6512878428372439395 CPUtime=0.08 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 3319 0 0 0 7 1 0 0 20 0 15 0 104089481 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140619352110304 140619331954014 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13974352 memory=3461491310502028937 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13974352 memory=140705872344704 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13974352 memory=140705872344704 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104089483 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28843] ppid=28834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28843/stat : 28843 (java) S 28834 28834 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104089484 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618825139744 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28844] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28844/stat : 28844 (java) S 28834 28834 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104089484 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618824086896 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28845] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28845/stat : 28845 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618823035216 140619347892123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28846] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28846/stat : 28846 (java) S 28834 28834 12395 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 104089486 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618821982576 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28847] ppid=28834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28847/stat : 28847 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618820929776 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28848] ppid=28834 vsize=13974352 memory=140705872344704 CPUtime=0.01 cores=1,3,5,7
/proc/28836/task/28848/stat : 28848 (java) S 28834 28834 12395 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 104089486 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618819876976 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28849] ppid=28834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28849/stat : 28849 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618818824416 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28850] ppid=28834 vsize=13974352 memory=140705872344704 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28850/stat : 28850 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089491 14309736448 6762 18446744073709551615 4194304 4196468 140733596100864 140618817772720 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28428 KiB

[startup+0.310687 s]*
/proc/loadavg: 1.89 1.99 2.03 4/216 28850
/proc/meminfo: memFree=30887224/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13974352 memory=40284 CPUtime=0.3 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 9164 0 0 0 27 3 0 0 20 0 15 0 104089481 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3493588 10071 3038 1 0 3482964 0
[pid=28836/tid=28837] ppid=28834 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 6264 0 0 0 16 2 0 0 20 0 15 0 104089481 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140619352091616 140619347885462 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13974352 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104089482 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104089483 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28843] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28843/stat : 28843 (java) S 28834 28834 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104089484 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618825139744 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28844] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28844/stat : 28844 (java) S 28834 28834 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104089484 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618824086896 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28845] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28845/stat : 28845 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618823035216 140619347892123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28846] ppid=28834 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28836/task/28846/stat : 28846 (java) R 28834 28834 12395 0 -1 1077944384 601 0 0 0 2 0 0 0 20 0 15 0 104089486 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618821982576 140619347884674 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28847] ppid=28834 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28836/task/28847/stat : 28847 (java) R 28834 28834 12395 0 -1 4202560 268 0 0 0 2 0 0 0 20 0 15 0 104089486 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618820910792 140619329416883 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28848] ppid=28834 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28836/task/28848/stat : 28848 (java) R 28834 28834 12395 0 -1 4202560 728 0 0 0 6 0 0 0 20 0 15 0 104089486 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618819876976 140619347885462 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28849] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28849/stat : 28849 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618818824416 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28850] ppid=28834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28850/stat : 28850 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089491 14309736448 10071 18446744073709551615 4194304 4196468 140733596100864 140618817772720 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41664 KiB

[startup+0.701258 s]
/proc/loadavg: 1.89 1.99 2.03 3/216 28850
/proc/meminfo: memFree=30875412/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13980732 memory=66680 CPUtime=1.16 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 13278 0 0 0 111 5 0 0 20 0 15 0 104089481 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3495183 16670 3173 1 0 3483476 0
[pid=28836/tid=28837] ppid=28834 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 8568 0 0 0 52 3 0 0 20 0 15 0 104089481 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140619352112112 140618992252511 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13980732 memory=8320808402720207924 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13980732 memory=7594284303094145600 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13980732 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13980732 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104089483 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28843] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28843/stat : 28843 (java) S 28834 28834 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618825139744 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28844] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28844/stat : 28844 (java) S 28834 28834 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618824086896 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28845] ppid=28834 vsize=13980732 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28845/stat : 28845 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618823035216 140619347892123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28846] ppid=28834 vsize=13980732 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/28836/task/28846/stat : 28846 (java) R 28834 28834 12395 0 -1 4202560 1172 0 0 0 16 0 0 0 20 0 15 0 104089486 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618821981712 140619327727088 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28847] ppid=28834 vsize=13980732 memory=140705745871472 CPUtime=0.13 cores=1,3,5,7
/proc/28836/task/28847/stat : 28847 (java) S 28834 28834 12395 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 15 0 104089486 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618820929776 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28848] ppid=28834 vsize=13980732 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/28836/task/28848/stat : 28848 (java) S 28834 28834 12395 0 -1 1077944384 1403 0 0 0 28 0 0 0 20 0 15 0 104089486 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618819876976 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28849] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28849/stat : 28849 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618818824416 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28850] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28850/stat : 28850 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089491 14316269568 16670 18446744073709551615 4194304 4196468 140733596100864 140618817772720 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68060 KiB

[startup+1.50082 s]
/proc/loadavg: 1.89 1.99 2.03 5/216 28850
/proc/meminfo: memFree=30828316/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13980732 memory=140392 CPUtime=3.47 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 21054 0 0 0 340 7 0 0 20 0 15 0 104089481 14316269568 35098 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3495183 35098 3188 1 0 3483476 0
[pid=28836/tid=28837] ppid=28834 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 9035 0 0 0 131 4 0 0 20 0 15 0 104089481 14316269568 35098 18446744073709551615 4194304 4196468 140733596100864 140619352109624 140618993022403 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 35098 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 35098 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 35098 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13980732 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104089482 14316269568 35098 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13980732 memory=51132 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 104089483 14316269568 35098 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28843] ppid=28834 vsize=13980732 memory=281411491928720 CPUtime=0 cores=1,3,5,7

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

/proc/28836/task/28844/stat : 28844 (java) S 28834 28834 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 52560 18446744073709551615 4194304 4196468 140733596100864 140618824086912 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28845] ppid=28834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28845/stat : 28845 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 52560 18446744073709551615 4194304 4196468 140733596100864 140618823035216 140619347892123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28846] ppid=28834 vsize=13980732 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/28836/task/28846/stat : 28846 (java) S 28834 28834 12395 0 -1 1077944384 11247 0 0 0 165 1 0 0 20 0 15 0 104089486 14316269568 52560 18446744073709551615 4194304 4196468 140733596100864 140618821982576 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28847] ppid=28834 vsize=13980732 memory=281408875032266 CPUtime=1.58 cores=1,3,5,7
/proc/28836/task/28847/stat : 28847 (java) S 28834 28834 12395 0 -1 1077944384 9360 0 0 0 157 1 0 0 20 0 15 0 104089486 14316269568 52560 18446744073709551615 4194304 4196468 140733596100864 140618820929776 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28848] ppid=28834 vsize=13980732 memory=7090988434644886894 CPUtime=0.48 cores=1,3,5,7
/proc/28836/task/28848/stat : 28848 (java) S 28834 28834 12395 0 -1 1077944384 3876 0 0 0 47 1 0 0 20 0 15 0 104089486 14316269568 52560 18446744073709551615 4194304 4196468 140733596100864 140618819876976 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28849] ppid=28834 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28849/stat : 28849 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 52560 18446744073709551615 4194304 4196468 140733596100864 140618818824416 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28850] ppid=28834 vsize=13980732 memory=5784 CPUtime=0.02 cores=1,3,5,7
/proc/28836/task/28850/stat : 28850 (java) S 28834 28834 12395 0 -1 1077944384 683 0 0 0 1 1 0 0 20 0 15 0 104089491 14316269568 52560 18446744073709551615 4194304 4196468 140733596100864 140618817772720 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 105.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211620 KiB

[startup+162.301 s]
/proc/loadavg: 1.97 2.02 2.04 3/216 29009
/proc/meminfo: memFree=30176972/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13980732 memory=217448 CPUtime=166.07 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 45069 0 0 0 16590 17 0 0 20 0 15 0 104089481 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3495183 54362 3239 1 0 3483476 0
[pid=28836/tid=28837] ppid=28834 vsize=13980732 memory=213344 CPUtime=162.11 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 13031 0 0 0 16205 6 0 0 20 0 15 0 104089481 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140619352112200 140618992636946 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13980732 memory=213344 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1168 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13980732 memory=217448 CPUtime=0.02 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 594 0 0 0 2 0 0 0 20 0 15 0 104089482 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13980732 memory=217448 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 845 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13980732 memory=217448 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 963 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13980732 memory=217448 CPUtime=0.01 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 923 0 0 0 1 0 0 0 20 0 15 0 104089483 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28843] ppid=28834 vsize=13980732 memory=217448 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28843/stat : 28843 (java) S 28834 28834 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618825139808 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28844] ppid=28834 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28844/stat : 28844 (java) S 28834 28834 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618824086912 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28845] ppid=28834 vsize=13980732 memory=213344 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28845/stat : 28845 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618823035216 140619347892123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28846] ppid=28834 vsize=13980732 memory=217448 CPUtime=1.67 cores=1,3,5,7
/proc/28836/task/28846/stat : 28846 (java) S 28834 28834 12395 0 -1 1077944384 11325 0 0 0 166 1 0 0 20 0 15 0 104089486 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618821982576 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28847] ppid=28834 vsize=13980732 memory=1380 CPUtime=1.58 cores=1,3,5,7
/proc/28836/task/28847/stat : 28847 (java) S 28834 28834 12395 0 -1 1077944384 9732 0 0 0 157 1 0 0 20 0 15 0 104089486 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618820929776 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28848] ppid=28834 vsize=13980732 memory=1228 CPUtime=0.48 cores=1,3,5,7
/proc/28836/task/28848/stat : 28848 (java) S 28834 28834 12395 0 -1 1077944384 4370 0 0 0 47 1 0 0 20 0 15 0 104089486 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618819876976 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28849] ppid=28834 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28849/stat : 28849 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618818824416 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28850] ppid=28834 vsize=13980732 memory=12132 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28850/stat : 28850 (java) S 28834 28834 12395 0 -1 1077944384 730 0 0 0 1 2 0 0 20 0 15 0 104089491 14316269568 54362 18446744073709551615 4194304 4196468 140733596100864 140618817772720 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 166.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 218828 KiB

[startup+222.301 s]
/proc/loadavg: 1.86 1.97 2.02 3/216 29011
/proc/meminfo: memFree=29800852/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13980732 memory=212896 CPUtime=226.19 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 48626 0 0 0 22601 18 0 0 20 0 15 0 104089481 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3495183 53224 3240 1 0 3483476 0
[pid=28836/tid=28837] ppid=28834 vsize=13980732 memory=212896 CPUtime=222.11 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 13623 0 0 0 22205 6 0 0 20 0 15 0 104089481 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140619352112400 140618994759008 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1221 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13980732 memory=212896 CPUtime=0.02 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 964 0 0 0 2 0 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 909 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13980732 memory=212896 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 981 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 1163 0 0 0 1 0 0 0 20 0 15 0 104089483 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28843] ppid=28834 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28843/stat : 28843 (java) S 28834 28834 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618825139808 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28844] ppid=28834 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28844/stat : 28844 (java) S 28834 28834 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618824086912 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28845] ppid=28834 vsize=13980732 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28845/stat : 28845 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618823035216 140619347892123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28846] ppid=28834 vsize=13980732 memory=51132 CPUtime=1.7 cores=1,3,5,7
/proc/28836/task/28846/stat : 28846 (java) S 28834 28834 12395 0 -1 1077944384 12265 0 0 0 169 1 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618821982576 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28847] ppid=28834 vsize=13980732 memory=4132 CPUtime=1.64 cores=1,3,5,7
/proc/28836/task/28847/stat : 28847 (java) S 28834 28834 12395 0 -1 1077944384 10928 0 0 0 163 1 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618820929776 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28848] ppid=28834 vsize=13980732 memory=51132 CPUtime=0.49 cores=1,3,5,7
/proc/28836/task/28848/stat : 28848 (java) S 28834 28834 12395 0 -1 1077944384 4412 0 0 0 48 1 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618819876976 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28849] ppid=28834 vsize=13980732 memory=316378072163287066 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28849/stat : 28849 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618818824416 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28850] ppid=28834 vsize=13980732 memory=288230583166042426 CPUtime=0.04 cores=1,3,5,7
/proc/28836/task/28850/stat : 28850 (java) S 28834 28834 12395 0 -1 1077944384 772 0 0 0 1 3 0 0 20 0 15 0 104089491 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618817772720 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 226.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214276 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.90 1.97 2.02 3/216 29011
/proc/meminfo: memFree=29801200/32770624 swapFree=67108860/67108860
[pid=28834] ppid=28831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28834/stat : 28834 (xcsp3-exec) S 28831 28834 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104089472 9740288 345 18446744073709551615 4194304 5098028 140736960878160 140736960876264 139904209871484 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 12222464 140736960881023 140736960881226 140736960881226 140736960884715 0
/proc/28834/statm: 2378 345 289 221 0 87 0
[pid=28836] ppid=28834 vsize=13980732 memory=212896 CPUtime=243.9 cores=1,3,5,7
/proc/28836/stat : 28836 (java) S 28834 28834 12395 0 -1 1077944320 48637 0 0 0 24372 18 0 0 20 0 15 0 104089481 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140733596083408 140619347873527 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
/proc/28836/statm: 3495183 53224 3240 1 0 3483476 0
[pid=28836/tid=28837] ppid=28834 vsize=13980732 memory=-8774313645642428999 CPUtime=239.82 cores=1,3,5,7
/proc/28836/task/28837/stat : 28837 (java) R 28834 28834 12395 0 -1 4202560 13634 0 0 0 23976 6 0 0 20 0 15 0 104089481 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140619352112400 140618994757184 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28838] ppid=28834 vsize=13980732 memory=-7003737579269690708 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28838/stat : 28838 (java) S 28834 28834 12395 0 -1 1077944384 1221 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140619310979728 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28839] ppid=28834 vsize=13980732 memory=5784 CPUtime=0.02 cores=1,3,5,7
/proc/28836/task/28839/stat : 28839 (java) S 28834 28834 12395 0 -1 1077944384 964 0 0 0 2 0 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618947181072 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28840] ppid=28834 vsize=13980732 memory=4612 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28840/stat : 28840 (java) S 28834 28834 12395 0 -1 1077944384 909 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618946128272 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28841] ppid=28834 vsize=13980732 memory=1716 CPUtime=0.03 cores=1,3,5,7
/proc/28836/task/28841/stat : 28841 (java) S 28834 28834 12395 0 -1 1077944384 981 0 0 0 2 1 0 0 20 0 15 0 104089482 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618945075472 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28842] ppid=28834 vsize=13980732 memory=9024 CPUtime=0.01 cores=1,3,5,7
/proc/28836/task/28842/stat : 28842 (java) S 28834 28834 12395 0 -1 1077944384 1163 0 0 0 1 0 0 0 20 0 15 0 104089483 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618826193776 140619347884674 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28843] ppid=28834 vsize=13980732 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28843/stat : 28843 (java) S 28834 28834 12395 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618825139808 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28844] ppid=28834 vsize=13980732 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28844/stat : 28844 (java) S 28834 28834 12395 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 104089484 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618824086912 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28845] ppid=28834 vsize=13980732 memory=9024 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28845/stat : 28845 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618823035216 140619347892123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28846] ppid=28834 vsize=13980732 memory=1436 CPUtime=1.7 cores=1,3,5,7
/proc/28836/task/28846/stat : 28846 (java) S 28834 28834 12395 0 -1 1077944384 12265 0 0 0 169 1 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618821982576 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28847] ppid=28834 vsize=13980732 memory=1196 CPUtime=1.64 cores=1,3,5,7
/proc/28836/task/28847/stat : 28847 (java) S 28834 28834 12395 0 -1 1077944384 10928 0 0 0 163 1 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618820929776 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28848] ppid=28834 vsize=13980732 memory=15880 CPUtime=0.49 cores=1,3,5,7
/proc/28836/task/28848/stat : 28848 (java) S 28834 28834 12395 0 -1 1077944384 4412 0 0 0 48 1 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618819876976 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28849] ppid=28834 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/28836/task/28849/stat : 28849 (java) S 28834 28834 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104089486 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618818824416 140619347883733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
[pid=28836/tid=28850] ppid=28834 vsize=13980732 memory=29620 CPUtime=0.04 cores=1,3,5,7
/proc/28836/task/28850/stat : 28850 (java) S 28834 28834 12395 0 -1 1077944384 772 0 0 0 1 3 0 0 20 0 15 0 104089491 14316269568 53224 18446744073709551615 4194304 4196468 140733596100864 140618817772720 140619347884674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25600000 140733596103095 140733596103270 140733596103270 140733596106703 0
Current children cumulated CPU time: 243.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214276 KiB

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

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

[startup+240.021 s]
# the end of solver process 28836 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=243.735 s, system=0.193099 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.021
CPU time (s): 243.928
CPU user time (s): 243.735
CPU system time (s): 0.193099
CPU usage (%): 101.628
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 218828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.735
system time used= 0.193099
maximum resident set size= 221552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7860
involuntary context switches= 229


# summary of solver processes directly reported to runsolver:
#   pid: 28834,28836
#   total CPU time (s): 243.928
#   total CPU user time (s): 243.735
#   total CPU system time (s): 0.193099

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48633 second user time and 2.05478 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-13 12:42:28
IDJOB=4270071
IDBENCH=126219
IDSOLVER=2661
FILE ID=node135/4270071-1502621782
RUNJOBID= node135-1502620465-28448
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-21-a3.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-4270071-1502621782/watcher-4270071-1502621782 -o /tmp/evaluation-result-4270071-1502621782/solver-4270071-1502621782 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502620465-28448 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 877976973 HOME/instance-4270071-1502621782.xml

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

MD5SUM BENCH= 77b850f9bb38d7d923034c01213ab5aa
RANDOM SEED=877976973

node135.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.21
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.21
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.21
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.21
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:        30915500 kB
MemAvailable:   31816208 kB
Buffers:          311096 kB
Cached:           887456 kB
SwapCached:            0 kB
Active:           858260 kB
Inactive:         552112 kB
Active(anon):     212148 kB
Inactive(anon):    41324 kB
Active(file):     646112 kB
Inactive(file):   510788 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7864 kB
Writeback:             0 kB
AnonPages:        211836 kB
Mapped:            67004 kB
Shmem:             41656 kB
Slab:             146920 kB
SReclaimable:     119288 kB
SUnreclaim:        27632 kB
KernelStack:        3488 kB
PageTables:         5464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1180684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     90112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62016 MiB
End job on node135 at 2017-08-13 12:46:28