Trace number 4281852

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-18)SAT (TO)993 2520.0801 2488.4399

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-28-a4.xml
MD5SUM67703e3ced133509b42bcbc9f355bd8f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark920
Best CPU time to get the best result obtained on this benchmark2520.1001
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints67979
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":28}]
Minimum variable degree9478
Maximum variable degree9479
Distribution of variable degrees[{"degree":9478,"count":26},{"degree":9479,"count":2}]
Minimum constraint arity1
Maximum constraint arity28
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":6552},{"arity":4,"count":61425},{"arity":28,"count":1}]
Number of extensional constraints0
Number of intensional constraints67978
Distribution of constraint types[{"type":"intension","count":67978},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281852-1503125013.xml"  -tl '2520s' -p 1 -x 0
0.08/0.28	c [HOME/instance-4281852-1503125013.xml, -tl, 2520s, -p, 1, -x, 0]
0.27/0.34	c simple solver
0.27/0.40	c parse instance...
13.16/4.80	c solve instance...
1326.05/1295.59	o 993 
2520.03/2488.40	s SATISFIABLE
2520.03/2488.40	v <instantiation>
2520.03/2488.40	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] </list>
2520.03/2488.40	v 	<values>0 1 4 6 13 21 31 45 67 78 101 120 136 184 212 263 306 356 415 452 533 573 659 697 746 856 911 993 </values>
2520.03/2488.40	v </instantiation>
2520.03/2488.40	c Unexpected resolution interruption!

Verifier Data 

OK	993

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281852-1503125013/watcher-4281852-1503125013 -o /tmp/evaluation-result-4281852-1503125013/solver-4281852-1503125013 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16489 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1324695946 HOME/instance-4281852-1503125013.xml 

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

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=21315, runsolver pid=21312

[startup+0.100063 s]*
/proc/loadavg: 1.97 2.01 2.00 3/202 21322
/proc/meminfo: memFree=31620972/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13358712 memory=14896 CPUtime=0.01 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 3502 0 0 0 1 0 0 0 20 0 6 0 10911104 13679321088 3724 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3339678 3724 1905 1 0 3329175 0
[pid=21317/tid=21318] ppid=21315 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 16431 0 -1 4202560 2266 0 0 0 0 0 0 0 20 0 6 0 10911104 13679321088 3724 18446744073709551615 4194304 4196468 140720921731920 140049685127760 140049664972126 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 10911105 13679321088 3724 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049680901845 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13358712 memory=140109709588096 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 10911105 13679321088 3724 18446744073709551615 4194304 4196468 140720921731920 140049280141968 140049680901845 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 10911105 13679321088 3724 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049680901845 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 10911105 13679321088 3724 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16276 KiB

[startup+0.209812 s]*
/proc/loadavg: 1.97 2.01 2.00 4/211 21331
/proc/meminfo: memFree=31615080/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13974352 memory=26900 CPUtime=0.08 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 5167 0 0 0 7 1 0 0 20 0 15 0 10911104 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3493588 6725 2731 1 0 3482964 0
[pid=21317/tid=21318] ppid=21315 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 16431 0 -1 4202560 3320 0 0 0 6 0 0 0 20 0 15 0 10911104 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049685117328 140049667080229 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13974352 memory=140109709588096 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049280141968 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21323] ppid=21315 vsize=13974352 memory=140109709588096 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10911106 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049226619632 140049680902786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21324] ppid=21315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10911106 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049225565856 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21325] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10911107 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049224512752 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21326] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049223461328 140049680910235 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21327] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21327/stat : 21327 (java) R 21315 21315 16431 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 10911109 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049222408432 140049680902786 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21328] ppid=21315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049221355888 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21329] ppid=21315 vsize=13974352 memory=140109709588096 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21329/stat : 21329 (java) R 21315 21315 16431 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 10911109 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049152731120 140049680902786 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21330] ppid=21315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049151678816 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21331] ppid=21315 vsize=13974352 memory=140109709588096 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911114 14309736448 6725 18446744073709551615 4194304 4196468 140720921731920 140049150626864 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28280 KiB

