Trace number 4272408

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 5a (2017-07-26)? (TO) 2520.04 2458.4199

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K11-P04.xml
MD5SUM83a9e5860e8605726185e9821b8e29ef
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables561
Number of constraints255
Number of domains2
Minimum domain size253
Maximum domain size254
Distribution of domain sizes[{"size":253,"count":253},{"size":254,"count":44}]
Minimum variable degree0
Maximum variable degree13
Distribution of variable degrees[{"degree":0,"count":264},{"degree":2,"count":253},{"degree":12,"count":22},{"degree":13,"count":22}]
Minimum constraint arity3
Maximum constraint arity253
Distribution of constraint arities[{"arity":3,"count":253},{"arity":44,"count":1},{"arity":253,"count":1}]
Number of extensional constraints0
Number of intensional constraints253
Distribution of constraint types[{"type":"intension","count":253},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272408-1502715054.xml"  -tl '2520s' -p 1 -x 3
0.07/0.29	c [HOME/instance-4272408-1502715054.xml, -tl, 2520s, -p, 1, -x, 3]
0.24/0.35	c simple solver
0.24/0.41	c parse instance...
1.14/0.73	c solve instance...
2520.01/2458.40	s UNKNOWN
2520.01/2458.40	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272408-1502715054/watcher-4272408-1502715054 -o /tmp/evaluation-result-4272408-1502715054/solver-4272408-1502715054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1924539796 HOME/instance-4272408-1502715054.xml 

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

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

solver pid=10367, runsolver pid=10364

[startup+0.100131 s]*
/proc/loadavg: 1.37 1.36 1.40 2/198 10368
/proc/meminfo: memFree=30958208/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9508 memory=756 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) R 10364 10367 7968 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 25388037 9736192 125 18446744073709551615 4194304 5098028 140728431748224 140728431748224 139889170810151 0 0 1 0 0 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2377 189 154 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 756 KiB

[startup+0.210636 s]*
/proc/loadavg: 1.37 1.36 1.40 4/213 10383
/proc/meminfo: memFree=30945624/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) S 10364 10367 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25388037 9740288 345 18446744073709551615 4194304 5098028 140728431748224 140728431746328 139889170805372 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2378 345 289 221 0 87 0
[pid=10369] ppid=10367 vsize=13974352 memory=23360 CPUtime=0.07 cores=1,3,5,7
/proc/10369/stat : 10369 (java) S 10367 10367 7968 0 -1 1077944320 4774 0 0 0 5 2 0 0 20 0 15 0 25388048 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140723148523024 140097402810103 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
/proc/10369/statm: 3493588 5840 2722 1 0 3482964 0
[pid=10369/tid=10370] ppid=10367 vsize=13974352 memory=7078076838863583841 CPUtime=0.05 cores=1,3,5,7
/proc/10369/task/10370/stat : 10370 (java) R 10367 10367 7968 0 -1 4202560 2927 0 0 0 4 1 0 0 20 0 15 0 25388049 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140097407039984 140097402824007 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10371] ppid=10367 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10371/stat : 10371 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140097003109392 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10372] ppid=10367 vsize=13974352 memory=139672396387968 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10372/stat : 10372 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140097002056848 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10373] ppid=10367 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10373/stat : 10373 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140097001003792 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10374] ppid=10367 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10374/stat : 10374 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096999951248 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10375] ppid=10367 vsize=13974352 memory=139672396387968 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10375/stat : 10375 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388051 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096948533488 140097402821250 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10376] ppid=10367 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10376/stat : 10376 (java) S 10367 10367 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25388051 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096947479712 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10377] ppid=10367 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25388051 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) S 10367 10367 7968 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 25388054 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096944323312 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096943270768 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13974352 memory=139672396387968 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) S 10367 10367 7968 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 25388054 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13974352 memory=139672396387968 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388058 14309736448 5840 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24740 KiB

