Trace number 4272571

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)UNSAT 15.7951 6.9175801

General information on the benchmark

NamePigeonsPlus/PigeonsPlus-m1-s1/
pigeonsPlus-09-03.xml
MD5SUM944781a71279aa84e7aac7ce597bf3c8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.0033801
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints54
Number of domains2
Minimum domain size8
Maximum domain size9
Distribution of domain sizes[{"size":8,"count":9},{"size":9,"count":27}]
Minimum variable degree1
Maximum variable degree9
Distribution of variable degrees[{"degree":1,"count":18},{"degree":2,"count":9},{"degree":9,"count":9}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":45},{"arity":3,"count":9}]
Number of extensional constraints54
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":54}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272571-1502814696.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4272571-1502814696.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.34/0.26	c parse instance...
0.76/0.47	c solve instance...
15.77/6.90	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272571-1502814696/watcher-4272571-1502814696 -o /tmp/evaluation-result-4272571-1502814696/solver-4272571-1502814696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2126308468 HOME/instance-4272571-1502814696.xml 

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

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


[startup+0.100173 s]*
/proc/loadavg: 1.91 1.90 1.88 3/217 10328
/proc/meminfo: memFree=27787724/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0
[pid=10314] ppid=10312 vsize=13978596 memory=27860 CPUtime=0.12 cores=0,2,4,6
/proc/10314/stat : 10314 (java) S 10312 10312 5918 0 -1 1077944320 5313 0 0 0 11 1 0 0 20 0 15 0 114557585 14314082304 6965 33554432000 4194304 4196468 140725710484704 140725710467248 140034813144823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
/proc/10314/statm: 3494649 6965 2876 1 0 3482966 0
[pid=10314/tid=10315] ppid=10312 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/10314/task/10315/stat : 10315 (java) R 10312 10312 5918 0 -1 4202560 3328 0 0 0 8 1 0 0 20 0 15 0 114557585 14314082304 6965 33554432000 4194304 4196468 140725710484704 140034817377072 140034813156758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10316] ppid=10312 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114557586 14314082304 6965 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13978596 memory=140020032112256 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14314082304 6965 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14314082304 6965 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14314082304 6965 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13978596 memory=140020032112256 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114557588 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114557588 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114557588 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) S 10312 10312 5918 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 114557591 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033989855856 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) R 10312 10312 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114557591 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033988803056 140034813155970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13978596 memory=140020032112256 CPUtime=0.01 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) R 10312 10312 5918 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 114557591 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033987750768 140034813156758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13978596 memory=140020032112256 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557591 14314082304 6965 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29244 KiB

[startup+0.210687 s]*
/proc/loadavg: 1.91 1.90 1.88 3/217 10328
/proc/meminfo: memFree=27776264/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0
[pid=10314] ppid=10312 vsize=13982852 memory=40304 CPUtime=0.34 cores=0,2,4,6
/proc/10314/stat : 10314 (java) S 10312 10312 5918 0 -1 1077944320 8161 0 0 0 31 3 0 0 20 0 15 0 114557585 14318440448 10076 33554432000 4194304 4196468 140725710484704 140725710467248 140034813144823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
/proc/10314/statm: 3495713 10076 3043 1 0 3482966 0
[pid=10314/tid=10315] ppid=10312 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/10314/task/10315/stat : 10315 (java) D 10312 10312 5918 0 -1 1077944384 5286 0 0 0 17 2 0 0 20 0 15 0 114557585 14318440448 10076 33554432000 4194304 4196468 140725710484704 140034817346512 140034805824045 0 4 0 16800975 18446744072101617188 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10316] ppid=10312 vsize=13982852 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114557586 14318440448 10076 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13982852 memory=140020032676266 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14318440448 10076 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14318473216 10076 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14318440448 10076 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13982852 memory=140020032112256 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114557588 14318440448 10076 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114557588 14318440448 10076 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114557588 14318440448 10076 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14318440448 10076 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) S 10312 10312 5918 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 114557591 14318440448 10076 33554432000 4194304 4196468 140725710484704 140033989855856 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13982884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) S 10312 10312 5918 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 114557591 14318473216 10076 33554432000 4194304 4196468 140725710484704 140033988803056 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13982884 memory=140020032112256 CPUtime=0.08 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) S 10312 10312 5918 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 114557591 14318473216 10076 33554432000 4194304 4196468 140725710484704 140033987750768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14318440448 10076 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557591 14318440448 10076 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41688 KiB

