Trace number 4272073

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT (TO)1080 2520.0601 2455.4199

General information on the benchmark

NameKnapsack/Knapsack-m1-s60/
Knapsack-60-250-06.xml
MD5SUMe510f4e528f92f41d50b9f762f8b8317
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1134
Best CPU time to get the best result obtained on this benchmark151.156
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints1
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":60}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":60}]
Minimum constraint arity60
Maximum constraint arity60
Distribution of constraint arities[{"arity":60,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272073-1502806342.xml"  -tl '2520s' -p 1 -x 3
0.10/0.26	c [HOME/instance-4272073-1502806342.xml, -tl, 2520s, -p, 1, -x, 3]
0.30/0.32	c simple solver
0.30/0.39	c parse instance...
0.67/0.54	c solve instance...
0.67/0.56	o 508 
0.67/0.60	o 568 
0.97/0.63	o 583 
0.97/0.64	o 595 
0.97/0.64	o 631 
0.97/0.67	o 636 
0.97/0.67	o 651 
1.28/0.71	o 681 
1.28/0.75	o 686 
1.28/0.77	o 696 
1.94/0.94	o 701 
1.94/0.98	o 721 
1.94/0.99	o 766 
2.28/1.03	o 775 
2.28/1.03	o 797 
2.28/1.05	o 799 
2.28/1.07	o 810 
2.28/1.08	o 815 
2.28/1.09	o 857 
3.49/1.45	o 876 
5.64/2.12	o 880 
5.64/2.14	o 884 
5.90/2.22	o 897 
9.37/3.41	o 924 
9.69/3.66	o 926 
9.69/3.67	o 941 
10.36/4.15	o 955 
22.62/15.05	o 963 
26.92/19.23	o 966 
28.34/20.65	o 996 
57.10/48.97	o 1007 
57.21/49.01	o 1011 
57.21/49.02	o 1036 
57.41/49.23	o 1049 
586.19/565.62	o 1059 
1525.44/1483.59	o 1063 
1525.54/1483.60	o 1064 
1530.57/1488.58	o 1067 
1530.77/1488.73	o 1080 
2520.02/2455.41	s SATISFIABLE
2520.02/2455.41	v <instantiation>
2520.02/2455.41	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] </list>
2520.02/2455.41	v 	<values>0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 </values>
2520.02/2455.41	v </instantiation>
2520.02/2455.41	c Unexpected resolution interruption!

Verifier Data 

OK	1080

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272073-1502806342/watcher-4272073-1502806342 -o /tmp/evaluation-result-4272073-1502806342/solver-4272073-1502806342 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 524875629 HOME/instance-4272073-1502806342.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=6538, runsolver pid=6535

[startup+0.100603 s]*
/proc/loadavg: 1.46 1.46 1.43 3/202 6545
/proc/meminfo: memFree=30402196/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13507920 memory=17736 CPUtime=0.01 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 3753 0 0 0 1 0 0 0 20 0 8 0 82854866 13832110080 4434 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3376980 4434 2023 1 0 3366477 0
[pid=6540/tid=6541] ppid=6538 vsize=13574484 memory=7022364594140610616 CPUtime=0.01 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 2501 0 0 0 1 0 0 0 20 0 9 0 82854866 13900271616 4510 18446744073709551615 4194304 4196468 140726451823024 140515945686160 140515934124560 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13574484 memory=4294979915 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 82854867 13900271616 4512 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13574484 memory=4049498930145875616 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 82854867 13900271616 4512 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 82854867 13900271616 4512 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 82854867 13900271616 4512 18446744073709551615 4194304 4196468 140726451823024 140515538561296 140515941455573 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6546] ppid=6538 vsize=13574484 memory=140330282735232 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 82854869 13900271616 4512 18446744073709551615 4194304 4196468 140726451823024 140514858216304 140515941456514 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6547] ppid=6538 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 82854869 13900271616 4512 18446744073709551615 4194304 4196468 140726451823024 140514857162272 140515941455573 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6548] ppid=6538 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 82854869 13900271616 4512 18446744073709551615 4194304 4196468 140726451823024 140514856109488 140515941455573 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 19116 KiB

