2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	8	924.097	118.331
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 (15323 MiB free)
  memory of node 1: 16384 MiB (13324 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400068-1568710065/watcher-4400068-1568710065 -o /tmp/evaluation-result-4400068-1568710065/solver-4400068-1568710065 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568701156-7383 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1400329067 HOME/instance-4400068-1568710065.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog threader pid=4
, stack expansion will9670

Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 7.85 8.00 8.08 2/211 9694
/proc/meminfo: memFree=29317804/32770624 swapFree=66958320/67108860
[pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0
/proc/9673/statm: 28282 362 304 221 0 87 0
[pid=9675] ppid=9673 vsize=28227396 memory=30412 CPUtime=0.12 cores=0-7
/proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 5579 0 0 0 11 1 0 0 20 0 20 0 446943036 28904853504 7603 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
/proc/9675/statm: 7056849 7603 3127 1 0 7019032 0
[pid=9675/tid=9676] ppid=9673 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 3518 0 0 0 8 1 0 0 20 0 20 0 446943037 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344697415088 140344674577402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9677] ppid=9673 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9678] ppid=9673 vsize=28227396 memory=140574333978240 CPUtime=0 cores=0-7
/proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9679] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9680] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9681] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9682] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9683] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9684] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 7603 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9685] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943039 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9686] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342820640160 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9687] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342819587568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9688] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9689] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9690] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9691] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9692] ppid=9673 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9675/task/9692/stat : 9692 (java) R 9673 9673 7356 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342814325104 140344693203546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9693] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9694] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943043 28904853504 7603 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31860 KiB

[startup+0.210612 s]*
/proc/loadavg: 7.85 8.00 8.08 3/211 9694
/proc/meminfo: memFree=29304164/32770624 swapFree=66958320/67108860
[pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0
/proc/9673/statm: 28282 362 304 221 0 87 0
[pid=9675] ppid=9673 vsize=28227396 memory=42652 CPUtime=0.33 cores=0-7
/proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 9441 0 0 0 30 3 0 0 20 0 20 0 446943036 28904853504 10663 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
/proc/9675/statm: 7056849 10663 3271 1 0 7019032 0
[pid=9675/tid=9676] ppid=9673 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 6547 0 0 0 18 2 0 0 20 0 20 0 446943037 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344697414112 140344677262686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9677] ppid=9673 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9678] ppid=9673 vsize=28227396 memory=140574333988166 CPUtime=0 cores=0-7
/proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9679] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9680] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9681] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9682] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9683] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9684] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28904853504 10663 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9685] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446943039 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9686] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342820640160 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9687] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446943040 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342819587568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9688] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9689] ppid=9673 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9690] ppid=9673 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9691] ppid=9673 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9692] ppid=9673 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9675/task/9692/stat : 9692 (java) R 9673 9673 7356 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342814325104 140344685419326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9693] ppid=9673 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9694] ppid=9673 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943043 28904853504 10663 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44100 KiB

[startup+0.311974 s]*
/proc/loadavg: 7.85 8.00 8.08 4/211 9694
/proc/meminfo: memFree=29296768/32770624 swapFree=66958320/67108860
[pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0
/proc/9673/statm: 28282 362 304 221 0 87 0
[pid=9675] ppid=9673 vsize=28231652 memory=51996 CPUtime=0.53 cores=0-7
/proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 10844 0 0 0 48 5 0 0 20 0 20 0 446943036 28909211648 12999 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
/proc/9675/statm: 7057913 12999 3357 1 0 7019032 0
[pid=9675/tid=9676] ppid=9673 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 7737 0 0 0 27 3 0 0 20 0 20 0 446943037 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344697415984 140344677262686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9677] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9678] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9679] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9680] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9681] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9682] ppid=9673 vsize=28231652 memory=140574212582063 CPUtime=0 cores=0-7
/proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9683] ppid=9673 vsize=28231652 memory=140574212584368 CPUtime=0 cores=0-7
/proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9684] ppid=9673 vsize=28231652 memory=140574212586672 CPUtime=0 cores=0-7
/proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943038 28909211648 13064 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9685] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446943039 28909211648 13064 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9686] ppid=9673 vsize=28231652 memory=281148425187216 CPUtime=0 cores=0-7
/proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446943040 28909211648 13064 33554432000 4194304 4196468 140731483589920 140342820640160 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9687] ppid=9673 vsize=28231652 memory=281148425184912 CPUtime=0 cores=0-7
/proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446943040 28909211648 13064 33554432000 4194304 4196468 140731483589920 140342819587568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9688] ppid=9673 vsize=28231652 memory=281148425191824 CPUtime=0 cores=0-7
/proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9689] ppid=9673 vsize=28231652 memory=281148425133072 CPUtime=0.03 cores=0-7
/proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9690] ppid=9673 vsize=28231652 memory=281148425205648 CPUtime=0.03 cores=0-7
/proc/9675/task/9690/stat : 9690 (java) R 9673 9673 7356 0 -1 4202560 348 0 0 0 3 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342816411208 140344693182864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9691] ppid=9673 vsize=28231652 memory=281148425212560 CPUtime=0.01 cores=0-7
/proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9692] ppid=9673 vsize=28231652 memory=281148425210256 CPUtime=0.12 cores=0-7
/proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9693] ppid=9673 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9694] ppid=9673 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943043 28909211648 13070 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53444 KiB