[startup+0.310592 s]*
/proc/loadavg: 1.91 1.90 1.88 4/217 10328
/proc/meminfo: memFree=27769688/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0
[pid=10314] ppid=10312 vsize=13982928 memory=47244 CPUtime=0.5 cores=0,2,4,6
/proc/10314/stat : 10314 (java) S 10312 10312 5918 0 -1 1077944320 9039 0 0 0 47 3 0 0 20 0 15 0 114557585 14318518272 11811 33554432000 4194304 4196468 140725710484704 140725710467248 140034813144823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
/proc/10314/statm: 3495732 11811 3103 1 0 3482966 0
[pid=10314/tid=10315] ppid=10312 vsize=13982928 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/10314/task/10315/stat : 10315 (java) R 10312 10312 5918 0 -1 4202560 6025 0 0 0 27 2 0 0 20 0 15 0 114557585 14318518272 11811 33554432000 4194304 4196468 140725710484704 140034817382256 140034797225310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10316] ppid=10312 vsize=13982928 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114557586 14318518272 11811 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13982928 memory=571526 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14318518272 11811 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14318518272 11811 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14318518272 11811 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114557588 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114557588 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114557588 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) S 10312 10312 5918 0 -1 1077944384 712 0 0 0 3 0 0 0 20 0 15 0 114557591 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033989855856 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) S 10312 10312 5918 0 -1 1077944384 153 0 0 0 4 0 0 0 20 0 15 0 114557591 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033988803056 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13982928 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) R 10312 10312 5918 0 -1 4202560 852 0 0 0 11 0 0 0 20 0 15 0 114557591 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033987750768 140034797225236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557591 14318518272 11811 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48628 KiB

[startup+0.701658 s]
/proc/loadavg: 1.91 1.90 1.88 6/217 10328
/proc/meminfo: memFree=27756212/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0
[pid=10314] ppid=10312 vsize=13984976 memory=67492 CPUtime=1.66 cores=0,2,4,6
/proc/10314/stat : 10314 (java) S 10312 10312 5918 0 -1 1077944320 12068 0 0 0 160 6 0 0 20 0 15 0 114557585 14320615424 16873 33554432000 4194304 4196468 140725710484704 140725710467248 140034813144823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
/proc/10314/statm: 3496244 16873 3207 1 0 3483478 0
[pid=10314/tid=10315] ppid=10312 vsize=13984976 memory=4044 CPUtime=0.66 cores=0,2,4,6
/proc/10314/task/10315/stat : 10315 (java) R 10312 10312 5918 0 -1 4202560 6631 0 0 0 63 3 0 0 20 0 15 0 114557585 14320615424 16873 33554432000 4194304 4196468 140725710484704 140034817384080 140034797674533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10316] ppid=10312 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 16873 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 16873 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 16873 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 16873 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13984976 memory=932 CPUtime=0.28 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) R 10312 10312 5918 0 -1 4202560 1434 0 0 0 28 0 0 0 20 0 15 0 114557591 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033989842288 140034794690171 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13984976 memory=2200 CPUtime=0.31 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) R 10312 10312 5918 0 -1 4202560 980 0 0 0 31 0 0 0 20 0 15 0 114557591 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033988787688 140034794691847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13984976 memory=6504 CPUtime=0.37 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) R 10312 10312 5918 0 -1 4202560 1717 0 0 0 37 0 0 0 20 0 15 0 114557591 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033987750768 140034794709409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 16873 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 68876 KiB

[startup+1.50082 s]
/proc/loadavg: 1.91 1.90 1.88 5/217 10328
/proc/meminfo: memFree=27709416/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0

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

/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13984976 memory=280039786684160 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13984976 memory=7301267761434551905 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13984976 memory=-2780852216449756273 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13984976 memory=4279073118570766656 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13984976 memory=5864621730699886698 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13984976 memory=280039786684592 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13984976 memory=12695 CPUtime=4.11 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) S 10312 10312 5918 0 -1 1077944384 31255 0 0 0 407 4 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033989855856 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13984976 memory=24307 CPUtime=4.19 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) S 10312 10312 5918 0 -1 1077944384 32817 0 0 0 416 3 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033988803056 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13984976 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) S 10312 10312 5918 0 -1 1077944384 4525 0 0 0 54 1 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033987750768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 15.17 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 270492 KiB

[startup+6.91754 s]
# the end of solver process 10312 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15.6214 s, system=0.173685 s

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

