Trace number 4283138

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)443 249.714 240.024

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-07-07-6.xml
MD5SUMc933cd09e9acfeb17baa8719fd3b3e7c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark436
Best CPU time to get the best result obtained on this benchmark251.933
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of constraints168
Number of domains9
Minimum domain size6
Maximum domain size535
Distribution of domain sizes[{"size":6,"count":7},{"size":7,"count":91},{"size":535,"count":105}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}]
Minimum constraint arity1
Maximum constraint arity9
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}]
Number of extensional constraints49
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283138-1503210280.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4283138-1503210280.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.03/0.54	c solve instance...
11.16/4.27	o 531 
13.86/6.03	o 526 
13.86/6.09	o 517 
23.12/14.47	o 513 
23.42/14.79	o 512 
28.14/19.41	o 509 
28.24/19.58	o 508 
29.66/20.91	o 505 
31.21/22.43	o 504 
31.21/22.44	o 501 
31.45/22.69	o 498 
31.75/23.00	o 491 
31.86/23.02	o 489 
32.71/23.85	o 484 
32.71/23.87	o 479 
32.71/23.89	o 477 
40.61/31.51	o 476 
40.61/31.52	o 475 
40.61/31.55	o 472 
40.61/31.59	o 471 
40.82/31.75	o 467 
41.82/32.79	o 466 
48.14/39.03	o 462 
49.03/39.99	o 458 
84.05/74.70	o 456 
84.05/74.73	o 451 
97.27/87.99	o 449 
99.21/89.85	o 448 
121.93/112.53	o 446 
139.19/129.72	o 445 
145.70/136.21	o 444 
167.66/158.11	o 443 
249.69/240.01	s SATISFIABLE
249.69/240.01	v <instantiation>
249.69/240.01	v 	<list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] e[0] e[1] e[2] e[3] e[4] e[5] e[6] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] </list>
249.69/240.01	v 	<values>10 104 178 183 230 328 414 0 74 99 195 255 285 363 0 60 75 99 180 264 354 0 46 108 174 235 332 433 0 99 109 174 264 336 414 0 10 109 192 255 331 363 0 60 108 195 235 285 332 439 421 436 443 433 443 427 94 66 5 9 98 76 25 46 25 56 59 30 69 58 60 15 6 81 84 64 82 28 28 66 61 97 93 10 99 10 59 56 72 78 19 10 71 69 63 76 32 80 46 48 87 31 47 34 95 2 5 0 1 3 4 6 0 5 6 4 1 2 3 3 6 0 1 5 4 2 6 5 3 2 0 1 4 1 0 2 3 5 6 4 2 4 0 1 6 3 5 5 3 4 6 2 1 0 178 183 10 230 328 104 414 0 255 285 363 195 74 99 75 99 354 0 264 180 60 235 332 174 108 433 46 0 99 0 109 174 414 264 336 109 192 0 331 10 363 255 332 285 235 60 108 0 195 </values>
249.69/240.01	v </instantiation>
249.69/240.01	c Unexpected resolution interruption!

Verifier Data 

OK	443

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283138-1503210280/watcher-4283138-1503210280 -o /tmp/evaluation-result-4283138-1503210280/solver-4283138-1503210280 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2019519527 HOME/instance-4283138-1503210280.xml 

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

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


