Trace number 4282317

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 NameAnswerCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-18)? (TO) 2520.05 2507.03

General information on the benchmark

NameMagicSquare/MagicSquare-sum-s1/
MagicSquare-18-sum.xml
MD5SUM40b0c6db816080e4c80df053621860bd
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18989.6
Satisfiable
(Un)Satisfiability was proved
Number of variables324
Number of constraints39
Number of domains1
Minimum domain size324
Maximum domain size324
Distribution of domain sizes[{"size":324,"count":324}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":288},{"degree":4,"count":36}]
Minimum constraint arity18
Maximum constraint arity324
Distribution of constraint arities[{"arity":18,"count":38},{"arity":324,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":38}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282317-1503137642.xml"  -tl '2520s' -p 1 -x 0
0.11/0.26	c [HOME/instance-4282317-1503137642.xml, -tl, 2520s, -p, 1, -x, 0]
0.32/0.32	c simple solver
0.32/0.38	c parse instance...
0.68/0.57	c solve instance...
2520.01/2507.01	s UNKNOWN
2520.01/2507.01	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14833 MiB free)
  memory of node 1: 16384 MiB (15443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282317-1503137642/watcher-4282317-1503137642 -o /tmp/evaluation-result-4282317-1503137642/solver-4282317-1503137642 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 299606920 HOME/instance-4282317-1503137642.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=3832, runsolver pid=3829

[startup+0.101953 s]*
/proc/loadavg: 1.44 1.40 1.42 3/203 3840
/proc/meminfo: memFree=30996356/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13574484 memory=16420 CPUtime=0.02 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 3943 0 0 0 2 0 0 0 20 0 9 0 115957231 13900271616 4105 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3393621 4105 2066 1 0 3383118 0
[pid=3834/tid=3835] ppid=3832 vsize=13574484 memory=1404226546252096138 CPUtime=0.01 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 2686 0 0 0 1 0 0 0 20 0 9 0 115957231 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140082454733320 140082434577758 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 115957232 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13574484 memory=140532584007296 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 115957232 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 115957232 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3839/stat : 3839 (java) S 3832 3832 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 115957232 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140082381773840 140082450507477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3840] ppid=3832 vsize=13574484 memory=140532584007296 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3840/stat : 3840 (java) S 3832 3832 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 115957233 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140081366935664 140082450508418 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3841] ppid=3832 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3841/stat : 3841 (java) S 3832 3832 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 115957233 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140081297875744 140082450507477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3842] ppid=3832 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 115957234 13900271616 4170 18446744073709551615 4194304 4196468 140724388578208 140081296823472 140082450507477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17800 KiB

[startup+0.209905 s]*
/proc/loadavg: 1.44 1.40 1.42 3/211 3848
/proc/meminfo: memFree=30986548/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13974352 memory=28004 CPUtime=0.11 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 5418 0 0 0 10 1 0 0 20 0 15 0 115957231 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3493588 7001 2850 1 0 3482964 0
[pid=3834/tid=3835] ppid=3832 vsize=13974352 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 3447 0 0 0 8 1 0 0 20 0 15 0 115957231 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140082454719520 140082432061642 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13974352 memory=4294981025 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13974352 memory=140532584027681 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3839/stat : 3839 (java) S 3832 3832 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140082381773840 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3840] ppid=3832 vsize=13974352 memory=140532584007296 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3840/stat : 3840 (java) S 3832 3832 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115957233 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081366935664 140082450508418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3841] ppid=3832 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3841/stat : 3841 (java) S 3832 3832 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115957233 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081297875744 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3842] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115957234 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081296823408 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3843] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3843/stat : 3843 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081295771728 140082450515867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3844] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3844/stat : 3844 (java) S 3832 3832 28892 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 115957236 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081294719600 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3845] ppid=3832 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3845/stat : 3845 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081293666800 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3846] ppid=3832 vsize=13974352 memory=140532584007296 CPUtime=0.01 cores=1,3,5,7
/proc/3834/task/3846/stat : 3846 (java) S 3832 3832 28892 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 15 0 115957236 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081292614512 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3847] ppid=3832 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3847/stat : 3847 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081291561952 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3848] ppid=3832 vsize=13974352 memory=140532584007296 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3848/stat : 3848 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957241 14309736448 7001 18446744073709551615 4194304 4196468 140724388578208 140081290508720 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29384 KiB

