Trace number 4284619

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-08-18)? (TO) 254.25101 240.021

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-20-20-9.xml
MD5SUM167976addb93ebd5943ef7570ccdd100
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1620
Number of constraints1260
Number of domains22
Minimum domain size15
Maximum domain size1384
Distribution of domain sizes[{"size":15,"count":40},{"size":17,"count":40},{"size":18,"count":140},{"size":19,"count":180},{"size":20,"count":400},{"size":1384,"count":820}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":420},{"degree":3,"count":800},{"degree":21,"count":400}]
Minimum constraint arity1
Maximum constraint arity22
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":3,"count":400},{"arity":20,"count":40},{"arity":22,"count":400}]
Number of extensional constraints400
Number of intensional constraints420
Distribution of constraint types[{"type":"extension","count":400},{"type":"intension","count":420},{"type":"allDifferent","count":20},{"type":"noOverlap","count":20},{"type":"element","count":400}]
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-4284619-1503210301.xml"  -tl '264s' -p 1 -x 3
0.10/0.15	c [HOME/instance-4284619-1503210301.xml, -tl, 264s, -p, 1, -x, 3]
0.10/0.21	c simple solver
0.32/0.28	c parse instance...
1.79/0.78	c solve instance...
254.22/240.01	s UNKNOWN
254.22/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 (11293 MiB free)
  memory of node 1: 16384 MiB (11317 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284619-1503210301/watcher-4284619-1503210301 -o /tmp/evaluation-result-4284619-1503210301/solver-4284619-1503210301 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23685 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 615010519 HOME/instance-4284619-1503210301.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23870, runsolver pid=23866

[startup+0.100428 s]*
/proc/loadavg: 1.90 1.53 1.56 4/210 23906
/proc/meminfo: memFree=23120092/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0
[pid=23872] ppid=23870 vsize=13978596 memory=27312 CPUtime=0.1 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23870 23654 0 -1 1077944320 5152 0 0 0 9 1 0 0 20 0 15 0 154101500 14314082304 6828 33554432000 4194304 4196468 140725044345824 140725044328368 140040754110199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
/proc/23872/statm: 3494649 6828 2775 1 0 3482966 0
[pid=23872/tid=23873] ppid=23870 vsize=13978596 memory=4279135704047451534 CPUtime=0.08 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23870 23654 0 -1 4202560 3304 0 0 0 7 1 0 0 20 0 15 0 154101501 14314082304 6828 33554432000 4194304 4196468 140725044345824 140040758333840 140040754132125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23877] ppid=23870 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14314082304 6828 33554432000 4194304 4196468 140725044345824 140040706731152 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23878] ppid=23870 vsize=13978596 memory=139751073490560 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14314082304 6828 33554432000 4194304 4196468 140725044345824 140040705678352 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23879] ppid=23870 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14314082304 6828 33554432000 4194304 4196468 140725044345824 140040704625552 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23880] ppid=23870 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14314082304 6828 33554432000 4194304 4196468 140725044345824 140040703572752 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23881] ppid=23870 vsize=13978596 memory=139751073490560 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101504 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039934970224 140040754121346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23882] ppid=23870 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23870 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154101504 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039933916192 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23883] ppid=23870 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154101505 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039932863344 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23870 23870 23654 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154101507 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039930760048 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039929707248 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13978596 memory=139751073490560 CPUtime=0.01 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) S 23870 23870 23654 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 154101507 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039928654448 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13978596 memory=139751073490560 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101507 14314082304 6828 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28696 KiB