[startup+0.700985 s]
/proc/loadavg: 7.85 8.00 8.08 4/211 9694
/proc/meminfo: memFree=29275688/32770624 swapFree=66958320/67108860
[pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0
/proc/9673/statm: 28282 362 304 221 0 87 0
[pid=9675] ppid=9673 vsize=28233776 memory=120064 CPUtime=1.95 cores=0-7
/proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 14560 0 0 0 188 7 0 0 20 0 20 0 446943036 28911386624 30016 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
/proc/9675/statm: 7058444 30016 3451 1 0 7019544 0
[pid=9675/tid=9676] ppid=9673 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 8261 0 0 0 64 4 0 0 20 0 20 0 446943037 28911386624 30016 33554432000 4194304 4196468 140731483589920 140344697420800 140344314402448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9677] ppid=9673 vsize=28233776 memory=140574212793200 CPUtime=0 cores=0-7
/proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28911386624 30016 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9678] ppid=9673 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446943038 28911386624 30016 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9679] ppid=9673 vsize=28233776 memory=8024 CPUtime=0 cores=0-7

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

[pid=9675/tid=9684] ppid=9673 vsize=28768336 memory=4100 CPUtime=0.24 cores=0-7
/proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 776 0 0 0 17 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9685] ppid=9673 vsize=28768336 memory=1412 CPUtime=0.04 cores=0-7
/proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 3856 0 0 0 3 1 0 0 20 0 28 0 446943039 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9686] ppid=9673 vsize=28768336 memory=3472 CPUtime=0 cores=0-7
/proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342820640224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9687] ppid=9673 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342819587584 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9688] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0 cores=0-7
/proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9689] ppid=9673 vsize=28768336 memory=5413684 CPUtime=4.02 cores=0-7
/proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 14809 0 0 0 399 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9690] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=4.4 cores=0-7
/proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 17266 0 0 0 437 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9691] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=4.19 cores=0-7
/proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 15628 0 0 0 415 4 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9692] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=0.96 cores=0-7
/proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 11115 0 0 0 93 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9693] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9694] ppid=9673 vsize=28768336 memory=4872558044660077418 CPUtime=0.04 cores=0-7
/proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 780 0 0 0 2 2 0 0 20 0 28 0 446943043 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9743] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=111.63 cores=0-7
/proc/9675/task/9743/stat : 9743 (java) R 9673 9673 7356 0 -1 4202560 8840 0 0 0 11110 53 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342801946760 140344323907015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9744] ppid=9673 vsize=28768336 memory=880 CPUtime=112.46 cores=0-7
/proc/9675/task/9744/stat : 9744 (java) R 9673 9673 7356 0 -1 4202560 936 0 0 0 11245 1 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342796686024 140344319200114 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9745] ppid=9673 vsize=28768336 memory=4872558044660077418 CPUtime=112.31 cores=0-7
/proc/9675/task/9745/stat : 9745 (java) R 9673 9673 7356 0 -1 4202560 9992 0 0 0 11201 30 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342798790472 140344323886320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9746] ppid=9673 vsize=28768336 memory=4062848 CPUtime=112.32 cores=0-7
/proc/9675/task/9746/stat : 9746 (java) R 9673 9673 7356 0 -1 4202560 5133 0 0 0 11210 22 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342803001368 140344324022782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9747] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=112.2 cores=0-7
/proc/9675/task/9747/stat : 9747 (java) R 9673 9673 7356 0 -1 4202560 979 0 0 0 11218 2 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342795632712 140344323489028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9748] ppid=9673 vsize=28768336 memory=3487360 CPUtime=112.07 cores=0-7
/proc/9675/task/9748/stat : 9748 (java) R 9673 9673 7356 0 -1 4202560 1787 0 0 0 11204 3 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342799843328 140344319199649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9749] ppid=9673 vsize=28768336 memory=1448 CPUtime=111.69 cores=0-7
/proc/9675/task/9749/stat : 9749 (java) R 9673 9673 7356 0 -1 4202560 1330 0 0 0 11164 5 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342797738456 140344323488657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9750] ppid=9673 vsize=28768336 memory=3485312 CPUtime=112.25 cores=0-7
/proc/9675/task/9750/stat : 9750 (java) R 9673 9673 7356 0 -1 4202560 15032 0 0 0 11167 58 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342800895160 140344323734241 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
Current children cumulated CPU time: 922.36 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5415132 KiB