[startup+0.310875 s]*
/proc/loadavg: 1.44 1.40 1.42 5/211 3848
/proc/meminfo: memFree=30974076/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13974352 memory=39716 CPUtime=0.32 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 9114 0 0 0 29 3 0 0 20 0 15 0 115957231 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3493588 9929 3040 1 0 3482964 0
[pid=3834/tid=3835] ppid=3832 vsize=13974352 memory=6933928925625698159 CPUtime=0.19 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 6269 0 0 0 17 2 0 0 20 0 15 0 115957231 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140082454731216 140082434577758 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3839/stat : 3839 (java) S 3832 3832 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115957232 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140082381773840 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3840] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3840/stat : 3840 (java) S 3832 3832 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115957233 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081366935664 140082450508418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3841] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3841/stat : 3841 (java) S 3832 3832 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115957233 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081297875744 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3842] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115957234 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081296823408 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3843] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3843/stat : 3843 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081295771728 140082450515867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3844] ppid=3832 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3834/task/3844/stat : 3844 (java) S 3832 3832 28892 0 -1 1077944384 729 0 0 0 3 0 0 0 20 0 15 0 115957236 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081294719600 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3845] ppid=3832 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3834/task/3845/stat : 3845 (java) S 3832 3832 28892 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 115957236 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081293666800 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3846] ppid=3832 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3834/task/3846/stat : 3846 (java) R 3832 3832 28892 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 15 0 115957236 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081292614512 140082429046322 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3847] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3847/stat : 3847 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081291561952 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3848] ppid=3832 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3848/stat : 3848 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957241 14309736448 9929 18446744073709551615 4194304 4196468 140724388578208 140081290508720 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41096 KiB

[startup+0.700787 s]
/proc/loadavg: 1.44 1.40 1.42 4/211 3848
/proc/meminfo: memFree=30964404/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13980732 memory=65660 CPUtime=1.21 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 13022 0 0 0 117 4 0 0 20 0 15 0 115957231 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3495183 16415 3178 1 0 3483476 0
[pid=3834/tid=3835] ppid=3832 vsize=13980732 memory=5 CPUtime=0.56 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 8452 0 0 0 53 3 0 0 20 0 15 0 115957231 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140082454725728 140082055859121 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13980732 memory=39 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13980732 memory=746 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3839/stat : 3839 (java) S 3832 3832 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115957232 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140082381773840 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3840] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3840/stat : 3840 (java) S 3832 3832 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115957233 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081366935664 140082450508418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3841] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3841/stat : 3841 (java) S 3832 3832 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115957233 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081297875744 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3842] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115957234 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081296823408 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3843] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3843/stat : 3843 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081295771728 140082450515867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3844] ppid=3832 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/3834/task/3844/stat : 3844 (java) R 3832 3832 28892 0 -1 4202560 1182 0 0 0 19 0 0 0 20 0 15 0 115957236 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081294708400 140082432015159 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3845] ppid=3832 vsize=13980732 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3834/task/3845/stat : 3845 (java) R 3832 3832 28892 0 -1 4202560 703 0 0 0 21 0 0 0 20 0 15 0 115957236 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081293666800 140082432041822 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3846] ppid=3832 vsize=13980732 memory=26 CPUtime=0.23 cores=1,3,5,7
/proc/3834/task/3846/stat : 3846 (java) S 3832 3832 28892 0 -1 1077944384 1378 0 0 0 23 0 0 0 20 0 15 0 115957236 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081292614512 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3847] ppid=3832 vsize=13980732 memory=79 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3847/stat : 3847 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081291561952 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3848] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3848/stat : 3848 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957241 14316269568 16415 18446744073709551615 4194304 4196468 140724388578208 140081290508720 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67040 KiB

