Trace number 4255036

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) 252.091 198.54201

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-27-a4.xml
MD5SUM4a6b886165f8d6d7f8f178d50db8a3de
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark857
Best CPU time to get the best result obtained on this benchmark1920.78
Satisfiable
(Un)Satisfiability was proved
Number of variables27
Number of constraints58502
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":27}]
Minimum variable degree8451
Maximum variable degree8452
Distribution of variable degrees[{"degree":8451,"count":25},{"degree":8452,"count":2}]
Minimum constraint arity1
Maximum constraint arity27
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":5850},{"arity":4,"count":52650},{"arity":27,"count":1}]
Number of extensional constraints0
Number of intensional constraints58501
Distribution of constraint types[{"type":"intension","count":58501},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255036-1502644300.xml"  -tl '252s' -p 1 -x 3
0.12/0.26	c [HOME/instance-4255036-1502644300.xml, -tl, 252s, -p, 1, -x, 3]
0.12/0.32	c simple solver
0.32/0.38	c parse instance...
14.12/4.97	c solve instance...
252.04/198.50	s UNKNOWN
252.04/198.50	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 (9433 MiB free)
  memory of node 1: 16384 MiB (15593 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255036-1502644300/watcher-4255036-1502644300 -o /tmp/evaluation-result-4255036-1502644300/solver-4255036-1502644300 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27769 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 88281900 HOME/instance-4255036-1502644300.xml 

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

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


[startup+0.100101 s]*
/proc/loadavg: 3.38 2.80 2.18 3/208 28772
/proc/meminfo: memFree=25619492/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13574484 memory=17780 CPUtime=0.02 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 3740 0 0 0 2 0 0 0 20 0 9 0 164082741 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3393621 4445 2086 1 0 3383118 0
[pid=28766/tid=28767] ppid=28764 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 2444 0 0 0 2 0 0 0 20 0 9 0 164082741 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140434066895304 140434048341811 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 164082742 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13574484 memory=140116764845696 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 164082742 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 164082742 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28771/stat : 28771 (java) S 28764 28764 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164082742 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140433659709968 140434062669525 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28772] ppid=28764 vsize=13574484 memory=140116764845696 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28772/stat : 28772 (java) S 28764 28764 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164082743 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140433540725360 140434062670466 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28773] ppid=28764 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28773/stat : 28773 (java) S 28764 28764 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 164082744 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140433539671328 140434062669525 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28774] ppid=28764 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 164082744 13900271616 4445 18446744073709551615 4194304 4196468 140727931260432 140433538619056 140434062669525 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19156 KiB

[startup+0.211347 s]*
/proc/loadavg: 3.38 2.80 2.18 3/216 28780
/proc/meminfo: memFree=25611904/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13974352 memory=27984 CPUtime=0.12 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 5363 0 0 0 11 1 0 0 20 0 15 0 164082741 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3493588 6996 2871 1 0 3482964 0
[pid=28766/tid=28767] ppid=28764 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 3373 0 0 0 8 0 0 0 20 0 15 0 164082741 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140434066877136 140434046702949 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13974352 memory=8005 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13974352 memory=4123521155141396128 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28771/stat : 28771 (java) S 28764 28764 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433659709968 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28772] ppid=28764 vsize=13974352 memory=140116764845696 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28772/stat : 28772 (java) S 28764 28764 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164082743 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433540725360 140434062670466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28773] ppid=28764 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28773/stat : 28773 (java) S 28764 28764 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164082744 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433539671328 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28774] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164082744 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433538618992 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28775] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28775/stat : 28775 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082746 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433537567312 140434062677915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28776] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28776/stat : 28776 (java) S 28764 28764 7084 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 164082746 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433536514160 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28777] ppid=28764 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28777/stat : 28777 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082746 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433535461360 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28778] ppid=28764 vsize=13974352 memory=140116764845696 CPUtime=0.01 cores=1,3,5,7
/proc/28766/task/28778/stat : 28778 (java) R 28764 28764 7084 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 164082747 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433534409072 140434062680666 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28779] ppid=28764 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28779/stat : 28779 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082747 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433533356512 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28780] ppid=28764 vsize=13974352 memory=140116764845696 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28780/stat : 28780 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082751 14309736448 6996 18446744073709551615 4194304 4196468 140727931260432 140433532304304 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29360 KiB

