Trace number 4282437

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 4.0.5 seq (2017-08-18)? (TO) 2520.0801 2510.8201

General information on the benchmark

NameQueenAttacking/QueenAttacking-xcsp2-s1/
QueenAttacking-08_X2.xml
MD5SUM01373ebb4a146089a71bb04c36ed4f3a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2118.48
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of constraints2034
Number of domains2
Minimum domain size10
Maximum domain size64
Distribution of domain sizes[{"size":10,"count":1},{"size":64,"count":64}]
Minimum variable degree18
Maximum variable degree64
Distribution of variable degrees[{"degree":18,"count":1},{"degree":63,"count":46},{"degree":64,"count":18}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":2034}]
Number of extensional constraints0
Number of intensional constraints2034
Distribution of constraint types[{"type":"intension","count":2034}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282437-1503134570.xml"  -tl '2520s' -p 1 -x 0
0.10/0.28	c [HOME/instance-4282437-1503134570.xml, -tl, 2520s, -p, 1, -x, 0]
0.26/0.34	c simple solver
0.26/0.41	c parse instance...
2.60/1.12	c solve instance...
2520.05/2510.80	s UNKNOWN
2520.05/2510.80	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 (15427 MiB free)
  memory of node 1: 16384 MiB (15344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282437-1503134570/watcher-4282437-1503134570 -o /tmp/evaluation-result-4282437-1503134570/solver-4282437-1503134570 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 330084464 HOME/instance-4282437-1503134570.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=26447, runsolver pid=26444
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 1.81 1.89 1.87 3/203 26454
/proc/meminfo: memFree=31503984/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13507920 memory=15960 CPUtime=0.02 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 3822 0 0 0 2 0 0 0 20 0 8 0 11864122 13832110080 3990 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3376980 3990 2026 1 0 3366477 0
[pid=26449/tid=26450] ppid=26447 vsize=13507920 memory=-8713483618642589535 CPUtime=0.01 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 2547 0 0 0 1 0 0 0 20 0 8 0 11864122 13832110080 3990 18446744073709551615 4194304 4196468 140720375298096 140371201122736 140371178470917 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 11864123 13832110080 3990 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13507920 memory=140278134929024 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 11864123 13832110080 3990 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 11864123 13832110080 3990 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 11864123 13832110080 4056 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13507920 memory=140278134929024 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26455/stat : 26455 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 11864125 13832110080 4056 18446744073709551615 4194304 4196468 140720375298096 140370382182640 140371196893826 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26456] ppid=26447 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26456/stat : 26456 (java) S 26447 26447 18108 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 11864125 13832110080 4056 18446744073709551615 4194304 4196468 140720375298096 140370381127760 140371196892885 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17340 KiB

[startup+0.218637 s]*
/proc/loadavg: 1.81 1.89 1.87 4/212 26463
/proc/meminfo: memFree=31493960/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13974352 memory=28000 CPUtime=0.1 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 5404 0 0 0 9 1 0 0 20 0 15 0 11864122 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3493588 7000 2752 1 0 3482964 0
[pid=26449/tid=26450] ppid=26447 vsize=13974352 memory=-6871798056524144002 CPUtime=0.08 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 3551 0 0 0 7 1 0 0 20 0 15 0 11864122 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140371201071728 140371180963166 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13974352 memory=140278134929024 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13974352 memory=140278134929024 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26455/stat : 26455 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864125 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370382182640 140371196893826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26456] ppid=26447 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26456/stat : 26456 (java) S 26447 26447 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11864125 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370381128864 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26457] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26457/stat : 26457 (java) S 26447 26447 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11864125 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370380075760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26458] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26458/stat : 26458 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370379024336 140371196901275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26459] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26459/stat : 26459 (java) S 26447 26447 18108 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 11864128 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370377972464 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26460] ppid=26447 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26460/stat : 26460 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864128 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370376919920 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26461] ppid=26447 vsize=13974352 memory=140278134929024 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26461/stat : 26461 (java) S 26447 26447 18108 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 11864128 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370375866864 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26462] ppid=26447 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26462/stat : 26462 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370374814560 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26463] ppid=26447 vsize=13974352 memory=140278134929024 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26463/stat : 26463 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864134 14309736448 7000 18446744073709551615 4194304 4196468 140720375298096 140370373761584 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29380 KiB