[startup+0.209939 s]*
/proc/loadavg: 1.46 1.46 1.43 4/211 6554
/proc/meminfo: memFree=30395600/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13974352 memory=26952 CPUtime=0.1 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 5135 0 0 0 9 1 0 0 20 0 15 0 82854866 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3493588 6738 2759 1 0 3482964 0
[pid=6540/tid=6541] ppid=6538 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 3284 0 0 0 7 1 0 0 20 0 15 0 82854866 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140515945674784 140515925525854 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13974352 memory=4294979915 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13974352 memory=4049498930145875616 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140515538561296 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6546] ppid=6538 vsize=13974352 memory=140330282735232 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82854869 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514858216304 140515941456514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6547] ppid=6538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 82854869 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514857162272 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6548] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 82854869 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514856109424 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6549] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514855057744 140515941463963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6550] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 897 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 82854872 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514854005104 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6551] ppid=6538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514852952304 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6552] ppid=6538 vsize=13974352 memory=140330282735232 CPUtime=0.01 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 897 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 82854872 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514851899504 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6553] ppid=6538 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514850846944 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6554] ppid=6538 vsize=13974352 memory=140330282735232 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854877 14309736448 6738 18446744073709551615 4194304 4196468 140726451823024 140514849795248 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28332 KiB

[startup+0.310151 s]*
/proc/loadavg: 1.46 1.46 1.43 4/211 6554
/proc/meminfo: memFree=30383776/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13975376 memory=39904 CPUtime=0.3 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 9011 0 0 0 27 3 0 0 20 0 15 0 82854866 14310785024 9976 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3493844 9976 3024 1 0 3483220 0
[pid=6540/tid=6541] ppid=6538 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 6236 0 0 0 16 2 0 0 20 0 15 0 82854866 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140515945682336 140515941457302 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140515538561296 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6546] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82854869 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514858216304 140515941456514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6547] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 82854869 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514857162272 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6548] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 82854869 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514856109424 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6549] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514855057744 140515941463963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6550] ppid=6538 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) R 6538 6538 897 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 15 0 82854872 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514854005104 140515941456514 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6551] ppid=6538 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) R 6538 6538 897 0 -1 4202560 208 0 0 0 2 0 0 0 20 0 15 0 82854872 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514852933320 140515924830340 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6552] ppid=6538 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) R 6538 6538 897 0 -1 4202560 734 0 0 0 6 0 0 0 20 0 15 0 82854872 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514851899504 140515941466714 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6553] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514850846944 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6554] ppid=6538 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854877 14309736448 9976 18446744073709551615 4194304 4196468 140726451823024 140514849795248 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 41284 KiB

[startup+0.701603 s]
/proc/loadavg: 1.46 1.46 1.43 5/211 6554
/proc/meminfo: memFree=30372092/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 memory=69568 CPUtime=1.28 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 14577 0 0 0 123 5 0 0 20 0 15 0 82854866 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3495183 17392 3172 1 0 3483476 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 memory=33 CPUtime=0.55 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 8464 0 0 0 52 3 0 0 20 0 15 0 82854866 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140515945684160 140515925581716 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82854867 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140515538561296 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514858216304 140515941456514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514857162272 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514856109424 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 memory=2529 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514855057744 140515941463963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 memory=532 CPUtime=0.22 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) R 6538 6538 897 0 -1 4202560 1774 0 0 0 22 0 0 0 20 0 15 0 82854872 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514853986120 140515922965046 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 memory=29 CPUtime=0.2 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) R 6538 6538 897 0 -1 4202560 1282 0 0 0 20 0 0 0 20 0 15 0 82854872 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514852933320 140515924658923 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) R 6538 6538 897 0 -1 4202560 1751 0 0 0 27 0 0 0 20 0 15 0 82854872 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514851899504 140515934542203 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 memory=280660275356800 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514850846944 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 memory=19773126 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854877 14316269568 17392 18446744073709551615 4194304 4196468 140726451823024 140514849795248 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70948 KiB

