Trace number 4271974

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-07-26)? (TO) 2522.3301 2460.6699

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-t2.xml
MD5SUM9e99b8f50ba877dbe58773e5c08a73e4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables3015
Number of constraints125
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3015}]
Minimum variable degree5
Maximum variable degree8
Distribution of variable degrees[{"degree":5,"count":17},{"degree":6,"count":1236},{"degree":7,"count":1323},{"degree":8,"count":439}]
Minimum constraint arity12
Maximum constraint arity261
Distribution of constraint arities[{"arity":12,"count":3},{"arity":14,"count":2},{"arity":15,"count":2},{"arity":17,"count":2},{"arity":18,"count":1},{"arity":25,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":41,"count":1},{"arity":50,"count":7},{"arity":52,"count":1},{"arity":58,"count":2},{"arity":63,"count":2},{"arity":70,"count":2},{"arity":77,"count":2},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":87,"count":2},{"arity":90,"count":1},{"arity":91,"count":2},{"arity":95,"count":3},{"arity":105,"count":2},{"arity":107,"count":1},{"arity":108,"count":2},"...",{"arity":196,"count":3}, {"arity":197,"count":1}, {"arity":198,"count":2}, {"arity":199,"count":2}, {"arity":201,"count":3}, {"arity":202,"count":2}, {"arity":204,"count":3}, {"arity":206,"count":1}, {"arity":207,"count":2}, {"arity":214,"count":2}, {"arity":218,"count":2}, {"arity":219,"count":4}, {"arity":221,"count":1}, {"arity":222,"count":1}, {"arity":230,"count":1}, {"arity":231,"count":1}, {"arity":233,"count":1}, {"arity":235,"count":1}, {"arity":237,"count":1}, {"arity":241,"count":1}, {"arity":245,"count":1}, {"arity":246,"count":1}, {"arity":249,"count":1}, {"arity":254,"count":1}, {"arity":261,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":125}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.22	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271974-1502811683.xml"  -tl '2520s' -p 1 -x 3
0.05/0.41	c [HOME/instance-4271974-1502811683.xml, -tl, 2520s, -p, 1, -x, 3]
0.22/0.47	c simple solver
0.39/0.54	c parse instance...
1.23/0.88	c solve instance...
2522.07/2460.66	s UNKNOWN
2522.07/2460.66	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 (13319 MiB free)
  memory of node 1: 16384 MiB (15208 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271974-1502811683/watcher-4271974-1502811683 -o /tmp/evaluation-result-4271974-1502811683/solver-4271974-1502811683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 17711943 HOME/instance-4271974-1502811683.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=2600, runsolver pid=2597

[startup+0.100141 s]*
/proc/loadavg: 1.73 1.71 1.64 2/198 2601
/proc/meminfo: memFree=29211900/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (runsolver) D 2597 2600 7968 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 35050918 34791424 113 18446744073709551615 4194304 4346622 140729108990592 140729108987224 140651756253911 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 19099648 140729108996153 140729108996645 140729108996645 140729109000138 0
/proc/2600/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209205 s]*
/proc/loadavg: 1.73 1.71 1.64 2/198 2601
/proc/meminfo: memFree=29211900/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (runsolver) D 2597 2600 7968 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 35050918 34791424 113 18446744073709551615 4194304 4346622 140729108990592 140729108987224 140651756253911 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 19099648 140729108996153 140729108996645 140729108996645 140729109000138 0
/proc/2600/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.308917 s]*
/proc/loadavg: 1.73 1.71 1.64 2/212 2615
/proc/meminfo: memFree=29199712/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 35050918 9740288 344 18446744073709551615 4194304 5098028 140737292688320 140737292686424 140397139522172 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 22 0 0 7196144 7232144 35368960 140737292689787 140737292689990 140737292689990 140737292693483 0
/proc/2600/statm: 2378 344 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13907304 memory=22308 CPUtime=0.05 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 7968 0 -1 1077944320 4509 0 0 0 5 0 0 0 20 0 14 0 35050941 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140734279477232 140042912419575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
/proc/2602/statm: 3476826 5577 2557 1 0 3466323 0
[pid=2602/tid=2603] ppid=2600 vsize=13907304 memory=288363917221298210 CPUtime=0.04 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) D 2600 2600 7968 0 -1 4202560 2682 0 0 0 4 0 0 0 20 0 14 0 35050941 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042916657056 140042912441597 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2604] ppid=2600 vsize=13907304 memory=4294978873 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35050942 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042846854032 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2605] ppid=2600 vsize=13907304 memory=140651759226036 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35050942 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042845801232 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2606] ppid=2600 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35050942 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042510711952 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2607] ppid=2600 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35050942 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042509659152 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2608] ppid=2600 vsize=13907304 memory=140651759203968 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35050943 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042458105968 140042912430722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2600 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 35050943 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042457051936 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2600 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 35050944 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042455999600 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2600 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 35050946 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042454947920 140042912438171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2600 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 7968 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 14 0 35050946 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042453895792 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2613] ppid=2600 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35050946 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042452842992 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2614] ppid=2600 vsize=13907304 memory=140651759203968 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 7968 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 14 0 35050946 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042451790704 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2615] ppid=2600 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 35050946 14241079296 5577 18446744073709551615 4194304 4196468 140734279494688 140042450738144 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23684 KiB