[startup+6.40098 s]
/proc/loadavg: 2.08 1.93 1.89 3/217 10328
/proc/meminfo: memFree=27551536/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0
[pid=10314] ppid=10312 vsize=13984976 memory=269108 CPUtime=15.27 cores=0,2,4,6
/proc/10314/stat : 10314 (java) S 10312 10312 5918 0 -1 1077944320 79332 0 0 0 1511 16 0 0 20 0 15 0 114557585 14320615424 67277 33554432000 4194304 4196468 140725710484704 140725710467248 140034813144823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
/proc/10314/statm: 3496244 67277 3250 1 0 3483478 0
[pid=10314/tid=10315] ppid=10312 vsize=13984976 memory=1384 CPUtime=6.35 cores=0,2,4,6
/proc/10314/task/10315/stat : 10315 (java) R 10312 10312 5918 0 -1 4202560 8112 0 0 0 629 6 0 0 20 0 15 0 114557585 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034817381472 140034409524320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10316] ppid=10312 vsize=13984976 memory=266868 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13984976 memory=56 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13984976 memory=59204 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13984976 memory=0 CPUtime=4.11 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) S 10312 10312 5918 0 -1 1077944384 31255 0 0 0 407 4 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033989855856 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13984976 memory=0 CPUtime=4.19 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) S 10312 10312 5918 0 -1 1077944384 32817 0 0 0 416 3 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033988803056 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13984976 memory=56 CPUtime=0.55 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) S 10312 10312 5918 0 -1 1077944384 4525 0 0 0 54 1 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033987750768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13984976 memory=605020572798313964 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13984976 memory=10875 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 15.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 270492 KiB

[startup+6.8008 s]
/proc/loadavg: 2.08 1.93 1.89 3/217 10328
/proc/meminfo: memFree=27551536/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0
[pid=10314] ppid=10312 vsize=13984976 memory=269108 CPUtime=15.67 cores=0,2,4,6
/proc/10314/stat : 10314 (java) S 10312 10312 5918 0 -1 1077944320 79332 0 0 0 1551 16 0 0 20 0 15 0 114557585 14320615424 67277 33554432000 4194304 4196468 140725710484704 140725710467248 140034813144823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
/proc/10314/statm: 3496244 67277 3250 1 0 3483478 0
[pid=10314/tid=10315] ppid=10312 vsize=13984976 memory=0 CPUtime=6.75 cores=0,2,4,6
/proc/10314/task/10315/stat : 10315 (java) R 10312 10312 5918 0 -1 4202560 8112 0 0 0 669 6 0 0 20 0 15 0 114557585 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034817381472 140034412023763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10316] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13984976 memory=93 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13984976 memory=45 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13984976 memory=1 CPUtime=4.11 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) S 10312 10312 5918 0 -1 1077944384 31255 0 0 0 407 4 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033989855856 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13984976 memory=0 CPUtime=4.19 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) S 10312 10312 5918 0 -1 1077944384 32817 0 0 0 416 3 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033988803056 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13984976 memory=85 CPUtime=0.55 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) S 10312 10312 5918 0 -1 1077944384 4525 0 0 0 54 1 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033987750768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13984976 memory=280039786974976 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 270492 KiB