[startup+1.50084 s]
/proc/loadavg: 1.46 1.46 1.43 5/211 6554
/proc/meminfo: memFree=30331844/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 memory=142916 CPUtime=3.79 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 34641 0 0 0 370 9 0 0 20 0 15 0 82854866 14316269568 35729 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3495183 35729 3192 1 0 3483476 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 memory=124636 CPUtime=1.35 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 8807 0 0 0 131 4 0 0 20 0 15 0 82854866 14316269568 35729 18446744073709551615 4194304 4196468 140726451823024 140515945683984 140515579428904 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 82854867 14316269568 35729 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 memory=111660 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14316269568 35729 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 82854867 14316269568 35729 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 84095 18446744073709551615 4194304 4196468 140726451823024 140514856109424 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 84095 18446744073709551615 4194304 4196468 140726451823024 140514855057744 140515941463963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 memory=1380 CPUtime=3.83 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 897 0 -1 1077944384 18328 0 0 0 381 2 0 0 20 0 15 0 82854872 14316269568 84095 18446744073709551615 4194304 4196468 140726451823024 140514854005104 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 memory=1380 CPUtime=4.13 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 897 0 -1 1077944384 44119 0 0 0 406 7 0 0 20 0 15 0 82854872 14316269568 84095 18446744073709551615 4194304 4196468 140726451823024 140514852952304 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 memory=4116 CPUtime=0.62 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 897 0 -1 1077944384 10589 0 0 0 60 2 0 0 20 0 15 0 82854872 14316269568 84095 18446744073709551615 4194304 4196468 140726451823024 140514851899504 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 84095 18446744073709551615 4194304 4196468 140726451823024 140514850846944 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 memory=337408 CPUtime=1.21 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 897 0 -1 1077944384 744 0 0 0 55 66 0 0 20 0 15 0 82854877 14316269568 84095 18446744073709551615 4194304 4196468 140726451823024 140514849795248 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 2383.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 337760 KiB

[startup+2382.3 s]
/proc/loadavg: 1.45 1.46 1.39 3/211 6796
/proc/meminfo: memFree=30278680/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 memory=368688 CPUtime=2445.2 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 278404 0 0 0 244131 389 0 0 20 0 15 0 82854866 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3495183 92172 3253 1 0 3483476 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 memory=368688 CPUtime=2359.61 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 116965 0 0 0 235923 38 0 0 20 0 15 0 82854866 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140515945684880 140515579325933 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 memory=368688 CPUtime=18.17 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 13581 0 0 0 1754 63 0 0 20 0 15 0 82854867 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 memory=1380 CPUtime=18.17 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 16760 0 0 0 1754 63 0 0 20 0 15 0 82854867 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 memory=368688 CPUtime=18.19 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 13696 0 0 0 1757 62 0 0 20 0 15 0 82854867 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 memory=1380 CPUtime=18.21 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 897 0 -1 1077944384 13891 0 0 0 1758 63 0 0 20 0 15 0 82854867 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140515538561296 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 memory=0 CPUtime=2.95 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 897 0 -1 1077944384 28378 0 0 0 246 49 0 0 20 0 15 0 82854869 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514858216304 140515941456514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 897 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514857162272 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514856109424 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514855057744 140515941463963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 memory=384484 CPUtime=3.83 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 897 0 -1 1077944384 18330 0 0 0 381 2 0 0 20 0 15 0 82854872 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514854005104 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 memory=1380 CPUtime=4.13 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 897 0 -1 1077944384 44121 0 0 0 406 7 0 0 20 0 15 0 82854872 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514852952304 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 memory=1380 CPUtime=0.62 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 897 0 -1 1077944384 10591 0 0 0 60 2 0 0 20 0 15 0 82854872 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514851899504 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514850846944 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 memory=45568 CPUtime=1.23 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 897 0 -1 1077944384 749 0 0 0 56 67 0 0 20 0 15 0 82854877 14316269568 92172 18446744073709551615 4194304 4196468 140726451823024 140514849795248 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 2445.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 370068 KiB

