Trace number 4284026

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-08-18)? (TO) 2520.0801 2459.8101

General information on the benchmark

NameSocialGolfers/SocialGolfers-xcsp2-s1/
SocialGolfers-06-4-6_X2.xml
MD5SUM43a487770d57b1dc580a85535ccd03c6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2520
Number of constraints10392
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2520}]
Minimum variable degree7
Maximum variable degree25
Distribution of variable degrees[{"degree":7,"count":1656},{"degree":25,"count":864}]
Minimum constraint arity3
Maximum constraint arity24
Distribution of constraint arities[{"arity":3,"count":9936},{"arity":6,"count":420},{"arity":24,"count":36}]
Number of extensional constraints0
Number of intensional constraints9936
Distribution of constraint types[{"type":"intension","count":9936},{"type":"sum","count":456}]
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-4284026-1503204552.xml"  -tl '2520s' -p 1 -x 3
0.10/0.26	c [HOME/instance-4284026-1503204552.xml, -tl, 2520s, -p, 1, -x, 3]
0.30/0.32	c simple solver
0.30/0.38	c parse instance...
4.36/1.62	c solve instance...
2520.06/2459.80	s UNKNOWN
2520.06/2459.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 (14893 MiB free)
  memory of node 1: 16384 MiB (15484 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284026-1503204552/watcher-4284026-1503204552 -o /tmp/evaluation-result-4284026-1503204552/solver-4284026-1503204552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 386872782 HOME/instance-4284026-1503204552.xml 

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

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

solver pid=7698, runsolver pid=7695

[startup+0.103082 s]*
/proc/loadavg: 1.72 1.86 2.57 3/203 7706
/proc/meminfo: memFree=31099940/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13574484 memory=18292 CPUtime=0.02 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 3904 0 0 0 1 1 0 0 20 0 9 0 18862282 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3393621 4573 2065 1 0 3383118 0
[pid=7700/tid=7701] ppid=7698 vsize=13574484 memory=8323069512539357860 CPUtime=0.01 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 2617 0 0 0 1 0 0 0 20 0 9 0 18862282 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140005242061416 140005218101031 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13574484 memory=3461490864597149321 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18862283 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13574484 memory=140259967465088 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18862283 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18862283 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7705/stat : 7705 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18862283 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140004835121424 140005237835477 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7706] ppid=7698 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18862284 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 18862284 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140004422067744 140005237835477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 18862285 13900271616 4573 18446744073709551615 4194304 4196468 140734114500576 140004421014960 140005237835477 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19672 KiB

[startup+0.209955 s]*
/proc/loadavg: 1.72 1.86 2.57 5/211 7714
/proc/meminfo: memFree=31091296/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13974352 memory=27752 CPUtime=0.1 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 5344 0 0 0 9 1 0 0 20 0 15 0 18862282 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3493588 6938 2851 1 0 3482964 0
[pid=7700/tid=7701] ppid=7698 vsize=13974352 memory=8323069512539357860 CPUtime=0.08 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 3370 0 0 0 7 1 0 0 20 0 15 0 18862282 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140005242054688 140005237846618 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13974352 memory=3461490864597149321 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13974352 memory=140259967465088 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7705/stat : 7705 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004835121424 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7706] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862284 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18862284 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004422067744 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18862285 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004421014896 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7709] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7709/stat : 7709 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004419963216 140005237843867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7710] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7710/stat : 7710 (java) S 7698 7698 18108 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 18862287 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004418910576 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7711] ppid=7698 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7711/stat : 7711 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004417857776 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7712] ppid=7698 vsize=13974352 memory=140259967465088 CPUtime=0.01 cores=1,3,5,7
/proc/7700/task/7712/stat : 7712 (java) R 7698 7698 18108 0 -1 4202560 238 0 0 0 1 0 0 0 20 0 15 0 18862287 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004416804976 140005237846618 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7713] ppid=7698 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7713/stat : 7713 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004415752416 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7714] ppid=7698 vsize=13974352 memory=140259967465088 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7714/stat : 7714 (java) S 7698 7698 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18862291 14309736448 6938 18446744073709551615 4194304 4196468 140734114500576 140004414700720 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29132 KiB