[startup+0.312655 s]*
/proc/loadavg: 3.38 2.80 2.18 4/216 28780
/proc/meminfo: memFree=25598632/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13974352 memory=39604 CPUtime=0.32 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 9156 0 0 0 29 3 0 0 20 0 15 0 164082741 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3493588 9901 3013 1 0 3482964 0
[pid=28766/tid=28767] ppid=28764 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 6266 0 0 0 17 2 0 0 20 0 15 0 164082741 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140434066896368 140434046739806 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28771/stat : 28771 (java) S 28764 28764 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164082742 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433659709968 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28772] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28772/stat : 28772 (java) S 28764 28764 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164082743 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433540725360 140434062670466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28773] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28773/stat : 28773 (java) S 28764 28764 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164082744 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433539671328 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28774] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164082744 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433538618992 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28775] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28775/stat : 28775 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082746 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433537567312 140434062677915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28776] ppid=28764 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28766/task/28776/stat : 28776 (java) S 28764 28764 7084 0 -1 1077944384 567 0 0 0 3 0 0 0 20 0 15 0 164082746 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433536514160 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28777] ppid=28764 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28766/task/28777/stat : 28777 (java) S 28764 28764 7084 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 164082746 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433535461360 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28778] ppid=28764 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28766/task/28778/stat : 28778 (java) S 28764 28764 7084 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 15 0 164082747 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433534409072 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28779] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28779/stat : 28779 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082747 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433533356512 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28780] ppid=28764 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28780/stat : 28780 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082751 14309736448 9901 18446744073709551615 4194304 4196468 140727931260432 140433532304304 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40980 KiB

[startup+0.701345 s]
/proc/loadavg: 3.38 2.80 2.18 5/216 28780
/proc/meminfo: memFree=25578160/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13978684 memory=91396 CPUtime=1.35 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 13424 0 0 0 131 4 0 0 20 0 15 0 164082741 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3494671 22849 3153 1 0 3482964 0
[pid=28766/tid=28767] ppid=28764 vsize=13978684 memory=116 CPUtime=0.56 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 7802 0 0 0 54 2 0 0 20 0 15 0 164082741 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140434066895584 140433703382751 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13978684 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13978684 memory=9352 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13978684 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082742 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13978684 memory=4600 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28771/stat : 28771 (java) S 28764 28764 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164082742 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433659709968 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28772] ppid=28764 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28772/stat : 28772 (java) S 28764 28764 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164082743 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433540725360 140434062670466 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28773] ppid=28764 vsize=13978684 memory=8320808402720075830 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28773/stat : 28773 (java) S 28764 28764 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164082744 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433539671328 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28774] ppid=28764 vsize=13978684 memory=5861265965526962256 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164082744 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433538618992 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28775] ppid=28764 vsize=13978684 memory=5787776803188794432 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28775/stat : 28775 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082746 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433537567312 140434062677915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28776] ppid=28764 vsize=13978684 memory=8328137078511476104 CPUtime=0.27 cores=1,3,5,7
/proc/28766/task/28776/stat : 28776 (java) S 28764 28764 7084 0 -1 1077944384 1384 0 0 0 27 0 0 0 20 0 15 0 164082746 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433536507184 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28777] ppid=28764 vsize=13978684 memory=-8412656567318647667 CPUtime=0.25 cores=1,3,5,7
/proc/28766/task/28777/stat : 28777 (java) R 28764 28764 7084 0 -1 4202560 1435 0 0 0 25 0 0 0 20 0 15 0 164082746 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433535461360 140434046157906 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28778] ppid=28764 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/28766/task/28778/stat : 28778 (java) R 28764 28764 7084 0 -1 4202560 1497 0 0 0 23 0 0 0 20 0 15 0 164082747 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433534406008 140433703305337 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28779] ppid=28764 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28779/stat : 28779 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082747 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433533356512 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28780] ppid=28764 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28780/stat : 28780 (java) S 28764 28764 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164082751 14314172416 22849 18446744073709551615 4194304 4196468 140727931260432 140433532304304 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 92772 KiB

