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	SAT (TO)	7	2400.59	604.201
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 (14638 MiB free)
  memory of node 1: 16384 MiB (15531 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400532-1568678047/watcher-4400532-1568678047 -o /tmp/evaluation-result-4400532-1568678047/solver-4400532-1568678047 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1889386482 HOME/instance-4400532-1568678047.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=6976, runsolver pid=6973


[startup+0.10019 s]*
/proc/loadavg: 8.80 8.66 8.57 7/233 6992
/proc/meminfo: memFree=30877808/32770624 swapFree=66997372/67108860
[pid=6976] ppid=6973 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6976/stat : 6976 (xcsp3-exec) S 6973 6976 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444057817 115843072 363 33554432000 4194304 5098028 140734778103184 140734778101288 140015858803324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13230080 140734778106746 140734778106989 140734778106989 140734778109898 0
/proc/6976/statm: 28282 363 304 221 0 87 0
[pid=6978] ppid=6976 vsize=15144776 memory=28600 CPUtime=0.12 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6976 6976 32513 0 -1 1077944320 5672 0 0 0 11 1 0 0 20 0 15 0 444057817 15508250624 7150 33554432000 4194304 4196468 140737222801392 140737222783936 140209960398583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
/proc/6978/statm: 3786194 7150 3124 1 0 3748377 0
[pid=6978/tid=6979] ppid=6976 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/6979/stat : 6979 (java) R 6976 6976 32513 0 -1 4202560 3573 0 0 0 8 0 0 0 20 0 15 0 444057817 15508250624 7282 33554432000 4194304 4196468 140737222801392 140209964628768 140209952635710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6980] ppid=6976 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6980/stat : 6980 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 7282 33554432000 4194304 4196468 140737222801392 140209888439184 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6981] ppid=6976 vsize=15144776 memory=140105100453504 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6981/stat : 6981 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 7282 33554432000 4194304 4196468 140737222801392 140209887386384 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6982] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6982/stat : 6982 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 7282 33554432000 4194304 4196468 140737222801392 140209886334096 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6983] ppid=6976 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6983/stat : 6983 (java) S 6976 6976 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 7282 33554432000 4194304 4196468 140737222801392 140209885281296 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6984] ppid=6976 vsize=15144776 memory=140105100453504 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6984/stat : 6984 (java) S 6976 6976 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444057819 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208901589104 140209960409730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6985] ppid=6976 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6985/stat : 6985 (java) S 6976 6976 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444057820 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208900535072 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6986] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6986/stat : 6986 (java) S 6976 6976 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444057820 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208899482736 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6987] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6987/stat : 6987 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208898431056 140209960417179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6988] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6988/stat : 6988 (java) S 6976 6976 32513 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 444057822 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208897378928 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6989] ppid=6976 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6989/stat : 6989 (java) S 6976 6976 32513 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 444057822 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208896326128 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6990] ppid=6976 vsize=15144776 memory=140105100453504 CPUtime=0.02 cores=1,3,5,7
/proc/6978/task/6990/stat : 6990 (java) R 6976 6976 32513 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 444057822 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208895273840 140209939718864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6991] ppid=6976 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6991/stat : 6991 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208894221280 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6992] ppid=6976 vsize=15144776 memory=140105100453504 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6992/stat : 6992 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057823 15508250624 7282 33554432000 4194304 4196468 140737222801392 140208893168048 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30052 KiB