[startup+0.310257 s]*
/proc/loadavg: 1.37 1.36 1.40 5/213 10383
/proc/meminfo: memFree=30930972/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) S 10364 10367 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25388037 9740288 345 18446744073709551615 4194304 5098028 140728431748224 140728431746328 139889170805372 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2378 345 289 221 0 87 0
[pid=10369] ppid=10367 vsize=13974352 memory=36820 CPUtime=0.24 cores=1,3,5,7
/proc/10369/stat : 10369 (java) S 10367 10367 7968 0 -1 1077944320 8280 0 0 0 21 3 0 0 20 0 15 0 25388048 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140723148523024 140097402810103 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
/proc/10369/statm: 3493588 9205 2946 1 0 3482964 0
[pid=10369/tid=10370] ppid=10367 vsize=13974352 memory=29678448712876256 CPUtime=0.15 cores=1,3,5,7
/proc/10369/task/10370/stat : 10370 (java) R 10367 10367 7968 0 -1 4202560 5607 0 0 0 13 2 0 0 20 0 15 0 25388049 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140097407023552 140097402832029 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10371] ppid=10367 vsize=13974352 memory=4294967596 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10371/stat : 10371 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140097003109392 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10372] ppid=10367 vsize=13974352 memory=139672396392582 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10372/stat : 10372 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140097002056848 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10373] ppid=10367 vsize=13974352 memory=6944665225511868275 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10373/stat : 10373 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140097001003792 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10374] ppid=10367 vsize=13974352 memory=3472328295574038117 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10374/stat : 10374 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096999951248 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10375] ppid=10367 vsize=13974352 memory=7016593330551087283 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10375/stat : 10375 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388051 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096948533488 140097402821250 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10376] ppid=10367 vsize=13974352 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10376/stat : 10376 (java) S 10367 10367 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25388051 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096947479712 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10377] ppid=10367 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25388051 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13974352 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) S 10367 10367 7968 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 25388054 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096944323312 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) R 10367 10367 7968 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 15 0 25388054 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096943270768 140097402821250 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13974352 memory=139672396387968 CPUtime=0.05 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) S 10367 10367 7968 0 -1 1077944384 679 0 0 0 5 0 0 0 20 0 15 0 25388054 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13974352 memory=139672396387968 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388058 14309736448 9205 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38200 KiB

[startup+0.701244 s]
/proc/loadavg: 1.42 1.37 1.40 5/213 10383
/proc/meminfo: memFree=30920128/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) S 10364 10367 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25388037 9740288 345 18446744073709551615 4194304 5098028 140728431748224 140728431746328 139889170805372 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2378 345 289 221 0 87 0
[pid=10369] ppid=10367 vsize=13980732 memory=69432 CPUtime=1.14 cores=1,3,5,7
/proc/10369/stat : 10369 (java) S 10367 10367 7968 0 -1 1077944320 12923 0 0 0 108 6 0 0 20 0 15 0 25388048 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140723148523024 140097402810103 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
/proc/10369/statm: 3495183 17358 3172 1 0 3483476 0
[pid=10369/tid=10370] ppid=10367 vsize=13980732 memory=6298397712577287523 CPUtime=0.53 cores=1,3,5,7
/proc/10369/task/10370/stat : 10370 (java) R 10367 10367 7968 0 -1 4202560 7942 0 0 0 49 4 0 0 20 0 15 0 25388049 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140097407047328 140097402822038 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10371] ppid=10367 vsize=13980732 memory=8099279071866868845 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10371/stat : 10371 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140097003109392 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10372] ppid=10367 vsize=13980732 memory=7307202998318031958 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10372/stat : 10372 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140097002056848 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10373] ppid=10367 vsize=13980732 memory=5787213839949522007 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10373/stat : 10373 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140097001003792 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10374] ppid=10367 vsize=13980732 memory=7589804982986695785 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10374/stat : 10374 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096999951248 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10375] ppid=10367 vsize=13980732 memory=46 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10375/stat : 10375 (java) S 10367 10367 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096948533488 140097402821250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10376] ppid=10367 vsize=13980732 memory=139672270119888 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10376/stat : 10376 (java) S 10367 10367 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096947479712 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10377] ppid=10367 vsize=13980732 memory=279344538876520 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13980732 memory=139672269464834 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13980732 memory=279344538813912 CPUtime=0.14 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) S 10367 10367 7968 0 -1 1077944384 1241 0 0 0 14 0 0 0 20 0 15 0 25388054 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096944323312 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13980732 memory=7667213882584230244 CPUtime=0.14 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) S 10367 10367 7968 0 -1 1077944384 779 0 0 0 14 0 0 0 20 0 15 0 25388054 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096943270768 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13980732 memory=7014470040326004800 CPUtime=0.29 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) R 10367 10367 7968 0 -1 4202560 1654 0 0 0 29 0 0 0 20 0 15 0 25388054 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097386890590 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13980732 memory=8099279071866868845 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13980732 memory=6080774743095853154 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388058 14316269568 17358 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70812 KiB