[startup+0.100177 s]*
/proc/loadavg: 1.80 1.50 1.24 5/218 22238
/proc/meminfo: memFree=28191056/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0
[pid=22224] ppid=22222 vsize=13978596 memory=28016 CPUtime=0.12 cores=0,2,4,6
/proc/22224/stat : 22224 (java) S 22222 22222 21899 0 -1 1077944320 5448 0 0 0 11 1 0 0 20 0 15 0 154116116 14314082304 7004 33554432000 4194304 4196468 140735272373200 140735272355744 140107749388023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
/proc/22224/statm: 3494649 7004 2866 1 0 3482966 0
[pid=22224/tid=22225] ppid=22222 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/22224/task/22225/stat : 22225 (java) R 22222 22222 21899 0 -1 4202560 3380 0 0 0 8 0 0 0 20 0 15 0 154116116 14314082304 7004 33554432000 4194304 4196468 140735272373200 140107753616048 140107731257458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22226] ppid=22222 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22226/stat : 22226 (java) S 22222 22222 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154116117 14314082304 7004 33554432000 4194304 4196468 140735272373200 140107679476880 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22227] ppid=22222 vsize=13978596 memory=140530837636736 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22227/stat : 22227 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14314082304 7004 33554432000 4194304 4196468 140735272373200 140107678424080 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22228] ppid=22222 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22228/stat : 22228 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14314082304 7004 33554432000 4194304 4196468 140735272373200 140107677371280 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22229] ppid=22222 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22229/stat : 22229 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14314082304 7004 33554432000 4194304 4196468 140735272373200 140107676318480 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22230] ppid=22222 vsize=13978596 memory=140530837636736 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22230/stat : 22230 (java) S 22222 22222 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154116118 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106795034992 140107749399170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22231] ppid=22222 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22231/stat : 22231 (java) S 22222 22222 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154116119 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106793980960 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22232] ppid=22222 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154116119 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) S 22222 22222 21899 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 154116122 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106790824816 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) S 22222 22222 21899 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 154116122 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106789772016 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13978596 memory=140530837636736 CPUtime=0.01 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) S 22222 22222 21899 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 154116122 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106788719216 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13978596 memory=140530837636736 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116122 14314082304 7004 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29400 KiB

[startup+0.210797 s]*
/proc/loadavg: 1.80 1.50 1.24 5/218 22238
/proc/meminfo: memFree=28177056/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0
[pid=22224] ppid=22222 vsize=13982852 memory=40392 CPUtime=0.34 cores=0,2,4,6
/proc/22224/stat : 22224 (java) S 22222 22222 21899 0 -1 1077944320 8256 0 0 0 32 2 0 0 20 0 15 0 154116116 14318440448 10098 33554432000 4194304 4196468 140735272373200 140735272355744 140107749388023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
/proc/22224/statm: 3495713 10098 3050 1 0 3482966 0
[pid=22224/tid=22225] ppid=22222 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/22224/task/22225/stat : 22225 (java) R 22222 22222 21899 0 -1 4202560 5399 0 0 0 18 1 0 0 20 0 15 0 154116116 14318440448 10098 33554432000 4194304 4196468 140735272373200 140107753598928 140107733468510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22226] ppid=22222 vsize=13982852 memory=8961 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22226/stat : 22226 (java) S 22222 22222 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 10098 33554432000 4194304 4196468 140735272373200 140107679476880 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22227] ppid=22222 vsize=13982852 memory=4051186881066190496 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22227/stat : 22227 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 10098 33554432000 4194304 4196468 140735272373200 140107678424080 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22228] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22228/stat : 22228 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 10098 33554432000 4194304 4196468 140735272373200 140107677371280 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22229] ppid=22222 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22229/stat : 22229 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 10098 33554432000 4194304 4196468 140735272373200 140107676318480 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22230] ppid=22222 vsize=13982852 memory=140530837636736 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22230/stat : 22230 (java) S 22222 22222 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154116118 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106795034992 140107749399170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22231] ppid=22222 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22231/stat : 22231 (java) S 22222 22222 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154116119 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106793980960 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22232] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154116119 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) S 22222 22222 21899 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 154116122 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106790824816 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) S 22222 22222 21899 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 154116122 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106789772016 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13982852 memory=140530837636736 CPUtime=0.08 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) S 22222 22222 21899 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 154116122 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106788719216 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116122 14318440448 10098 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41776 KiB