[startup+0.214104 s]*
/proc/loadavg: 1.90 1.53 1.56 4/218 23914
/proc/meminfo: memFree=23097476/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0
[pid=23872] ppid=23870 vsize=13982852 memory=40056 CPUtime=0.32 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23870 23654 0 -1 1077944320 8030 0 0 0 30 2 0 0 20 0 15 0 154101500 14318440448 10014 33554432000 4194304 4196468 140725044345824 140725044328368 140040754110199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
/proc/23872/statm: 3495713 10014 3051 1 0 3482966 0
[pid=23872/tid=23873] ppid=23870 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23870 23654 0 -1 4202560 5229 0 0 0 18 1 0 0 20 0 15 0 154101501 14318440448 10014 33554432000 4194304 4196468 140725044345824 140040758347040 140040739828336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23877] ppid=23870 vsize=13982852 memory=12546 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 10014 33554432000 4194304 4196468 140725044345824 140040706731152 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23878] ppid=23870 vsize=13982852 memory=288370127225202304 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 10014 33554432000 4194304 4196468 140725044345824 140040705678352 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23879] ppid=23870 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 10014 33554432000 4194304 4196468 140725044345824 140040704625552 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23880] ppid=23870 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 10014 33554432000 4194304 4196468 140725044345824 140040703572752 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23881] ppid=23870 vsize=13982852 memory=139751073490560 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101504 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039934970224 140040754121346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23882] ppid=23870 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23870 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154101504 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039933916192 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23883] ppid=23870 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154101505 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039932863344 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23870 23870 23654 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 15 0 154101507 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039930760048 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23870 23654 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 154101507 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039929707248 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13982852 memory=139751073490560 CPUtime=0.07 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) S 23870 23870 23654 0 -1 1077944384 729 0 0 0 7 0 0 0 20 0 15 0 154101507 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039928654448 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101507 14318440448 10014 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41440 KiB

[startup+0.310654 s]*
/proc/loadavg: 1.90 1.53 1.56 3/218 23914
/proc/meminfo: memFree=23080036/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0
[pid=23872] ppid=23870 vsize=13982852 memory=46984 CPUtime=0.48 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23870 23654 0 -1 1077944320 8874 0 0 0 45 3 0 0 20 0 15 0 154101500 14318440448 11746 33554432000 4194304 4196468 140725044345824 140725044328368 140040754110199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
/proc/23872/statm: 3495713 11746 3106 1 0 3482966 0
[pid=23872/tid=23873] ppid=23870 vsize=13982852 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23870 23654 0 -1 4202560 5918 0 0 0 26 2 0 0 20 0 15 0 154101501 14318440448 11746 33554432000 4194304 4196468 140725044345824 140040758348464 140040754122134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23877] ppid=23870 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 11746 33554432000 4194304 4196468 140725044345824 140040706731152 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23878] ppid=23870 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 11746 33554432000 4194304 4196468 140725044345824 140040705678352 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23879] ppid=23870 vsize=13982852 memory=-2245088631185882904 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 11746 33554432000 4194304 4196468 140725044345824 140040704625552 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23880] ppid=23870 vsize=13982852 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14318440448 11746 33554432000 4194304 4196468 140725044345824 140040703572752 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23881] ppid=23870 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101504 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039934970224 140040754121346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23882] ppid=23870 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23870 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154101504 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039933916192 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23883] ppid=23870 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154101505 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039932863344 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13982852 memory=6944656591801720471 CPUtime=0.02 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23870 23870 23654 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 15 0 154101507 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039930760048 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13982852 memory=-8458152057954561420 CPUtime=0.03 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23870 23654 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 154101507 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039929707248 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13982852 memory=-8813974798734826869 CPUtime=0.11 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) R 23870 23870 23654 0 -1 4202560 828 0 0 0 11 0 0 0 20 0 15 0 154101507 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039928654448 140040754122134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13982852 memory=4713750055892520310 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101507 14318440448 11746 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48368 KiB