[startup+0.310645 s]*
/proc/loadavg: 1.81 1.89 1.87 4/212 26463
/proc/meminfo: memFree=31482536/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13974352 memory=37092 CPUtime=0.26 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 8909 0 0 0 24 2 0 0 20 0 15 0 11864122 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3493588 9273 2974 1 0 3482964 0
[pid=26449/tid=26450] ppid=26447 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 6143 0 0 0 14 2 0 0 20 0 15 0 11864122 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140371201118440 140371196894614 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13974352 memory=-8182570320563379573 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13974352 memory=4132769004644038186 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13974352 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26455/stat : 26455 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864125 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370382182640 140371196893826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26456] ppid=26447 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26456/stat : 26456 (java) S 26447 26447 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11864125 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370381128864 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26457] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26457/stat : 26457 (java) S 26447 26447 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11864125 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370380075760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26458] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26458/stat : 26458 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370379024336 140371196901275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26459] ppid=26447 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26449/task/26459/stat : 26459 (java) R 26447 26447 18108 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 15 0 11864128 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370377972464 140371196893826 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26460] ppid=26447 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26449/task/26460/stat : 26460 (java) R 26447 26447 18108 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 11864128 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370376919920 140371189172128 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26461] ppid=26447 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26449/task/26461/stat : 26461 (java) R 26447 26447 18108 0 -1 4202560 692 0 0 0 5 0 0 0 20 0 15 0 11864128 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370375866864 140371196894614 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26462] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26462/stat : 26462 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370374814560 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26463] ppid=26447 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26463/stat : 26463 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864134 14309736448 9273 18446744073709551615 4194304 4196468 140720375298096 140370373761584 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38472 KiB

[startup+0.700785 s]
/proc/loadavg: 1.81 1.89 1.87 4/212 26463
/proc/meminfo: memFree=31470248/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13980732 memory=73972 CPUtime=1.27 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 13542 0 0 0 123 4 0 0 20 0 15 0 11864122 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3495183 18493 3155 1 0 3483476 0
[pid=26449/tid=26450] ppid=26447 vsize=13980732 memory=1 CPUtime=0.54 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 8420 0 0 0 51 3 0 0 20 0 15 0 11864122 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140371201103648 140371196894614 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13980732 memory=8751464017575292982 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13980732 memory=6219861787321454672 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13980732 memory=4638778398332698721 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13980732 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26455/stat : 26455 (java) S 26447 26447 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370382182640 140371196893826 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26456] ppid=26447 vsize=13980732 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26456/stat : 26456 (java) S 26447 26447 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370381128864 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26457] ppid=26447 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26457/stat : 26457 (java) S 26447 26447 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370380075760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26458] ppid=26447 vsize=13980732 memory=140277993972336 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26458/stat : 26458 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370379024336 140371196901275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26459] ppid=26447 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/26449/task/26459/stat : 26459 (java) R 26447 26447 18108 0 -1 4202560 1285 0 0 0 22 0 0 0 20 0 15 0 11864128 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370377958176 140371174859087 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26460] ppid=26447 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/26449/task/26460/stat : 26460 (java) S 26447 26447 18108 0 -1 1077944384 873 0 0 0 18 0 0 0 20 0 15 0 11864128 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370376919920 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26461] ppid=26447 vsize=13980732 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/26449/task/26461/stat : 26461 (java) R 26447 26447 18108 0 -1 4202560 1655 0 0 0 30 0 0 0 20 0 15 0 11864128 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370375862128 140371196904026 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26462] ppid=26447 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26462/stat : 26462 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370374814560 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26463] ppid=26447 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26463/stat : 26463 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864134 14316269568 18493 18446744073709551615 4194304 4196468 140720375298096 140370373761584 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75352 KiB