[startup+1.50298 s]
/proc/loadavg: 3.59 2.85 2.20 5/216 28780
/proc/meminfo: memFree=25430276/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13980732 memory=306172 CPUtime=3.81 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 15616 0 0 0 367 14 0 0 20 0 15 0 164082741 14316269568 76543 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3495183 76543 3214 1 0 3483476 0
[pid=28766/tid=28767] ppid=28764 vsize=13980732 memory=6944656592455097440 CPUtime=1.31 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 8545 0 0 0 126 5 0 0 20 0 15 0 164082741 14316269568 76543 18446744073709551615 4194304 4196468 140727931260432 140434066893952 140433708452414 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13980732 memory=8161 CPUtime=0.03 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 108 0 0 0 2 1 0 0 20 0 15 0 164082742 14316269568 76543 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13980732 memory=6872598998417432672 CPUtime=0.03 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 73 0 0 0 2 1 0 0 20 0 15 0 164082742 14316269568 76543 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13980732 memory=7521995004687799001 CPUtime=0.03 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 15 0 164082742 14316269568 76543 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13980732 memory=-8774313645642428999 CPUtime=0.03 cores=1,3,5,7

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

/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 164082744 14316269568 924725 18446744073709551615 4194304 4196468 140727931260432 140433538619008 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28775] ppid=28764 vsize=13980732 memory=280233328781464 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28775/stat : 28775 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082746 14316269568 924725 18446744073709551615 4194304 4196468 140727931260432 140433537567312 140434062677915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28776] ppid=28764 vsize=13980732 memory=280233329101008 CPUtime=3.85 cores=1,3,5,7
/proc/28766/task/28776/stat : 28776 (java) S 28764 28764 7084 0 -1 1077944384 12539 0 0 0 382 3 0 0 20 0 15 0 164082746 14316269568 924725 18446744073709551615 4194304 4196468 140727931260432 140433536514160 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28777] ppid=28764 vsize=13980732 memory=280233329329680 CPUtime=3.71 cores=1,3,5,7
/proc/28766/task/28777/stat : 28777 (java) S 28764 28764 7084 0 -1 1077944384 10310 0 0 0 369 2 0 0 20 0 15 0 164082746 14316269568 924725 18446744073709551615 4194304 4196468 140727931260432 140433535461360 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28778] ppid=28764 vsize=13980732 memory=116 CPUtime=0.81 cores=1,3,5,7
/proc/28766/task/28778/stat : 28778 (java) S 28764 28764 7084 0 -1 1077944384 5161 0 0 0 80 1 0 0 20 0 15 0 164082747 14316269568 924725 18446744073709551615 4194304 4196468 140727931260432 140433534409072 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28779] ppid=28764 vsize=13980732 memory=245 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28779/stat : 28779 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082747 14316269568 924725 18446744073709551615 4194304 4196468 140727931260432 140433533356512 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28780] ppid=28764 vsize=13980732 memory=215 CPUtime=0.06 cores=1,3,5,7
/proc/28766/task/28780/stat : 28780 (java) S 28764 28764 7084 0 -1 1077944384 399 0 0 0 3 3 0 0 20 0 15 0 164082751 14316269568 924725 18446744073709551615 4194304 4196468 140727931260432 140433532304304 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 134.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3700276 KiB