[startup+1.5008 s]
/proc/loadavg: 1.44 1.40 1.42 5/211 3848
/proc/meminfo: memFree=30919668/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13980732 memory=138388 CPUtime=3.53 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 21187 0 0 0 346 7 0 0 20 0 15 0 115957231 14316269568 34597 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3495183 34597 3189 1 0 3483476 0
[pid=3834/tid=3835] ppid=3832 vsize=13980732 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 9418 0 0 0 131 5 0 0 20 0 15 0 115957231 14316269568 34597 18446744073709551615 4194304 4196468 140724388578208 140082454734448 140082056490173 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13980732 memory=7377570664425154384 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14316269568 34597 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13980732 memory=5864058694711464016 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14316269568 34597 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13980732 memory=281064941638816 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115957232 14316269568 34597 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13980732 memory=7811044310603950144 CPUtime=0 cores=1,3,5,7

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

/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 115957234 14316269568 1672234 18446744073709551615 4194304 4196468 140724388578208 140081296823408 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3843] ppid=3832 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3843/stat : 3843 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 1672234 18446744073709551615 4194304 4196468 140724388578208 140081295771728 140082450515867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3844] ppid=3832 vsize=13980732 memory=1380 CPUtime=1.46 cores=1,3,5,7
/proc/3834/task/3844/stat : 3844 (java) S 3832 3832 28892 0 -1 1077944384 7509 0 0 0 145 1 0 0 20 0 15 0 115957236 14316269568 1672234 18446744073709551615 4194304 4196468 140724388578208 140081294719600 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3845] ppid=3832 vsize=13980732 memory=1380 CPUtime=1.59 cores=1,3,5,7
/proc/3834/task/3845/stat : 3845 (java) S 3832 3832 28892 0 -1 1077944384 8687 0 0 0 158 1 0 0 20 0 15 0 115957236 14316269568 1672234 18446744073709551615 4194304 4196468 140724388578208 140081293666800 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3846] ppid=3832 vsize=13980732 memory=6438100 CPUtime=0.42 cores=1,3,5,7
/proc/3834/task/3846/stat : 3846 (java) S 3832 3832 28892 0 -1 1077944384 5456 0 0 0 41 1 0 0 20 0 15 0 115957236 14316269568 1672234 18446744073709551615 4194304 4196468 140724388578208 140081292614512 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3847] ppid=3832 vsize=13980732 memory=6413428 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3847/stat : 3847 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 1672234 18446744073709551615 4194304 4196468 140724388578208 140081291561952 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3848] ppid=3832 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/3834/task/3848/stat : 3848 (java) S 3832 3832 28892 0 -1 1077944384 1129 0 0 0 52 68 0 0 20 0 15 0 115957241 14316269568 1672234 18446744073709551615 4194304 4196468 140724388578208 140081290508720 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 2393.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6690316 KiB