[startup+1.50088 s]
/proc/loadavg: 1.81 1.89 1.87 6/212 26463
/proc/meminfo: memFree=31419980/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13980732 memory=120456 CPUtime=3.79 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 27791 0 0 0 372 7 0 0 20 0 15 0 11864122 14316269568 30114 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3495183 30114 3196 1 0 3483476 0
[pid=26449/tid=26450] ppid=26447 vsize=13980732 memory=8547710663883855229 CPUtime=1.33 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 8857 0 0 0 130 3 0 0 20 0 15 0 11864122 14316269568 30114 18446744073709551615 4194304 4196468 140720375298096 140371201119520 140370828388625 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 30114 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 30114 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 30114 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11864123 14316269568 30114 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13980732 memory=12731 CPUtime=0 cores=0,2,4,6

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

/proc/26449/task/26457/stat : 26457 (java) S 26447 26447 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 106169 18446744073709551615 4194304 4196468 140720375298096 140370380075760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26458] ppid=26447 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26458/stat : 26458 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 106169 18446744073709551615 4194304 4196468 140720375298096 140370379024336 140371196901275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26459] ppid=26447 vsize=13980732 memory=1380 CPUtime=1.76 cores=0,2,4,6
/proc/26449/task/26459/stat : 26459 (java) S 26447 26447 18108 0 -1 1077944384 10569 0 0 0 175 1 0 0 20 0 15 0 11864128 14316269568 106169 18446744073709551615 4194304 4196468 140720375298096 140370377972464 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26460] ppid=26447 vsize=13980732 memory=389720 CPUtime=1.71 cores=0,2,4,6
/proc/26449/task/26460/stat : 26460 (java) S 26447 26447 18108 0 -1 1077944384 16757 0 0 0 170 1 0 0 20 0 15 0 11864128 14316269568 106169 18446744073709551615 4194304 4196468 140720375298096 140370376919920 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26461] ppid=26447 vsize=13980732 memory=4128 CPUtime=0.7 cores=0,2,4,6
/proc/26449/task/26461/stat : 26461 (java) S 26447 26447 18108 0 -1 1077944384 9200 0 0 0 69 1 0 0 20 0 15 0 11864128 14316269568 106169 18446744073709551615 4194304 4196468 140720375298096 140370375866864 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26462] ppid=26447 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26462/stat : 26462 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 106169 18446744073709551615 4194304 4196468 140720375298096 140370374814560 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26463] ppid=26447 vsize=13980732 memory=4128 CPUtime=0.69 cores=0,2,4,6
/proc/26449/task/26463/stat : 26463 (java) S 26447 26447 18108 0 -1 1077944384 1369 0 0 0 29 40 0 0 20 0 15 0 11864134 14316269568 106169 18446744073709551615 4194304 4196468 140720375298096 140370373761584 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 2391.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 426056 KiB