[startup+1.50083 s]
/proc/loadavg: 1.42 1.37 1.40 5/213 10383
/proc/meminfo: memFree=30881732/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) S 10364 10367 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25388037 9740288 345 18446744073709551615 4194304 5098028 140728431748224 140728431746328 139889170805372 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2378 345 289 221 0 87 0
[pid=10369] ppid=10367 vsize=13980732 memory=111644 CPUtime=3.59 cores=1,3,5,7
/proc/10369/stat : 10369 (java) S 10367 10367 7968 0 -1 1077944320 30070 0 0 0 351 8 0 0 20 0 15 0 25388048 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140723148523024 140097402810103 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
/proc/10369/statm: 3495183 27911 3187 1 0 3483476 0
[pid=10369/tid=10370] ppid=10367 vsize=13980732 memory=279344539024672 CPUtime=1.32 cores=1,3,5,7
/proc/10369/task/10370/stat : 10370 (java) R 10367 10367 7968 0 -1 4202560 8843 0 0 0 128 4 0 0 20 0 15 0 25388049 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140097407049440 140097023013050 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10371] ppid=10367 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10371/stat : 10371 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140097003109392 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10372] ppid=10367 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10372/stat : 10372 (java) S 10367 10367 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140097002056848 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10373] ppid=10367 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10373/stat : 10373 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140097001003792 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10374] ppid=10367 vsize=13980732 memory=62020 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10374/stat : 10374 (java) S 10367 10367 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25388049 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096999951248 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10375] ppid=10367 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10375/stat : 10375 (java) S 10367 10367 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096948533488 140097402821250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10376] ppid=10367 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10376/stat : 10376 (java) S 10367 10367 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096947479712 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10377] ppid=10367 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13980732 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) R 10367 10367 7968 0 -1 4202560 10227 0 0 0 86 1 0 0 20 0 15 0 25388054 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096944312064 140097387731141 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13980732 memory=6463925781705 CPUtime=0.89 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) R 10367 10367 7968 0 -1 4202560 6464 0 0 0 88 1 0 0 20 0 15 0 25388054 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096943260688 140097386310301 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13980732 memory=11848 CPUtime=0.48 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) S 10367 10367 7968 0 -1 1077944384 3224 0 0 0 48 0 0 0 20 0 15 0 25388054 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13980732 memory=26984 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25388058 14316269568 27911 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0

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

/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 343656 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 343656 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13980732 memory=0 CPUtime=5.62 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) S 10367 10367 7968 0 -1 1077944384 33498 0 0 0 559 3 0 0 20 0 15 0 25388054 14316269568 343656 18446744073709551615 4194304 4196468 140723148540480 140096944323312 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13980732 memory=2248 CPUtime=5.39 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) S 10367 10367 7968 0 -1 1077944384 33918 0 0 0 536 3 0 0 20 0 15 0 25388054 14316269568 343656 18446744073709551615 4194304 4196468 140723148540480 140096943270768 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13980732 memory=1380 CPUtime=0.89 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) S 10367 10367 7968 0 -1 1077944384 12145 0 0 0 87 2 0 0 20 0 15 0 25388054 14316269568 343656 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 343656 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13980732 memory=1374436 CPUtime=1.07 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 1948 0 0 0 49 58 0 0 20 0 15 0 25388058 14316269568 343656 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
Current children cumulated CPU time: 2381.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1376004 KiB