[startup+0.705053 s]
/proc/loadavg: 1.90 1.53 1.56 6/218 23914
/proc/meminfo: memFree=23042644/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0
[pid=23872] ppid=23870 vsize=13984976 memory=91988 CPUtime=1.79 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23870 23654 0 -1 1077944320 12540 0 0 0 174 5 0 0 20 0 15 0 154101500 14320615424 22997 33554432000 4194304 4196468 140725044345824 140725044328368 140040754110199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
/proc/23872/statm: 3496244 22997 3207 1 0 3483478 0
[pid=23872/tid=23873] ppid=23870 vsize=13984976 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23870 23654 0 -1 4202560 6623 0 0 0 63 3 0 0 20 0 15 0 154101501 14320615424 22997 33554432000 4194304 4196468 140725044345824 140040758347992 140040738153829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23877] ppid=23870 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14320615424 22997 33554432000 4194304 4196468 140725044345824 140040706731152 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23878] ppid=23870 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14320615424 22997 33554432000 4194304 4196468 140725044345824 140040705678352 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23879] ppid=23870 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101503 14320615424 22997 33554432000 4194304 4196468 140725044345824 140040704625552 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23880] ppid=23870 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23870 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154101503 14320615424 22997 33554432000 4194304 4196468 140725044345824 140040703572752 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23881] ppid=23870 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23870 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154101504 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039934970224 140040754121346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23882] ppid=23870 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23870 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154101504 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039933916192 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23883] ppid=23870 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154101505 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039932863344 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13984976 memory=1428 CPUtime=0.34 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) R 23870 23870 23654 0 -1 4202560 1621 0 0 0 34 0 0 0 20 0 15 0 154101507 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039930739248 140040737521090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13984976 memory=1196 CPUtime=0.33 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) R 23870 23870 23654 0 -1 4202560 853 0 0 0 33 0 0 0 20 0 15 0 154101507 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039929693264 140040739275505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13984976 memory=10688 CPUtime=0.43 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) R 23870 23870 23654 0 -1 4202560 2136 0 0 0 42 1 0 0 20 0 15 0 154101507 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039928649488 140040733078892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13984976 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13984976 memory=23524 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154101507 14320615424 22997 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93372 KiB

[startup+1.50083 s]
/proc/loadavg: 1.90 1.53 1.56 8/218 23914
/proc/meminfo: memFree=22977972/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0

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

/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154101505 14322712576 77841 33554432000 4194304 4196468 140725044345824 140039932863360 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13987024 memory=11 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 77841 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13987024 memory=4012 CPUtime=6.05 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23870 23870 23654 0 -1 1077944384 21021 0 0 0 603 2 0 0 20 0 15 0 154101507 14322712576 77841 33554432000 4194304 4196468 140725044345824 140039930760048 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13987024 memory=42680 CPUtime=6.47 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23870 23654 0 -1 1077944384 21973 0 0 0 644 3 0 0 20 0 15 0 154101507 14322712576 77841 33554432000 4194304 4196468 140725044345824 140039929707248 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13987024 memory=4012 CPUtime=1.05 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) S 23870 23870 23654 0 -1 1077944384 9248 0 0 0 103 2 0 0 20 0 15 0 154101507 14322712576 77841 33554432000 4194304 4196468 140725044345824 140039928654448 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13987024 memory=42680 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 77841 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13987024 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 741 0 0 0 1 1 0 0 20 0 15 0 154101507 14322712576 77841 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 116.27 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 312748 KiB