[startup+2442.3 s]
/proc/loadavg: 1.36 1.59 1.67 3/211 26684
/proc/meminfo: memFree=30510796/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13980732 memory=497128 CPUtime=2451.46 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 186889 0 0 0 244513 633 0 0 20 0 15 0 11864122 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3495183 124282 3254 1 0 3483476 0
[pid=26449/tid=26450] ppid=26447 vsize=13980732 memory=1566736 CPUtime=2438.99 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 112551 0 0 0 243341 558 0 0 20 0 15 0 11864122 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140371201122352 140370827549952 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13980732 memory=1380 CPUtime=1.59 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 3054 0 0 0 152 7 0 0 20 0 15 0 11864123 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13980732 memory=462172 CPUtime=1.59 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 5850 0 0 0 155 4 0 0 20 0 15 0 11864123 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13980732 memory=462172 CPUtime=1.59 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 4798 0 0 0 153 6 0 0 20 0 15 0 11864123 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13980732 memory=462172 CPUtime=1.57 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 3901 0 0 0 152 5 0 0 20 0 15 0 11864123 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13980732 memory=462172 CPUtime=1.12 cores=0,2,4,6
/proc/26449/task/26455/stat : 26455 (java) S 26447 26447 18108 0 -1 1077944384 17420 0 0 0 89 23 0 0 20 0 15 0 11864125 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370382182640 140371196893826 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26456] ppid=26447 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26456/stat : 26456 (java) S 26447 26447 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370381128864 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26457] ppid=26447 vsize=13980732 memory=497128 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26457/stat : 26457 (java) S 26447 26447 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370380075760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26458] ppid=26447 vsize=13980732 memory=497128 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26458/stat : 26458 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370379024336 140371196901275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26459] ppid=26447 vsize=13980732 memory=497128 CPUtime=1.77 cores=0,2,4,6
/proc/26449/task/26459/stat : 26459 (java) S 26447 26447 18108 0 -1 1077944384 10571 0 0 0 176 1 0 0 20 0 15 0 11864128 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370377972464 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26460] ppid=26447 vsize=13980732 memory=1380 CPUtime=1.72 cores=0,2,4,6
/proc/26449/task/26460/stat : 26460 (java) S 26447 26447 18108 0 -1 1077944384 16760 0 0 0 171 1 0 0 20 0 15 0 11864128 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370376919920 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26461] ppid=26447 vsize=13980732 memory=1380 CPUtime=0.7 cores=0,2,4,6
/proc/26449/task/26461/stat : 26461 (java) S 26447 26447 18108 0 -1 1077944384 9202 0 0 0 69 1 0 0 20 0 15 0 11864128 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370375866864 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26462] ppid=26447 vsize=13980732 memory=497128 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26462/stat : 26462 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370374814560 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26463] ppid=26447 vsize=13980732 memory=1380 CPUtime=0.72 cores=0,2,4,6
/proc/26449/task/26463/stat : 26463 (java) S 26447 26447 18108 0 -1 1077944384 1405 0 0 0 30 42 0 0 20 0 15 0 11864134 14316269568 124282 18446744073709551615 4194304 4196468 140720375298096 140370373761584 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 2451.46 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 498508 KiB