[startup+118.202 s]
/proc/loadavg: 8.01 8.00 8.07 9/219 9758
/proc/meminfo: memFree=23922580/32770624 swapFree=66958320/67108860
[pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0
/proc/9673/statm: 28282 362 304 221 0 87 0
[pid=9675] ppid=9673 vsize=28768336 memory=5413684 CPUtime=923.89 cores=0-7
/proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 129775 0 0 0 92123 266 0 0 20 0 28 0 446943036 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
/proc/9675/statm: 7192084 1353421 3532 1 0 7153184 0
[pid=9675/tid=9676] ppid=9673 vsize=28768336 memory=14408211662899591 CPUtime=3.31 cores=0-7
/proc/9675/task/9676/stat : 9676 (java) S 9673 9673 7356 0 -1 1077944384 11738 0 0 0 320 11 0 0 20 0 28 0 446943037 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344697422976 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9677] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.18 cores=0-7
/proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 439 0 0 0 13 5 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9678] ppid=9673 vsize=28768336 memory=1660 CPUtime=0.23 cores=0-7
/proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 1253 0 0 0 16 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9679] ppid=9673 vsize=28768336 memory=1398722017469774279 CPUtime=0.24 cores=0-7
/proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 968 0 0 0 17 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9680] ppid=9673 vsize=28768336 memory=4872558044660077418 CPUtime=0.2 cores=0-7
/proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 1286 0 0 0 13 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9681] ppid=9673 vsize=28768336 memory=2496 CPUtime=0.23 cores=0-7
/proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1283 0 0 0 16 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9682] ppid=9673 vsize=28768336 memory=1760 CPUtime=0.23 cores=0-7
/proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 946 0 0 0 17 6 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9683] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.22 cores=0-7
/proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 947 0 0 0 15 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9684] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.24 cores=0-7
/proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 776 0 0 0 17 7 0 0 20 0 28 0 446943038 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9685] ppid=9673 vsize=28768336 memory=9047017150487036571 CPUtime=0.04 cores=0-7
/proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 3856 0 0 0 3 1 0 0 20 0 28 0 446943039 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9686] ppid=9673 vsize=28768336 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342820640224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9687] ppid=9673 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446943040 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342819587584 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9688] ppid=9673 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9689] ppid=9673 vsize=28768336 memory=1448 CPUtime=4.02 cores=0-7
/proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 14809 0 0 0 399 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9690] ppid=9673 vsize=28768336 memory=5413684 CPUtime=4.4 cores=0-7
/proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 17266 0 0 0 437 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9691] ppid=9673 vsize=28768336 memory=7824336315716348491 CPUtime=4.19 cores=0-7
/proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 15628 0 0 0 415 4 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9692] ppid=9673 vsize=28768336 memory=7884228899497271635 CPUtime=0.96 cores=0-7
/proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 11115 0 0 0 93 3 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9693] ppid=9673 vsize=28768336 memory=6947762674367883369 CPUtime=0 cores=0-7
/proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446943042 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9694] ppid=9673 vsize=28768336 memory=7584172180673161326 CPUtime=0.04 cores=0-7
/proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 780 0 0 0 2 2 0 0 20 0 28 0 446943043 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9743] ppid=9673 vsize=28768336 memory=5450909908396308010 CPUtime=111.82 cores=0-7
/proc/9675/task/9743/stat : 9743 (java) R 9673 9673 7356 0 -1 4202560 8849 0 0 0 11129 53 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342801946760 140344324022096 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9744] ppid=9673 vsize=28768336 memory=7668336488552228457 CPUtime=112.65 cores=0-7
/proc/9675/task/9744/stat : 9744 (java) R 9673 9673 7356 0 -1 4202560 936 0 0 0 11264 1 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342796686024 140344324022782 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9745] ppid=9673 vsize=28768336 memory=7813572070403625585 CPUtime=112.5 cores=0-7
/proc/9675/task/9745/stat : 9745 (java) R 9673 9673 7356 0 -1 4202560 9998 0 0 0 11220 30 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342798790472 140344323734270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9746] ppid=9673 vsize=28768336 memory=7381515690686174310 CPUtime=112.51 cores=0-7
/proc/9675/task/9746/stat : 9746 (java) R 9673 9673 7356 0 -1 4202560 5134 0 0 0 11229 22 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342803001368 140344323734255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9747] ppid=9673 vsize=28768336 memory=7596282171657053288 CPUtime=112.39 cores=0-7
/proc/9675/task/9747/stat : 9747 (java) R 9673 9673 7356 0 -1 4202560 980 0 0 0 11237 2 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342795632712 140344323415716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9748] ppid=9673 vsize=28768336 memory=8514701219781834910 CPUtime=112.26 cores=0-7
/proc/9675/task/9748/stat : 9748 (java) R 9673 9673 7356 0 -1 4202560 1787 0 0 0 11223 3 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342799843328 140344315450701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9749] ppid=9673 vsize=28768336 memory=5860423842835163747 CPUtime=111.88 cores=0-7
/proc/9675/task/9749/stat : 9749 (java) R 9673 9673 7356 0 -1 4202560 1330 0 0 0 11183 5 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342797738456 140344324022028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9750] ppid=9673 vsize=28768336 memory=7955438739718957167 CPUtime=112.44 cores=0-7
/proc/9675/task/9750/stat : 9750 (java) R 9673 9673 7356 0 -1 4202560 15044 0 0 0 11186 58 0 0 20 0 28 0 446943534 29458776064 1353421 33554432000 4194304 4196468 140731483589920 140342800895160 140344325564121 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
Current children cumulated CPU time: 923.89 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5415132 KiB