[startup+2382.3 s]
/proc/loadavg: 1.77 1.75 1.58 3/213 10705
/proc/meminfo: memFree=28901252/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) S 10364 10367 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25388037 9740288 345 18446744073709551615 4194304 5098028 140728431748224 140728431746328 139889170805372 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2378 345 289 221 0 87 0
[pid=10369] ppid=10367 vsize=13980732 memory=1300856 CPUtime=2442.91 cores=1,3,5,7
/proc/10369/stat : 10369 (java) S 10367 10367 7968 0 -1 1077944320 309079 0 0 0 243856 435 0 0 20 0 15 0 25388048 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140723148523024 140097402810103 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
/proc/10369/statm: 3495183 325214 3265 1 0 3483476 0
[pid=10369/tid=10370] ppid=10367 vsize=13980732 memory=1329024 CPUtime=2360.97 cores=1,3,5,7
/proc/10369/task/10370/stat : 10370 (java) R 10367 10367 7968 0 -1 4202560 114674 0 0 0 236061 36 0 0 20 0 15 0 25388049 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140097407049888 140097024665965 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10371] ppid=10367 vsize=13980732 memory=1311632 CPUtime=16.52 cores=1,3,5,7
/proc/10369/task/10371/stat : 10371 (java) S 10367 10367 7968 0 -1 1077944384 20850 0 0 0 1573 79 0 0 20 0 15 0 25388049 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140097003109392 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10372] ppid=10367 vsize=13980732 memory=1300856 CPUtime=16.51 cores=1,3,5,7
/proc/10369/task/10372/stat : 10372 (java) S 10367 10367 7968 0 -1 1077944384 22804 0 0 0 1574 77 0 0 20 0 15 0 25388049 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140097002056848 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10373] ppid=10367 vsize=13980732 memory=1304448 CPUtime=16.54 cores=1,3,5,7
/proc/10369/task/10373/stat : 10373 (java) S 10367 10367 7968 0 -1 1077944384 22411 0 0 0 1576 78 0 0 20 0 15 0 25388049 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140097001003792 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10374] ppid=10367 vsize=13980732 memory=1380 CPUtime=16.53 cores=1,3,5,7
/proc/10369/task/10374/stat : 10374 (java) S 10367 10367 7968 0 -1 1077944384 19792 0 0 0 1573 80 0 0 20 0 15 0 25388049 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096999951248 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10375] ppid=10367 vsize=13980732 memory=1380 CPUtime=2.72 cores=1,3,5,7
/proc/10369/task/10375/stat : 10375 (java) S 10367 10367 7968 0 -1 1077944384 25374 0 0 0 229 43 0 0 20 0 15 0 25388051 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096948533488 140097402821250 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10376] ppid=10367 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10376/stat : 10376 (java) S 10367 10367 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096947479776 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10377] ppid=10367 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13980732 memory=1338220 CPUtime=5.63 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) S 10367 10367 7968 0 -1 1077944384 33678 0 0 0 560 3 0 0 20 0 15 0 25388054 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096944323312 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13980732 memory=4124 CPUtime=5.39 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) S 10367 10367 7968 0 -1 1077944384 33991 0 0 0 536 3 0 0 20 0 15 0 25388054 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096943270768 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13980732 memory=1732 CPUtime=0.89 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) S 10367 10367 7968 0 -1 1077944384 12184 0 0 0 87 2 0 0 20 0 15 0 25388054 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13980732 memory=1300856 CPUtime=1.1 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 1977 0 0 0 51 59 0 0 20 0 15 0 25388058 14316269568 325214 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
Current children cumulated CPU time: 2442.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1302236 KiB