[startup+0.703599 s]
/proc/loadavg: 1.73 1.71 1.64 3/213 2616
/proc/meminfo: memFree=29179536/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 35050918 9740288 344 18446744073709551615 4194304 5098028 140737292688320 140737292686424 140397139522172 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 22 0 0 7196144 7232144 35368960 140737292689787 140737292689990 140737292689990 140737292693483 0
/proc/2600/statm: 2378 344 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13978684 memory=60184 CPUtime=0.85 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 7968 0 -1 1077944320 11264 0 0 0 81 4 0 0 20 0 15 0 35050941 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140734279477232 140042912419575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
/proc/2602/statm: 3494671 15046 3137 1 0 3482964 0
[pid=2602/tid=2603] ppid=2600 vsize=13978684 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 7968 0 -1 4202560 7375 0 0 0 38 3 0 0 20 0 15 0 35050941 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042916654320 140042528269671 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2604] ppid=2600 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042846854032 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2605] ppid=2600 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042845801232 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2606] ppid=2600 vsize=13978684 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042510711952 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2607] ppid=2600 vsize=13978684 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35050942 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042509659152 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2608] ppid=2600 vsize=13978684 memory=792 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35050943 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042458105968 140042912430722 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2600 vsize=13978684 memory=8708 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35050943 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042457051936 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2600 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35050944 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042455999600 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2600 vsize=13978684 memory=9916 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042454947920 140042912438171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2600 vsize=13978684 memory=1200 CPUtime=0.11 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) R 2600 2600 7968 0 -1 4202560 922 0 0 0 11 0 0 0 20 0 15 0 35050946 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042453887744 140042893967082 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2613] ppid=2600 vsize=13978684 memory=15872 CPUtime=0.09 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) R 2600 2600 7968 0 -1 4202560 565 0 0 0 9 0 0 0 20 0 15 0 35050946 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042452828896 140042896816369 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2614] ppid=2600 vsize=13978684 memory=4040 CPUtime=0.21 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 7968 0 -1 1077944384 1098 0 0 0 21 0 0 0 20 0 15 0 35050946 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042451790704 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2615] ppid=2600 vsize=13978684 memory=16444 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042450738144 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2616] ppid=2600 vsize=13978684 memory=13156 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050951 14314172416 15046 18446744073709551615 4194304 4196468 140734279494688 140042449684912 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 61560 KiB

[startup+1.50087 s]
/proc/loadavg: 2.07 1.78 1.66 6/213 2616
/proc/meminfo: memFree=29125400/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 35050918 9740288 344 18446744073709551615 4194304 5098028 140737292688320 140737292686424 140397139522172 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 22 0 0 7196144 7232144 35368960 140737292689787 140737292689990 140737292689990 140737292693483 0
/proc/2600/statm: 2378 344 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=120292 CPUtime=3.4 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 7968 0 -1 1077944320 25425 0 0 0 333 7 0 0 20 0 15 0 35050941 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140734279477232 140042912419575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
/proc/2602/statm: 3495183 30073 3190 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 7968 0 -1 4202560 8426 0 0 0 116 5 0 0 20 0 15 0 35050941 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042916654096 140042530278759 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042846854032 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042845801232 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042510711952 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042509659152 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042458105968 140042912430722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042457051936 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=288230377091509553 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35050944 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042455999600 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=288286679784243019 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042454947920 140042912438171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=0 CPUtime=0.9 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) R 2600 2600 7968 0 -1 4202560 7162 0 0 0 90 0 0 0 20 0 15 0 35050946 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042453883424 140042895894757 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) R 2600 2600 7968 0 -1 4202560 6050 0 0 0 86 0 0 0 20 0 15 0 35050946 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042452843120 140042893967121 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=6944656575208382560 CPUtime=0.39 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 7968 0 -1 1077944384 2478 0 0 0 39 0 0 0 20 0 15 0 35050946 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042451790704 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042450738144 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050951 14316269568 30073 18446744073709551615 4194304 4196468 140734279494688 140042449684912 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 121668 KiB