[startup+0.310234 s]*
/proc/loadavg: 1.97 2.01 2.00 3/211 21331
/proc/meminfo: memFree=31599420/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13974352 memory=36908 CPUtime=0.27 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 8797 0 0 0 25 2 0 0 20 0 15 0 10911104 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3493588 9227 2980 1 0 3482964 0
[pid=21317/tid=21318] ppid=21315 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 16431 0 -1 4202560 6080 0 0 0 15 2 0 0 20 0 15 0 10911104 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049685125728 140049680903574 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13974352 memory=140109709595089 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13974352 memory=7012764809547248234 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049280141968 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10911105 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21323] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10911106 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049226619632 140049680902786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21324] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10911106 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049225565856 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21325] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10911107 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049224512752 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21326] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049223461328 140049680910235 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21327] ppid=21315 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21317/task/21327/stat : 21327 (java) S 21315 21315 16431 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 15 0 10911109 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049222408432 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21328] ppid=21315 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 16431 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 15 0 10911109 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049221355888 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21329] ppid=21315 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/21317/task/21329/stat : 21329 (java) R 21315 21315 16431 0 -1 4202560 710 0 0 0 5 0 0 0 20 0 15 0 10911109 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049152731120 140049680903574 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21330] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049151678816 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21331] ppid=21315 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911114 14309736448 9227 18446744073709551615 4194304 4196468 140720921731920 140049150626864 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38288 KiB

[startup+0.701332 s]
/proc/loadavg: 1.97 2.01 2.00 5/211 21331
/proc/meminfo: memFree=31580416/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13978684 memory=95000 CPUtime=1.31 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 13323 0 0 0 126 5 0 0 20 0 15 0 10911104 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3494671 23750 3145 1 0 3482964 0
[pid=21317/tid=21318] ppid=21315 vsize=13978684 memory=8751464017575425845 CPUtime=0.54 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 16431 0 -1 4202560 7768 0 0 0 51 3 0 0 20 0 15 0 10911104 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049685129360 140049304869547 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13978684 memory=5861541947240501328 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13978684 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049280141968 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911105 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10911105 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21323] ppid=21315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10911106 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049226619632 140049680902786 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21324] ppid=21315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10911106 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049225565856 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21325] ppid=21315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10911107 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049224512752 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21326] ppid=21315 vsize=13978684 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049223461328 140049680910235 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21327] ppid=21315 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/21317/task/21327/stat : 21327 (java) R 21315 21315 16431 0 -1 4202560 1809 0 0 0 27 0 0 0 20 0 15 0 10911109 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049222397104 140049660301408 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21328] ppid=21315 vsize=13978684 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/21317/task/21328/stat : 21328 (java) R 21315 21315 16431 0 -1 4202560 1115 0 0 0 26 0 0 0 20 0 15 0 10911109 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049221342816 140049664276946 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21329] ppid=21315 vsize=13978684 memory=6656426216303648864 CPUtime=0.19 cores=0,2,4,6
/proc/21317/task/21329/stat : 21329 (java) S 21315 21315 16431 0 -1 1077944384 1324 0 0 0 19 0 0 0 20 0 15 0 10911109 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049152731120 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21330] ppid=21315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049151678816 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21331] ppid=21315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10911114 14314172416 23750 18446744073709551615 4194304 4196468 140720921731920 140049150626864 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 96380 KiB