[startup+2442.3 s]
/proc/loadavg: 1.34 1.62 1.54 3/213 10709
/proc/meminfo: memFree=28891976/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) S 10364 10367 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25388037 9740288 345 18446744073709551615 4194304 5098028 140728431748224 140728431746328 139889170805372 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2378 345 289 221 0 87 0
[pid=10369] ppid=10367 vsize=13980732 memory=1322400 CPUtime=2503.7 cores=1,3,5,7
/proc/10369/stat : 10369 (java) S 10367 10367 7968 0 -1 1077944320 315338 0 0 0 249928 442 0 0 20 0 15 0 25388048 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140723148523024 140097402810103 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
/proc/10369/statm: 3495183 330600 3265 1 0 3483476 0
[pid=10369/tid=10370] ppid=10367 vsize=13980732 memory=1335244 CPUtime=2420.62 cores=1,3,5,7
/proc/10369/task/10370/stat : 10370 (java) R 10367 10367 7968 0 -1 4202560 117892 0 0 0 242025 37 0 0 20 0 15 0 25388049 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140097407049712 140097024415608 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10371] ppid=10367 vsize=13980732 memory=1283904 CPUtime=16.78 cores=1,3,5,7
/proc/10369/task/10371/stat : 10371 (java) S 10367 10367 7968 0 -1 1077944384 21327 0 0 0 1598 80 0 0 20 0 15 0 25388049 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140097003109392 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10372] ppid=10367 vsize=13980732 memory=0 CPUtime=16.78 cores=1,3,5,7
/proc/10369/task/10372/stat : 10372 (java) S 10367 10367 7968 0 -1 1077944384 23847 0 0 0 1600 78 0 0 20 0 15 0 25388049 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140097002056848 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10373] ppid=10367 vsize=13980732 memory=1328556 CPUtime=16.81 cores=1,3,5,7
/proc/10369/task/10373/stat : 10373 (java) S 10367 10367 7968 0 -1 1077944384 23430 0 0 0 1602 79 0 0 20 0 15 0 25388049 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140097001003792 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10374] ppid=10367 vsize=13980732 memory=1322400 CPUtime=16.8 cores=1,3,5,7
/proc/10369/task/10374/stat : 10374 (java) S 10367 10367 7968 0 -1 1077944384 20025 0 0 0 1599 81 0 0 20 0 15 0 25388049 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096999951248 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10375] ppid=10367 vsize=13980732 memory=1380 CPUtime=2.77 cores=1,3,5,7
/proc/10369/task/10375/stat : 10375 (java) S 10367 10367 7968 0 -1 1077944384 25618 0 0 0 233 44 0 0 20 0 15 0 25388051 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096948533488 140097402821250 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10376] ppid=10367 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10376/stat : 10376 (java) S 10367 10367 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096947479776 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10377] ppid=10367 vsize=13980732 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13980732 memory=16800 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13980732 memory=1328556 CPUtime=5.63 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) S 10367 10367 7968 0 -1 1077944384 33681 0 0 0 560 3 0 0 20 0 15 0 25388054 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096944323312 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13980732 memory=1336252 CPUtime=5.39 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) S 10367 10367 7968 0 -1 1077944384 33993 0 0 0 536 3 0 0 20 0 15 0 25388054 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096943270768 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13980732 memory=1380 CPUtime=0.89 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) S 10367 10367 7968 0 -1 1077944384 12186 0 0 0 87 2 0 0 20 0 15 0 25388054 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13980732 memory=1325476 CPUtime=1.13 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 1995 0 0 0 52 61 0 0 20 0 15 0 25388058 14316269568 330600 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
Current children cumulated CPU time: 2503.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1323780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.4 s]
/proc/loadavg: 1.40 1.62 1.54 3/213 10711
/proc/meminfo: memFree=28914916/32770624 swapFree=67108860/67108860
[pid=10367] ppid=10364 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/10367/stat : 10367 (xcsp3-exec) S 10364 10367 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25388037 9740288 345 18446744073709551615 4194304 5098028 140728431748224 140728431746328 139889170805372 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 31186944 140728431755641 140728431755846 140728431755846 140728431759339 0
/proc/10367/statm: 2378 345 289 221 0 87 0
[pid=10369] ppid=10367 vsize=13980732 memory=1307012 CPUtime=2520.01 cores=1,3,5,7
/proc/10369/stat : 10369 (java) S 10367 10367 7968 0 -1 1077944320 315868 0 0 0 251558 443 0 0 20 0 15 0 25388048 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140723148523024 140097402810103 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
/proc/10369/statm: 3495183 326753 3265 1 0 3483476 0
[pid=10369/tid=10370] ppid=10367 vsize=13980732 memory=4124 CPUtime=2436.63 cores=1,3,5,7
/proc/10369/task/10370/stat : 10370 (java) R 10367 10367 7968 0 -1 4202560 117935 0 0 0 243626 37 0 0 20 0 15 0 25388049 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140097407049712 140097026083962 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10371] ppid=10367 vsize=13980732 memory=16800 CPUtime=16.85 cores=1,3,5,7
/proc/10369/task/10371/stat : 10371 (java) S 10367 10367 7968 0 -1 1077944384 21445 0 0 0 1605 80 0 0 20 0 15 0 25388049 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140097003109392 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10372] ppid=10367 vsize=13980732 memory=1275720 CPUtime=16.85 cores=1,3,5,7
/proc/10369/task/10372/stat : 10372 (java) S 10367 10367 7968 0 -1 1077944384 24027 0 0 0 1607 78 0 0 20 0 15 0 25388049 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140097002056848 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10373] ppid=10367 vsize=13980732 memory=3868 CPUtime=16.88 cores=1,3,5,7
/proc/10369/task/10373/stat : 10373 (java) S 10367 10367 7968 0 -1 1077944384 23430 0 0 0 1609 79 0 0 20 0 15 0 25388049 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140097001003792 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10374] ppid=10367 vsize=13980732 memory=3904 CPUtime=16.87 cores=1,3,5,7
/proc/10369/task/10374/stat : 10374 (java) S 10367 10367 7968 0 -1 1077944384 20210 0 0 0 1606 81 0 0 20 0 15 0 25388049 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096999951248 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10375] ppid=10367 vsize=13980732 memory=1228 CPUtime=2.78 cores=1,3,5,7
/proc/10369/task/10375/stat : 10375 (java) S 10367 10367 7968 0 -1 1077944384 25620 0 0 0 234 44 0 0 20 0 15 0 25388051 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096948533488 140097402821250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10376] ppid=10367 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10376/stat : 10376 (java) S 10367 10367 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096947479776 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10377] ppid=10367 vsize=13980732 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10377/stat : 10377 (java) S 10367 10367 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25388051 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096946426608 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10378] ppid=10367 vsize=13980732 memory=8692 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10378/stat : 10378 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096945375184 140097402828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10379] ppid=10367 vsize=13980732 memory=1440 CPUtime=5.63 cores=1,3,5,7
/proc/10369/task/10379/stat : 10379 (java) S 10367 10367 7968 0 -1 1077944384 33681 0 0 0 560 3 0 0 20 0 15 0 25388054 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096944323312 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10380] ppid=10367 vsize=13980732 memory=9916 CPUtime=5.39 cores=1,3,5,7
/proc/10369/task/10380/stat : 10380 (java) S 10367 10367 7968 0 -1 1077944384 33993 0 0 0 536 3 0 0 20 0 15 0 25388054 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096943270768 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10381] ppid=10367 vsize=13980732 memory=1380 CPUtime=0.89 cores=1,3,5,7
/proc/10369/task/10381/stat : 10381 (java) S 10367 10367 7968 0 -1 1077944384 12186 0 0 0 87 2 0 0 20 0 15 0 25388054 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096942217712 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10382] ppid=10367 vsize=13980732 memory=1328556 CPUtime=0 cores=1,3,5,7
/proc/10369/task/10382/stat : 10382 (java) S 10367 10367 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25388054 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096941165408 140097402820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
[pid=10369/tid=10383] ppid=10367 vsize=13980732 memory=4304 CPUtime=1.14 cores=1,3,5,7
/proc/10369/task/10383/stat : 10383 (java) S 10367 10367 7968 0 -1 1077944384 1997 0 0 0 52 62 0 0 20 0 15 0 25388058 14316269568 326753 18446744073709551615 4194304 4196468 140723148540480 140096940112432 140097402821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24485888 140723148542386 140723148542562 140723148542562 140723148545999 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1308392 KiB

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

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