[startup+2502.3 s]
/proc/loadavg: 1.52 1.60 1.67 3/214 26700
/proc/meminfo: memFree=29322972/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13980732 memory=1677288 CPUtime=2511.52 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 189290 0 0 0 250500 652 0 0 20 0 15 0 11864122 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3495183 419322 3254 1 0 3483476 0
[pid=26449/tid=26450] ppid=26447 vsize=13980732 memory=1380 CPUtime=2498.96 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 114470 0 0 0 249320 576 0 0 20 0 15 0 11864122 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140371201122328 140370828689023 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13980732 memory=1307208 CPUtime=1.6 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 3059 0 0 0 153 7 0 0 20 0 15 0 11864123 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13980732 memory=1380 CPUtime=1.61 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 6151 0 0 0 156 5 0 0 20 0 15 0 11864123 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13980732 memory=1677288 CPUtime=1.61 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 4810 0 0 0 155 6 0 0 20 0 15 0 11864123 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13980732 memory=1677288 CPUtime=1.59 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 3916 0 0 0 154 5 0 0 20 0 15 0 11864123 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13980732 memory=4128 CPUtime=1.13 cores=0,2,4,6
/proc/26449/task/26455/stat : 26455 (java) S 26447 26447 18108 0 -1 1077944384 17557 0 0 0 90 23 0 0 20 0 15 0 11864125 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370382182640 140371196893826 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26456] ppid=26447 vsize=13980732 memory=10500 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26456/stat : 26456 (java) S 26447 26447 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370381128864 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26457] ppid=26447 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26457/stat : 26457 (java) S 26447 26447 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370380075760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26458] ppid=26447 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26458/stat : 26458 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370379024336 140371196901275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26459] ppid=26447 vsize=13980732 memory=2436 CPUtime=1.77 cores=0,2,4,6
/proc/26449/task/26459/stat : 26459 (java) S 26447 26447 18108 0 -1 1077944384 10573 0 0 0 176 1 0 0 20 0 15 0 11864128 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370377972464 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26460] ppid=26447 vsize=13980732 memory=1732 CPUtime=1.72 cores=0,2,4,6
/proc/26449/task/26460/stat : 26460 (java) S 26447 26447 18108 0 -1 1077944384 16762 0 0 0 171 1 0 0 20 0 15 0 11864128 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370376919920 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26461] ppid=26447 vsize=13980732 memory=2004 CPUtime=0.7 cores=0,2,4,6
/proc/26449/task/26461/stat : 26461 (java) S 26447 26447 18108 0 -1 1077944384 9204 0 0 0 69 1 0 0 20 0 15 0 11864128 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370375866864 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26462] ppid=26447 vsize=13980732 memory=8676 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26462/stat : 26462 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370374814560 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26463] ppid=26447 vsize=13980732 memory=1228 CPUtime=0.72 cores=0,2,4,6
/proc/26449/task/26463/stat : 26463 (java) S 26447 26447 18108 0 -1 1077944384 1411 0 0 0 30 42 0 0 20 0 15 0 11864134 14316269568 419322 18446744073709551615 4194304 4196468 140720375298096 140370373761584 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 2511.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1678668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.8 s]
/proc/loadavg: 1.60 1.62 1.67 3/214 26700
/proc/meminfo: memFree=28544240/32770624 swapFree=67108860/67108860
[pid=26447] ppid=26444 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26447/stat : 26447 (xcsp3-exec) S 26444 26447 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11864114 9740288 345 18446744073709551615 4194304 5098028 140734964171600 140734964169704 140065023656572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 23183360 140734964175226 140734964175430 140734964175430 140734964178923 0
/proc/26447/statm: 2378 345 289 221 0 87 0
[pid=26449] ppid=26447 vsize=13980732 memory=2491480 CPUtime=2520.05 cores=0,2,4,6
/proc/26449/stat : 26449 (java) S 26447 26447 18108 0 -1 1077944320 190511 0 0 0 251341 664 0 0 20 0 15 0 11864122 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140720375280640 140371196882679 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
/proc/26449/statm: 3495183 622870 3254 1 0 3483476 0
[pid=26449/tid=26450] ppid=26447 vsize=13980732 memory=-8774313645642428999 CPUtime=2507.45 cores=0,2,4,6
/proc/26449/task/26450/stat : 26450 (java) R 26447 26447 18108 0 -1 4202560 115664 0 0 0 250157 588 0 0 20 0 15 0 11864122 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140371201122328 140370828323552 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26451] ppid=26447 vsize=13980732 memory=4064 CPUtime=1.61 cores=0,2,4,6
/proc/26449/task/26451/stat : 26451 (java) S 26447 26447 18108 0 -1 1077944384 3080 0 0 0 154 7 0 0 20 0 15 0 11864123 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140371153849360 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26452] ppid=26447 vsize=13980732 memory=1152 CPUtime=1.62 cores=0,2,4,6
/proc/26449/task/26452/stat : 26452 (java) S 26447 26447 18108 0 -1 1077944384 6151 0 0 0 157 5 0 0 20 0 15 0 11864123 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140371152796816 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26453] ppid=26447 vsize=13980732 memory=3216 CPUtime=1.62 cores=0,2,4,6
/proc/26449/task/26453/stat : 26453 (java) S 26447 26447 18108 0 -1 1077944384 4810 0 0 0 156 6 0 0 20 0 15 0 11864123 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140371151743760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26454] ppid=26447 vsize=13980732 memory=1380 CPUtime=1.6 cores=0,2,4,6
/proc/26449/task/26454/stat : 26454 (java) S 26447 26447 18108 0 -1 1077944384 3922 0 0 0 155 5 0 0 20 0 15 0 11864123 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140371150691216 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26455] ppid=26447 vsize=13980732 memory=1087208 CPUtime=1.13 cores=0,2,4,6
/proc/26449/task/26455/stat : 26455 (java) S 26447 26447 18108 0 -1 1077944384 17557 0 0 0 90 23 0 0 20 0 15 0 11864125 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370382182640 140371196893826 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26456] ppid=26447 vsize=13980732 memory=10936 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26456/stat : 26456 (java) S 26447 26447 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370381128864 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26457] ppid=26447 vsize=13980732 memory=140277995072576 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26457/stat : 26457 (java) S 26447 26447 18108 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11864125 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370380075760 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26458] ppid=26447 vsize=13980732 memory=8315171486948655189 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26458/stat : 26458 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370379024336 140371196901275 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26459] ppid=26447 vsize=13980732 memory=25525 CPUtime=1.77 cores=0,2,4,6
/proc/26449/task/26459/stat : 26459 (java) S 26447 26447 18108 0 -1 1077944384 10573 0 0 0 176 1 0 0 20 0 15 0 11864128 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370377972464 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26460] ppid=26447 vsize=13980732 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/26449/task/26460/stat : 26460 (java) S 26447 26447 18108 0 -1 1077944384 16762 0 0 0 171 1 0 0 20 0 15 0 11864128 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370376919920 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26461] ppid=26447 vsize=13980732 memory=280555987927280 CPUtime=0.7 cores=0,2,4,6
/proc/26449/task/26461/stat : 26461 (java) S 26447 26447 18108 0 -1 1077944384 9204 0 0 0 69 1 0 0 20 0 15 0 11864128 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370375866864 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26462] ppid=26447 vsize=13980732 memory=280555987927280 CPUtime=0 cores=0,2,4,6
/proc/26449/task/26462/stat : 26462 (java) S 26447 26447 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11864128 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370374814560 140371196892885 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
[pid=26449/tid=26463] ppid=26447 vsize=13980732 memory=280555987927280 CPUtime=0.74 cores=0,2,4,6
/proc/26449/task/26463/stat : 26463 (java) S 26447 26447 18108 0 -1 1077944384 1411 0 0 0 31 43 0 0 20 0 15 0 11864134 14316269568 622870 18446744073709551615 4194304 4196468 140720375298096 140370373761584 140371196893826 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 7348224 140720375304626 140720375304802 140720375304802 140720375308239 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2492860 KiB

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

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