[startup+3.11057 s]
/proc/loadavg: 2.07 1.78 1.66 5/213 2616
/proc/meminfo: memFree=29042992/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 35050918 9740288 344 18446744073709551615 4194304 5098028 140737292688320 140737292686424 140397139522172 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 22 0 0 7196144 7232144 35368960 140737292689787 140737292689990 140737292689990 140737292693483 0
/proc/2600/statm: 2378 344 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=191772 CPUtime=6.62 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 7968 0 -1 1077944320 28595 0 0 0 653 9 0 0 20 0 15 0 35050941 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140734279477232 140042912419575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
/proc/2602/statm: 3495183 47943 3192 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=281303312918080 CPUtime=2.81 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 7968 0 -1 4202560 9486 0 0 0 275 6 0 0 20 0 15 0 35050941 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042916656176 140042525869763 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=-2245088631185882904 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042846854032 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042845801232 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=28829630602021044 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042510711952 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=288287796458959762 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35050942 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042509659152 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=3472328296227682449 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 7968 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042458105968 140042912430722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042457051936 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=130660 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35050944 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042455999600 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=281303312516144 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042454947920 140042912438171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=9916 CPUtime=1.67 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) R 2600 2600 7968 0 -1 4202560 8356 0 0 0 166 1 0 0 20 0 15 0 35050946 14316269568 47943 18446744073709551615 4194304 4196468 140734279494688 140042453888816 140042897319096 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0

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

/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 7968 0 -1 1077944384 33961 0 0 0 59 9 0 0 20 0 15 0 35050943 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042458105968 140042912430722 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=944440 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042457052000 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35050944 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042455999616 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=995816 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042454947920 140042912438171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=995816 CPUtime=3.65 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 7968 0 -1 1077944384 23473 0 0 0 363 2 0 0 20 0 15 0 35050946 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042453895792 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=1376 CPUtime=4.08 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 7968 0 -1 1077944384 30291 0 0 0 405 3 0 0 20 0 15 0 35050946 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042452842992 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=1376 CPUtime=0.81 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 7968 0 -1 1077944384 14059 0 0 0 78 3 0 0 20 0 15 0 35050946 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042451790704 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042450738144 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=979332 CPUtime=1.27 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 7968 0 -1 1077944384 1416 0 0 0 62 65 0 0 20 0 15 0 35050951 14316269568 248954 18446744073709551615 4194304 4196468 140734279494688 140042449684912 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
Current children cumulated CPU time: 2501.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 997192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2460.11 s]
/proc/loadavg: 1.72 1.83 1.83 6/213 3017
/proc/meminfo: memFree=28935280/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 35050918 9740288 344 18446744073709551615 4194304 5098028 140737292688320 140737292686424 140397139522172 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 22 0 0 7196144 7232144 35368960 140737292689787 140737292689990 140737292689990 140737292693483 0
/proc/2600/statm: 2378 344 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=1048504 CPUtime=2520.17 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 7968 0 -1 1077944320 308468 0 0 0 251478 539 0 0 20 0 15 0 35050941 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140734279477232 140042912419575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
/proc/2602/statm: 3495183 262126 3256 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=1376 CPUtime=2441.82 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) S 2600 2600 7968 0 -1 1077944384 116169 0 0 0 244118 64 0 0 20 0 15 0 35050941 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042916658944 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=1376 CPUtime=16.94 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) R 2600 2600 7968 0 -1 4202560 18201 0 0 0 1592 102 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042846854232 140042897370568 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=1037248 CPUtime=16.95 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) R 2600 2600 7968 0 -1 4202560 23913 0 0 0 1593 102 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042845801232 140042897262994 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=1037248 CPUtime=16.91 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) R 2600 2600 7968 0 -1 4202560 26094 0 0 0 1591 100 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042510712152 140042897117361 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=1037248 CPUtime=16.96 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) R 2600 2600 7968 0 -1 4202560 19350 0 0 0 1596 100 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042509659152 140042897117185 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=1037248 CPUtime=0.68 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 7968 0 -1 1077944384 34137 0 0 0 59 9 0 0 20 0 15 0 35050943 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042458104288 140042912429781 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=1037248 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042457052000 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35050944 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042455999616 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042454947920 140042912438171 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=21216 CPUtime=3.65 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 7968 0 -1 1077944384 23475 0 0 0 363 2 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042453895792 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=281303312825040 CPUtime=4.08 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 7968 0 -1 1077944384 30293 0 0 0 405 3 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042452842992 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=151887290635223 CPUtime=0.81 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 7968 0 -1 1077944384 14061 0 0 0 78 3 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042451790704 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=1037248 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042450738144 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=1376 CPUtime=1.27 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 7968 0 -1 1077944384 1434 0 0 0 62 65 0 0 20 0 15 0 35050951 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042449684912 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
Current children cumulated CPU time: 2520.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1049880 KiB

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

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