[startup+0.310597 s]*
/proc/loadavg: 1.80 1.50 1.24 6/218 22238
/proc/meminfo: memFree=28172188/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0
[pid=22224] ppid=22222 vsize=13982852 memory=47580 CPUtime=0.52 cores=0,2,4,6
/proc/22224/stat : 22224 (java) S 22222 22222 21899 0 -1 1077944320 9070 0 0 0 49 3 0 0 20 0 15 0 154116116 14318440448 11895 33554432000 4194304 4196468 140735272373200 140735272355744 140107749388023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
/proc/22224/statm: 3495713 11895 3080 1 0 3482966 0
[pid=22224/tid=22225] ppid=22222 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/22224/task/22225/stat : 22225 (java) R 22222 22222 21899 0 -1 4202560 6021 0 0 0 28 2 0 0 20 0 15 0 154116116 14318440448 11895 33554432000 4194304 4196468 140735272373200 140107753623040 140107742066037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22226] ppid=22222 vsize=13982852 memory=9323 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22226/stat : 22226 (java) S 22222 22222 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 11895 33554432000 4194304 4196468 140735272373200 140107679476880 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22227] ppid=22222 vsize=13982852 memory=3761406400170033184 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22227/stat : 22227 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 11895 33554432000 4194304 4196468 140735272373200 140107678424080 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22228] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22228/stat : 22228 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 11895 33554432000 4194304 4196468 140735272373200 140107677371280 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22229] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22229/stat : 22229 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14318440448 11895 33554432000 4194304 4196468 140735272373200 140107676318480 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22230] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22230/stat : 22230 (java) S 22222 22222 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154116118 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106795034992 140107749399170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22231] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22231/stat : 22231 (java) S 22222 22222 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154116119 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106793980960 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22232] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154116119 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) S 22222 22222 21899 0 -1 1077944384 623 0 0 0 4 0 0 0 20 0 15 0 154116122 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106790824816 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) S 22222 22222 21899 0 -1 1077944384 251 0 0 0 3 0 0 0 20 0 15 0 154116122 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106789772016 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) R 22222 22222 21899 0 -1 4202560 871 0 0 0 12 0 0 0 20 0 15 0 154116122 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106788719216 140107749409370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116122 14318440448 11895 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48964 KiB

[startup+0.701106 s]
/proc/loadavg: 1.80 1.50 1.24 6/218 22238
/proc/meminfo: memFree=28155308/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0
[pid=22224] ppid=22222 vsize=13984976 memory=74312 CPUtime=1.56 cores=0,2,4,6
/proc/22224/stat : 22224 (java) S 22222 22222 21899 0 -1 1077944320 13390 0 0 0 150 6 0 0 20 0 15 0 154116116 14320615424 18578 33554432000 4194304 4196468 140735272373200 140735272355744 140107749388023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
/proc/22224/statm: 3496244 18578 3211 1 0 3483478 0
[pid=22224/tid=22225] ppid=22222 vsize=13984976 memory=24584 CPUtime=0.67 cores=0,2,4,6
/proc/22224/task/22225/stat : 22225 (java) R 22222 22222 21899 0 -1 4202560 6867 0 0 0 64 3 0 0 20 0 15 0 154116116 14320615424 18578 33554432000 4194304 4196468 140735272373200 140107753626320 140107352931678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22226] ppid=22222 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22226/stat : 22226 (java) S 22222 22222 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154116117 14320615424 18578 33554432000 4194304 4196468 140735272373200 140107679476880 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22227] ppid=22222 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22227/stat : 22227 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14320615424 18578 33554432000 4194304 4196468 140735272373200 140107678424080 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22228] ppid=22222 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22228/stat : 22228 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14320615424 18578 33554432000 4194304 4196468 140735272373200 140107677371280 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22229] ppid=22222 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22229/stat : 22229 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116117 14320615424 18578 33554432000 4194304 4196468 140735272373200 140107676318480 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22230] ppid=22222 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22230/stat : 22230 (java) S 22222 22222 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154116118 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106795034992 140107749399170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22231] ppid=22222 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22231/stat : 22231 (java) S 22222 22222 21899 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106793980960 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22232] ppid=22222 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13984976 memory=4316 CPUtime=0.25 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) R 22222 22222 21899 0 -1 4202560 1757 0 0 0 24 1 0 0 20 0 15 0 154116122 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106790810952 140107726999371 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13984976 memory=2196 CPUtime=0.23 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) R 22222 22222 21899 0 -1 4202560 1660 0 0 0 23 0 0 0 20 0 15 0 154116122 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106789764648 140107733811038 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13984976 memory=7784 CPUtime=0.37 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) R 22222 22222 21899 0 -1 4202560 1826 0 0 0 37 0 0 0 20 0 15 0 154116122 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106788716184 140107727756662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 18578 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75696 KiB