[startup+0.211278 s]*
/proc/loadavg: 8.80 8.66 8.57 7/233 6992
/proc/meminfo: memFree=30864692/32770624 swapFree=66997372/67108860
[pid=6976] ppid=6973 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6976/stat : 6976 (xcsp3-exec) S 6973 6976 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444057817 115843072 363 33554432000 4194304 5098028 140734778103184 140734778101288 140015858803324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13230080 140734778106746 140734778106989 140734778106989 140734778109898 0
/proc/6976/statm: 28282 363 304 221 0 87 0
[pid=6978] ppid=6976 vsize=15144776 memory=40588 CPUtime=0.34 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6976 6976 32513 0 -1 1077944320 9335 0 0 0 31 3 0 0 20 0 15 0 444057817 15508250624 10147 33554432000 4194304 4196468 140737222801392 140737222783936 140209960398583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
/proc/6978/statm: 3786194 10147 3310 1 0 3748377 0
[pid=6978/tid=6979] ppid=6976 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6978/task/6979/stat : 6979 (java) R 6976 6976 32513 0 -1 4202560 6609 0 0 0 18 2 0 0 20 0 15 0 444057817 15508250624 10147 33554432000 4194304 4196468 140737222801392 140209964633568 140209944479070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6980] ppid=6976 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6980/stat : 6980 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 10147 33554432000 4194304 4196468 140737222801392 140209888439184 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6981] ppid=6976 vsize=15144776 memory=140105103924730 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6981/stat : 6981 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 10147 33554432000 4194304 4196468 140737222801392 140209887386384 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6982] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6982/stat : 6982 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 10147 33554432000 4194304 4196468 140737222801392 140209886334096 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6983] ppid=6976 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6983/stat : 6983 (java) S 6976 6976 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444057818 15508250624 10147 33554432000 4194304 4196468 140737222801392 140209885281296 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6984] ppid=6976 vsize=15144776 memory=140105100453504 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6984/stat : 6984 (java) S 6976 6976 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444057819 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208901589104 140209960409730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6985] ppid=6976 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6985/stat : 6985 (java) S 6976 6976 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444057820 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208900535072 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6986] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6986/stat : 6986 (java) S 6976 6976 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444057820 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208899482736 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6987] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6987/stat : 6987 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208898431056 140209960417179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6988] ppid=6976 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6978/task/6988/stat : 6988 (java) S 6976 6976 32513 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 444057822 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208897378928 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6989] ppid=6976 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6978/task/6989/stat : 6989 (java) S 6976 6976 32513 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 444057822 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208896326128 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6990] ppid=6976 vsize=15144776 memory=140105100453504 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/6990/stat : 6990 (java) S 6976 6976 32513 0 -1 1077944384 812 0 0 0 8 0 0 0 20 0 15 0 444057822 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208895273840 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6991] ppid=6976 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6991/stat : 6991 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208894221280 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6992] ppid=6976 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6992/stat : 6992 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057823 15508250624 10147 33554432000 4194304 4196468 140737222801392 140208893168048 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42040 KiB

[startup+0.310471 s]*
/proc/loadavg: 8.80 8.66 8.57 8/233 6992
/proc/meminfo: memFree=30857296/32770624 swapFree=66997372/67108860
[pid=6976] ppid=6973 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6976/stat : 6976 (xcsp3-exec) S 6973 6976 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444057817 115843072 363 33554432000 4194304 5098028 140734778103184 140734778101288 140015858803324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13230080 140734778106746 140734778106989 140734778106989 140734778109898 0
/proc/6976/statm: 28282 363 304 221 0 87 0
[pid=6978] ppid=6976 vsize=15149032 memory=49896 CPUtime=0.53 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6976 6976 32513 0 -1 1077944320 10858 0 0 0 49 4 0 0 20 0 15 0 444057817 15512608768 12474 33554432000 4194304 4196468 140737222801392 140737222783936 140209960398583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
/proc/6978/statm: 3787258 12474 3361 1 0 3748377 0
[pid=6978/tid=6979] ppid=6976 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/6978/task/6979/stat : 6979 (java) R 6976 6976 32513 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 15 0 444057817 15512608768 12545 33554432000 4194304 4196468 140737222801392 140209964629696 140209944479070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6980] ppid=6976 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6980/stat : 6980 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15512608768 12545 33554432000 4194304 4196468 140737222801392 140209888439184 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6981] ppid=6976 vsize=15149032 memory=14135562914612995 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6981/stat : 6981 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15512608768 12545 33554432000 4194304 4196468 140737222801392 140209887386384 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6982] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6982/stat : 6982 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15512608768 12545 33554432000 4194304 4196468 140737222801392 140209886334096 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6983] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6983/stat : 6983 (java) S 6976 6976 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444057818 15512608768 12545 33554432000 4194304 4196468 140737222801392 140209885281296 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6984] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6984/stat : 6984 (java) S 6976 6976 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444057819 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208901589104 140209960409730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6985] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6985/stat : 6985 (java) S 6976 6976 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444057820 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208900535072 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6986] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6986/stat : 6986 (java) S 6976 6976 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444057820 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208899482736 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6987] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6987/stat : 6987 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208898431056 140209960417179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6988] ppid=6976 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6978/task/6988/stat : 6988 (java) S 6976 6976 32513 0 -1 1077944384 544 0 0 0 5 0 0 0 20 0 15 0 444057822 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208897378928 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6989] ppid=6976 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6978/task/6989/stat : 6989 (java) S 6976 6976 32513 0 -1 1077944384 264 0 0 0 4 0 0 0 20 0 15 0 444057822 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208896326128 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6990] ppid=6976 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6978/task/6990/stat : 6990 (java) S 6976 6976 32513 0 -1 1077944384 974 0 0 0 12 0 0 0 20 0 15 0 444057822 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208895273840 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6991] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6991/stat : 6991 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208894221280 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6992] ppid=6976 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6992/stat : 6992 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057823 15512608768 12545 33554432000 4194304 4196468 140737222801392 140208893168048 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51348 KiB