[startup+2442.3 s]
/proc/loadavg: 1.18 1.39 1.38 3/211 6798
/proc/meminfo: memFree=30345632/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 memory=342028 CPUtime=2506.65 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 283037 0 0 0 250268 397 0 0 20 0 15 0 82854866 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3495183 85507 3253 1 0 3483476 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 memory=343568 CPUtime=2419.06 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 120383 0 0 0 241867 39 0 0 20 0 15 0 82854866 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140515945684928 140515581464489 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 memory=366036 CPUtime=18.65 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 13719 0 0 0 1801 64 0 0 20 0 15 0 82854867 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 memory=360392 CPUtime=18.64 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 16958 0 0 0 1800 64 0 0 20 0 15 0 82854867 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 memory=352696 CPUtime=18.66 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 13998 0 0 0 1803 63 0 0 20 0 15 0 82854867 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 memory=349172 CPUtime=18.68 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 897 0 -1 1077944384 13988 0 0 0 1804 64 0 0 20 0 15 0 82854867 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140515538561296 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 memory=343568 CPUtime=3.01 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 897 0 -1 1077944384 28845 0 0 0 251 50 0 0 20 0 15 0 82854869 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514858216304 140515941456514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 memory=343568 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 897 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514857162272 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 memory=342028 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514856109424 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514855057744 140515941463963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 memory=2752 CPUtime=3.83 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 897 0 -1 1077944384 18330 0 0 0 381 2 0 0 20 0 15 0 82854872 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514854005104 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 memory=349172 CPUtime=4.13 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 897 0 -1 1077944384 44121 0 0 0 406 7 0 0 20 0 15 0 82854872 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514852952304 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 memory=1380 CPUtime=0.63 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 897 0 -1 1077944384 10591 0 0 0 61 2 0 0 20 0 15 0 82854872 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514851899504 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514850846944 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 memory=343568 CPUtime=1.27 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 897 0 -1 1077944384 762 0 0 0 58 69 0 0 20 0 15 0 82854877 14316269568 85507 18446744073709551615 4194304 4196468 140726451823024 140514849795248 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 2506.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 343408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.4 s]
/proc/loadavg: 1.16 1.37 1.37 3/211 6798
/proc/meminfo: memFree=30326712/32770624 swapFree=67108860/67108860
[pid=6538] ppid=6535 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/6538/stat : 6538 (xcsp3-exec) S 6535 6538 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 82854858 9740288 345 18446744073709551615 4194304 5098028 140733301106112 140733301104216 139836253549180 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 26079232 140733301113209 140733301113413 140733301113413 140733301116907 0
/proc/6538/statm: 2378 345 289 221 0 87 0
[pid=6540] ppid=6538 vsize=13980732 memory=358180 CPUtime=2520.02 cores=1,3,5,7
/proc/6540/stat : 6540 (java) S 6538 6538 897 0 -1 1077944320 283636 0 0 0 251602 400 0 0 20 0 15 0 82854866 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140726451805568 140515941445367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
/proc/6540/statm: 3495183 89545 3253 1 0 3483476 0
[pid=6540/tid=6541] ppid=6538 vsize=13980732 memory=15880 CPUtime=2432.05 cores=1,3,5,7
/proc/6540/task/6541/stat : 6541 (java) R 6538 6538 897 0 -1 4202560 120791 0 0 0 243166 39 0 0 20 0 15 0 82854866 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140515945684960 140515580853080 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6542] ppid=6538 vsize=13980732 memory=25540 CPUtime=18.73 cores=1,3,5,7
/proc/6540/task/6542/stat : 6542 (java) S 6538 6538 897 0 -1 1077944384 13755 0 0 0 1809 64 0 0 20 0 15 0 82854867 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140515898411664 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6543] ppid=6538 vsize=13980732 memory=4044 CPUtime=18.73 cores=1,3,5,7
/proc/6540/task/6543/stat : 6543 (java) S 6538 6538 897 0 -1 1077944384 16991 0 0 0 1808 65 0 0 20 0 15 0 82854867 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140515897358864 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6544] ppid=6538 vsize=13980732 memory=640 CPUtime=18.75 cores=1,3,5,7
/proc/6540/task/6544/stat : 6544 (java) S 6538 6538 897 0 -1 1077944384 14073 0 0 0 1811 64 0 0 20 0 15 0 82854867 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140515896306064 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6545] ppid=6538 vsize=13980732 memory=334332 CPUtime=18.78 cores=1,3,5,7
/proc/6540/task/6545/stat : 6545 (java) S 6538 6538 897 0 -1 1077944384 14013 0 0 0 1813 65 0 0 20 0 15 0 82854867 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140515538561296 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6546] ppid=6538 vsize=13980732 memory=5788 CPUtime=3.02 cores=1,3,5,7
/proc/6540/task/6546/stat : 6546 (java) S 6538 6538 897 0 -1 1077944384 28865 0 0 0 252 50 0 0 20 0 15 0 82854869 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514858216304 140515941456514 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6547] ppid=6538 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6547/stat : 6547 (java) S 6538 6538 897 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514857162272 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6548] ppid=6538 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6548/stat : 6548 (java) S 6538 6538 897 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 82854869 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514856109424 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6549] ppid=6538 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6549/stat : 6549 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514855057744 140515941463963 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6550] ppid=6538 vsize=13980732 memory=10164 CPUtime=3.83 cores=1,3,5,7
/proc/6540/task/6550/stat : 6550 (java) S 6538 6538 897 0 -1 1077944384 18330 0 0 0 381 2 0 0 20 0 15 0 82854872 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514854005104 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6551] ppid=6538 vsize=13980732 memory=1440 CPUtime=4.13 cores=1,3,5,7
/proc/6540/task/6551/stat : 6551 (java) S 6538 6538 897 0 -1 1077944384 44121 0 0 0 406 7 0 0 20 0 15 0 82854872 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514852952304 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6552] ppid=6538 vsize=13980732 memory=2000 CPUtime=0.63 cores=1,3,5,7
/proc/6540/task/6552/stat : 6552 (java) S 6538 6538 897 0 -1 1077944384 10591 0 0 0 61 2 0 0 20 0 15 0 82854872 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514851899504 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6553] ppid=6538 vsize=13980732 memory=11004 CPUtime=0 cores=1,3,5,7
/proc/6540/task/6553/stat : 6553 (java) S 6538 6538 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 82854872 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514850846944 140515941455573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
[pid=6540/tid=6554] ppid=6538 vsize=13980732 memory=1200 CPUtime=1.27 cores=1,3,5,7
/proc/6540/task/6554/stat : 6554 (java) S 6538 6538 897 0 -1 1077944384 764 0 0 0 58 69 0 0 20 0 15 0 82854877 14316269568 89545 18446744073709551615 4194304 4196468 140726451823024 140514849795248 140515941456514 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 11173888 140726451827121 140726451827297 140726451827297 140726451830735 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 359560 KiB

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

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