[startup+0.310567 s]*
/proc/loadavg: 1.72 1.86 2.57 6/211 7714
/proc/meminfo: memFree=31078080/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13974352 memory=39460 CPUtime=0.3 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 9006 0 0 0 28 2 0 0 20 0 15 0 18862282 14309736448 9865 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3493588 9865 3000 1 0 3482964 0
[pid=7700/tid=7701] ppid=7698 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 6134 0 0 0 16 2 0 0 20 0 15 0 18862282 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140005242061088 140005221905758 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13974352 memory=8514726395715218844 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13974352 memory=4571037750163575699 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13974352 memory=-6805888434855685990 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7705/stat : 7705 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004835121424 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7706] ppid=7698 vsize=13974352 memory=-6733704525061579059 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862284 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18862284 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004422067744 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18862285 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004421014896 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7709] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7709/stat : 7709 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004419963216 140005237843867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7710] ppid=7698 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7700/task/7710/stat : 7710 (java) S 7698 7698 18108 0 -1 1077944384 642 0 0 0 3 0 0 0 20 0 15 0 18862287 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004418910576 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7711] ppid=7698 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7700/task/7711/stat : 7711 (java) S 7698 7698 18108 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 15 0 18862287 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004417857776 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7712] ppid=7698 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7700/task/7712/stat : 7712 (java) R 7698 7698 18108 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 18862287 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004416804976 140005216315040 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7713] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7713/stat : 7713 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004415752416 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7714] ppid=7698 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7714/stat : 7714 (java) S 7698 7698 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18862291 14309736448 9929 18446744073709551615 4194304 4196468 140734114500576 140004414700720 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40840 KiB

[startup+0.700804 s]
/proc/loadavg: 1.72 1.86 2.57 6/211 7714
/proc/meminfo: memFree=31059312/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13978684 memory=89900 CPUtime=1.38 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 13620 0 0 0 134 4 0 0 20 0 15 0 18862282 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3494671 22475 3162 1 0 3482964 0
[pid=7700/tid=7701] ppid=7698 vsize=13978684 memory=7739812346652618081 CPUtime=0.56 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 7867 0 0 0 53 3 0 0 20 0 15 0 18862282 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140005242060784 140004880720862 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13978684 memory=7523374594901823833 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13978684 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18862283 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13978684 memory=-8253362762721547640 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13978684 memory=8031735012220349003 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7705/stat : 7705 (java) S 7698 7698 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18862283 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004835121424 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7706] ppid=7698 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18862284 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18862284 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004422067744 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13978684 memory=280519614926064 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18862285 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004421014896 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7709] ppid=7698 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7709/stat : 7709 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004419963216 140005237843867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7710] ppid=7698 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/7700/task/7710/stat : 7710 (java) R 7698 7698 18108 0 -1 4202560 1852 0 0 0 27 0 0 0 20 0 15 0 18862287 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004418894656 140005221322055 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7711] ppid=7698 vsize=13978684 memory=4580 CPUtime=0.26 cores=1,3,5,7
/proc/7700/task/7711/stat : 7711 (java) R 7698 7698 18108 0 -1 4202560 848 0 0 0 26 0 0 0 20 0 15 0 18862287 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004417848160 140005223889248 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7712] ppid=7698 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/7700/task/7712/stat : 7712 (java) S 7698 7698 18108 0 -1 1077944384 1743 0 0 0 27 0 0 0 20 0 15 0 18862287 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004416804976 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7713] ppid=7698 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7713/stat : 7713 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004415752416 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7714] ppid=7698 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7714/stat : 7714 (java) S 7698 7698 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18862291 14314172416 22475 18446744073709551615 4194304 4196468 140734114500576 140004414700720 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 91280 KiB

