Trace number 4393467

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 2019-06-14 parallelSAT 7.15694 1.99579

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-5-3-4-cp.xml
MD5SUMfefd0dc8744a7f984307705d377cf1e3
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 benchmark0.123382
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints636
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":60}]
Minimum variable degree44
Maximum variable degree45
Distribution of variable degrees[{"degree":44,"count":45},{"degree":45,"count":15}]
Minimum constraint arity4
Maximum constraint arity60
Distribution of constraint arities[{"arity":4,"count":630},{"arity":15,"count":5},{"arity":60,"count":1}]
Number of extensional constraints0
Number of intensional constraints630
Distribution of constraint types[{"type":"intension","count":630},{"type":"lex","count":1},{"type":"cardinality","count":4},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393467-1568426964.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393467-1568426964.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
5.29/1.72	c solve instance...
5.82/1.89	s SATISFIABLE
5.82/1.89	v <instantiation>
5.82/1.89	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] </list>
5.82/1.89	v 	<values>0 0 0 1 1 1 2 2 2 3 3 3 4 4 4 0 1 2 1 3 4 0 1 2 0 3 4 2 3 4 1 3 4 2 3 0 2 4 3 0 1 2 0 4 1 1 3 4 2 4 1 3 0 1 0 2 4 2 3 0 </values>
5.82/1.89	v </instantiation>

Verifier Data 

OK

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 (15013 MiB free)
  memory of node 1: 16384 MiB (15583 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393467-1568426964/watcher-4393467-1568426964 -o /tmp/evaluation-result-4393467-1568426964/solver-4393467-1568426964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1838298106 HOME/instance-4393467-1568426964.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3673, runsolver pid=3670
Current StackSize limit: 8192 KiB


[startup+0.100169 s]*
/proc/loadavg: 6.92 8.22 8.25 2/211 3694
/proc/meminfo: memFree=31315476/32770624 swapFree=66996976/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 3266 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418949446 115843072 364 33554432000 4194304 5098028 140721236592496 140721236590600 140124591469180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13885440 140721236595573 140721236595817 140721236595817 140721236598730 0
/proc/3673/statm: 28282 364 305 221 0 87 0
[pid=3675] ppid=3673 vsize=28227388 memory=29044 CPUtime=0.12 cores=0-7
/proc/3675/stat : 3675 (java) S 3673 3673 3266 0 -1 1077944320 5686 0 0 0 11 1 0 0 20 0 20 0 418949447 28904845312 7261 33554432000 4194304 4196468 140725423197392 140725423179936 140645931429623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
/proc/3675/statm: 7056847 7261 3142 1 0 7019032 0
[pid=3675/tid=3676] ppid=3673 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 3266 0 -1 4202560 3586 0 0 0 8 0 0 0 20 0 20 0 418949447 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645935668864 140645566110780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3677] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645887982352 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3678] ppid=3673 vsize=28227388 memory=3474158629810067104 CPUtime=0 cores=0-7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645886929808 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3679] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645885877264 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3680] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645480127632 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3681] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645479074064 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3682] ppid=3673 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645478021520 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3683] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645476968976 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3684] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 7261 33554432000 4194304 4196468 140725423197392 140645475916432 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3685] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949449 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644127017456 140645931440770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3686] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 3266 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418949450 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644125963680 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3687] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418949450 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644124911088 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3688] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949452 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644123859664 140645931448219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3689] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 3266 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 418949452 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644122806256 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3690] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3690/stat : 3690 (java) R 3673 3673 3266 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 418949452 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644121753712 140645931440770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3691] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3691/stat : 3691 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949452 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644120701168 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3692] ppid=3673 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3675/task/3692/stat : 3692 (java) S 3673 3673 3266 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 418949452 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644119648624 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3693] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3693/stat : 3693 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949453 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644118596320 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3694] ppid=3673 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3675/task/3694/stat : 3694 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949453 28904845312 7261 33554432000 4194304 4196468 140725423197392 140644117543856 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30500 KiB