[startup+0.701362 s]
/proc/loadavg: 8.80 8.66 8.57 9/233 6992
/proc/meminfo: memFree=30837488/32770624 swapFree=66997372/67108860
[pid=6976] ppid=6973 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6976/stat : 6976 (xcsp3-exec) S 6973 6976 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444057817 115843072 363 33554432000 4194304 5098028 140734778103184 140734778101288 140015858803324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13230080 140734778106746 140734778106989 140734778106989 140734778109898 0
/proc/6976/statm: 28282 363 304 221 0 87 0
[pid=6978] ppid=6976 vsize=15151156 memory=104564 CPUtime=1.76 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6976 6976 32513 0 -1 1077944320 14724 0 0 0 171 5 0 0 20 0 15 0 444057817 15514783744 26141 33554432000 4194304 4196468 140737222801392 140737222783936 140209960398583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
/proc/6978/statm: 3787789 26141 3445 1 0 3748889 0
[pid=6978/tid=6979] ppid=6976 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/6978/task/6979/stat : 6979 (java) R 6976 6976 32513 0 -1 4202560 8448 0 0 0 65 3 0 0 20 0 15 0 444057817 15514783744 26141 33554432000 4194304 4196468 140737222801392 140209964625872 140209944442213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6980] ppid=6976 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6980/stat : 6980 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15514783744 26141 33554432000 4194304 4196468 140737222801392 140209888439184 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6981] ppid=6976 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6981/stat : 6981 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15514783744 26141 33554432000 4194304 4196468 140737222801392 140209887386384 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6982] ppid=6976 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6982/stat : 6982 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057818 15514783744 26141 33554432000 4194304 4196468 140737222801392 140209886334096 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6983] ppid=6976 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6983/stat : 6983 (java) S 6976 6976 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444057818 15514783744 26141 33554432000 4194304 4196468 140737222801392 140209885281296 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6984] ppid=6976 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6984/stat : 6984 (java) S 6976 6976 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444057819 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208901589104 140209960409730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6985] ppid=6976 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6985/stat : 6985 (java) S 6976 6976 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444057820 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208900535072 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6986] ppid=6976 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6986/stat : 6986 (java) S 6976 6976 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444057820 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208899482736 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6987] ppid=6976 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6987/stat : 6987 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208898431056 140209960417179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6988] ppid=6976 vsize=15151156 memory=1764 CPUtime=0.36 cores=1,3,5,7
/proc/6978/task/6988/stat : 6988 (java) R 6976 6976 32513 0 -1 4202560 1598 0 0 0 36 0 0 0 20 0 15 0 444057822 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208897366080 140209960419930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6989] ppid=6976 vsize=15151156 memory=111628 CPUtime=0.35 cores=1,3,5,7
/proc/6978/task/6989/stat : 6989 (java) R 6976 6976 32513 0 -1 4202560 1450 0 0 0 35 0 0 0 20 0 15 0 444057822 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208896312032 140209943610746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6990] ppid=6976 vsize=15151156 memory=796 CPUtime=0.34 cores=1,3,5,7
/proc/6978/task/6990/stat : 6990 (java) R 6976 6976 32513 0 -1 4202560 1923 0 0 0 33 1 0 0 20 0 15 0 444057822 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208895273840 140209944479070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6991] ppid=6976 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6991/stat : 6991 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444057822 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208894221280 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6992] ppid=6976 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6992/stat : 6992 (java) S 6976 6976 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444057823 15514783744 26141 33554432000 4194304 4196468 140737222801392 140208893168048 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106016 KiB