[startup+1.5009 s]
/proc/loadavg: 1.72 1.86 2.57 6/211 7714
/proc/meminfo: memFree=30962736/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13980732 memory=208540 CPUtime=4.02 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 23059 0 0 0 394 8 0 0 20 0 15 0 18862282 14316269568 52135 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3495183 52135 3216 1 0 3483476 0
[pid=7700/tid=7701] ppid=7698 vsize=13980732 memory=13668 CPUtime=1.33 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 8883 0 0 0 128 5 0 0 20 0 15 0 18862282 14316269568 52135 18446744073709551615 4194304 4196468 140734114500576 140005242061048 140004883319956 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13980732 memory=280519615184192 CPUtime=0.01 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 18862283 14316269568 52135 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862283 14316269568 52135 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 18862283 14316269568 52135 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13980732 memory=146608 CPUtime=0.01 cores=1,3,5,7

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

[pid=7700/tid=7706] ppid=7698 vsize=13980732 memory=1380 CPUtime=1.03 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 46982 0 0 0 82 21 0 0 20 0 15 0 18862284 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 18862284 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004422067808 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13980732 memory=10708 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 18862285 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004421014912 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7709] ppid=7698 vsize=13980732 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7709/stat : 7709 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004419963216 140005237843867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7710] ppid=7698 vsize=13980732 memory=1732 CPUtime=4.54 cores=1,3,5,7
/proc/7700/task/7710/stat : 7710 (java) S 7698 7698 18108 0 -1 1077944384 21515 0 0 0 451 3 0 0 20 0 15 0 18862287 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004418910576 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7711] ppid=7698 vsize=13980732 memory=496772 CPUtime=4.34 cores=1,3,5,7
/proc/7700/task/7711/stat : 7711 (java) S 7698 7698 18108 0 -1 1077944384 18534 0 0 0 432 2 0 0 20 0 15 0 18862287 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004417857776 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7712] ppid=7698 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/7700/task/7712/stat : 7712 (java) S 7698 7698 18108 0 -1 1077944384 13759 0 0 0 93 2 0 0 20 0 15 0 18862287 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004416804976 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7713] ppid=7698 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7713/stat : 7713 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004415752416 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7714] ppid=7698 vsize=13980732 memory=542100 CPUtime=1.28 cores=1,3,5,7
/proc/7700/task/7714/stat : 7714 (java) S 7698 7698 18108 0 -1 1077944384 1036 0 0 0 59 69 0 0 20 0 15 0 18862291 14316269568 138597 18446744073709551615 4194304 4196468 140734114500576 140004414700720 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 2380.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 555768 KiB