[startup+0.210619 s]*
/proc/loadavg: 6.92 8.22 8.25 2/211 3694
/proc/meminfo: memFree=31301452/32770624 swapFree=66996976/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 3266 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418949446 115843072 364 33554432000 4194304 5098028 140721236592496 140721236590600 140124591469180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13885440 140721236595573 140721236595817 140721236595817 140721236598730 0
/proc/3673/statm: 28282 364 305 221 0 87 0
[pid=3675] ppid=3673 vsize=28227388 memory=40876 CPUtime=0.34 cores=0-7
/proc/3675/stat : 3675 (java) S 3673 3673 3266 0 -1 1077944320 9496 0 0 0 31 3 0 0 20 0 20 0 418949447 28904845312 10219 33554432000 4194304 4196468 140725423197392 140725423179936 140645931429623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
/proc/3675/statm: 7056847 10219 3266 1 0 7019032 0
[pid=3675/tid=3676] ppid=3673 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 3266 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 20 0 418949447 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645935659344 140645915510110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3677] ppid=3673 vsize=28227388 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645887982352 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3678] ppid=3673 vsize=28227388 memory=140354135100035 CPUtime=0 cores=0-7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645886929808 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3679] ppid=3673 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645885877264 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3680] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645480127632 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3681] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645479074064 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3682] ppid=3673 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645478021520 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3683] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645476968976 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3684] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28904845312 10219 33554432000 4194304 4196468 140725423197392 140645475916432 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3685] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418949449 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644127017456 140645931440770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3686] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 3266 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418949450 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644125963680 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3687] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418949450 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644124911088 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3688] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949452 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644123859664 140645931448219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3689] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 3266 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 20 0 418949452 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644122806256 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3690] ppid=3673 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3675/task/3690/stat : 3690 (java) S 3673 3673 3266 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 418949452 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644121753712 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3691] ppid=3673 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/3675/task/3691/stat : 3691 (java) R 3673 3673 3266 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 20 0 418949452 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644120701168 140645931440770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3692] ppid=3673 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/3675/task/3692/stat : 3692 (java) R 3673 3673 3266 0 -1 4202560 768 0 0 0 7 0 0 0 20 0 20 0 418949452 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644119648624 140645910565561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3693] ppid=3673 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3693/stat : 3693 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949453 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644118596320 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3694] ppid=3673 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3675/task/3694/stat : 3694 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949453 28904845312 10219 33554432000 4194304 4196468 140725423197392 140644117543856 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42332 KiB

[startup+0.311326 s]*
/proc/loadavg: 6.92 8.22 8.25 4/211 3694
/proc/meminfo: memFree=31295792/32770624 swapFree=66996976/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 3266 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418949446 115843072 364 33554432000 4194304 5098028 140721236592496 140721236590600 140124591469180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13885440 140721236595573 140721236595817 140721236595817 140721236598730 0
/proc/3673/statm: 28282 364 305 221 0 87 0
[pid=3675] ppid=3673 vsize=28231644 memory=50060 CPUtime=0.52 cores=0-7
/proc/3675/stat : 3675 (java) S 3673 3673 3266 0 -1 1077944320 10873 0 0 0 49 3 0 0 20 0 20 0 418949447 28909203456 12515 33554432000 4194304 4196468 140725423197392 140725423179936 140645931429623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
/proc/3675/statm: 7057911 12515 3311 1 0 7019032 0
[pid=3675/tid=3676] ppid=3673 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 3266 0 -1 4202560 7755 0 0 0 28 2 0 0 20 0 20 0 418949447 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645935661904 140645913015143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3677] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645887982352 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3678] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645886929808 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3679] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645885877264 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3680] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645480127632 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3681] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645479074064 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3682] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645478021520 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3683] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645476968976 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3684] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28909203456 12515 33554432000 4194304 4196468 140725423197392 140645475916432 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3685] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 3266 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418949449 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644127017456 140645931440770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3686] ppid=3673 vsize=28231644 memory=280708056817024 CPUtime=0 cores=0-7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 3266 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418949450 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644125963680 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3687] ppid=3673 vsize=28231644 memory=280708056821632 CPUtime=0 cores=0-7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418949450 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644124911088 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3688] ppid=3673 vsize=28231644 memory=280708056826240 CPUtime=0 cores=0-7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949452 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644123859664 140645931448219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3689] ppid=3673 vsize=28231644 memory=280708056830848 CPUtime=0.01 cores=0-7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 3266 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 20 0 418949452 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644122806256 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3690] ppid=3673 vsize=28231644 memory=280708056835456 CPUtime=0.03 cores=0-7
/proc/3675/task/3690/stat : 3690 (java) R 3673 3673 3266 0 -1 4202560 146 0 0 0 3 0 0 0 20 0 20 0 418949452 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644121744096 140645912951847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3691] ppid=3673 vsize=28231644 memory=280708056840064 CPUtime=0.04 cores=0-7
/proc/3675/task/3691/stat : 3691 (java) S 3673 3673 3266 0 -1 1077944384 342 0 0 0 4 0 0 0 20 0 20 0 418949452 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644120701168 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3692] ppid=3673 vsize=28231644 memory=280708056844672 CPUtime=0.12 cores=0-7
/proc/3675/task/3692/stat : 3692 (java) S 3673 3673 3266 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 20 0 418949452 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644119648624 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3693] ppid=3673 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3693/stat : 3693 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949453 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644118596320 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3694] ppid=3673 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/3675/task/3694/stat : 3694 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949453 28909203456 12515 33554432000 4194304 4196468 140725423197392 140644117543856 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51516 KiB