[startup+2458.42 s]
# the end of solver process 10369 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.6 s, system=4.44231 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): 2458.42
CPU time (s): 2520.04
CPU user time (s): 2515.6
CPU system time (s): 4.44231
CPU usage (%): 102.507
Max. virtual memory (cumulated for all children) (KiB): 13992256
Max. memory (cumulated for all children) (KiB): 1402724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.6
system time used= 4.44231
maximum resident set size= 1403424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316615
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116520
involuntary context switches= 4675


# summary of solver processes directly reported to runsolver:
#   pid: 10367,10369
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2515.6
#   total CPU system time (s): 4.44231

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5472 second user time and 23.9143 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-14 14:36:57
IDJOB=4272408
IDBENCH=120746
IDSOLVER=2664
FILE ID=node128/4272408-1502715054
RUNJOBID= node128-1502649221-29001
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K11-P04.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-4272408-1502715054/watcher-4272408-1502715054 -o /tmp/evaluation-result-4272408-1502715054/solver-4272408-1502715054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1924539796 HOME/instance-4272408-1502715054.xml

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

MD5SUM BENCH= 83a9e5860e8605726185e9821b8e29ef
RANDOM SEED=1924539796

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.94
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.94
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.94
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.94
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:        30958580 kB
MemAvailable:   31722116 kB
Buffers:          192808 kB
Cached:           855724 kB
SwapCached:            0 kB
Active:           618380 kB
Inactive:         778552 kB
Active(anon):     348372 kB
Inactive(anon):    16764 kB
Active(file):     270008 kB
Inactive(file):   761788 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7856 kB
Writeback:            16 kB
AnonPages:        347684 kB
Mapped:            47724 kB
Shmem:             17116 kB
Slab:             120604 kB
SReclaimable:      95148 kB
SUnreclaim:        25456 kB
KernelStack:        3472 kB
PageTables:         5952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     953992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-08-14 15:17:55