[startup+2442.3 s]
/proc/loadavg: 1.31 1.42 1.41 3/215 4108
/proc/meminfo: memFree=30401020/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13980732 memory=552020 CPUtime=2454.99 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 116604 0 0 0 245240 259 0 0 20 0 15 0 115957231 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3495183 138005 3248 1 0 3483476 0
[pid=3834/tid=3835] ppid=3832 vsize=13980732 memory=551932 CPUtime=2437.97 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 39181 0 0 0 243670 127 0 0 20 0 15 0 115957231 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140082454736224 140082057532203 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13980732 memory=7118120 CPUtime=2.87 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 12400 0 0 0 270 17 0 0 20 0 15 0 115957232 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13980732 memory=7144840 CPUtime=2.88 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 8023 0 0 0 271 17 0 0 20 0 15 0 115957232 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13980732 memory=551932 CPUtime=2.86 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 10291 0 0 0 272 14 0 0 20 0 15 0 115957232 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13980732 memory=1380 CPUtime=2.86 cores=1,3,5,7
/proc/3834/task/3839/stat : 3839 (java) S 3832 3832 28892 0 -1 1077944384 12765 0 0 0 268 18 0 0 20 0 15 0 115957232 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140082381773840 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3840] ppid=3832 vsize=13980732 memory=552020 CPUtime=0.76 cores=1,3,5,7
/proc/3834/task/3840/stat : 3840 (java) S 3832 3832 28892 0 -1 1077944384 9769 0 0 0 65 11 0 0 20 0 15 0 115957233 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081366935664 140082450508418 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3841] ppid=3832 vsize=13980732 memory=552020 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3841/stat : 3841 (java) S 3832 3832 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115957233 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081297875744 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3842] ppid=3832 vsize=13980732 memory=552020 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 115957234 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081296823408 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3843] ppid=3832 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3843/stat : 3843 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081295771728 140082450515867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3844] ppid=3832 vsize=13980732 memory=552020 CPUtime=1.46 cores=1,3,5,7
/proc/3834/task/3844/stat : 3844 (java) S 3832 3832 28892 0 -1 1077944384 7512 0 0 0 145 1 0 0 20 0 15 0 115957236 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081294719600 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3845] ppid=3832 vsize=13980732 memory=1380 CPUtime=1.59 cores=1,3,5,7
/proc/3834/task/3845/stat : 3845 (java) S 3832 3832 28892 0 -1 1077944384 8689 0 0 0 158 1 0 0 20 0 15 0 115957236 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081293666800 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3846] ppid=3832 vsize=13980732 memory=7294932 CPUtime=0.42 cores=1,3,5,7
/proc/3834/task/3846/stat : 3846 (java) S 3832 3832 28892 0 -1 1077944384 5458 0 0 0 41 1 0 0 20 0 15 0 115957236 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081292614512 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3847] ppid=3832 vsize=13980732 memory=140532470894757 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3847/stat : 3847 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081291561952 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3848] ppid=3832 vsize=13980732 memory=1380 CPUtime=1.23 cores=1,3,5,7
/proc/3834/task/3848/stat : 3848 (java) S 3832 3832 28892 0 -1 1077944384 1162 0 0 0 53 70 0 0 20 0 15 0 115957241 14316269568 138005 18446744073709551615 4194304 4196468 140724388578208 140081290508720 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 2454.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 553400 KiB