[startup+162.301 s]
/proc/loadavg: 1.86 1.69 1.61 3/217 23916
/proc/meminfo: memFree=22457336/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0
[pid=23872] ppid=23870 vsize=13987024 memory=343812 CPUtime=176.4 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23870 23654 0 -1 1077944320 75725 0 0 0 17612 28 0 0 20 0 15 0 154101500 14322712576 85953 33554432000 4194304 4196468 140725044345824 140725044328368 140040754110199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
/proc/23872/statm: 3496756 85953 3277 1 0 3483990 0
[pid=23872/tid=23873] ppid=23870 vsize=13987024 memory=343812 CPUtime=162.04 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23870 23654 0 -1 4202560 14457 0 0 0 16198 6 0 0 20 0 15 0 154101501 14322712576 85953 33554432000 4194304 4196468 140725044345824 140040758346712 140040386657780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23877] ppid=23870 vsize=13987024 memory=1384 CPUtime=0.15 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23870 23654 0 -1 1077944384 1638 0 0 0 13 2 0 0 20 0 15 0 154101503 14322712576 85953 33554432000 4194304 4196468 140725044345824 140040706731152 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23878] ppid=23870 vsize=13987024 memory=336728 CPUtime=0.15 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23870 23654 0 -1 1077944384 693 0 0 0 13 2 0 0 20 0 15 0 154101503 14322712576 85953 33554432000 4194304 4196468 140725044345824 140040705678352 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23879] ppid=23870 vsize=13987024 memory=343812 CPUtime=0.15 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23870 23654 0 -1 1077944384 2041 0 0 0 13 2 0 0 20 0 15 0 154101503 14322712576 85953 33554432000 4194304 4196468 140725044345824 140040704625552 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23880] ppid=23870 vsize=13987024 memory=15 CPUtime=0.15 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23870 23654 0 -1 1077944384 994 0 0 0 13 2 0 0 20 0 15 0 154101503 14322712576 85953 33554432000 4194304 4196468 140725044345824 140040703572752 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23881] ppid=23870 vsize=13987024 memory=343812 CPUtime=0.02 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23870 23654 0 -1 1077944384 1184 0 0 0 2 0 0 0 20 0 15 0 154101504 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039934970224 140040754121346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23882] ppid=23870 vsize=13987024 memory=343812 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23870 23654 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154101504 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039933916256 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23883] ppid=23870 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154101505 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039932863360 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13987024 memory=343812 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13987024 memory=1384 CPUtime=6.06 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23870 23870 23654 0 -1 1077944384 21087 0 0 0 604 2 0 0 20 0 15 0 154101507 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039930760048 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13987024 memory=343812 CPUtime=6.47 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23870 23654 0 -1 1077944384 22255 0 0 0 644 3 0 0 20 0 15 0 154101507 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039929707248 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13987024 memory=343812 CPUtime=1.05 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) S 23870 23870 23654 0 -1 1077944384 9250 0 0 0 103 2 0 0 20 0 15 0 154101507 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039928654448 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13987024 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 748 0 0 0 2 2 0 0 20 0 15 0 154101507 14322712576 85953 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 176.4 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 345196 KiB