[startup+162.301 s]
/proc/loadavg: 2.24 2.53 2.18 3/215 28864
/proc/meminfo: memFree=25125932/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13980732 memory=4816628 CPUtime=200.01 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 152920 0 0 0 19600 401 0 0 20 0 15 0 164082741 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3495183 1204157 3260 1 0 3483476 0
[pid=28766/tid=28767] ppid=28764 vsize=13980732 memory=4816624 CPUtime=150.29 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 39273 0 0 0 15013 16 0 0 20 0 15 0 164082741 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140434066895688 140433708480681 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13980732 memory=4816624 CPUtime=9.54 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 22916 0 0 0 868 86 0 0 20 0 15 0 164082742 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13980732 memory=4816624 CPUtime=9.66 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 14890 0 0 0 877 89 0 0 20 0 15 0 164082742 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13980732 memory=4816628 CPUtime=9.6 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 11826 0 0 0 874 86 0 0 20 0 15 0 164082742 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13980732 memory=1376 CPUtime=9.73 cores=1,3,5,7
/proc/28766/task/28771/stat : 28771 (java) S 28764 28764 7084 0 -1 1077944384 19071 0 0 0 883 90 0 0 20 0 15 0 164082742 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433659709968 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28772] ppid=28764 vsize=13980732 memory=4816628 CPUtime=2.34 cores=1,3,5,7
/proc/28766/task/28772/stat : 28772 (java) S 28764 28764 7084 0 -1 1077944384 11871 0 0 0 215 19 0 0 20 0 15 0 164082743 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433540725360 140434062670466 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28773] ppid=28764 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28773/stat : 28773 (java) S 28764 28764 7084 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 164082744 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433539671392 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28774] ppid=28764 vsize=13980732 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 164082744 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433538619008 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28775] ppid=28764 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28775/stat : 28775 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082746 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433537567312 140434062677915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28776] ppid=28764 vsize=13980732 memory=1376 CPUtime=4.03 cores=1,3,5,7
/proc/28766/task/28776/stat : 28776 (java) S 28764 28764 7084 0 -1 1077944384 14461 0 0 0 399 4 0 0 20 0 15 0 164082746 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433536514160 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28777] ppid=28764 vsize=13980732 memory=4816624 CPUtime=3.81 cores=1,3,5,7
/proc/28766/task/28777/stat : 28777 (java) S 28764 28764 7084 0 -1 1077944384 11437 0 0 0 379 2 0 0 20 0 15 0 164082746 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433535461360 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28778] ppid=28764 vsize=13980732 memory=1376 CPUtime=0.82 cores=1,3,5,7
/proc/28766/task/28778/stat : 28778 (java) S 28764 28764 7084 0 -1 1077944384 5443 0 0 0 81 1 0 0 20 0 15 0 164082747 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433534409072 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28779] ppid=28764 vsize=13980732 memory=4816628 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28779/stat : 28779 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082747 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433533356512 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28780] ppid=28764 vsize=13980732 memory=1296 CPUtime=0.09 cores=1,3,5,7
/proc/28766/task/28780/stat : 28780 (java) S 28764 28764 7084 0 -1 1077944384 415 0 0 0 4 5 0 0 20 0 15 0 164082751 14316269568 1204157 18446744073709551615 4194304 4196468 140727931260432 140433532304304 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 200.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4818004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+198.501 s]
/proc/loadavg: 2.46 2.55 2.20 3/221 28882
/proc/meminfo: memFree=23496556/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13980732 memory=5462580 CPUtime=252.04 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 164082 0 0 0 24758 446 0 0 20 0 15 0 164082741 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3495183 1365645 3260 1 0 3483476 0
[pid=28766/tid=28767] ppid=28764 vsize=13980732 memory=5462580 CPUtime=180.01 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 39404 0 0 0 17985 16 0 0 20 0 15 0 164082741 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140434066897544 140433705773053 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13980732 memory=5462580 CPUtime=14.94 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 27198 0 0 0 1399 95 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13980732 memory=5462580 CPUtime=14.93 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 18458 0 0 0 1389 104 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13980732 memory=1376 CPUtime=14.84 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 13388 0 0 0 1388 96 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13980732 memory=1376 CPUtime=14.96 cores=1,3,5,7
/proc/28766/task/28771/stat : 28771 (java) S 28764 28764 7084 0 -1 1077944384 19608 0 0 0 1397 99 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433659709968 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28772] ppid=28764 vsize=13980732 memory=5462580 CPUtime=3.43 cores=1,3,5,7
/proc/28766/task/28772/stat : 28772 (java) S 28764 28764 7084 0 -1 1077944384 12922 0 0 0 323 20 0 0 20 0 15 0 164082743 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433540725360 140434062670466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28773] ppid=28764 vsize=13980732 memory=4816628 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28773/stat : 28773 (java) S 28764 28764 7084 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 164082744 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433539671392 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28774] ppid=28764 vsize=13980732 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 164082744 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433538619008 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28775] ppid=28764 vsize=13980732 memory=69328 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28775/stat : 28775 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082746 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433537567312 140434062677915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28776] ppid=28764 vsize=13980732 memory=960 CPUtime=4.05 cores=1,3,5,7
/proc/28766/task/28776/stat : 28776 (java) S 28764 28764 7084 0 -1 1077944384 14467 0 0 0 401 4 0 0 20 0 15 0 164082746 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433536514160 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28777] ppid=28764 vsize=13980732 memory=1376 CPUtime=3.84 cores=1,3,5,7
/proc/28766/task/28777/stat : 28777 (java) S 28764 28764 7084 0 -1 1077944384 11452 0 0 0 382 2 0 0 20 0 15 0 164082746 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433535461360 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28778] ppid=28764 vsize=13980732 memory=69328 CPUtime=0.83 cores=1,3,5,7
/proc/28766/task/28778/stat : 28778 (java) S 28764 28764 7084 0 -1 1077944384 5451 0 0 0 82 1 0 0 20 0 15 0 164082747 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433534409072 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28779] ppid=28764 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28779/stat : 28779 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082747 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433533356512 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28780] ppid=28764 vsize=13980732 memory=1376 CPUtime=0.12 cores=1,3,5,7
/proc/28766/task/28780/stat : 28780 (java) S 28764 28764 7084 0 -1 1077944384 417 0 0 0 5 7 0 0 20 0 15 0 164082751 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433532304304 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5463956 KiB

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

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