[startup+2510.82 s]
# the end of solver process 26449 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.43 s, system=6.65499 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): 2510.82
CPU time (s): 2520.08
CPU user time (s): 2513.43
CPU system time (s): 6.65499
CPU usage (%): 100.369
Max. virtual memory (cumulated for all children) (KiB): 13992476
Max. memory (cumulated for all children) (KiB): 5649184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.43
system time used= 6.65499
maximum resident set size= 5664232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71780
involuntary context switches= 3240


# summary of solver processes directly reported to runsolver:
#   pid: 26447,26449
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2513.43
#   total CPU system time (s): 6.65499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7243 second user time and 24.2316 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-19 11:09:10
IDJOB=4282437
IDBENCH=130608
IDSOLVER=2677
FILE ID=node131/4282437-1503134570
RUNJOBID= node131-1503095854-18171
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-08_X2.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-4282437-1503134570/watcher-4282437-1503134570 -o /tmp/evaluation-result-4282437-1503134570/solver-4282437-1503134570 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18171 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 330084464 HOME/instance-4282437-1503134570.xml

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

MD5SUM BENCH= 01373ebb4a146089a71bb04c36ed4f3a
RANDOM SEED=330084464

node131.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.69
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.69
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.69
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.69
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:        31510532 kB
MemAvailable:   31797432 kB
Buffers:          168808 kB
Cached:           406696 kB
SwapCached:            0 kB
Active:           445248 kB
Inactive:         407788 kB
Active(anon):     277836 kB
Inactive(anon):    16748 kB
Active(file):     167412 kB
Inactive(file):   391040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7880 kB
Writeback:             0 kB
AnonPages:        277532 kB
Mapped:            43664 kB
Shmem:             17060 kB
Slab:             113956 kB
SReclaimable:      88564 kB
SUnreclaim:        25392 kB
KernelStack:        3504 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1227736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-08-19 11:51:01