[startup+2455.42 s]
# the end of solver process 6540 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.05 s, system=4.00739 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): 2455.42
CPU time (s): 2520.06
CPU user time (s): 2516.05
CPU system time (s): 4.00739
CPU usage (%): 102.633
Max. virtual memory (cumulated for all children) (KiB): 13992032
Max. memory (cumulated for all children) (KiB): 534324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.05
system time used= 4.00739
maximum resident set size= 537192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120329
involuntary context switches= 4720


# summary of solver processes directly reported to runsolver:
#   pid: 6538,6540
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.05
#   total CPU system time (s): 4.00739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9375 second user time and 24.7357 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-15 15:58:16
IDJOB=4272073
IDBENCH=133484
IDSOLVER=2664
FILE ID=node125/4272073-1502806342
RUNJOBID= node125-1502662595-11629
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-06.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-4272073-1502806342/watcher-4272073-1502806342 -o /tmp/evaluation-result-4272073-1502806342/solver-4272073-1502806342 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 524875629 HOME/instance-4272073-1502806342.xml

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

MD5SUM BENCH= e510f4e528f92f41d50b9f762f8b8317
RANDOM SEED=524875629

node125.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.07
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.07
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.07
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.07
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:        30411440 kB
MemAvailable:   31408648 kB
Buffers:          304280 kB
Cached:           986076 kB
SwapCached:            0 kB
Active:          1312092 kB
Inactive:         612876 kB
Active(anon):     634820 kB
Inactive(anon):    33100 kB
Active(file):     677272 kB
Inactive(file):   579776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7924 kB
Writeback:             4 kB
AnonPages:        637956 kB
Mapped:            64084 kB
Shmem:             33444 kB
Slab:             137880 kB
SReclaimable:     111988 kB
SUnreclaim:        25892 kB
KernelStack:        3712 kB
PageTables:         5912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1271100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    563200 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 node125 at 2017-08-15 16:39:11