[startup+198.541 s]
# the end of solver process 28766 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.594 s, system=4.49706 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+198.501 s]
/proc/loadavg: 2.46 2.55 2.20 3/221 28882
/proc/meminfo: memFree=23496556/32770624 swapFree=67108776/67108860
[pid=28764] ppid=28761 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28764/stat : 28764 (xcsp3-exec) S 28761 28764 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164082733 9740288 344 18446744073709551615 4194304 5098028 140735682714592 140735682712696 139726419145340 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 30248960 140735682716032 140735682716234 140735682716234 140735682719723 0
/proc/28764/statm: 2378 344 289 221 0 87 0
[pid=28766] ppid=28764 vsize=13980732 memory=5462580 CPUtime=252.04 cores=1,3,5,7
/proc/28766/stat : 28766 (java) S 28764 28764 7084 0 -1 1077944320 164082 0 0 0 24758 446 0 0 20 0 15 0 164082741 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140727931242976 140434062659319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
/proc/28766/statm: 3495183 1365645 3260 1 0 3483476 0
[pid=28766/tid=28767] ppid=28764 vsize=13980732 memory=5462580 CPUtime=180.01 cores=1,3,5,7
/proc/28766/task/28767/stat : 28767 (java) R 28764 28764 7084 0 -1 4202560 39404 0 0 0 17985 16 0 0 20 0 15 0 164082741 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140434066897544 140433705773053 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28768] ppid=28764 vsize=13980732 memory=5462580 CPUtime=14.94 cores=1,3,5,7
/proc/28766/task/28768/stat : 28768 (java) S 28764 28764 7084 0 -1 1077944384 27198 0 0 0 1399 95 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140434023557520 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28769] ppid=28764 vsize=13980732 memory=5462580 CPUtime=14.93 cores=1,3,5,7
/proc/28766/task/28769/stat : 28769 (java) S 28764 28764 7084 0 -1 1077944384 18458 0 0 0 1389 104 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433661815056 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28770] ppid=28764 vsize=13980732 memory=1376 CPUtime=14.84 cores=1,3,5,7
/proc/28766/task/28770/stat : 28770 (java) S 28764 28764 7084 0 -1 1077944384 13388 0 0 0 1388 96 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433660762768 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28771] ppid=28764 vsize=13980732 memory=1376 CPUtime=14.96 cores=1,3,5,7
/proc/28766/task/28771/stat : 28771 (java) S 28764 28764 7084 0 -1 1077944384 19608 0 0 0 1397 99 0 0 20 0 15 0 164082742 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433659709968 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28772] ppid=28764 vsize=13980732 memory=5462580 CPUtime=3.43 cores=1,3,5,7
/proc/28766/task/28772/stat : 28772 (java) S 28764 28764 7084 0 -1 1077944384 12922 0 0 0 323 20 0 0 20 0 15 0 164082743 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433540725360 140434062670466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28773] ppid=28764 vsize=13980732 memory=4816628 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28773/stat : 28773 (java) S 28764 28764 7084 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 164082744 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433539671392 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28774] ppid=28764 vsize=13980732 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28774/stat : 28774 (java) S 28764 28764 7084 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 164082744 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433538619008 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28775] ppid=28764 vsize=13980732 memory=69328 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28775/stat : 28775 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082746 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433537567312 140434062677915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28776] ppid=28764 vsize=13980732 memory=960 CPUtime=4.05 cores=1,3,5,7
/proc/28766/task/28776/stat : 28776 (java) S 28764 28764 7084 0 -1 1077944384 14467 0 0 0 401 4 0 0 20 0 15 0 164082746 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433536514160 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28777] ppid=28764 vsize=13980732 memory=1376 CPUtime=3.84 cores=1,3,5,7
/proc/28766/task/28777/stat : 28777 (java) S 28764 28764 7084 0 -1 1077944384 11452 0 0 0 382 2 0 0 20 0 15 0 164082746 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433535461360 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28778] ppid=28764 vsize=13980732 memory=69328 CPUtime=0.83 cores=1,3,5,7
/proc/28766/task/28778/stat : 28778 (java) S 28764 28764 7084 0 -1 1077944384 5451 0 0 0 82 1 0 0 20 0 15 0 164082747 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433534409072 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28779] ppid=28764 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/28766/task/28779/stat : 28779 (java) S 28764 28764 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164082747 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433533356512 140434062669525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
[pid=28766/tid=28780] ppid=28764 vsize=13980732 memory=1376 CPUtime=0.12 cores=1,3,5,7
/proc/28766/task/28780/stat : 28780 (java) S 28764 28764 7084 0 -1 1077944384 417 0 0 0 5 7 0 0 20 0 15 0 164082751 14316269568 1365645 18446744073709551615 4194304 4196468 140727931260432 140433532304304 140434062670466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26763264 140727931261367 140727931261542 140727931261542 140727931264975 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5463956 KiB