[startup+0.701038 s]
/proc/loadavg: 6.92 8.22 8.25 5/211 3694
/proc/meminfo: memFree=31280964/32770624 swapFree=66996976/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 3266 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418949446 115843072 364 33554432000 4194304 5098028 140721236592496 140721236590600 140124591469180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13885440 140721236595573 140721236595817 140721236595817 140721236598730 0
/proc/3673/statm: 28282 364 305 221 0 87 0
[pid=3675] ppid=3673 vsize=28233768 memory=93332 CPUtime=1.72 cores=0-7
/proc/3675/stat : 3675 (java) S 3673 3673 3266 0 -1 1077944320 14882 0 0 0 166 6 0 0 20 0 20 0 418949447 28911378432 23333 33554432000 4194304 4196468 140725423197392 140725423179936 140645931429623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
/proc/3675/statm: 7058442 23333 3458 1 0 7019544 0
[pid=3675/tid=3676] ppid=3673 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 3266 0 -1 4202560 8977 0 0 0 64 3 0 0 20 0 20 0 418949447 28911378432 23333 33554432000 4194304 4196468 140725423197392 140645935667152 140645566126625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3677] ppid=3673 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418949448 28911378432 23333 33554432000 4194304 4196468 140725423197392 140645887982352 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3678] ppid=3673 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28911378432 23333 33554432000 4194304 4196468 140725423197392 140645886929808 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3679] ppid=3673 vsize=28233768 memory=2828 CPUtime=0 cores=0-7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949448 28911378432 23333 33554432000 4194304 4196468 140725423197392 140645885877264 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0

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

# the end of solver process 3673 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.56095 s, system=0.595986 s

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