[startup+2460.67 s]
# the end of solver process 2602 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.92 s, system=5.41054 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

[startup+2460.4 s]
/proc/loadavg: 1.72 1.83 1.83 6/212 3017
/proc/meminfo: memFree=28953780/32770624 swapFree=67108860/67108860
[pid=2602] ppid=2597 vsize=13980732 memory=1048504 CPUtime=2521.3 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2597 2600 7968 0 -1 1077944320 308472 0 0 0 251590 540 0 0 20 0 15 0 35050941 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140734279477232 140042912419575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
/proc/2602/statm: 3495183 262126 3256 1 0 3483476 0
[pid=2602/tid=2603] ppid=2597 vsize=13980732 memory=7680170660397595203 CPUtime=2441.82 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) S 2597 2600 7968 0 -1 1077944384 116169 0 0 0 244118 64 0 0 20 0 15 0 35050941 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042916658944 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2604] ppid=2597 vsize=13980732 memory=1037248 CPUtime=17.23 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) R 2597 2600 7968 0 -1 4202560 18201 0 0 0 1621 102 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042846854232 140042897117327 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2605] ppid=2597 vsize=13980732 memory=960 CPUtime=17.23 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) R 2597 2600 7968 0 -1 4202560 23913 0 0 0 1621 102 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042845800816 140042905047783 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2606] ppid=2597 vsize=13980732 memory=979332 CPUtime=17.18 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) R 2597 2600 7968 0 -1 4202560 26094 0 0 0 1618 100 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042510711848 140042905047783 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2607] ppid=2597 vsize=13980732 memory=21216 CPUtime=17.24 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) R 2597 2600 7968 0 -1 4202560 19350 0 0 0 1624 100 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042509658736 140042905047783 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2608] ppid=2597 vsize=13980732 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2597 2600 7968 0 -1 1077944384 34137 0 0 0 59 9 0 0 20 0 15 0 35050943 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042458104288 140042912429781 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2597 vsize=13980732 memory=190 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2597 2600 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042457052000 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2597 vsize=13980732 memory=61 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2597 2600 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35050944 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042455999616 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2597 vsize=13980732 memory=62 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2597 2600 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042454947568 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2597 vsize=13980732 memory=0 CPUtime=3.65 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2597 2600 7968 0 -1 1077944384 23475 0 0 0 363 2 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042453895792 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2613] ppid=2597 vsize=13980732 memory=1376 CPUtime=4.08 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2597 2600 7968 0 -1 1077944384 30293 0 0 0 405 3 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042452842992 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2614] ppid=2597 vsize=13980732 memory=1037248 CPUtime=0.81 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2597 2600 7968 0 -1 1077944384 14061 0 0 0 78 3 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042451790704 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2615] ppid=2597 vsize=13980732 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2597 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042450738144 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2616] ppid=2597 vsize=13980732 memory=1296 CPUtime=1.27 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2597 2600 7968 0 -1 1077944384 1434 0 0 0 62 65 0 0 20 0 15 0 35050951 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042449684912 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
Current cumulated CPU time of completed processes: 0.001938 s
Current children cumulated CPU time: 2521.3 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 1048504 KiB