[startup+1.50084 s]
/proc/loadavg: 1.80 1.50 1.24 7/218 22238
/proc/meminfo: memFree=28119540/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0

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

/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 57481 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13984976 memory=229924 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 57481 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13984976 memory=1384 CPUtime=4.46 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) S 22222 22222 21899 0 -1 1077944384 19476 0 0 0 444 2 0 0 20 0 15 0 154116122 14320615424 57481 33554432000 4194304 4196468 140735272373200 140106790824816 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13984976 memory=229924 CPUtime=4.25 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) S 22222 22222 21899 0 -1 1077944384 27348 0 0 0 423 2 0 0 20 0 15 0 154116122 14320615424 57481 33554432000 4194304 4196468 140735272373200 140106789772016 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13984976 memory=234016 CPUtime=0.61 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) S 22222 22222 21899 0 -1 1077944384 6647 0 0 0 60 1 0 0 20 0 15 0 154116122 14320615424 57481 33554432000 4194304 4196468 140735272373200 140106788719216 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13984976 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 57481 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 548 0 0 0 1 1 0 0 20 0 15 0 154116122 14320615424 57481 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 111.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 231308 KiB

[startup+162.301 s]
/proc/loadavg: 1.90 1.74 1.38 3/218 22240
/proc/meminfo: memFree=27889984/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0
[pid=22224] ppid=22222 vsize=13984976 memory=207416 CPUtime=171.85 cores=0,2,4,6
/proc/22224/stat : 22224 (java) S 22222 22222 21899 0 -1 1077944320 79208 0 0 0 17169 16 0 0 20 0 15 0 154116116 14320615424 51854 33554432000 4194304 4196468 140735272373200 140735272355744 140107749388023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
/proc/22224/statm: 3496244 51854 3264 1 0 3483478 0
[pid=22224/tid=22225] ppid=22222 vsize=13984976 memory=207416 CPUtime=162.15 cores=0,2,4,6
/proc/22224/task/22225/stat : 22225 (java) R 22222 22222 21899 0 -1 4202560 13501 0 0 0 16210 5 0 0 20 0 15 0 154116116 14320615424 51854 33554432000 4194304 4196468 140735272373200 140107753626896 140107362267386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22226] ppid=22222 vsize=13984976 memory=207416 CPUtime=0.03 cores=0,2,4,6
/proc/22224/task/22226/stat : 22226 (java) S 22222 22222 21899 0 -1 1077944384 973 0 0 0 3 0 0 0 20 0 15 0 154116117 14320615424 51854 33554432000 4194304 4196468 140735272373200 140107679476880 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22227] ppid=22222 vsize=13984976 memory=207416 CPUtime=0.04 cores=0,2,4,6
/proc/22224/task/22227/stat : 22227 (java) S 22222 22222 21899 0 -1 1077944384 430 0 0 0 4 0 0 0 20 0 15 0 154116117 14320615424 51854 33554432000 4194304 4196468 140735272373200 140107678424080 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22228] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/22224/task/22228/stat : 22228 (java) S 22222 22222 21899 0 -1 1077944384 2787 0 0 0 4 0 0 0 20 0 15 0 154116117 14320615424 51854 33554432000 4194304 4196468 140735272373200 140107677371280 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22229] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/22224/task/22229/stat : 22229 (java) S 22222 22222 21899 0 -1 1077944384 729 0 0 0 3 0 0 0 20 0 15 0 154116117 14320615424 51854 33554432000 4194304 4196468 140735272373200 140107676318480 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22230] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/22224/task/22230/stat : 22230 (java) S 22222 22222 21899 0 -1 1077944384 1361 0 0 0 3 0 0 0 20 0 15 0 154116118 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106795034992 140107749399170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22231] ppid=22222 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22231/stat : 22231 (java) S 22222 22222 21899 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106793980960 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22232] ppid=22222 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13984976 memory=207928 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13984976 memory=42840 CPUtime=4.47 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) S 22222 22222 21899 0 -1 1077944384 19679 0 0 0 444 3 0 0 20 0 15 0 154116122 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106790824816 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13984976 memory=1296 CPUtime=4.32 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) S 22222 22222 21899 0 -1 1077944384 29826 0 0 0 430 2 0 0 20 0 15 0 154116122 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106789772016 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.61 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) S 22222 22222 21899 0 -1 1077944384 7981 0 0 0 60 1 0 0 20 0 15 0 154116122 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106788719216 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13984976 memory=207416 CPUtime=0.03 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 579 0 0 0 1 2 0 0 20 0 15 0 154116122 14320615424 51854 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 171.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208800 KiB