[startup+1.6012 s]
/proc/loadavg: 6.92 8.22 8.25 10/211 3694
/proc/meminfo: memFree=31122728/32770624 swapFree=66996976/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 3266 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418949446 115843072 364 33554432000 4194304 5098028 140721236592496 140721236590600 140124591469180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13885440 140721236595573 140721236595817 140721236595817 140721236598730 0
/proc/3673/statm: 28282 364 305 221 0 87 0
[pid=3675] ppid=3673 vsize=28233768 memory=303424 CPUtime=5.01 cores=0-7
/proc/3675/stat : 3675 (java) S 3673 3673 3266 0 -1 1077944320 19180 0 0 0 468 33 0 0 20 0 20 0 418949447 28911378432 75856 33554432000 4194304 4196468 140725423197392 140725423179936 140645931429623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
/proc/3675/statm: 7058442 75856 3496 1 0 7019544 0
[pid=3675/tid=3676] ppid=3673 vsize=28233768 memory=0 CPUtime=1.48 cores=0-7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 3266 0 -1 4202560 9193 0 0 0 143 5 0 0 20 0 20 0 418949447 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645935667648 140645570395027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3677] ppid=3673 vsize=28233768 memory=0 CPUtime=0.06 cores=0-7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 3266 0 -1 1077944384 75 0 0 0 4 2 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645887982352 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3678] ppid=3673 vsize=28233768 memory=0 CPUtime=0.06 cores=0-7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 3266 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645886929808 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3679] ppid=3673 vsize=28233768 memory=3972 CPUtime=0.07 cores=0-7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 3266 0 -1 1077944384 76 0 0 0 4 3 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645885877264 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3680] ppid=3673 vsize=28233768 memory=2828 CPUtime=0.06 cores=0-7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 3266 0 -1 1077944384 70 0 0 0 4 2 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645480127632 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3681] ppid=3673 vsize=28233768 memory=676 CPUtime=0.07 cores=0-7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 3266 0 -1 1077944384 85 0 0 0 4 3 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645479074064 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3682] ppid=3673 vsize=28233768 memory=1060 CPUtime=0.08 cores=0-7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 3266 0 -1 1077944384 81 0 0 0 5 3 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645478021520 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3683] ppid=3673 vsize=28233768 memory=1548 CPUtime=0.06 cores=0-7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 3266 0 -1 1077944384 88 0 0 0 4 2 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645476968976 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3684] ppid=3673 vsize=28233768 memory=8560 CPUtime=0.08 cores=0-7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 3266 0 -1 1077944384 87 0 0 0 5 3 0 0 20 0 20 0 418949448 28911378432 76368 33554432000 4194304 4196468 140725423197392 140645475916432 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3685] ppid=3673 vsize=28233768 memory=1668 CPUtime=0 cores=0-7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 3266 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 418949449 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644127017456 140645931440770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3686] ppid=3673 vsize=28233768 memory=1112 CPUtime=0 cores=0-7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 3266 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 418949450 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644125963744 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3687] ppid=3673 vsize=28233768 memory=1004 CPUtime=0 cores=0-7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 3266 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 418949450 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644124911104 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3688] ppid=3673 vsize=28233768 memory=5976 CPUtime=0 cores=0-7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949452 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644123859664 140645931448219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3689] ppid=3673 vsize=28233768 memory=14008 CPUtime=0.73 cores=0-7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 3266 0 -1 1077944384 2025 0 0 0 73 0 0 0 20 0 20 0 418949452 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644122806256 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3690] ppid=3673 vsize=28233768 memory=2124 CPUtime=0.78 cores=0-7
/proc/3675/task/3690/stat : 3690 (java) S 3673 3673 3266 0 -1 1077944384 1474 0 0 0 78 0 0 0 20 0 20 0 418949452 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644121753712 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3691] ppid=3673 vsize=28233768 memory=22300 CPUtime=0.82 cores=0-7
/proc/3675/task/3691/stat : 3691 (java) S 3673 3673 3266 0 -1 1077944384 2115 0 0 0 81 1 0 0 20 0 20 0 418949452 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644120701168 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3692] ppid=3673 vsize=28233768 memory=11960 CPUtime=0.54 cores=0-7
/proc/3675/task/3692/stat : 3692 (java) S 3673 3673 3266 0 -1 1077944384 2353 0 0 0 53 1 0 0 20 0 20 0 418949452 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644119648624 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3693] ppid=3673 vsize=28233768 memory=5792590439207752038 CPUtime=0 cores=0-7
/proc/3675/task/3693/stat : 3693 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949453 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644118596320 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3694] ppid=3673 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3694/stat : 3694 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949453 28911378432 76368 33554432000 4194304 4196468 140725423197392 140644117543856 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 304880 KiB