[startup+1.50932 s]
/proc/loadavg: 2.13 2.04 2.02 6/211 21331
/proc/meminfo: memFree=31437648/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13978684 memory=358692 CPUtime=3.61 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 14629 0 0 0 344 17 0 0 20 0 15 0 10911104 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3494671 89673 3195 1 0 3482964 0
[pid=21317/tid=21318] ppid=21315 vsize=13978684 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) S 21315 21315 16431 0 -1 1077944384 8012 0 0 0 123 6 0 0 20 0 15 0 10911104 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140049685130832 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13978684 memory=4498716170645055337 CPUtime=0.04 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) R 21315 21315 16431 0 -1 4202560 55 0 0 0 2 2 0 0 20 0 15 0 10911105 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049673991299 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13978684 memory=6296711156164422448 CPUtime=0.05 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) R 21315 21315 16431 0 -1 4202560 119 0 0 0 3 2 0 0 20 0 15 0 10911105 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140049280142168 140049662517471 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13978684 memory=7235711631310021152 CPUtime=0.04 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) R 21315 21315 16431 0 -1 4202560 98 0 0 0 3 1 0 0 20 0 15 0 10911105 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049665915689 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13978684 memory=4004 CPUtime=0.05 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) R 21315 21315 16431 0 -1 1077944384 62 0 0 0 3 2 0 0 20 0 15 0 10911105 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21323] ppid=21315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 16431 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 10911106 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140049226618144 140049680901845 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21324] ppid=21315 vsize=13978684 memory=140109550960768 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10911106 14314172416 89673 18446744073709551615 4194304 4196468 140720921731920 140049225565856 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21325] ppid=21315 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10911107 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049224512768 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21326] ppid=21315 vsize=13980732 memory=7797112 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049223461328 140049680910235 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21327] ppid=21315 vsize=13980732 memory=1380 CPUtime=3.39 cores=0,2,4,6
/proc/21317/task/21327/stat : 21327 (java) S 21315 21315 16431 0 -1 1077944384 20011 0 0 0 337 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049222408432 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21328] ppid=21315 vsize=13980732 memory=7797112 CPUtime=3.39 cores=0,2,4,6
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 16431 0 -1 1077944384 18699 0 0 0 337 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049221355888 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21329] ppid=21315 vsize=13980732 memory=1380 CPUtime=0.86 cores=0,2,4,6
/proc/21317/task/21329/stat : 21329 (java) S 21315 21315 16431 0 -1 1077944384 10802 0 0 0 83 3 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049152731120 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21330] ppid=21315 vsize=13980732 memory=7797112 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049151678816 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21331] ppid=21315 vsize=13980732 memory=1380 CPUtime=1.55 cores=0,2,4,6
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 16431 0 -1 1077944384 2824 0 0 0 81 74 0 0 20 0 15 0 10911114 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049150626864 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 2353.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7798492 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/211 21593
/proc/meminfo: memFree=19864156/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13980732 memory=7797112 CPUtime=2413.84 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 151711 0 0 0 241077 307 0 0 20 0 15 0 10911104 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3495183 1949278 3257 1 0 3483476 0
[pid=21317/tid=21318] ppid=21315 vsize=13980732 memory=7797112 CPUtime=2370.85 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 16431 0 -1 4202560 73198 0 0 0 237021 64 0 0 20 0 15 0 10911104 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049685129304 140049312698660 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13980732 memory=7797112 CPUtime=7.53 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 16431 0 -1 1077944384 4348 0 0 0 708 45 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13980732 memory=7797112 CPUtime=7.5 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 16431 0 -1 1077944384 3268 0 0 0 704 46 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049280141968 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13980732 memory=7797112 CPUtime=7.52 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 16431 0 -1 1077944384 2782 0 0 0 711 41 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13980732 memory=7797112 CPUtime=7.56 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 16431 0 -1 1077944384 2906 0 0 0 718 38 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21323] ppid=21315 vsize=13980732 memory=7797112 CPUtime=3.54 cores=0,2,4,6
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 16431 0 -1 1077944384 9710 0 0 0 347 7 0 0 20 0 15 0 10911106 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049226619632 140049680902786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21324] ppid=21315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 16431 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 10911106 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049225565920 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21325] ppid=21315 vsize=13980732 memory=7797112 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10911107 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049224512768 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21326] ppid=21315 vsize=13980732 memory=7797112 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049223461328 140049680910235 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21327] ppid=21315 vsize=13980732 memory=1380 CPUtime=3.41 cores=0,2,4,6
/proc/21317/task/21327/stat : 21327 (java) S 21315 21315 16431 0 -1 1077944384 21544 0 0 0 339 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049222408432 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21328] ppid=21315 vsize=13980732 memory=7797112 CPUtime=3.4 cores=0,2,4,6
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 16431 0 -1 1077944384 18968 0 0 0 338 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049221355888 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21329] ppid=21315 vsize=13980732 memory=1380 CPUtime=0.86 cores=0,2,4,6
/proc/21317/task/21329/stat : 21329 (java) S 21315 21315 16431 0 -1 1077944384 10812 0 0 0 83 3 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049152731120 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21330] ppid=21315 vsize=13980732 memory=7797112 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049151678816 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21331] ppid=21315 vsize=13980732 memory=1380 CPUtime=1.59 cores=0,2,4,6
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 16431 0 -1 1077944384 2855 0 0 0 83 76 0 0 20 0 15 0 10911114 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049150626864 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 2413.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7798492 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/214 21609
/proc/meminfo: memFree=19859624/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13980732 memory=7797112 CPUtime=2473.89 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 153700 0 0 0 247079 310 0 0 20 0 15 0 10911104 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3495183 1949278 3257 1 0 3483476 0
[pid=21317/tid=21318] ppid=21315 vsize=13980732 memory=7797112 CPUtime=2430.85 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 16431 0 -1 4202560 74443 0 0 0 243021 64 0 0 20 0 15 0 10911104 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049685130568 140049306889912 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13980732 memory=7797112 CPUtime=7.53 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 16431 0 -1 1077944384 4348 0 0 0 708 45 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13980732 memory=1380 CPUtime=7.5 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 16431 0 -1 1077944384 3268 0 0 0 704 46 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049280141968 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13980732 memory=56 CPUtime=7.52 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 16431 0 -1 1077944384 2782 0 0 0 711 41 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13980732 memory=7797112 CPUtime=7.56 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 16431 0 -1 1077944384 2906 0 0 0 718 38 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21323] ppid=21315 vsize=13980732 memory=7797112 CPUtime=3.54 cores=0,2,4,6
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 16431 0 -1 1077944384 9726 0 0 0 347 7 0 0 20 0 15 0 10911106 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049226619632 140049680902786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21324] ppid=21315 vsize=13980732 memory=7797112 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 16431 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 10911106 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049225565920 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21325] ppid=21315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10911107 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049224512768 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21326] ppid=21315 vsize=13980732 memory=7797112 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049223461328 140049680910235 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21327] ppid=21315 vsize=13980732 memory=1380 CPUtime=3.41 cores=0,2,4,6
/proc/21317/task/21327/stat : 21327 (java) S 21315 21315 16431 0 -1 1077944384 21791 0 0 0 339 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049222408432 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21328] ppid=21315 vsize=13980732 memory=7797112 CPUtime=3.4 cores=0,2,4,6
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 16431 0 -1 1077944384 18975 0 0 0 338 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049221355888 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21329] ppid=21315 vsize=13980732 memory=4004 CPUtime=0.86 cores=0,2,4,6
/proc/21317/task/21329/stat : 21329 (java) S 21315 21315 16431 0 -1 1077944384 11207 0 0 0 83 3 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049152731120 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21330] ppid=21315 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049151678816 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21331] ppid=21315 vsize=13980732 memory=1380 CPUtime=1.63 cores=0,2,4,6
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 16431 0 -1 1077944384 2934 0 0 0 85 78 0 0 20 0 15 0 10911114 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049150626864 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 2473.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7798492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2488.4 s]
/proc/loadavg: 2.00 1.99 2.02 3/214 21611
/proc/meminfo: memFree=19859132/32770624 swapFree=67108860/67108860
[pid=21315] ppid=21312 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 10911095 9740288 345 18446744073709551615 4194304 5098028 140721065567360 140721065565464 139991608373884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 37015552 140721065574777 140721065574982 140721065574982 140721065578475 0
/proc/21315/statm: 2378 345 289 221 0 87 0
[pid=21317] ppid=21315 vsize=13980732 memory=7797112 CPUtime=2520.03 cores=0,2,4,6
/proc/21317/stat : 21317 (java) S 21315 21315 16431 0 -1 1077944320 154394 0 0 0 251692 311 0 0 20 0 15 0 10911104 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140720921714464 140049680891639 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
/proc/21317/statm: 3495183 1949278 3257 1 0 3483476 0
[pid=21317/tid=21318] ppid=21315 vsize=13980732 memory=6440 CPUtime=2476.95 cores=0,2,4,6
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 16431 0 -1 4202560 75070 0 0 0 247631 64 0 0 20 0 15 0 10911104 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049685130568 140049312698209 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21319] ppid=21315 vsize=13980732 memory=1380 CPUtime=7.53 cores=0,2,4,6
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 16431 0 -1 1077944384 4348 0 0 0 708 45 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049281194512 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21320] ppid=21315 vsize=13980732 memory=7797112 CPUtime=7.5 cores=0,2,4,6
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 16431 0 -1 1077944384 3268 0 0 0 704 46 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049280141968 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21321] ppid=21315 vsize=13980732 memory=1716 CPUtime=7.52 cores=0,2,4,6
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 16431 0 -1 1077944384 2782 0 0 0 711 41 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049279088912 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21322] ppid=21315 vsize=13980732 memory=-8774313645642428999 CPUtime=7.56 cores=0,2,4,6
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 16431 0 -1 1077944384 2906 0 0 0 718 38 0 0 20 0 15 0 10911105 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049278036368 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21323] ppid=21315 vsize=13980732 memory=2944 CPUtime=3.54 cores=0,2,4,6
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 16431 0 -1 1077944384 9733 0 0 0 347 7 0 0 20 0 15 0 10911106 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049226619632 140049680902786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21324] ppid=21315 vsize=13980732 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 16431 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 10911106 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049225565920 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21325] ppid=21315 vsize=13980732 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 10911107 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049224512768 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21326] ppid=21315 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049223461328 140049680910235 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21327] ppid=21315 vsize=13980732 memory=3232 CPUtime=3.41 cores=0,2,4,6
/proc/21317/task/21327/stat : 21327 (java) S 21315 21315 16431 0 -1 1077944384 21798 0 0 0 339 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049222408432 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21328] ppid=21315 vsize=13980732 memory=-8774313645642428999 CPUtime=3.4 cores=0,2,4,6
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 16431 0 -1 1077944384 18981 0 0 0 338 2 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049221355888 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21329] ppid=21315 vsize=13980732 memory=16448 CPUtime=0.86 cores=0,2,4,6
/proc/21317/task/21329/stat : 21329 (java) S 21315 21315 16431 0 -1 1077944384 11216 0 0 0 83 3 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049152731120 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21330] ppid=21315 vsize=13980732 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10911109 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049151678816 140049680901845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
[pid=21317/tid=21331] ppid=21315 vsize=13980732 memory=6440 CPUtime=1.66 cores=0,2,4,6
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 16431 0 -1 1077944384 2972 0 0 0 87 79 0 0 20 0 15 0 10911114 14316269568 1949278 18446744073709551615 4194304 4196468 140720921731920 140049150626864 140049680902786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 31436800 140720921735602 140720921735778 140720921735778 140720921739215 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7798492 KiB

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

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