[startup+222.301 s]
/proc/loadavg: 1.78 1.70 1.62 3/217 23917
/proc/meminfo: memFree=22437812/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0
[pid=23872] ppid=23870 vsize=13987024 memory=352048 CPUtime=236.48 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23870 23654 0 -1 1077944320 77197 0 0 0 23618 30 0 0 20 0 15 0 154101500 14322712576 88012 33554432000 4194304 4196468 140725044345824 140725044328368 140040754110199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
/proc/23872/statm: 3496756 88012 3277 1 0 3483990 0
[pid=23872/tid=23873] ppid=23870 vsize=13987024 memory=352048 CPUtime=222.03 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23870 23654 0 -1 4202560 15136 0 0 0 22197 6 0 0 20 0 15 0 154101501 14322712576 88012 33554432000 4194304 4196468 140725044345824 140040758349360 140040386657687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23877] ppid=23870 vsize=13987024 memory=352048 CPUtime=0.17 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23870 23654 0 -1 1077944384 1929 0 0 0 14 3 0 0 20 0 15 0 154101503 14322712576 88012 33554432000 4194304 4196468 140725044345824 140040706731152 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23878] ppid=23870 vsize=13987024 memory=352048 CPUtime=0.18 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23870 23654 0 -1 1077944384 844 0 0 0 15 3 0 0 20 0 15 0 154101503 14322712576 88012 33554432000 4194304 4196468 140725044345824 140040705678352 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23879] ppid=23870 vsize=13987024 memory=352048 CPUtime=0.17 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23870 23654 0 -1 1077944384 2103 0 0 0 15 2 0 0 20 0 15 0 154101503 14322712576 88012 33554432000 4194304 4196468 140725044345824 140040704625552 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23880] ppid=23870 vsize=13987024 memory=352048 CPUtime=0.18 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23870 23654 0 -1 1077944384 1032 0 0 0 15 3 0 0 20 0 15 0 154101503 14322712576 88012 33554432000 4194304 4196468 140725044345824 140040703572752 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23881] ppid=23870 vsize=13987024 memory=352048 CPUtime=0.02 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23870 23654 0 -1 1077944384 1397 0 0 0 2 0 0 0 20 0 15 0 154101504 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039934970224 140040754121346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23882] ppid=23870 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23870 23654 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154101504 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039933916256 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23883] ppid=23870 vsize=13987024 memory=279501843271488 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154101505 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039932863360 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13987024 memory=2544 CPUtime=6.06 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23870 23870 23654 0 -1 1077944384 21088 0 0 0 604 2 0 0 20 0 15 0 154101507 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039930760048 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13987024 memory=2544 CPUtime=6.47 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23870 23654 0 -1 1077944384 22257 0 0 0 644 3 0 0 20 0 15 0 154101507 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039929707248 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13987024 memory=928 CPUtime=1.05 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) S 23870 23870 23654 0 -1 1077944384 9256 0 0 0 103 2 0 0 20 0 15 0 154101507 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039928654448 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13987024 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13987024 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 777 0 0 0 3 3 0 0 20 0 15 0 154101507 14322712576 88012 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 236.48 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 353432 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.91 1.74 1.63 3/217 23917
/proc/meminfo: memFree=22431824/32770624 swapFree=67108860/67108860
[pid=23870] ppid=23866 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/23870/stat : 23870 (xcsp3-exec) S 23866 23870 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154101500 9740288 346 33554432000 4194304 5098028 140735800817056 140735800815160 140297065398908 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15646720 140735800820853 140735800821056 140735800821056 140735800823787 0
/proc/23870/statm: 2378 346 289 221 0 87 0
[pid=23872] ppid=23870 vsize=13987024 memory=358192 CPUtime=254.22 cores=0,2,4,6
/proc/23872/stat : 23872 (java) S 23870 23870 23654 0 -1 1077944320 78024 0 0 0 25392 30 0 0 20 0 15 0 154101500 14322712576 89548 33554432000 4194304 4196468 140725044345824 140725044328368 140040754110199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
/proc/23872/statm: 3496756 89548 3277 1 0 3483990 0
[pid=23872/tid=23873] ppid=23870 vsize=13987024 memory=928 CPUtime=239.73 cores=0,2,4,6
/proc/23872/task/23873/stat : 23873 (java) R 23870 23870 23654 0 -1 4202560 15268 0 0 0 23967 6 0 0 20 0 15 0 154101501 14322712576 89548 33554432000 4194304 4196468 140725044345824 140040758346416 140040386657563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23877] ppid=23870 vsize=13987024 memory=2240 CPUtime=0.18 cores=0,2,4,6
/proc/23872/task/23877/stat : 23877 (java) S 23870 23870 23654 0 -1 1077944384 1932 0 0 0 15 3 0 0 20 0 15 0 154101503 14322712576 89548 33554432000 4194304 4196468 140725044345824 140040706731152 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23878] ppid=23870 vsize=13987024 memory=4012 CPUtime=0.19 cores=0,2,4,6
/proc/23872/task/23878/stat : 23878 (java) S 23870 23870 23654 0 -1 1077944384 848 0 0 0 16 3 0 0 20 0 15 0 154101503 14322712576 89548 33554432000 4194304 4196468 140725044345824 140040705678352 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23879] ppid=23870 vsize=13987024 memory=4872558044660077418 CPUtime=0.17 cores=0,2,4,6
/proc/23872/task/23879/stat : 23879 (java) S 23870 23870 23654 0 -1 1077944384 2108 0 0 0 15 2 0 0 20 0 15 0 154101503 14322712576 89548 33554432000 4194304 4196468 140725044345824 140040704625552 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23880] ppid=23870 vsize=13987024 memory=4616 CPUtime=0.19 cores=0,2,4,6
/proc/23872/task/23880/stat : 23880 (java) S 23870 23870 23654 0 -1 1077944384 1041 0 0 0 16 3 0 0 20 0 15 0 154101503 14322712576 89548 33554432000 4194304 4196468 140725044345824 140040703572752 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23881] ppid=23870 vsize=13987024 memory=1928 CPUtime=0.02 cores=0,2,4,6
/proc/23872/task/23881/stat : 23881 (java) S 23870 23870 23654 0 -1 1077944384 1414 0 0 0 2 0 0 0 20 0 15 0 154101504 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039934970224 140040754121346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23882] ppid=23870 vsize=13987024 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23882/stat : 23882 (java) S 23870 23870 23654 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154101504 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039933916256 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23883] ppid=23870 vsize=13987024 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23883/stat : 23883 (java) S 23870 23870 23654 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154101505 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039932863360 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23890] ppid=23870 vsize=13987024 memory=10688 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23890/stat : 23890 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039931811664 140040754128795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23891] ppid=23870 vsize=13987024 memory=15880 CPUtime=6.06 cores=0,2,4,6
/proc/23872/task/23891/stat : 23891 (java) S 23870 23870 23654 0 -1 1077944384 21565 0 0 0 604 2 0 0 20 0 15 0 154101507 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039930760048 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23892] ppid=23870 vsize=13987024 memory=2400 CPUtime=6.48 cores=0,2,4,6
/proc/23872/task/23892/stat : 23892 (java) S 23870 23870 23654 0 -1 1077944384 22433 0 0 0 645 3 0 0 20 0 15 0 154101507 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039929707248 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23893] ppid=23870 vsize=13987024 memory=1728 CPUtime=1.05 cores=0,2,4,6
/proc/23872/task/23893/stat : 23893 (java) S 23870 23870 23654 0 -1 1077944384 9258 0 0 0 103 2 0 0 20 0 15 0 154101507 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039928654448 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23898] ppid=23870 vsize=13987024 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/23872/task/23898/stat : 23898 (java) S 23870 23870 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154101507 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039927601888 140040754120405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
[pid=23872/tid=23900] ppid=23870 vsize=13987024 memory=1708 CPUtime=0.07 cores=0,2,4,6
/proc/23872/task/23900/stat : 23900 (java) S 23870 23870 23654 0 -1 1077944384 779 0 0 0 3 4 0 0 20 0 15 0 154101507 14322712576 89548 33554432000 4194304 4196468 140725044345824 140039926549168 140040754121346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 12103680 140725044352157 140725044352332 140725044352332 140725044355023 0
Current children cumulated CPU time: 254.22 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 359576 KiB

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

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