[startup+2382.3 s]
/proc/loadavg: 1.99 1.83 1.80 3/211 8589
/proc/meminfo: memFree=30096488/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13980732 memory=535888 CPUtime=2440.91 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 231288 0 0 0 243719 372 0 0 20 0 15 0 18862282 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3495183 133972 3265 1 0 3483476 0
[pid=7700/tid=7701] ppid=7698 vsize=13980732 memory=535888 CPUtime=2364.4 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 62541 0 0 0 236413 27 0 0 20 0 15 0 18862282 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140005242065264 140004885354010 0 4 1 16800974 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13980732 memory=1380 CPUtime=16.08 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 17035 0 0 0 1543 65 0 0 20 0 15 0 18862283 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13980732 memory=1380 CPUtime=16.07 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 14489 0 0 0 1543 64 0 0 20 0 15 0 18862283 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13980732 memory=1380 CPUtime=16.08 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 16316 0 0 0 1542 66 0 0 20 0 15 0 18862283 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13980732 memory=539480 CPUtime=16.01 cores=1,3,5,7
/proc/7700/task/7705/stat : 7705 (java) S 7698 7698 18108 0 -1 1077944384 17625 0 0 0 1535 66 0 0 20 0 15 0 18862283 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004835121424 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7706] ppid=7698 vsize=13980732 memory=539480 CPUtime=1.04 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 47037 0 0 0 83 21 0 0 20 0 15 0 18862284 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 18862284 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004422067808 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13980732 memory=539480 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 18862285 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004421014912 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7709] ppid=7698 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7709/stat : 7709 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004419963216 140005237843867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7710] ppid=7698 vsize=13980732 memory=1380 CPUtime=4.54 cores=1,3,5,7
/proc/7700/task/7710/stat : 7710 (java) S 7698 7698 18108 0 -1 1077944384 21515 0 0 0 451 3 0 0 20 0 15 0 18862287 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004418910576 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7711] ppid=7698 vsize=13980732 memory=4128 CPUtime=4.34 cores=1,3,5,7
/proc/7700/task/7711/stat : 7711 (java) S 7698 7698 18108 0 -1 1077944384 18534 0 0 0 432 2 0 0 20 0 15 0 18862287 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004417857776 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7712] ppid=7698 vsize=13980732 memory=13776 CPUtime=0.95 cores=1,3,5,7
/proc/7700/task/7712/stat : 7712 (java) S 7698 7698 18108 0 -1 1077944384 13760 0 0 0 93 2 0 0 20 0 15 0 18862287 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004416804976 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7713] ppid=7698 vsize=13980732 memory=556796 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7713/stat : 7713 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004415752416 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7714] ppid=7698 vsize=13980732 memory=1292 CPUtime=1.31 cores=1,3,5,7
/proc/7700/task/7714/stat : 7714 (java) S 7698 7698 18108 0 -1 1077944384 1054 0 0 0 60 71 0 0 20 0 15 0 18862291 14316269568 133972 18446744073709551615 4194304 4196468 140734114500576 140004414700720 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 2440.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 537268 KiB