[startup+2488.44 s]
# the end of solver process 21317 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.93 s, system=3.14655 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): 2488.44
CPU time (s): 2520.08
CPU user time (s): 2516.93
CPU system time (s): 3.14655
CPU usage (%): 101.271
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 7802936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.93
system time used= 3.14656
maximum resident set size= 7803992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57579
involuntary context switches= 3526


# summary of solver processes directly reported to runsolver:
#   pid: 21315,21317
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.93
#   total CPU system time (s): 3.14655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9269 second user time and 22.8346 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-19 08:29:33
IDJOB=4281852
IDBENCH=126237
IDSOLVER=2677
FILE ID=node128/4281852-1503125013
RUNJOBID= node128-1503095815-16489
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-28-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281852-1503125013/watcher-4281852-1503125013 -o /tmp/evaluation-result-4281852-1503125013/solver-4281852-1503125013 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16489 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1324695946 HOME/instance-4281852-1503125013.xml

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

MD5SUM BENCH= 67703e3ced133509b42bcbc9f355bd8f
RANDOM SEED=1324695946

node128.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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.47
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.47
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.47
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:        31626036 kB
MemAvailable:   31804076 kB
Buffers:          157752 kB
Cached:           311240 kB
SwapCached:            0 kB
Active:           434608 kB
Inactive:         306464 kB
Active(anon):     272584 kB
Inactive(anon):    16752 kB
Active(file):     162024 kB
Inactive(file):   289712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10772 kB
Writeback:             0 kB
AnonPages:        274256 kB
Mapped:            43352 kB
Shmem:             17060 kB
Slab:             108540 kB
SReclaimable:      84280 kB
SUnreclaim:        24260 kB
KernelStack:        3424 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1232648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62012 MiB
End job on node128 at 2017-08-19 09:11:02