[startup+1.50083 s]
/proc/loadavg: 8.80 8.66 8.57 6/233 6992
/proc/meminfo: memFree=30757256/32770624 swapFree=66997372/67108860
[pid=6976] ppid=6973 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6976/stat : 6976 (xcsp3-exec) S 6973 6976 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444057817 115843072 363 33554432000 4194304 5098028 140734778103184 140734778101288 140015858803324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13230080 140734778106746 140734778106989 140734778106989 140734778109898 0
/proc/6976/statm: 28282 363 304 221 0 87 0

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

/proc/6978/stat : 6978 (java) S 6976 6976 32513 0 -1 1077944320 79942 0 0 0 231310 54 0 0 20 0 19 0 444057817 15789527040 250543 33554432000 4194304 4196468 140737222801392 140737222783936 140209960398583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
/proc/6978/statm: 3854865 250543 3538 1 0 3815965 0
[pid=6978/tid=6979] ppid=6976 vsize=15419460 memory=1002172 CPUtime=1.94 cores=1,3,5,7
/proc/6978/task/6979/stat : 6979 (java) S 6976 6976 32513 0 -1 1077944384 10322 0 0 0 189 5 0 0 20 0 19 0 444057817 15789527040 250543 33554432000 4194304 4196468 140737222801392 140209964639360 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6980] ppid=6976 vsize=15419460 memory=1002172 CPUtime=0.53 cores=1,3,5,7
/proc/6978/task/6980/stat : 6980 (java) S 6976 6976 32513 0 -1 1077944384 3028 0 0 0 48 5 0 0 20 0 19 0 444057818 15789527040 250543 33554432000 4194304 4196468 140737222801392 140209888439184 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6981] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/6978/task/6981/stat : 6981 (java) S 6976 6976 32513 0 -1 1077944384 2964 0 0 0 49 5 0 0 20 0 19 0 444057818 15789527040 250543 33554432000 4194304 4196468 140737222801392 140209887386384 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6982] ppid=6976 vsize=15419460 memory=983732 CPUtime=0.53 cores=1,3,5,7
/proc/6978/task/6982/stat : 6982 (java) S 6976 6976 32513 0 -1 1077944384 2138 0 0 0 48 5 0 0 20 0 19 0 444057818 15789527040 250543 33554432000 4194304 4196468 140737222801392 140209886334096 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6983] ppid=6976 vsize=15419460 memory=932 CPUtime=0.54 cores=1,3,5,7
/proc/6978/task/6983/stat : 6983 (java) S 6976 6976 32513 0 -1 1077944384 3794 0 0 0 49 5 0 0 20 0 19 0 444057818 15789527040 250543 33554432000 4194304 4196468 140737222801392 140209885281296 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6984] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.27 cores=1,3,5,7
/proc/6978/task/6984/stat : 6984 (java) S 6976 6976 32513 0 -1 1077944384 3502 0 0 0 19 8 0 0 20 0 19 0 444057819 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208901589104 140209960409730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 50 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6985] ppid=6976 vsize=15419460 memory=1002172 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6985/stat : 6985 (java) S 6976 6976 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444057820 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208900535136 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6986] ppid=6976 vsize=15419460 memory=1002172 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6986/stat : 6986 (java) S 6976 6976 32513 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 444057820 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208899482752 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6987] ppid=6976 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6987/stat : 6987 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444057822 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208898431056 140209960417179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6988] ppid=6976 vsize=15419460 memory=1452 CPUtime=2.59 cores=1,3,5,7
/proc/6978/task/6988/stat : 6988 (java) S 6976 6976 32513 0 -1 1077944384 11846 0 0 0 258 1 0 0 20 0 19 0 444057822 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208897378928 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6989] ppid=6976 vsize=15419460 memory=1452 CPUtime=2.65 cores=1,3,5,7
/proc/6978/task/6989/stat : 6989 (java) S 6976 6976 32513 0 -1 1077944384 12374 0 0 0 264 1 0 0 20 0 19 0 444057822 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208896326128 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6990] ppid=6976 vsize=15419460 memory=164 CPUtime=0.8 cores=1,3,5,7
/proc/6978/task/6990/stat : 6990 (java) S 6976 6976 32513 0 -1 1077944384 9341 0 0 0 79 1 0 0 20 0 19 0 444057822 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208895273840 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6991] ppid=6976 vsize=15419460 memory=-5587106306044206369 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6991/stat : 6991 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444057822 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208894221280 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6992] ppid=6976 vsize=15419460 memory=280209975187424 CPUtime=0.18 cores=1,3,5,7
/proc/6978/task/6992/stat : 6992 (java) S 6976 6976 32513 0 -1 1077944384 669 0 0 0 0 18 0 0 20 0 19 0 444057823 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208893168048 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7013] ppid=6976 vsize=15419460 memory=8508281403248314509 CPUtime=554.54 cores=1,3,5,7
/proc/6978/task/7013/stat : 7013 (java) R 6976 6976 32513 0 -1 4202560 1191 0 0 0 55452 2 0 0 20 0 19 0 444060073 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208882896048 140209567266181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7014] ppid=6976 vsize=15419460 memory=1452 CPUtime=556.84 cores=1,3,5,7
/proc/6978/task/7014/stat : 7014 (java) R 6976 6976 32513 0 -1 4202560 8792 0 0 0 55675 9 0 0 20 0 19 0 444060073 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208883950840 140209567985396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7015] ppid=6976 vsize=15419460 memory=3504 CPUtime=555.38 cores=1,3,5,7
/proc/6978/task/7015/stat : 7015 (java) R 6976 6976 32513 0 -1 4202560 1408 0 0 0 55537 1 0 0 20 0 19 0 444060073 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208880792560 140209568990675 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7016] ppid=6976 vsize=15419460 memory=1452 CPUtime=556.69 cores=1,3,5,7
/proc/6978/task/7016/stat : 7016 (java) R 6976 6976 32513 0 -1 4202560 4378 0 0 0 55666 3 0 0 20 0 19 0 444060073 15789527040 250543 33554432000 4194304 4196468 140737222801392 140208881846656 140209566993360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
Current children cumulated CPU time: 2313.64 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1003624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.114 s]
/proc/loadavg: 8.60 8.44 8.48 12/238 7906
/proc/meminfo: memFree=28232124/32770624 swapFree=66997372/67108860
[pid=6976] ppid=6973 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6976/stat : 6976 (xcsp3-exec) S 6973 6976 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444057817 115843072 363 33554432000 4194304 5098028 140734778103184 140734778101288 140015858803324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13230080 140734778106746 140734778106989 140734778106989 140734778109898 0
/proc/6976/statm: 28282 363 304 221 0 87 0
[pid=6978] ppid=6976 vsize=15419460 memory=1061696 CPUtime=2400.26 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6976 6976 32513 0 -1 1077944320 83918 0 0 0 239968 58 0 0 20 0 19 0 444057817 15789527040 265424 33554432000 4194304 4196468 140737222801392 140737222783936 140209960398583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
/proc/6978/statm: 3854865 265424 3539 1 0 3815965 0
[pid=6978/tid=6979] ppid=6976 vsize=15419460 memory=1452 CPUtime=1.94 cores=1,3,5,7
/proc/6978/task/6979/stat : 6979 (java) S 6976 6976 32513 0 -1 1077944384 10322 0 0 0 189 5 0 0 20 0 19 0 444057817 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209964639360 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6980] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/6978/task/6980/stat : 6980 (java) S 6976 6976 32513 0 -1 1077944384 3231 0 0 0 56 6 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209888439184 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6981] ppid=6976 vsize=15419460 memory=1061696 CPUtime=0.63 cores=1,3,5,7
/proc/6978/task/6981/stat : 6981 (java) S 6976 6976 32513 0 -1 1077944384 3054 0 0 0 57 6 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209887386384 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6982] ppid=6976 vsize=15419460 memory=1043264 CPUtime=0.61 cores=1,3,5,7
/proc/6978/task/6982/stat : 6982 (java) S 6976 6976 32513 0 -1 1077944384 2265 0 0 0 56 5 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209886334096 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6983] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/6978/task/6983/stat : 6983 (java) S 6976 6976 32513 0 -1 1077944384 3884 0 0 0 56 5 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209885281296 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6984] ppid=6976 vsize=15419460 memory=1041168 CPUtime=0.3 cores=1,3,5,7
/proc/6978/task/6984/stat : 6984 (java) S 6976 6976 32513 0 -1 1077944384 3724 0 0 0 21 9 0 0 20 0 19 0 444057819 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208901589104 140209960409730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6985] ppid=6976 vsize=15419460 memory=1061696 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6985/stat : 6985 (java) S 6976 6976 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444057820 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208900535136 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6986] ppid=6976 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6986/stat : 6986 (java) S 6976 6976 32513 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 444057820 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208899482752 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6987] ppid=6976 vsize=15419460 memory=1002172 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6987/stat : 6987 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208898431056 140209960417179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6988] ppid=6976 vsize=15419460 memory=1452 CPUtime=2.64 cores=1,3,5,7
/proc/6978/task/6988/stat : 6988 (java) S 6976 6976 32513 0 -1 1077944384 13054 0 0 0 263 1 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208897378928 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6989] ppid=6976 vsize=15419460 memory=979580 CPUtime=2.67 cores=1,3,5,7
/proc/6978/task/6989/stat : 6989 (java) S 6976 6976 32513 0 -1 1077944384 13315 0 0 0 266 1 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208896326128 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6990] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/6978/task/6990/stat : 6990 (java) S 6976 6976 32513 0 -1 1077944384 9942 0 0 0 79 1 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208895273840 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6991] ppid=6976 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6991/stat : 6991 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208894221280 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6992] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/6978/task/6992/stat : 6992 (java) S 6976 6976 32513 0 -1 1077944384 687 0 0 0 0 19 0 0 20 0 19 0 444057823 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208893168048 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7013] ppid=6976 vsize=15419460 memory=1452 CPUtime=576.06 cores=1,3,5,7
/proc/6978/task/7013/stat : 7013 (java) R 6976 6976 32513 0 -1 4202560 1270 0 0 0 57604 2 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208882896600 140209568991023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7014] ppid=6976 vsize=15419460 memory=1000124 CPUtime=578.28 cores=1,3,5,7
/proc/6978/task/7014/stat : 7014 (java) R 6976 6976 32513 0 -1 4202560 8921 0 0 0 57819 9 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208883952768 140209568799232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7015] ppid=6976 vsize=15419460 memory=301741373374332954 CPUtime=577.02 cores=1,3,5,7
/proc/6978/task/7015/stat : 7015 (java) R 6976 6976 32513 0 -1 4202560 1499 0 0 0 57701 1 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208880792576 140209568990999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7016] ppid=6976 vsize=15419460 memory=288230596050944315 CPUtime=578.27 cores=1,3,5,7
/proc/6978/task/7016/stat : 7016 (java) R 6976 6976 32513 0 -1 4202560 4555 0 0 0 57823 4 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208881843648 140209567332714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
Current children cumulated CPU time: 2400.26 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1063148 KiB

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

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