[startup+2442.3 s]
/proc/loadavg: 1.82 1.81 1.79 3/211 8591
/proc/meminfo: memFree=30145484/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13980732 memory=482616 CPUtime=2502.2 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 236068 0 0 0 249845 375 0 0 20 0 15 0 18862282 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3495183 120654 3265 1 0 3483476 0
[pid=7700/tid=7701] ppid=7698 vsize=13980732 memory=489284 CPUtime=2423.94 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 64933 0 0 0 242367 27 0 0 20 0 15 0 18862282 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140005242064880 140004885738743 0 4 1 16800974 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13980732 memory=489284 CPUtime=16.5 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 17258 0 0 0 1585 65 0 0 20 0 15 0 18862283 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13980732 memory=484156 CPUtime=16.49 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 14782 0 0 0 1585 64 0 0 20 0 15 0 18862283 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13980732 memory=482616 CPUtime=16.5 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 16735 0 0 0 1584 66 0 0 20 0 15 0 18862283 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13980732 memory=1380 CPUtime=16.43 cores=1,3,5,7
/proc/7700/task/7705/stat : 7705 (java) S 7698 7698 18108 0 -1 1077944384 18102 0 0 0 1577 66 0 0 20 0 15 0 18862283 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004835121424 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7706] ppid=7698 vsize=13980732 memory=1380 CPUtime=1.07 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 48001 0 0 0 85 22 0 0 20 0 15 0 18862284 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 18862284 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004422067808 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 18862285 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004421014912 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7709] ppid=7698 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7709/stat : 7709 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004419963216 140005237843867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7710] ppid=7698 vsize=13980732 memory=489284 CPUtime=4.54 cores=1,3,5,7
/proc/7700/task/7710/stat : 7710 (java) S 7698 7698 18108 0 -1 1077944384 21517 0 0 0 451 3 0 0 20 0 15 0 18862287 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004418910576 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7711] ppid=7698 vsize=13980732 memory=493456 CPUtime=4.34 cores=1,3,5,7
/proc/7700/task/7711/stat : 7711 (java) S 7698 7698 18108 0 -1 1077944384 18536 0 0 0 432 2 0 0 20 0 15 0 18862287 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004417857776 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7712] ppid=7698 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/7700/task/7712/stat : 7712 (java) S 7698 7698 18108 0 -1 1077944384 13762 0 0 0 93 2 0 0 20 0 15 0 18862287 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004416804976 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7713] ppid=7698 vsize=13980732 memory=482616 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7713/stat : 7713 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004415752416 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7714] ppid=7698 vsize=13980732 memory=1380 CPUtime=1.35 cores=1,3,5,7
/proc/7700/task/7714/stat : 7714 (java) S 7698 7698 18108 0 -1 1077944384 1060 0 0 0 62 73 0 0 20 0 15 0 18862291 14316269568 120654 18446744073709551615 4194304 4196468 140734114500576 140004414700720 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 483996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459.8 s]
/proc/loadavg: 1.78 1.81 1.79 3/211 8592
/proc/meminfo: memFree=30160292/32770624 swapFree=67108860/67108860
[pid=7698] ppid=7695 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7698/stat : 7698 (xcsp3-exec) S 7695 7698 18108 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 18862274 9740288 345 18446744073709551615 4194304 5098028 140725931386544 140725931384648 140029001745020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 31854592 140725931393402 140725931393606 140725931393606 140725931397099 0
/proc/7698/statm: 2378 345 289 221 0 87 0
[pid=7700] ppid=7698 vsize=13980732 memory=466712 CPUtime=2520.06 cores=1,3,5,7
/proc/7700/stat : 7700 (java) S 7698 7698 18108 0 -1 1077944320 237042 0 0 0 251630 376 0 0 20 0 15 0 18862282 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140734114483120 140005237825271 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
/proc/7700/statm: 3495183 116678 3265 1 0 3483476 0
[pid=7700/tid=7701] ppid=7698 vsize=13980732 memory=-7677926825137650786 CPUtime=2441.31 cores=1,3,5,7
/proc/7700/task/7701/stat : 7701 (java) R 7698 7698 18108 0 -1 4202560 64942 0 0 0 244104 27 0 0 20 0 15 0 18862282 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140005242065008 140004886438668 0 4 1 16800974 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7702] ppid=7698 vsize=13980732 memory=2160 CPUtime=16.62 cores=1,3,5,7
/proc/7700/task/7702/stat : 7702 (java) S 7698 7698 18108 0 -1 1077944384 17433 0 0 0 1597 65 0 0 20 0 15 0 18862283 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140005198723728 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7703] ppid=7698 vsize=13980732 memory=844 CPUtime=16.61 cores=1,3,5,7
/proc/7700/task/7703/stat : 7703 (java) S 7698 7698 18108 0 -1 1077944384 15071 0 0 0 1597 64 0 0 20 0 15 0 18862283 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140005197670928 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7704] ppid=7698 vsize=13980732 memory=4072 CPUtime=16.61 cores=1,3,5,7
/proc/7700/task/7704/stat : 7704 (java) S 7698 7698 18108 0 -1 1077944384 17037 0 0 0 1595 66 0 0 20 0 15 0 18862283 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004836174224 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7705] ppid=7698 vsize=13980732 memory=-7003737579269690708 CPUtime=16.54 cores=1,3,5,7
/proc/7700/task/7705/stat : 7705 (java) S 7698 7698 18108 0 -1 1077944384 18300 0 0 0 1588 66 0 0 20 0 15 0 18862283 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004835121424 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7706] ppid=7698 vsize=13980732 memory=2244 CPUtime=1.07 cores=1,3,5,7
/proc/7700/task/7706/stat : 7706 (java) S 7698 7698 18108 0 -1 1077944384 48002 0 0 0 85 22 0 0 20 0 15 0 18862284 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004423121776 140005237836418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7707] ppid=7698 vsize=13980732 memory=4300 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7707/stat : 7707 (java) S 7698 7698 18108 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 18862284 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004422067808 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7708] ppid=7698 vsize=13980732 memory=2872 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7708/stat : 7708 (java) S 7698 7698 18108 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 18862285 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004421014912 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7709] ppid=7698 vsize=13980732 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7709/stat : 7709 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004419963216 140005237843867 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7710] ppid=7698 vsize=13980732 memory=4616 CPUtime=4.54 cores=1,3,5,7
/proc/7700/task/7710/stat : 7710 (java) S 7698 7698 18108 0 -1 1077944384 21517 0 0 0 451 3 0 0 20 0 15 0 18862287 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004418910576 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7711] ppid=7698 vsize=13980732 memory=1012 CPUtime=4.34 cores=1,3,5,7
/proc/7700/task/7711/stat : 7711 (java) S 7698 7698 18108 0 -1 1077944384 18536 0 0 0 432 2 0 0 20 0 15 0 18862287 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004417857776 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7712] ppid=7698 vsize=13980732 memory=1200 CPUtime=0.95 cores=1,3,5,7
/proc/7700/task/7712/stat : 7712 (java) S 7698 7698 18108 0 -1 1077944384 13762 0 0 0 93 2 0 0 20 0 15 0 18862287 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004416804976 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7713] ppid=7698 vsize=13980732 memory=469792 CPUtime=0 cores=1,3,5,7
/proc/7700/task/7713/stat : 7713 (java) S 7698 7698 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18862287 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004415752416 140005237835477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
[pid=7700/tid=7714] ppid=7698 vsize=13980732 memory=1380 CPUtime=1.36 cores=1,3,5,7
/proc/7700/task/7714/stat : 7714 (java) S 7698 7698 18108 0 -1 1077944384 1060 0 0 0 62 74 0 0 20 0 15 0 18862291 14316269568 116678 18446744073709551615 4194304 4196468 140734114500576 140004414700720 140005237836418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 26443776 140734114509234 140734114509410 140734114509410 140734114512847 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 468092 KiB

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