Child status: 143
Real time (s): 198.542
CPU time (s): 252.091
CPU user time (s): 247.594
CPU system time (s): 4.49706
CPU usage (%): 126.972
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 5463956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.594
system time used= 4.49706
maximum resident set size= 5463580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8716
involuntary context switches= 713


# summary of solver processes directly reported to runsolver:
#   pid: 28764,28766
#   total CPU time (s): 252.091
#   total CPU user time (s): 247.594
#   total CPU system time (s): 4.49706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3084 second user time and 1.98819 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-13 18:57:15
IDJOB=4255036
IDBENCH=126242
IDSOLVER=2637
FILE ID=node132/4255036-1502644300
RUNJOBID= node132-1502642281-27769
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-27-a4.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-4255036-1502644300/watcher-4255036-1502644300 -o /tmp/evaluation-result-4255036-1502644300/solver-4255036-1502644300 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27769 --watchdog 312  ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 88281900 HOME/instance-4255036-1502644300.xml

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

MD5SUM BENCH= 4a6b886165f8d6d7f8f178d50db8a3de
RANDOM SEED=88281900

node132.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.74
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.74
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.74
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.74
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:        25628348 kB
MemAvailable:   25929672 kB
Buffers:          230768 kB
Cached:           395672 kB
SwapCached:           84 kB
Active:          6530836 kB
Inactive:         196812 kB
Active(anon):    6048936 kB
Inactive(anon):   101908 kB
Active(file):     481900 kB
Inactive(file):    94904 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108776 kB
Dirty:             10232 kB
Writeback:             4 kB
AnonPages:       6105264 kB
Mapped:            77224 kB
Shmem:             49768 kB
Slab:             108000 kB
SReclaimable:      80708 kB
SUnreclaim:        27292 kB
KernelStack:        3776 kB
PageTables:        16972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7929996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5906432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62012 MiB
End job on node132 at 2017-08-13 19:00:33