[startup+1.8046 s]
/proc/loadavg: 6.92 8.22 8.25 10/211 3694
/proc/meminfo: memFree=31122728/32770624 swapFree=66996976/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 3266 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418949446 115843072 364 33554432000 4194304 5098028 140721236592496 140721236590600 140124591469180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13885440 140721236595573 140721236595817 140721236595817 140721236598730 0
/proc/3673/statm: 28282 364 305 221 0 87 0
[pid=3675] ppid=3673 vsize=28768328 memory=390824 CPUtime=5.82 cores=0-7
/proc/3675/stat : 3675 (java) S 3673 3673 3266 0 -1 1077944320 19977 0 0 0 547 35 0 0 20 0 28 0 418949447 29458767872 97706 33554432000 4194304 4196468 140725423197392 140725423179936 140645931429623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
/proc/3675/statm: 7192082 97706 3498 1 0 7153184 0
[pid=3675/tid=3676] ppid=3673 vsize=28768328 memory=8320808402720076596 CPUtime=1.62 cores=0-7
/proc/3675/task/3676/stat : 3676 (java) S 3673 3673 3266 0 -1 1077944384 9512 0 0 0 156 6 0 0 20 0 28 0 418949447 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645935670400 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3677] ppid=3673 vsize=28768328 memory=7238798801034884149 CPUtime=0.06 cores=0-7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 3266 0 -1 1077944384 75 0 0 0 4 2 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645887982352 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3678] ppid=3673 vsize=28768328 memory=8751464017575687733 CPUtime=0.06 cores=0-7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 3266 0 -1 1077944384 76 0 0 0 3 3 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645886929808 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3679] ppid=3673 vsize=28768328 memory=13620 CPUtime=0.07 cores=0-7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 3266 0 -1 1077944384 76 0 0 0 4 3 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645885877264 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3680] ppid=3673 vsize=28768328 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 3266 0 -1 1077944384 70 0 0 0 4 2 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645480127632 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3681] ppid=3673 vsize=28768328 memory=6944656575208382560 CPUtime=0.07 cores=0-7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 3266 0 -1 1077944384 85 0 0 0 4 3 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645479074064 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3682] ppid=3673 vsize=28768328 memory=6655300316396806240 CPUtime=0.08 cores=0-7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 3266 0 -1 1077944384 81 0 0 0 5 3 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645478021520 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3683] ppid=3673 vsize=28768328 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 3266 0 -1 1077944384 88 0 0 0 4 2 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645476968976 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3684] ppid=3673 vsize=28768328 memory=6944656592455359580 CPUtime=0.08 cores=0-7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 3266 0 -1 1077944384 87 0 0 0 5 3 0 0 20 0 28 0 418949448 29458767872 97706 33554432000 4194304 4196468 140725423197392 140645475916432 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3685] ppid=3673 vsize=28768328 memory=-1598831814710746722 CPUtime=0 cores=0-7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 3266 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 418949449 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644127017456 140645931440770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3686] ppid=3673 vsize=28768328 memory=-3472574944341025154 CPUtime=0 cores=0-7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 3266 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 418949450 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644125963744 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3687] ppid=3673 vsize=28768328 memory=4206186544037388384 CPUtime=0 cores=0-7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 3266 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418949450 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644124911104 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3688] ppid=3673 vsize=28768328 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418949452 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644123859664 140645931448219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3689] ppid=3673 vsize=28768328 memory=6655300316396806240 CPUtime=0.78 cores=0-7
/proc/3675/task/3689/stat : 3689 (java) R 3673 3673 3266 0 -1 4202560 2042 0 0 0 78 0 0 0 20 0 28 0 418949452 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644122799280 140645931443472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3690] ppid=3673 vsize=28768328 memory=6944656592387989600 CPUtime=0.9 cores=0-7
/proc/3675/task/3690/stat : 3690 (java) R 3673 3673 3266 0 -1 4202560 1487 0 0 0 90 0 0 0 20 0 28 0 418949452 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644121753712 140645910687248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3691] ppid=3673 vsize=28768328 memory=280708056783880 CPUtime=0.94 cores=0-7
/proc/3675/task/3691/stat : 3691 (java) R 3673 3673 3266 0 -1 4202560 2141 0 0 0 93 1 0 0 20 0 28 0 418949452 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644120690768 140645911124040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3692] ppid=3673 vsize=28768328 memory=1802678306561 CPUtime=0.6 cores=0-7
/proc/3675/task/3692/stat : 3692 (java) R 3673 3673 3266 0 -1 4202560 2480 0 0 0 59 1 0 0 20 0 28 0 418949452 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644119648752 140645910034651 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3693] ppid=3673 vsize=28768328 memory=1867102816001 CPUtime=0 cores=0-7
/proc/3675/task/3693/stat : 3693 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418949453 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644118596320 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3694] ppid=3673 vsize=28768328 memory=1879987717889 CPUtime=0 cores=0-7
/proc/3675/task/3694/stat : 3694 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418949453 29458767872 97706 33554432000 4194304 4196468 140725423197392 140644117543856 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 392280 KiB