[startup+2502.3 s]
/proc/loadavg: 1.37 1.42 1.41 3/215 4185
/proc/meminfo: memFree=29872788/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13980732 memory=1102592 CPUtime=2515.29 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 124057 0 0 0 251257 272 0 0 20 0 15 0 115957231 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3495183 275648 3248 1 0 3483476 0
[pid=3834/tid=3835] ppid=3832 vsize=13980732 memory=1077916 CPUtime=2497.86 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 42096 0 0 0 249649 137 0 0 20 0 15 0 115957231 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140082454736904 140082057532292 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13980732 memory=945520 CPUtime=2.95 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 13071 0 0 0 278 17 0 0 20 0 15 0 115957232 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13980732 memory=945520 CPUtime=2.97 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 8603 0 0 0 280 17 0 0 20 0 15 0 115957232 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13980732 memory=1022120 CPUtime=2.95 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 11421 0 0 0 281 14 0 0 20 0 15 0 115957232 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13980732 memory=1077916 CPUtime=2.95 cores=1,3,5,7
/proc/3834/task/3839/stat : 3839 (java) S 3832 3832 28892 0 -1 1077944384 13417 0 0 0 277 18 0 0 20 0 15 0 115957232 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140082381773840 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3840] ppid=3832 vsize=13980732 memory=1380 CPUtime=0.77 cores=1,3,5,7
/proc/3834/task/3840/stat : 3840 (java) S 3832 3832 28892 0 -1 1077944384 11213 0 0 0 66 11 0 0 20 0 15 0 115957233 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081366935664 140082450508418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3841] ppid=3832 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3841/stat : 3841 (java) S 3832 3832 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115957233 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081297875744 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3842] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 115957234 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081296823408 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3843] ppid=3832 vsize=13980732 memory=1022120 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3843/stat : 3843 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081295771728 140082450515867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3844] ppid=3832 vsize=13980732 memory=15880 CPUtime=1.46 cores=1,3,5,7
/proc/3834/task/3844/stat : 3844 (java) S 3832 3832 28892 0 -1 1077944384 7517 0 0 0 145 1 0 0 20 0 15 0 115957236 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081294719600 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3845] ppid=3832 vsize=13980732 memory=970720 CPUtime=1.59 cores=1,3,5,7
/proc/3834/task/3845/stat : 3845 (java) S 3832 3832 28892 0 -1 1077944384 8693 0 0 0 158 1 0 0 20 0 15 0 115957236 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081293666800 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3846] ppid=3832 vsize=13980732 memory=1380 CPUtime=0.42 cores=1,3,5,7
/proc/3834/task/3846/stat : 3846 (java) S 3832 3832 28892 0 -1 1077944384 5462 0 0 0 41 1 0 0 20 0 15 0 115957236 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081292614512 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3847] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3847/stat : 3847 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081291561952 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3848] ppid=3832 vsize=13980732 memory=7590931986800732265 CPUtime=1.26 cores=1,3,5,7
/proc/3834/task/3848/stat : 3848 (java) S 3832 3832 28892 0 -1 1077944384 1210 0 0 0 54 72 0 0 20 0 15 0 115957241 14316269568 275648 18446744073709551615 4194304 4196468 140724388578208 140081290508720 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 2515.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1103972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]*
/proc/loadavg: 1.34 1.41 1.41 3/215 4185
/proc/meminfo: memFree=29796020/32770624 swapFree=67108860/67108860
[pid=3832] ppid=3829 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3832/stat : 3832 (xcsp3-exec) S 3829 3832 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115957223 9740288 345 18446744073709551615 4194304 5098028 140734665553216 140734665551320 139826505294460 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26185728 140734665560441 140734665560645 140734665560645 140734665564139 0
/proc/3832/statm: 2378 345 289 221 0 87 0
[pid=3834] ppid=3832 vsize=13980732 memory=1154248 CPUtime=2520.01 cores=1,3,5,7
/proc/3834/stat : 3834 (java) S 3832 3832 28892 0 -1 1077944320 124323 0 0 0 251729 272 0 0 20 0 15 0 115957231 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140724388560752 140082450497271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
/proc/3834/statm: 3495183 288562 3248 1 0 3483476 0
[pid=3834/tid=3835] ppid=3832 vsize=13980732 memory=6933928925625698159 CPUtime=2502.56 cores=1,3,5,7
/proc/3834/task/3835/stat : 3835 (java) R 3832 3832 28892 0 -1 4202560 42176 0 0 0 250119 137 0 0 20 0 15 0 115957231 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140082454736560 140082057532266 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3836] ppid=3832 vsize=13980732 memory=4126316290023845779 CPUtime=2.96 cores=1,3,5,7
/proc/3834/task/3836/stat : 3836 (java) S 3832 3832 28892 0 -1 1077944384 13095 0 0 0 279 17 0 0 20 0 15 0 115957232 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140082384931728 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3837] ppid=3832 vsize=13980732 memory=5933605120526410856 CPUtime=2.98 cores=1,3,5,7
/proc/3834/task/3837/stat : 3837 (java) S 3832 3832 28892 0 -1 1077944384 8687 0 0 0 281 17 0 0 20 0 15 0 115957232 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140082383878928 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3838] ppid=3832 vsize=13980732 memory=8242832241811678803 CPUtime=2.95 cores=1,3,5,7
/proc/3834/task/3838/stat : 3838 (java) S 3832 3832 28892 0 -1 1077944384 11473 0 0 0 281 14 0 0 20 0 15 0 115957232 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140082382826640 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3839] ppid=3832 vsize=13980732 memory=-8813974798734826869 CPUtime=2.95 cores=1,3,5,7
/proc/3834/task/3839/stat : 3839 (java) S 3832 3832 28892 0 -1 1077944384 13442 0 0 0 277 18 0 0 20 0 15 0 115957232 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140082381773840 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3840] ppid=3832 vsize=13980732 memory=7100839852926015589 CPUtime=0.77 cores=1,3,5,7
/proc/3834/task/3840/stat : 3840 (java) S 3832 3832 28892 0 -1 1077944384 11214 0 0 0 66 11 0 0 20 0 15 0 115957233 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081366935664 140082450508418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3841] ppid=3832 vsize=13980732 memory=-8412660973921868403 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3841/stat : 3841 (java) S 3832 3832 28892 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115957233 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081297875744 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3842] ppid=3832 vsize=13980732 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3842/stat : 3842 (java) S 3832 3832 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 115957234 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081296823408 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3843] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3843/stat : 3843 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081295771728 140082450515867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3844] ppid=3832 vsize=13980732 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/3834/task/3844/stat : 3844 (java) S 3832 3832 28892 0 -1 1077944384 7517 0 0 0 145 1 0 0 20 0 15 0 115957236 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081294719600 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3845] ppid=3832 vsize=13980732 memory=0 CPUtime=1.59 cores=1,3,5,7
/proc/3834/task/3845/stat : 3845 (java) S 3832 3832 28892 0 -1 1077944384 8693 0 0 0 158 1 0 0 20 0 15 0 115957236 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081293666800 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3846] ppid=3832 vsize=13980732 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/3834/task/3846/stat : 3846 (java) S 3832 3832 28892 0 -1 1077944384 5462 0 0 0 41 1 0 0 20 0 15 0 115957236 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081292614512 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3847] ppid=3832 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3834/task/3847/stat : 3847 (java) S 3832 3832 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115957236 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081291561952 140082450507477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
[pid=3834/tid=3848] ppid=3832 vsize=13980732 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/3834/task/3848/stat : 3848 (java) S 3832 3832 28892 0 -1 1077944384 1210 0 0 0 55 72 0 0 20 0 15 0 115957241 14316269568 288562 18446744073709551615 4194304 4196468 140724388578208 140081290508720 140082450508418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32579584 140724388581809 140724388581985 140724388581985 140724388585423 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1155628 KiB

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

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