[startup+2459.81 s]
# the end of solver process 7698 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.31 s, system=3.76903 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2459.81
CPU time (s): 2520.08
CPU user time (s): 2516.31
CPU system time (s): 3.76903
CPU usage (%): 102.45
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1553716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.31
system time used= 3.76903
maximum resident set size= 1552464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71517
involuntary context switches= 2457


# summary of solver processes directly reported to runsolver:
#   pid: 7698
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.31
#   total CPU system time (s): 3.76903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3534 second user time and 22.8972 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-20 06:35:32
IDJOB=4284026
IDBENCH=126722
IDSOLVER=2679
FILE ID=node131/4284026-1503204552
RUNJOBID= node131-1503171558-2271
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-06-4-6_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-4284026-1503204552/watcher-4284026-1503204552 -o /tmp/evaluation-result-4284026-1503204552/solver-4284026-1503204552 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 386872782 HOME/instance-4284026-1503204552.xml

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

MD5SUM BENCH= 43a487770d57b1dc580a85535ccd03c6
RANDOM SEED=386872782

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:        31107520 kB
MemAvailable:   31509480 kB
Buffers:          202716 kB
Cached:           486168 kB
SwapCached:            0 kB
Active:           770644 kB
Inactive:         480540 kB
Active(anon):     562624 kB
Inactive(anon):    16748 kB
Active(file):     208020 kB
Inactive(file):   463792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8312 kB
Writeback:             0 kB
AnonPages:        562192 kB
Mapped:            45892 kB
Shmem:             17060 kB
Slab:             116876 kB
SReclaimable:      91968 kB
SUnreclaim:        24908 kB
KernelStack:        3424 kB
PageTables:         6060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1134436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 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-20 07:16:32