[startup+222.301 s]
/proc/loadavg: 1.90 1.77 1.42 3/218 22241
/proc/meminfo: memFree=27893300/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0
[pid=22224] ppid=22222 vsize=13984976 memory=206920 CPUtime=231.95 cores=0,2,4,6
/proc/22224/stat : 22224 (java) S 22222 22222 21899 0 -1 1077944320 80632 0 0 0 23176 19 0 0 20 0 15 0 154116116 14320615424 51730 33554432000 4194304 4196468 140735272373200 140735272355744 140107749388023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
/proc/22224/statm: 3496244 51730 3264 1 0 3483478 0
[pid=22224/tid=22225] ppid=22222 vsize=13984976 memory=206920 CPUtime=222.11 cores=0,2,4,6
/proc/22224/task/22225/stat : 22225 (java) R 22222 22222 21899 0 -1 4202560 13862 0 0 0 22206 5 0 0 20 0 15 0 154116116 14320615424 51730 33554432000 4194304 4196468 140735272373200 140107753627776 140107361146622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22226] ppid=22222 vsize=13984976 memory=206920 CPUtime=0.05 cores=0,2,4,6
/proc/22224/task/22226/stat : 22226 (java) S 22222 22222 21899 0 -1 1077944384 978 0 0 0 5 0 0 0 20 0 15 0 154116117 14320615424 51730 33554432000 4194304 4196468 140735272373200 140107679476880 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22227] ppid=22222 vsize=13984976 memory=206920 CPUtime=0.05 cores=0,2,4,6
/proc/22224/task/22227/stat : 22227 (java) S 22222 22222 21899 0 -1 1077944384 452 0 0 0 5 0 0 0 20 0 15 0 154116117 14320615424 51730 33554432000 4194304 4196468 140735272373200 140107678424080 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22228] ppid=22222 vsize=13984976 memory=206920 CPUtime=0.05 cores=0,2,4,6
/proc/22224/task/22228/stat : 22228 (java) S 22222 22222 21899 0 -1 1077944384 2800 0 0 0 5 0 0 0 20 0 15 0 154116117 14320615424 51730 33554432000 4194304 4196468 140735272373200 140107677371280 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22229] ppid=22222 vsize=13984976 memory=206920 CPUtime=0.05 cores=0,2,4,6
/proc/22224/task/22229/stat : 22229 (java) S 22222 22222 21899 0 -1 1077944384 869 0 0 0 5 0 0 0 20 0 15 0 154116117 14320615424 51730 33554432000 4194304 4196468 140735272373200 140107676318480 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22230] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/22224/task/22230/stat : 22230 (java) S 22222 22222 21899 0 -1 1077944384 1584 0 0 0 5 1 0 0 20 0 15 0 154116118 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106795034992 140107749399170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22231] ppid=22222 vsize=13984976 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22231/stat : 22231 (java) S 22222 22222 21899 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106793980960 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22232] ppid=22222 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13984976 memory=206920 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13984976 memory=1796 CPUtime=4.47 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) S 22222 22222 21899 0 -1 1077944384 19788 0 0 0 444 3 0 0 20 0 15 0 154116122 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106790824816 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13984976 memory=956 CPUtime=4.35 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) S 22222 22222 21899 0 -1 1077944384 30348 0 0 0 432 3 0 0 20 0 15 0 154116122 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106789772016 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13984976 memory=1224 CPUtime=0.61 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) S 22222 22222 21899 0 -1 1077944384 7982 0 0 0 60 1 0 0 20 0 15 0 154116122 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106788719216 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 607 0 0 0 2 3 0 0 20 0 15 0 154116122 14320615424 51730 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 231.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208304 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.86 1.77 1.42 3/218 22319
/proc/meminfo: memFree=27980252/32770624 swapFree=67108860/67108860
[pid=22222] ppid=22219 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22222/stat : 22222 (xcsp3-exec) S 22219 22222 21899 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154116116 9740288 346 33554432000 4194304 5098028 140727876901296 140727876899400 140684483080828 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24756224 140727876908148 140727876908352 140727876908352 140727876911083 0
/proc/22222/statm: 2378 346 289 221 0 87 0
[pid=22224] ppid=22222 vsize=13984976 memory=208968 CPUtime=249.69 cores=0,2,4,6
/proc/22224/stat : 22224 (java) S 22222 22222 21899 0 -1 1077944320 80694 0 0 0 24949 20 0 0 20 0 15 0 154116116 14320615424 52242 33554432000 4194304 4196468 140735272373200 140735272355744 140107749388023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
/proc/22224/statm: 3496244 52242 3264 1 0 3483478 0
[pid=22224/tid=22225] ppid=22222 vsize=13984976 memory=6791534058613427641 CPUtime=239.79 cores=0,2,4,6
/proc/22224/task/22225/stat : 22225 (java) R 22222 22222 21899 0 -1 4202560 13897 0 0 0 23974 5 0 0 20 0 15 0 154116116 14320615424 52242 33554432000 4194304 4196468 140735272373200 140107753627408 140107360842034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22226] ppid=22222 vsize=13984976 memory=4872558044660077418 CPUtime=0.06 cores=0,2,4,6
/proc/22224/task/22226/stat : 22226 (java) S 22222 22222 21899 0 -1 1077944384 985 0 0 0 6 0 0 0 20 0 15 0 154116117 14320615424 52242 33554432000 4194304 4196468 140735272373200 140107679476880 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22227] ppid=22222 vsize=13984976 memory=1732 CPUtime=0.06 cores=0,2,4,6
/proc/22224/task/22227/stat : 22227 (java) S 22222 22222 21899 0 -1 1077944384 457 0 0 0 6 0 0 0 20 0 15 0 154116117 14320615424 52242 33554432000 4194304 4196468 140735272373200 140107678424080 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22228] ppid=22222 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/22224/task/22228/stat : 22228 (java) S 22222 22222 21899 0 -1 1077944384 2804 0 0 0 6 0 0 0 20 0 15 0 154116117 14320615424 52242 33554432000 4194304 4196468 140735272373200 140107677371280 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22229] ppid=22222 vsize=13984976 memory=208968 CPUtime=0.06 cores=0,2,4,6
/proc/22224/task/22229/stat : 22229 (java) S 22222 22222 21899 0 -1 1077944384 880 0 0 0 6 0 0 0 20 0 15 0 154116117 14320615424 52242 33554432000 4194304 4196468 140735272373200 140107676318480 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22230] ppid=22222 vsize=13984976 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/22224/task/22230/stat : 22230 (java) S 22222 22222 21899 0 -1 1077944384 1584 0 0 0 6 1 0 0 20 0 15 0 154116118 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106795034992 140107749399170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22231] ppid=22222 vsize=13984976 memory=447 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22231/stat : 22231 (java) S 22222 22222 21899 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106793980960 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22232] ppid=22222 vsize=13984976 memory=435 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22232/stat : 22232 (java) S 22222 22222 21899 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154116119 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106792928112 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22233] ppid=22222 vsize=13984976 memory=61 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22233/stat : 22233 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106791876432 140107749406619 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22234] ppid=22222 vsize=13984976 memory=0 CPUtime=4.47 cores=0,2,4,6
/proc/22224/task/22234/stat : 22234 (java) S 22222 22222 21899 0 -1 1077944384 19788 0 0 0 444 3 0 0 20 0 15 0 154116122 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106790824816 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22235] ppid=22222 vsize=13984976 memory=5 CPUtime=4.35 cores=0,2,4,6
/proc/22224/task/22235/stat : 22235 (java) S 22222 22222 21899 0 -1 1077944384 30348 0 0 0 432 3 0 0 20 0 15 0 154116122 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106789772016 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22236] ppid=22222 vsize=13984976 memory=23498 CPUtime=0.61 cores=0,2,4,6
/proc/22224/task/22236/stat : 22236 (java) S 22222 22222 21899 0 -1 1077944384 7982 0 0 0 60 1 0 0 20 0 15 0 154116122 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106788719216 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22237] ppid=22222 vsize=13984976 memory=6 CPUtime=0 cores=0,2,4,6
/proc/22224/task/22237/stat : 22237 (java) S 22222 22222 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154116122 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106787666656 140107749398229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
[pid=22224/tid=22238] ppid=22222 vsize=13984976 memory=6 CPUtime=0.06 cores=0,2,4,6
/proc/22224/task/22238/stat : 22238 (java) S 22222 22222 21899 0 -1 1077944384 607 0 0 0 2 4 0 0 20 0 15 0 154116122 14320615424 52242 33554432000 4194304 4196468 140735272373200 140106786613936 140107749399170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37093376 140735272379549 140735272379724 140735272379724 140735272382415 0
Current children cumulated CPU time: 249.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 210352 KiB

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

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