[startup+2507.03 s]
# the end of solver process 3834 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.31 s, system=2.74082 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2507.03
CPU time (s): 2520.05
CPU user time (s): 2517.31
CPU system time (s): 2.74082
CPU usage (%): 100.52
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 7550848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.31
system time used= 2.74082
maximum resident set size= 7551548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71094
involuntary context switches= 2152


# summary of solver processes directly reported to runsolver:
#   pid: 3832,3834
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2517.31
#   total CPU system time (s): 2.74082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9016 second user time and 23.6194 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-19 11:59:51
IDJOB=4282317
IDBENCH=133230
IDSOLVER=2677
FILE ID=node127/4282317-1503137642
RUNJOBID= node127-1503095799-28951
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/MagicSquare/MagicSquare-sum-s1/MagicSquare-18-sum.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-4282317-1503137642/watcher-4282317-1503137642 -o /tmp/evaluation-result-4282317-1503137642/solver-4282317-1503137642 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28951 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 299606920 HOME/instance-4282317-1503137642.xml

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

MD5SUM BENCH= 40b0c6db816080e4c80df053621860bd
RANDOM SEED=299606920

node127.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.92
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.92
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.92
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.92
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:        31003652 kB
MemAvailable:   31832548 kB
Buffers:          297216 kB
Cached:           833628 kB
SwapCached:            0 kB
Active:           947848 kB
Inactive:         370188 kB
Active(anon):     137828 kB
Inactive(anon):    99188 kB
Active(file):     810020 kB
Inactive(file):   271000 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7884 kB
Writeback:             4 kB
AnonPages:        186980 kB
Mapped:            73216 kB
Shmem:             49828 kB
Slab:             153836 kB
SReclaimable:     127424 kB
SUnreclaim:        26412 kB
KernelStack:        3440 kB
PageTables:         5924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1185660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node127 at 2017-08-19 12:41:38