[startup+6.90079 s]
/proc/loadavg: 2.08 1.93 1.89 3/217 10328
/proc/meminfo: memFree=27551536/32770624 swapFree=67108860/67108860
[pid=10312] ppid=10309 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/10312/stat : 10312 (xcsp3-exec) S 10309 10312 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114557585 9740288 346 33554432000 4194304 5098028 140729090438192 140729090436296 140503432901244 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30326784 140729090442350 140729090442555 140729090442555 140729090445291 0
/proc/10312/statm: 2378 346 289 221 0 87 0
[pid=10314] ppid=10312 vsize=13984976 memory=269108 CPUtime=15.77 cores=0,2,4,6
/proc/10314/stat : 10314 (java) S 10312 10312 5918 0 -1 1077944320 79332 0 0 0 1561 16 0 0 20 0 15 0 114557585 14320615424 67277 33554432000 4194304 4196468 140725710484704 140725710467248 140034813144823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
/proc/10314/statm: 3496244 67277 3250 1 0 3483478 0
[pid=10314/tid=10315] ppid=10312 vsize=13984976 memory=269108 CPUtime=6.85 cores=0,2,4,6
/proc/10314/task/10315/stat : 10315 (java) R 10312 10312 5918 0 -1 4202560 8112 0 0 0 679 6 0 0 20 0 15 0 114557585 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034817381472 140034410590260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10316] ppid=10312 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10316/stat : 10316 (java) S 10312 10312 5918 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034728213392 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10317] ppid=10312 vsize=13984976 memory=269108 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10317/stat : 10317 (java) S 10312 10312 5918 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034727160592 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10318] ppid=10312 vsize=13984976 memory=185136 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10318/stat : 10318 (java) S 10312 10312 5918 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034726108304 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10319] ppid=10312 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10319/stat : 10319 (java) S 10312 10312 5918 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 114557586 14320615424 67277 33554432000 4194304 4196468 140725710484704 140034405559312 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10320] ppid=10312 vsize=13984976 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10320/stat : 10320 (java) S 10312 10312 5918 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033994066032 140034813155970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10321] ppid=10312 vsize=13984976 memory=14 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10321/stat : 10321 (java) S 10312 10312 5918 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033993012000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10322] ppid=10312 vsize=13984976 memory=93 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10322/stat : 10322 (java) S 10312 10312 5918 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 114557588 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033991959664 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10323] ppid=10312 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10323/stat : 10323 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033990907984 140034813163419 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10324] ppid=10312 vsize=13984976 memory=572502 CPUtime=4.11 cores=0,2,4,6
/proc/10314/task/10324/stat : 10324 (java) S 10312 10312 5918 0 -1 1077944384 31255 0 0 0 407 4 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033989855856 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10325] ppid=10312 vsize=13984976 memory=6943526294502006880 CPUtime=4.19 cores=0,2,4,6
/proc/10314/task/10325/stat : 10325 (java) S 10312 10312 5918 0 -1 1077944384 32817 0 0 0 416 3 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033988803056 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10326] ppid=10312 vsize=13984976 memory=6944656592455097440 CPUtime=0.55 cores=0,2,4,6
/proc/10314/task/10326/stat : 10326 (java) S 10312 10312 5918 0 -1 1077944384 4525 0 0 0 54 1 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033987750768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10327] ppid=10312 vsize=13984976 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10327/stat : 10327 (java) S 10312 10312 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033919020000 140034813155029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
[pid=10314/tid=10328] ppid=10312 vsize=13984976 memory=280039786684160 CPUtime=0 cores=0,2,4,6
/proc/10314/task/10328/stat : 10328 (java) S 10312 10312 5918 0 -1 1077944384 602 0 0 0 0 0 0 0 20 0 15 0 114557591 14320615424 67277 33554432000 4194304 4196468 140725710484704 140033917966768 140034813155970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140725710488727 140725710488903 140725710488903 140725710491599 0
Current children cumulated CPU time: 15.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 270492 KiB

Child status: 0
Real time (s): 6.91758
CPU time (s): 15.7951
CPU user time (s): 15.6214
CPU system time (s): 0.173685
CPU usage (%): 228.333
Max. virtual memory (cumulated for all children) (KiB): 13997452
Max. memory (cumulated for all children) (KiB): 273608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6214
system time used= 0.173685
maximum resident set size= 272380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2401
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 10312
#   total CPU time (s): 15.7951
#   total CPU user time (s): 15.6214
#   total CPU system time (s): 0.173685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050586 second user time and 0.123243 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-15 18:17:17
IDJOB=4272571
IDBENCH=134310
IDSOLVER=2664
FILE ID=node107/4272571-1502814696
RUNJOBID= node107-1502793297-5949
PBS_JOBID= 20629130
Free space on /tmp= 61656 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-09-03.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-4272571-1502814696/watcher-4272571-1502814696 -o /tmp/evaluation-result-4272571-1502814696/solver-4272571-1502814696 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2126308468 HOME/instance-4272571-1502814696.xml

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

MD5SUM BENCH= 944781a71279aa84e7aac7ce597bf3c8
RANDOM SEED=2126308468

node107.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.84
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.84
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.84
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.84
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:        27803588 kB
MemAvailable:   30735780 kB
Buffers:          226812 kB
Cached:          2992400 kB
SwapCached:            0 kB
Active:          1834680 kB
Inactive:        2690380 kB
Active(anon):    1308752 kB
Inactive(anon):    24972 kB
Active(file):     525928 kB
Inactive(file):  2665408 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:           232 kB
AnonPages:       1311944 kB
Mapped:            58312 kB
Shmem:             25228 kB
Slab:             140168 kB
SReclaimable:     113380 kB
SUnreclaim:        26788 kB
KernelStack:        3520 kB
PageTables:         7800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2226500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61648 MiB
End job on node107 at 2017-08-15 18:17:24