[startup+604.201 s]
# the end of solver process 6978 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.99 s, system=0.594924 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

[startup+604.114 s]
/proc/loadavg: 8.60 8.44 8.48 12/238 7906
/proc/meminfo: memFree=28232124/32770624 swapFree=66997372/67108860
[pid=6976] ppid=6973 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6976/stat : 6976 (xcsp3-exec) S 6973 6976 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444057817 115843072 363 33554432000 4194304 5098028 140734778103184 140734778101288 140015858803324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13230080 140734778106746 140734778106989 140734778106989 140734778109898 0
/proc/6976/statm: 28282 363 304 221 0 87 0
[pid=6978] ppid=6976 vsize=15419460 memory=1061696 CPUtime=2400.26 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6976 6976 32513 0 -1 1077944320 83918 0 0 0 239968 58 0 0 20 0 19 0 444057817 15789527040 265424 33554432000 4194304 4196468 140737222801392 140737222783936 140209960398583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
/proc/6978/statm: 3854865 265424 3539 1 0 3815965 0
[pid=6978/tid=6979] ppid=6976 vsize=15419460 memory=1452 CPUtime=1.94 cores=1,3,5,7
/proc/6978/task/6979/stat : 6979 (java) S 6976 6976 32513 0 -1 1077944384 10322 0 0 0 189 5 0 0 20 0 19 0 444057817 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209964639360 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6980] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/6978/task/6980/stat : 6980 (java) S 6976 6976 32513 0 -1 1077944384 3231 0 0 0 56 6 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209888439184 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6981] ppid=6976 vsize=15419460 memory=1061696 CPUtime=0.63 cores=1,3,5,7
/proc/6978/task/6981/stat : 6981 (java) S 6976 6976 32513 0 -1 1077944384 3054 0 0 0 57 6 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209887386384 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6982] ppid=6976 vsize=15419460 memory=1043264 CPUtime=0.61 cores=1,3,5,7
/proc/6978/task/6982/stat : 6982 (java) S 6976 6976 32513 0 -1 1077944384 2265 0 0 0 56 5 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209886334096 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6983] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/6978/task/6983/stat : 6983 (java) S 6976 6976 32513 0 -1 1077944384 3884 0 0 0 56 5 0 0 20 0 19 0 444057818 15789527040 265424 33554432000 4194304 4196468 140737222801392 140209885281296 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6984] ppid=6976 vsize=15419460 memory=1041168 CPUtime=0.3 cores=1,3,5,7
/proc/6978/task/6984/stat : 6984 (java) S 6976 6976 32513 0 -1 1077944384 3724 0 0 0 21 9 0 0 20 0 19 0 444057819 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208901589104 140209960409730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6985] ppid=6976 vsize=15419460 memory=1061696 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6985/stat : 6985 (java) S 6976 6976 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 444057820 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208900535136 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6986] ppid=6976 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6986/stat : 6986 (java) S 6976 6976 32513 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 444057820 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208899482752 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6987] ppid=6976 vsize=15419460 memory=1002172 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6987/stat : 6987 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208898431056 140209960417179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6988] ppid=6976 vsize=15419460 memory=1452 CPUtime=2.64 cores=1,3,5,7
/proc/6978/task/6988/stat : 6988 (java) S 6976 6976 32513 0 -1 1077944384 13054 0 0 0 263 1 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208897378928 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6989] ppid=6976 vsize=15419460 memory=979580 CPUtime=2.67 cores=1,3,5,7
/proc/6978/task/6989/stat : 6989 (java) S 6976 6976 32513 0 -1 1077944384 13315 0 0 0 266 1 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208896326128 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6990] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/6978/task/6990/stat : 6990 (java) S 6976 6976 32513 0 -1 1077944384 9942 0 0 0 79 1 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208895273840 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6991] ppid=6976 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6978/task/6991/stat : 6991 (java) S 6976 6976 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444057822 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208894221280 140209960408789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=6992] ppid=6976 vsize=15419460 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/6978/task/6992/stat : 6992 (java) S 6976 6976 32513 0 -1 1077944384 687 0 0 0 0 19 0 0 20 0 19 0 444057823 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208893168048 140209960409730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7013] ppid=6976 vsize=15419460 memory=1452 CPUtime=576.06 cores=1,3,5,7
/proc/6978/task/7013/stat : 7013 (java) R 6976 6976 32513 0 -1 4202560 1270 0 0 0 57604 2 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208882896600 140209568991023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7014] ppid=6976 vsize=15419460 memory=1000124 CPUtime=578.28 cores=1,3,5,7
/proc/6978/task/7014/stat : 7014 (java) R 6976 6976 32513 0 -1 4202560 8921 0 0 0 57819 9 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208883952768 140209568799232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7015] ppid=6976 vsize=15419460 memory=301741373374332954 CPUtime=577.02 cores=1,3,5,7
/proc/6978/task/7015/stat : 7015 (java) R 6976 6976 32513 0 -1 4202560 1499 0 0 0 57701 1 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208880792576 140209568990999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
[pid=6978/tid=7016] ppid=6976 vsize=15419460 memory=288230596050944315 CPUtime=578.27 cores=1,3,5,7
/proc/6978/task/7016/stat : 7016 (java) R 6976 6976 32513 0 -1 4202560 4555 0 0 0 57823 4 0 0 20 0 19 0 444060073 15789527040 265424 33554432000 4194304 4196468 140737222801392 140208881843648 140209567332714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28958720 140737222804463 140737222804634 140737222804634 140737222807503 0
Current children cumulated CPU time: 2400.26 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 1063148 KiB

Child status: 143
Real time (s): 604.201
CPU time (s): 2400.59
CPU user time (s): 2399.99
CPU system time (s): 0.594924
CPU usage (%): 397.317
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 1122156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.594924
maximum resident set size= 1122244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24879
involuntary context switches= 34682


# summary of solver processes directly reported to runsolver:
#   pid: 6976,6978
#   total CPU time (s): 2400.59
#   total CPU user time (s): 2399.99
#   total CPU system time (s): 0.594924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01902 second user time and 6.74431 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	233.796
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400532

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