[startup+1.90579 s]
/proc/loadavg: 6.92 8.22 8.25 10/211 3694
/proc/meminfo: memFree=31122728/32770624 swapFree=66996976/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 3266 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418949446 115843072 364 33554432000 4194304 5098028 140721236592496 140721236590600 140124591469180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13885440 140721236595573 140721236595817 140721236595817 140721236598730 0
/proc/3673/statm: 28282 364 305 221 0 87 0
[pid=3675] ppid=3673 vsize=28768328 memory=416496 CPUtime=6.58 cores=0-7
/proc/3675/stat : 3675 (java) S 3673 3673 3266 0 -1 1077944320 20188 0 0 0 621 37 0 0 20 0 20 0 418949447 29458767872 104124 33554432000 4194304 4196468 140725423197392 140725423179936 140645931429623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
/proc/3675/statm: 7192082 104124 3500 1 0 7153184 0
[pid=3675/tid=3676] ppid=3673 vsize=28768328 memory=0 CPUtime=1.62 cores=0-7
/proc/3675/task/3676/stat : 3676 (java) S 3673 3673 3266 0 -1 1077944384 9515 0 0 0 156 6 0 0 20 0 20 0 418949447 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645935671216 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3677] ppid=3673 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/3675/task/3677/stat : 3677 (java) R 3673 3673 3266 0 -1 4202560 91 0 0 0 5 2 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645887982352 140645916447156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3678] ppid=3673 vsize=28768328 memory=6944656592455097440 CPUtime=0.07 cores=0-7
/proc/3675/task/3678/stat : 3678 (java) R 3673 3673 3266 0 -1 4202560 80 0 0 0 4 3 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645886929808 140645910624892 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3679] ppid=3673 vsize=28768328 memory=6944656592455097440 CPUtime=0.08 cores=0-7
/proc/3675/task/3679/stat : 3679 (java) R 3673 3673 3266 0 -1 4202560 87 0 0 0 5 3 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645885877464 140645916457386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3680] ppid=3673 vsize=28768328 memory=6944656592387989600 CPUtime=0.06 cores=0-7
/proc/3675/task/3680/stat : 3680 (java) R 3673 3673 3266 0 -1 4202560 70 0 0 0 4 2 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645480127632 140645924534271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3681] ppid=3673 vsize=28768328 memory=6655300316396806240 CPUtime=0.08 cores=0-7
/proc/3675/task/3681/stat : 3681 (java) R 3673 3673 3266 0 -1 4202560 95 0 0 0 5 3 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645479074264 140645916457042 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3682] ppid=3673 vsize=28768328 memory=6944656592455097440 CPUtime=0.08 cores=0-7
/proc/3675/task/3682/stat : 3682 (java) R 3673 3673 3266 0 -1 4202560 90 0 0 0 5 3 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645478021520 140645916457488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3683] ppid=3673 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/3675/task/3683/stat : 3683 (java) R 3673 3673 3266 0 -1 4202560 93 0 0 0 5 3 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645476968976 140645916457497 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3684] ppid=3673 vsize=28768328 memory=-7522837583045875833 CPUtime=0.08 cores=0-7
/proc/3675/task/3684/stat : 3684 (java) R 3673 3673 3266 0 -1 4202560 96 0 0 0 5 3 0 0 20 0 20 0 418949448 29458767872 104124 33554432000 4194304 4196468 140725423197392 140645475916432 140645916457497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3685] ppid=3673 vsize=28768328 memory=-7378441852826056034 CPUtime=0 cores=0-7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 3266 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 418949449 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644127015968 140645931439829 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3686] ppid=3673 vsize=28768328 memory=-7313218805096079717 CPUtime=0 cores=0-7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 3266 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 418949450 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644125963744 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3687] ppid=3673 vsize=28768328 memory=140354131852033 CPUtime=0 cores=0-7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 3266 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 418949450 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644124911104 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3688] ppid=3673 vsize=28768328 memory=7228959564713582694 CPUtime=0 cores=0-7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949452 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644123859664 140645931448219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3689] ppid=3673 vsize=28768328 memory=5787515123716350040 CPUtime=0.82 cores=0-7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 3266 0 -1 1077944384 2047 0 0 0 82 0 0 0 20 0 20 0 418949452 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644122791248 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3690] ppid=3673 vsize=28768328 memory=1456 CPUtime=0.96 cores=0-7
/proc/3675/task/3690/stat : 3690 (java) S 3673 3673 3266 0 -1 1077944384 1493 0 0 0 96 0 0 0 20 0 20 0 418949452 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644121733424 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3691] ppid=3673 vsize=28768328 memory=288860 CPUtime=1.01 cores=0-7
/proc/3675/task/3691/stat : 3691 (java) R 3673 3673 3266 0 -1 4202560 2148 0 0 0 100 1 0 0 20 0 20 0 418949452 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644120687392 140645916539189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3692] ppid=3673 vsize=28768328 memory=1201 CPUtime=0.63 cores=0-7
/proc/3675/task/3692/stat : 3692 (java) S 3673 3673 3266 0 -1 1077944384 2535 0 0 0 62 1 0 0 20 0 20 0 418949452 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644119648624 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3693] ppid=3673 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/3675/task/3693/stat : 3693 (java) S 3673 3673 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418949453 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644118596320 140645931439829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
[pid=3675/tid=3694] ppid=3673 vsize=28768328 memory=13647 CPUtime=0 cores=0-7
/proc/3675/task/3694/stat : 3694 (java) S 3673 3673 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418949453 29458767872 104124 33554432000 4194304 4196468 140725423197392 140644117543856 140645931440770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28827648 140725423203306 140725423203478 140725423203478 140725423206351 0
Current children cumulated CPU time: 6.58 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 417952 KiB