[startup+2460.6 s]
/proc/loadavg: 1.72 1.83 1.83 6/212 3017
/proc/meminfo: memFree=28953780/32770624 swapFree=67108860/67108860
[pid=2602] ppid=2597 vsize=13980732 memory=1048504 CPUtime=2522.07 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2597 2600 7968 0 -1 1077944320 308923 0 0 0 251667 540 0 0 20 0 15 0 35050941 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140734279477232 140042912419575 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
/proc/2602/statm: 3495183 262126 3256 1 0 3483476 0
[pid=2602/tid=2603] ppid=2597 vsize=13980732 memory=1700 CPUtime=2441.82 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) S 2597 2600 7968 0 -1 1077944384 116169 0 0 0 244118 64 0 0 20 0 15 0 35050941 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042916658944 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2604] ppid=2597 vsize=13980732 memory=7680170660397595203 CPUtime=17.43 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) R 2597 2600 7968 0 -1 4202560 18201 0 0 0 1641 102 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042846854232 140042905523212 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2605] ppid=2597 vsize=13980732 memory=288230617509003574 CPUtime=17.43 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) R 2597 2600 7968 0 -1 4202560 23913 0 0 0 1641 102 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042845801432 140042897120280 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2606] ppid=2597 vsize=13980732 memory=14410436439181270 CPUtime=17.38 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) R 2597 2600 7968 0 -1 4202560 26094 0 0 0 1637 101 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042510711840 140042897118445 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2607] ppid=2597 vsize=13980732 memory=792 CPUtime=17.43 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) R 2597 2600 7968 0 -1 4202560 19350 0 0 0 1643 100 0 0 20 0 15 0 35050942 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042509659352 140042897118391 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2608] ppid=2597 vsize=13980732 memory=8708 CPUtime=0.69 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2597 2600 7968 0 -1 1077944384 34588 0 0 0 60 9 0 0 20 0 15 0 35050943 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042458104512 140042912429781 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2609] ppid=2597 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2597 2600 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 35050943 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042457052000 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2610] ppid=2597 vsize=13980732 memory=9916 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2597 2600 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35050944 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042455999616 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2611] ppid=2597 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2597 2600 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042454947568 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2612] ppid=2597 vsize=13980732 memory=15872 CPUtime=3.65 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2597 2600 7968 0 -1 1077944384 23475 0 0 0 363 2 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042453895792 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2613] ppid=2597 vsize=13980732 memory=4040 CPUtime=4.08 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2597 2600 7968 0 -1 1077944384 30293 0 0 0 405 3 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042452842992 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2614] ppid=2597 vsize=13980732 memory=16444 CPUtime=0.81 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2597 2600 7968 0 -1 1077944384 14061 0 0 0 78 3 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042451790704 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2615] ppid=2597 vsize=13980732 memory=13224 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2597 2600 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35050946 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042450738144 140042912429781 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
[pid=2602/tid=2616] ppid=2597 vsize=13980732 memory=1236 CPUtime=1.27 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2597 2600 7968 0 -1 1077944384 1434 0 0 0 62 65 0 0 20 0 15 0 35050951 14316269568 262126 18446744073709551615 4194304 4196468 140734279494688 140042449684912 140042912430722 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14225408 140734279500210 140734279500386 140734279500386 140734279503823 0
Current cumulated CPU time of completed processes: 0.001938 s
Current children cumulated CPU time: 2522.07 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 1048504 KiB

Child status: 143
Real time (s): 2460.67
CPU time (s): 2522.33
CPU user time (s): 2516.92
CPU system time (s): 5.41054
CPU usage (%): 102.506
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3361764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.92
system time used= 5.41054
maximum resident set size= 3360388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60766
involuntary context switches= 1734


# summary of solver processes directly reported to runsolver:
#   pid: 2600,2602
#   total CPU time (s): 2522.33
#   total CPU user time (s): 2516.92
#   total CPU system time (s): 5.41054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4413 second user time and 24.4988 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-15 17:27:25
IDJOB=4271974
IDBENCH=133714
IDSOLVER=2664
FILE ID=node128/4271974-1502811683
RUNJOBID= node128-1502649221-29001
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-t2.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-4271974-1502811683/watcher-4271974-1502811683 -o /tmp/evaluation-result-4271974-1502811683/solver-4271974-1502811683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 17711943 HOME/instance-4271974-1502811683.xml

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

MD5SUM BENCH= 9e99b8f50ba877dbe58773e5c08a73e4
RANDOM SEED=17711943

node128.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.94
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.94
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.94
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.94
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:        29211900 kB
MemAvailable:   30130156 kB
Buffers:          231080 kB
Cached:           970612 kB
SwapCached:            0 kB
Active:          2263252 kB
Inactive:         873952 kB
Active(anon):    1935728 kB
Inactive(anon):    16764 kB
Active(file):     327524 kB
Inactive(file):   857188 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             4 kB
AnonPages:       1935056 kB
Mapped:            50424 kB
Shmem:             17116 kB
Slab:             123936 kB
SReclaimable:      98756 kB
SUnreclaim:        25180 kB
KernelStack:        3488 kB
PageTables:         9036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2560884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1847296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-08-15 18:08:26