[startup+240.021 s]
# the end of solver process 23872 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=253.937 s, system=0.314213 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): 254.251
CPU user time (s): 253.937
CPU system time (s): 0.314213
CPU usage (%): 105.929
Max. virtual memory (cumulated for all children) (KiB): 13996740
Max. memory (cumulated for all children) (KiB): 359576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.937
system time used= 0.314213
maximum resident set size= 358632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9288
involuntary context switches= 287


# summary of solver processes directly reported to runsolver:
#   pid: 23870,23872
#   total CPU time (s): 254.251
#   total CPU user time (s): 253.937
#   total CPU system time (s): 0.314213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43203 second user time and 2.2975 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-20 08:10:40
IDJOB=4284619
IDBENCH=115804
IDSOLVER=2680
FILE ID=node105/4284619-1503210301
RUNJOBID= node105-1503209199-23685
PBS_JOBID= 20630876
Free space on /tmp= 61804 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-20-20-9.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-4284619-1503210301/watcher-4284619-1503210301 -o /tmp/evaluation-result-4284619-1503210301/solver-4284619-1503210301 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23685 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 615010519 HOME/instance-4284619-1503210301.xml

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

MD5SUM BENCH= 167976addb93ebd5943ef7570ccdd100
RANDOM SEED=615010519

node105.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.17
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.17
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.17
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.17
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:        23153428 kB
MemAvailable:   31975220 kB
Buffers:          238952 kB
Cached:          8873008 kB
SwapCached:            0 kB
Active:          1081944 kB
Inactive:        8083052 kB
Active(anon):       3476 kB
Inactive(anon):    85892 kB
Active(file):    1078468 kB
Inactive(file):  7997160 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7808 kB
Writeback:             0 kB
AnonPages:         60328 kB
Mapped:            51804 kB
Shmem:             33420 kB
Slab:             150476 kB
SReclaimable:     124000 kB
SUnreclaim:        26476 kB
KernelStack:        3232 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334484 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61788 MiB
End job on node105 at 2017-08-20 08:14:41