Child status: 0
Real time (s): 1.99579
CPU time (s): 7.15694
CPU user time (s): 6.56095
CPU system time (s): 0.595986
CPU usage (%): 358.602
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 417952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.56095
system time used= 0.595986
maximum resident set size= 489676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3581
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 3673
#   total CPU time (s): 7.15694
#   total CPU user time (s): 6.56095
#   total CPU system time (s): 0.595986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027485 second user time and 0.068204 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-14 04:08:25
IDJOB=4393467
IDBENCH=126509
IDSOLVER=2841
FILE ID=node103/4393467-1568426964
RUNJOBID= node103-1568426882-3293
PBS_JOBID= 21702292
Free space on /tmp= 61720 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-3-4-cp.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393467-1568426964/watcher-4393467-1568426964 -o /tmp/evaluation-result-4393467-1568426964/solver-4393467-1568426964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1838298106 HOME/instance-4393467-1568426964.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= fefd0dc8744a7f984307705d377cf1e3
RANDOM SEED=1838298106

node103.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:        31331612 kB
MemAvailable:   31887052 kB
Buffers:           97748 kB
Cached:           741244 kB
SwapCached:         9132 kB
Active:           604384 kB
Inactive:         246920 kB
Active(anon):       6240 kB
Inactive(anon):    47004 kB
Active(file):     598144 kB
Inactive(file):   199916 kB
Unevictable:      111168 kB
Mlocked:          111168 kB
SwapTotal:      67108860 kB
SwapFree:       66996976 kB
Dirty:             26620 kB
Writeback:             0 kB
AnonPages:        115412 kB
Mapped:            44612 kB
Shmem:             32644 kB
Slab:             175896 kB
SReclaimable:     146432 kB
SUnreclaim:        29464 kB
KernelStack:        3376 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61692 MiB
End job on node103 at 2019-09-14 04:08:27