[startup+240.024 s]
# the end of solver process 22224 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.503 s, system=0.210149 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): 240.024
CPU time (s): 249.714
CPU user time (s): 249.503
CPU system time (s): 0.210149
CPU usage (%): 104.037
Max. virtual memory (cumulated for all children) (KiB): 13997416
Max. memory (cumulated for all children) (KiB): 253204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.503
system time used= 0.210149
maximum resident set size= 254352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9720
involuntary context switches= 329


# summary of solver processes directly reported to runsolver:
#   pid: 22222,22224
#   total CPU time (s): 249.714
#   total CPU user time (s): 249.503
#   total CPU system time (s): 0.210149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50763 second user time and 2.17725 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-20 08:10:19
IDJOB=4283138
IDBENCH=115828
IDSOLVER=2678
FILE ID=node102/4283138-1503210280
RUNJOBID= node102-1503209175-21930
PBS_JOBID= 20630875
Free space on /tmp= 61676 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-6.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-4283138-1503210280/watcher-4283138-1503210280 -o /tmp/evaluation-result-4283138-1503210280/solver-4283138-1503210280 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2019519527 HOME/instance-4283138-1503210280.xml

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

MD5SUM BENCH= c933cd09e9acfeb17baa8719fd3b3e7c
RANDOM SEED=2019519527

node102.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.35
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.35
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.35
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.35
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:        28209608 kB
MemAvailable:   31855140 kB
Buffers:          239768 kB
Cached:          3698480 kB
SwapCached:            0 kB
Active:          1193112 kB
Inactive:        2920360 kB
Active(anon):     128252 kB
Inactive(anon):    83092 kB
Active(file):    1064860 kB
Inactive(file):  2837268 kB
Unevictable:        7464 kB
Mlocked:            7464 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             15816 kB
Writeback:             0 kB
AnonPages:        196948 kB
Mapped:            63940 kB
Shmem:             33420 kB
Slab:             145772 kB
SReclaimable:     118476 kB
SUnreclaim:        27296 kB
KernelStack:        3824 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1307592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61668 MiB
End job on node102 at 2017-08-20 08:14:20