[startup+118.301 s]
/proc/loadavg: 8.01 8.00 8.07 9/219 9758
/proc/meminfo: memFree=23922580/32770624 swapFree=66958320/67108860
[pid=9673] ppid=9670 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9673/stat : 9673 (xcsp3-exec) S 9670 9673 7356 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446943036 115843072 362 33554432000 4194304 5098028 140726064320032 140726064318136 140342666248828 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26599424 140726064325499 140726064325742 140726064325742 140726064328650 0
/proc/9673/statm: 28282 362 304 221 0 87 0
[pid=9675] ppid=9673 vsize=28768336 memory=5413144 CPUtime=924.05 cores=0-7
/proc/9675/stat : 9675 (java) S 9673 9673 7356 0 -1 1077944320 130449 0 0 0 92139 266 0 0 20 0 20 0 446943036 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140731483572464 140344693182199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
/proc/9675/statm: 7192084 1353286 3532 1 0 7153184 0
[pid=9675/tid=9676] ppid=9673 vsize=28768336 memory=5413684 CPUtime=3.31 cores=0-7
/proc/9675/task/9676/stat : 9676 (java) R 9673 9673 7356 0 -1 4202560 12117 0 0 0 320 11 0 0 20 0 20 0 446943037 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344697419312 140344693196490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9677] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7
/proc/9675/task/9677/stat : 9677 (java) S 9673 9673 7356 0 -1 1077944384 439 0 0 0 13 5 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344645802768 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9678] ppid=9673 vsize=28768336 memory=281148426863136 CPUtime=0.23 cores=0-7
/proc/9675/task/9678/stat : 9678 (java) S 9673 9673 7356 0 -1 1077944384 1253 0 0 0 16 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344644750224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9679] ppid=9673 vsize=28768336 memory=281148427221136 CPUtime=0.24 cores=0-7
/proc/9675/task/9679/stat : 9679 (java) S 9673 9673 7356 0 -1 1077944384 968 0 0 0 17 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344643697680 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9680] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.2 cores=0-7
/proc/9675/task/9680/stat : 9680 (java) S 9673 9673 7356 0 -1 1077944384 1286 0 0 0 13 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344642645136 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9681] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.23 cores=0-7
/proc/9675/task/9681/stat : 9681 (java) S 9673 9673 7356 0 -1 1077944384 1283 0 0 0 16 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344641591568 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9682] ppid=9673 vsize=28768336 memory=1448 CPUtime=0.23 cores=0-7
/proc/9675/task/9682/stat : 9682 (java) S 9673 9673 7356 0 -1 1077944384 946 0 0 0 17 6 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344640539024 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9683] ppid=9673 vsize=28768336 memory=18 CPUtime=0.22 cores=0-7
/proc/9675/task/9683/stat : 9683 (java) S 9673 9673 7356 0 -1 1077944384 947 0 0 0 15 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344639486480 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9684] ppid=9673 vsize=28768336 memory=1196 CPUtime=0.24 cores=0-7
/proc/9675/task/9684/stat : 9684 (java) S 9673 9673 7356 0 -1 1077944384 776 0 0 0 17 7 0 0 20 0 20 0 446943038 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140344638433936 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9685] ppid=9673 vsize=28768336 memory=1044 CPUtime=0.04 cores=0-7
/proc/9675/task/9685/stat : 9685 (java) S 9673 9673 7356 0 -1 1077944384 3856 0 0 0 3 1 0 0 20 0 20 0 446943039 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342821693936 140344693193346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9686] ppid=9673 vsize=28768336 memory=47752 CPUtime=0 cores=0-7
/proc/9675/task/9686/stat : 9686 (java) S 9673 9673 7356 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 446943040 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342820640224 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9687] ppid=9673 vsize=28768336 memory=988 CPUtime=0 cores=0-7
/proc/9675/task/9687/stat : 9687 (java) S 9673 9673 7356 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 446943040 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342819587584 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9688] ppid=9673 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/9675/task/9688/stat : 9688 (java) S 9673 9673 7356 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446943042 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342818536144 140344693200795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9689] ppid=9673 vsize=28768336 memory=5460384 CPUtime=4.02 cores=0-7
/proc/9675/task/9689/stat : 9689 (java) S 9673 9673 7356 0 -1 1077944384 14809 0 0 0 399 3 0 0 20 0 20 0 446943042 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342817482736 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9690] ppid=9673 vsize=28768336 memory=1448 CPUtime=4.4 cores=0-7
/proc/9675/task/9690/stat : 9690 (java) S 9673 9673 7356 0 -1 1077944384 17266 0 0 0 437 3 0 0 20 0 20 0 446943042 29458776064 1353286 33554432000 4194304 4196468 140731483589920 140342816430192 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9691] ppid=9673 vsize=28768336 memory=1448 CPUtime=4.19 cores=0-7
/proc/9675/task/9691/stat : 9691 (java) S 9673 9673 7356 0 -1 1077944384 15628 0 0 0 415 4 0 0 20 0 20 0 446943042 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342815377648 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9692] ppid=9673 vsize=28768336 memory=5413684 CPUtime=0.96 cores=0-7
/proc/9675/task/9692/stat : 9692 (java) S 9673 9673 7356 0 -1 1077944384 11247 0 0 0 93 3 0 0 20 0 20 0 446943042 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342814325104 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9693] ppid=9673 vsize=28768336 memory=15257060526784562 CPUtime=0 cores=0-7
/proc/9675/task/9693/stat : 9693 (java) S 9673 9673 7356 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446943042 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342813272800 140344693192405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
[pid=9675/tid=9694] ppid=9673 vsize=28768336 memory=281148424978672 CPUtime=0.04 cores=0-7
/proc/9675/task/9694/stat : 9694 (java) S 9673 9673 7356 0 -1 1077944384 780 0 0 0 2 2 0 0 20 0 20 0 446943043 29458776064 1353287 33554432000 4194304 4196468 140731483589920 140342812220336 140344693193346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11177984 140731483591664 140731483591835 140731483591835 140731483594703 0
Current children cumulated CPU time: 924.05 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5414592 KiB

Child status: 0
Real time (s): 118.331
CPU time (s): 924.097
CPU user time (s): 921.402
CPU system time (s): 2.69502
CPU usage (%): 780.941
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5463480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 921.402
system time used= 2.69502
maximum resident set size= 5463680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8641
involuntary context switches= 10901


# summary of solver processes directly reported to runsolver:
#   pid: 9673
#   total CPU time (s): 924.097
#   total CPU user time (s): 921.402
#   total CPU system time (s): 2.69502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40656 second user time and 1.02305 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.1369
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400068

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
