2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16	SAT	115.536	34.6092
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: 16375 MiB (14420 MiB free)
  memory of node 1: 16384 MiB (15224 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398961-1568698221/watcher-4398961-1568698221 -o /tmp/evaluation-result-4398961-1568698221/solver-4398961-1568698221 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1135417192 HOME/instance-4398961-1568698221.xml 

running on 4 cores: 0-3

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


[startup+0.100059 s]*
/proc/loadavg: 8.82 8.72 8.38 6/233 14215
/proc/meminfo: memFree=30340224/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
[pid=14201] ppid=14199 vsize=15144776 memory=28656 CPUtime=0.12 cores=0-3
/proc/14201/stat : 14201 (java) S 14199 14199 4816 0 -1 1077944320 5639 0 0 0 11 1 0 0 20 0 15 0 445763761 15508250624 7164 33554432000 4194304 4196468 140737472520848 140737472503392 139774805286647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
/proc/14201/statm: 3786194 7164 3120 1 0 3748377 0
[pid=14201/tid=14202] ppid=14199 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0-3
/proc/14201/task/14202/stat : 14202 (java) R 14199 14199 4816 0 -1 4202560 3533 0 0 0 8 1 0 0 20 0 15 0 445763762 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774809519920 139774805298582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14203] ppid=14199 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0-3
/proc/14201/task/14203/stat : 14203 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774757907472 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14204] ppid=14199 vsize=15144776 memory=140384869561984 CPUtime=0 cores=0-3
/proc/14201/task/14204/stat : 14204 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774756854928 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14205] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14205/stat : 14205 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774755801872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14206] ppid=14199 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14206/stat : 14206 (java) S 14199 14199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774754749328 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14207] ppid=14199 vsize=15144776 memory=140384869561984 CPUtime=0 cores=0-3
/proc/14201/task/14207/stat : 14207 (java) S 14199 14199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763764 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774273771760 139774805297794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14208] ppid=14199 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14208/stat : 14208 (java) S 14199 14199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763764 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774272717984 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14209] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14209/stat : 14209 (java) S 14199 14199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763765 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774271664880 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14210] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14210/stat : 14210 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774270613456 139774805305243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14211] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14211/stat : 14211 (java) S 14199 14199 4816 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 445763767 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774269561584 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14212] ppid=14199 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14212/stat : 14212 (java) S 14199 14199 4816 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445763767 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774268509040 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14213] ppid=14199 vsize=15144776 memory=140384869561984 CPUtime=0.01 cores=0-3
/proc/14201/task/14213/stat : 14213 (java) R 14199 14199 4816 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 15 0 445763767 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774267455984 139774784243671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14214] ppid=14199 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14214/stat : 14214 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774266403680 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14215] ppid=14199 vsize=15144776 memory=140384869561984 CPUtime=0 cores=0-3
/proc/14201/task/14215/stat : 14215 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763768 15508250624 7164 33554432000 4194304 4196468 140737472520848 139774265350704 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30104 KiB

[startup+0.211397 s]*
/proc/loadavg: 8.82 8.72 8.38 6/233 14215
/proc/meminfo: memFree=30327168/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
[pid=14201] ppid=14199 vsize=15144776 memory=40048 CPUtime=0.33 cores=0-3
/proc/14201/stat : 14201 (java) S 14199 14199 4816 0 -1 1077944320 9226 0 0 0 30 3 0 0 20 0 15 0 445763761 15508250624 10012 33554432000 4194304 4196468 140737472520848 140737472503392 139774805286647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
/proc/14201/statm: 3786194 10012 3249 1 0 3748377 0
[pid=14201/tid=14202] ppid=14199 vsize=15144776 memory=7883960649037381690 CPUtime=0.21 cores=0-3
/proc/14201/task/14202/stat : 14202 (java) R 14199 14199 4816 0 -1 4202560 6481 0 0 0 18 3 0 0 20 0 15 0 445763762 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774809505984 139774427509151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14203] ppid=14199 vsize=15144776 memory=9642 CPUtime=0 cores=0-3
/proc/14201/task/14203/stat : 14203 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774757907472 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14204] ppid=14199 vsize=15144776 memory=4266932172675612704 CPUtime=0 cores=0-3
/proc/14201/task/14204/stat : 14204 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774756854928 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14205] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14205/stat : 14205 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774755801872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14206] ppid=14199 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14206/stat : 14206 (java) S 14199 14199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763762 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774754749328 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14207] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14207/stat : 14207 (java) S 14199 14199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763764 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774273771760 139774805297794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14208] ppid=14199 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14208/stat : 14208 (java) S 14199 14199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763764 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774272717984 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14209] ppid=14199 vsize=15144776 memory=140384869561984 CPUtime=0 cores=0-3
/proc/14201/task/14209/stat : 14209 (java) S 14199 14199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763765 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774271664880 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14210] ppid=14199 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14210/stat : 14210 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774270613456 139774805305243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14211] ppid=14199 vsize=15144776 memory=0 CPUtime=0.03 cores=0-3
/proc/14201/task/14211/stat : 14211 (java) S 14199 14199 4816 0 -1 1077944384 439 0 0 0 3 0 0 0 20 0 15 0 445763767 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774269561584 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14212] ppid=14199 vsize=15144776 memory=-1 CPUtime=0.01 cores=0-3
/proc/14201/task/14212/stat : 14212 (java) S 14199 14199 4816 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 15 0 445763767 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774268509040 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14213] ppid=14199 vsize=15144776 memory=0 CPUtime=0.07 cores=0-3
/proc/14201/task/14213/stat : 14213 (java) R 14199 14199 4816 0 -1 4202560 810 0 0 0 7 0 0 0 20 0 15 0 445763767 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774267455168 139774784271389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14214] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14214/stat : 14214 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774266403680 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14215] ppid=14199 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14215/stat : 14215 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763768 15508250624 10012 33554432000 4194304 4196468 140737472520848 139774265350704 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41496 KiB

[startup+0.311539 s]*
/proc/loadavg: 8.82 8.72 8.38 6/233 14215
/proc/meminfo: memFree=30322556/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
[pid=14201] ppid=14199 vsize=15149032 memory=46188 CPUtime=0.52 cores=0-3
/proc/14201/stat : 14201 (java) S 14199 14199 4816 0 -1 1077944320 10435 0 0 0 48 4 0 0 20 0 15 0 445763761 15512608768 11547 33554432000 4194304 4196468 140737472520848 140737472503392 139774805286647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
/proc/14201/statm: 3787258 11547 3330 1 0 3748377 0
[pid=14201/tid=14202] ppid=14199 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0-3
/proc/14201/task/14202/stat : 14202 (java) R 14199 14199 4816 0 -1 4202560 7498 0 0 0 27 3 0 0 20 0 15 0 445763762 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774809508160 139774789367134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14203] ppid=14199 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14203/stat : 14203 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774757907472 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14204] ppid=14199 vsize=15149032 memory=4050200834359951392 CPUtime=0 cores=0-3
/proc/14201/task/14204/stat : 14204 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774756854928 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14205] ppid=14199 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14205/stat : 14205 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774755801872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14206] ppid=14199 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14206/stat : 14206 (java) S 14199 14199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763762 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774754749328 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14207] ppid=14199 vsize=15149032 memory=140384869561984 CPUtime=0 cores=0-3
/proc/14201/task/14207/stat : 14207 (java) S 14199 14199 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445763764 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774273771760 139774805297794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14208] ppid=14199 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14208/stat : 14208 (java) S 14199 14199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763764 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774272717984 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14209] ppid=14199 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14209/stat : 14209 (java) S 14199 14199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763765 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774271664880 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14210] ppid=14199 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/14201/task/14210/stat : 14210 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774270613456 139774805305243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14211] ppid=14199 vsize=15149032 memory=0 CPUtime=0.04 cores=0-3
/proc/14201/task/14211/stat : 14211 (java) S 14199 14199 4816 0 -1 1077944384 439 0 0 0 4 0 0 0 20 0 15 0 445763767 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774269561584 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14212] ppid=14199 vsize=15149032 memory=-1 CPUtime=0.03 cores=0-3
/proc/14201/task/14212/stat : 14212 (java) S 14199 14199 4816 0 -1 1077944384 246 0 0 0 3 0 0 0 20 0 15 0 445763767 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774268509040 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14213] ppid=14199 vsize=15149032 memory=140384869561984 CPUtime=0.12 cores=0-3
/proc/14201/task/14213/stat : 14213 (java) S 14199 14199 4816 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 15 0 445763767 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774267455984 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14214] ppid=14199 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/14201/task/14214/stat : 14214 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774266403680 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14215] ppid=14199 vsize=15149032 memory=140384869561984 CPUtime=0 cores=0-3
/proc/14201/task/14215/stat : 14215 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763768 15512608768 11568 33554432000 4194304 4196468 140737472520848 139774265350704 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47636 KiB

[startup+0.701014 s]
/proc/loadavg: 8.82 8.72 8.38 8/233 14215
/proc/meminfo: memFree=30311512/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
[pid=14201] ppid=14199 vsize=15151156 memory=84480 CPUtime=1.6 cores=0-3
/proc/14201/stat : 14201 (java) S 14199 14199 4816 0 -1 1077944320 13820 0 0 0 155 5 0 0 20 0 15 0 445763761 15514783744 21120 33554432000 4194304 4196468 140737472520848 140737472503392 139774805286647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
/proc/14201/statm: 3787789 21120 3438 1 0 3748889 0
[pid=14201/tid=14202] ppid=14199 vsize=15151156 memory=2120 CPUtime=0.68 cores=0-3
/proc/14201/task/14202/stat : 14202 (java) R 14199 14199 4816 0 -1 4202560 8351 0 0 0 64 4 0 0 20 0 15 0 445763762 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774809523776 139774789367134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14203] ppid=14199 vsize=15151156 memory=496 CPUtime=0 cores=0-3
/proc/14201/task/14203/stat : 14203 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774757907472 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14204] ppid=14199 vsize=15151156 memory=1556 CPUtime=0 cores=0-3
/proc/14201/task/14204/stat : 14204 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774756854928 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14205] ppid=14199 vsize=15151156 memory=928 CPUtime=0 cores=0-3
/proc/14201/task/14205/stat : 14205 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763762 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774755801872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14206] ppid=14199 vsize=15151156 memory=1628 CPUtime=0 cores=0-3
/proc/14201/task/14206/stat : 14206 (java) S 14199 14199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763762 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774754749328 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14207] ppid=14199 vsize=15151156 memory=796 CPUtime=0 cores=0-3
/proc/14201/task/14207/stat : 14207 (java) S 14199 14199 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445763764 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774273771760 139774805297794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14208] ppid=14199 vsize=15151156 memory=1444 CPUtime=0 cores=0-3
/proc/14201/task/14208/stat : 14208 (java) S 14199 14199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763764 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774272717984 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14209] ppid=14199 vsize=15151156 memory=1984 CPUtime=0 cores=0-3
/proc/14201/task/14209/stat : 14209 (java) S 14199 14199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763765 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774271664880 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14210] ppid=14199 vsize=15151156 memory=2424 CPUtime=0 cores=0-3
/proc/14201/task/14210/stat : 14210 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774270613456 139774805305243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14211] ppid=14199 vsize=15151156 memory=7302135314614015844 CPUtime=0.25 cores=0-3
/proc/14201/task/14211/stat : 14211 (java) R 14199 14199 4816 0 -1 4202560 1052 0 0 0 25 0 0 0 20 0 15 0 445763767 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774269547648 139774790211617 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14212] ppid=14199 vsize=15151156 memory=7373043940760707178 CPUtime=0.26 cores=0-3
/proc/14201/task/14212/stat : 14212 (java) R 14199 14199 4816 0 -1 4202560 1160 0 0 0 26 0 0 0 20 0 15 0 445763767 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774268493440 139774782882112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14213] ppid=14199 vsize=15151156 memory=7368002589315584080 CPUtime=0.38 cores=0-3
/proc/14201/task/14213/stat : 14213 (java) R 14199 14199 4816 0 -1 4202560 1951 0 0 0 38 0 0 0 20 0 15 0 445763767 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774267451056 139774798003799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14214] ppid=14199 vsize=15151156 memory=4638778406923096400 CPUtime=0 cores=0-3
/proc/14201/task/14214/stat : 14214 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763767 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774266403680 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14215] ppid=14199 vsize=15151156 memory=7956009407713273195 CPUtime=0 cores=0-3
/proc/14201/task/14215/stat : 14215 (java) S 14199 14199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763768 15514783744 21120 33554432000 4194304 4196468 140737472520848 139774265350704 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 85928 KiB

[startup+1.50453 s]
/proc/loadavg: 8.82 8.72 8.38 4/227 14244
/proc/meminfo: memFree=30320320/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0

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

Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4086936 KiB

[startup+32.0009 s]*
/proc/loadavg: 7.97 8.50 8.32 6/238 14724
/proc/meminfo: memFree=26306552/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
[pid=14201] ppid=14199 vsize=15417412 memory=4088936 CPUtime=112.83 cores=0-3
/proc/14201/stat : 14201 (java) S 14199 14199 4816 0 -1 1077944320 92502 0 0 0 10876 407 0 0 20 0 19 0 445763761 15787429888 1022234 33554432000 4194304 4196468 140737472520848 140737472503392 139774805286647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
/proc/14201/statm: 3854353 1022234 3525 1 0 3815453 0
[pid=14201/tid=14202] ppid=14199 vsize=15417412 memory=1398722017469774279 CPUtime=3.76 cores=0-3
/proc/14201/task/14202/stat : 14202 (java) S 14199 14199 4816 0 -1 1077944384 12591 0 0 0 365 11 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774809527424 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14203] ppid=14199 vsize=15417412 memory=4126316290023845779 CPUtime=4.71 cores=0-3
/proc/14201/task/14203/stat : 14203 (java) S 14199 14199 4816 0 -1 1077944384 5572 0 0 0 368 103 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774757907472 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14204] ppid=14199 vsize=15417412 memory=6944656592455360604 CPUtime=4.68 cores=0-3
/proc/14201/task/14204/stat : 14204 (java) S 14199 14199 4816 0 -1 1077944384 5515 0 0 0 377 91 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774756854928 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14205] ppid=14199 vsize=15417412 memory=7593189249408723307 CPUtime=4.72 cores=0-3
/proc/14201/task/14205/stat : 14205 (java) S 14199 14199 4816 0 -1 1077944384 6055 0 0 0 372 100 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774755801872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14206] ppid=14199 vsize=15417412 memory=7882516861226280036 CPUtime=4.71 cores=0-3
/proc/14201/task/14206/stat : 14206 (java) S 14199 14199 4816 0 -1 1077944384 5561 0 0 0 378 93 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774754749328 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14207] ppid=14199 vsize=15417412 memory=1448 CPUtime=0.09 cores=0-3
/proc/14201/task/14207/stat : 14207 (java) S 14199 14199 4816 0 -1 1077944384 6646 0 0 0 8 1 0 0 20 0 19 0 445763764 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774273771760 139774805297794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14208] ppid=14199 vsize=15417412 memory=4083104 CPUtime=0 cores=0-3
/proc/14201/task/14208/stat : 14208 (java) S 14199 14199 4816 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445763764 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774272718048 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14209] ppid=14199 vsize=15417412 memory=2424 CPUtime=0 cores=0-3
/proc/14201/task/14209/stat : 14209 (java) S 14199 14199 4816 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445763765 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774271664896 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14210] ppid=14199 vsize=15417412 memory=1760 CPUtime=0 cores=0-3
/proc/14201/task/14210/stat : 14210 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774270613456 139774805305243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14211] ppid=14199 vsize=15417412 memory=111636 CPUtime=2.36 cores=0-3
/proc/14201/task/14211/stat : 14211 (java) S 14199 14199 4816 0 -1 1077944384 10361 0 0 0 236 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774269561584 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14212] ppid=14199 vsize=15417412 memory=800 CPUtime=2.35 cores=0-3
/proc/14201/task/14212/stat : 14212 (java) S 14199 14199 4816 0 -1 1077944384 9837 0 0 0 233 2 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774268509040 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14213] ppid=14199 vsize=15417412 memory=6791534058613427641 CPUtime=0.67 cores=0-3
/proc/14201/task/14213/stat : 14213 (java) S 14199 14199 4816 0 -1 1077944384 3821 0 0 0 67 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774267455984 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14214] ppid=14199 vsize=15417412 memory=916 CPUtime=0 cores=0-3
/proc/14201/task/14214/stat : 14214 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774266403680 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14215] ppid=14199 vsize=15417412 memory=0 CPUtime=0.01 cores=0-3
/proc/14201/task/14215/stat : 14215 (java) S 14199 14199 4816 0 -1 1077944384 558 0 0 0 0 1 0 0 20 0 19 0 445763768 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774265350704 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14542] ppid=14199 vsize=15417412 memory=6220974579932562049 CPUtime=20.49 cores=0-3
/proc/14201/task/14542/stat : 14542 (java) S 14199 14199 4816 0 -1 1077944384 4350 0 0 0 2049 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774256135872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14543] ppid=14199 vsize=15417412 memory=-7595718316223195531 CPUtime=22.38 cores=0-3
/proc/14201/task/14543/stat : 14543 (java) R 14199 14199 4816 0 -1 4202560 12008 0 0 0 2237 1 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774255078752 139774433157845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14544] ppid=14199 vsize=15417412 memory=-6860787125238664386 CPUtime=20.72 cores=0-3
/proc/14201/task/14544/stat : 14544 (java) S 14199 14199 4816 0 -1 1077944384 2639 0 0 0 2072 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774254031696 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14545] ppid=14199 vsize=15417412 memory=5787213827046663524 CPUtime=21.06 cores=0-3
/proc/14201/task/14545/stat : 14545 (java) S 14199 14199 4816 0 -1 1077944384 5652 0 0 0 2106 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774252979664 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
Current children cumulated CPU time: 112.83 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4090384 KiB

[startup+33.6009 s]
/proc/loadavg: 7.97 8.50 8.32 6/238 14724
/proc/meminfo: memFree=26310072/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
[pid=14201] ppid=14199 vsize=15417412 memory=4088936 CPUtime=114.42 cores=0-3
/proc/14201/stat : 14201 (java) S 14199 14199 4816 0 -1 1077944320 92761 0 0 0 11035 407 0 0 20 0 19 0 445763761 15787429888 1022234 33554432000 4194304 4196468 140737472520848 140737472503392 139774805286647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
/proc/14201/statm: 3854353 1022234 3525 1 0 3815453 0
[pid=14201/tid=14202] ppid=14199 vsize=15417412 memory=4088936 CPUtime=3.76 cores=0-3
/proc/14201/task/14202/stat : 14202 (java) S 14199 14199 4816 0 -1 1077944384 12591 0 0 0 365 11 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774809527424 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14203] ppid=14199 vsize=15417412 memory=6944656575208382560 CPUtime=4.71 cores=0-3
/proc/14201/task/14203/stat : 14203 (java) S 14199 14199 4816 0 -1 1077944384 5572 0 0 0 368 103 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774757907472 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14204] ppid=14199 vsize=15417412 memory=6944656592455360604 CPUtime=4.68 cores=0-3
/proc/14201/task/14204/stat : 14204 (java) S 14199 14199 4816 0 -1 1077944384 5515 0 0 0 377 91 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774756854928 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14205] ppid=14199 vsize=15417412 memory=3612 CPUtime=4.72 cores=0-3
/proc/14201/task/14205/stat : 14205 (java) S 14199 14199 4816 0 -1 1077944384 6055 0 0 0 372 100 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774755801872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14206] ppid=14199 vsize=15417412 memory=46760 CPUtime=4.71 cores=0-3
/proc/14201/task/14206/stat : 14206 (java) S 14199 14199 4816 0 -1 1077944384 5561 0 0 0 378 93 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774754749328 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14207] ppid=14199 vsize=15417412 memory=984 CPUtime=0.09 cores=0-3
/proc/14201/task/14207/stat : 14207 (java) S 14199 14199 4816 0 -1 1077944384 6646 0 0 0 8 1 0 0 20 0 19 0 445763764 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774273771760 139774805297794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14208] ppid=14199 vsize=15417412 memory=2044 CPUtime=0 cores=0-3
/proc/14201/task/14208/stat : 14208 (java) S 14199 14199 4816 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445763764 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774272718048 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14209] ppid=14199 vsize=15417412 memory=1388 CPUtime=0 cores=0-3
/proc/14201/task/14209/stat : 14209 (java) S 14199 14199 4816 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445763765 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774271664896 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14210] ppid=14199 vsize=15417412 memory=1448 CPUtime=0 cores=0-3
/proc/14201/task/14210/stat : 14210 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774270613456 139774805305243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14211] ppid=14199 vsize=15417412 memory=4088936 CPUtime=2.36 cores=0-3
/proc/14201/task/14211/stat : 14211 (java) S 14199 14199 4816 0 -1 1077944384 10361 0 0 0 236 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774269561584 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14212] ppid=14199 vsize=15417412 memory=140384869566912 CPUtime=2.35 cores=0-3
/proc/14201/task/14212/stat : 14212 (java) S 14199 14199 4816 0 -1 1077944384 9837 0 0 0 233 2 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774268509040 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14213] ppid=14199 vsize=15417412 memory=7379825655097750124 CPUtime=0.67 cores=0-3
/proc/14201/task/14213/stat : 14213 (java) S 14199 14199 4816 0 -1 1077944384 3821 0 0 0 67 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774267455984 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14214] ppid=14199 vsize=15417412 memory=1092 CPUtime=0 cores=0-3
/proc/14201/task/14214/stat : 14214 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774266403680 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14215] ppid=14199 vsize=15417412 memory=4088936 CPUtime=0.01 cores=0-3
/proc/14201/task/14215/stat : 14215 (java) S 14199 14199 4816 0 -1 1077944384 558 0 0 0 0 1 0 0 20 0 19 0 445763768 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774265350704 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14542] ppid=14199 vsize=15417412 memory=13756780252015 CPUtime=20.49 cores=0-3
/proc/14201/task/14542/stat : 14542 (java) S 14199 14199 4816 0 -1 1077944384 4350 0 0 0 2049 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774256135872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14543] ppid=14199 vsize=15417412 memory=301741394933055803 CPUtime=23.97 cores=0-3
/proc/14201/task/14543/stat : 14543 (java) R 14199 14199 4816 0 -1 4202560 12267 0 0 0 2396 1 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774255078752 139774433158032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14544] ppid=14199 vsize=15417412 memory=14690794741172841 CPUtime=20.72 cores=0-3
/proc/14201/task/14544/stat : 14544 (java) S 14199 14199 4816 0 -1 1077944384 2639 0 0 0 2072 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774254031696 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14545] ppid=14199 vsize=15417412 memory=6943526294502006880 CPUtime=21.06 cores=0-3
/proc/14201/task/14545/stat : 14545 (java) S 14199 14199 4816 0 -1 1077944384 5652 0 0 0 2106 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774252979664 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
Current children cumulated CPU time: 114.42 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4090384 KiB

[startup+34.4009 s]
/proc/loadavg: 7.73 8.44 8.30 6/238 14724
/proc/meminfo: memFree=26313000/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
[pid=14201] ppid=14199 vsize=15417412 memory=4088936 CPUtime=115.22 cores=0-3
/proc/14201/stat : 14201 (java) S 14199 14199 4816 0 -1 1077944320 92767 0 0 0 11115 407 0 0 20 0 19 0 445763761 15787429888 1022234 33554432000 4194304 4196468 140737472520848 140737472503392 139774805286647 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
/proc/14201/statm: 3854353 1022234 3525 1 0 3815453 0
[pid=14201/tid=14202] ppid=14199 vsize=15417412 memory=288230596050944315 CPUtime=3.76 cores=0-3
/proc/14201/task/14202/stat : 14202 (java) S 14199 14199 4816 0 -1 1077944384 12591 0 0 0 365 11 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774809527424 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14203] ppid=14199 vsize=15417412 memory=14690794741172841 CPUtime=4.71 cores=0-3
/proc/14201/task/14203/stat : 14203 (java) S 14199 14199 4816 0 -1 1077944384 5572 0 0 0 368 103 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774757907472 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14204] ppid=14199 vsize=15417412 memory=780 CPUtime=4.68 cores=0-3
/proc/14201/task/14204/stat : 14204 (java) S 14199 14199 4816 0 -1 1077944384 5515 0 0 0 377 91 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774756854928 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14205] ppid=14199 vsize=15417412 memory=1708 CPUtime=4.72 cores=0-3
/proc/14201/task/14205/stat : 14205 (java) S 14199 14199 4816 0 -1 1077944384 6055 0 0 0 372 100 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774755801872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14206] ppid=14199 vsize=15417412 memory=1628 CPUtime=4.71 cores=0-3
/proc/14201/task/14206/stat : 14206 (java) S 14199 14199 4816 0 -1 1077944384 5561 0 0 0 378 93 0 0 20 0 19 0 445763762 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774754749328 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14207] ppid=14199 vsize=15417412 memory=796 CPUtime=0.09 cores=0-3
/proc/14201/task/14207/stat : 14207 (java) S 14199 14199 4816 0 -1 1077944384 6646 0 0 0 8 1 0 0 20 0 19 0 445763764 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774273771760 139774805297794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14208] ppid=14199 vsize=15417412 memory=1444 CPUtime=0 cores=0-3
/proc/14201/task/14208/stat : 14208 (java) S 14199 14199 4816 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 445763764 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774272718048 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14209] ppid=14199 vsize=15417412 memory=1984 CPUtime=0 cores=0-3
/proc/14201/task/14209/stat : 14209 (java) S 14199 14199 4816 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 445763765 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774271664896 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14210] ppid=14199 vsize=15417412 memory=2424 CPUtime=0 cores=0-3
/proc/14201/task/14210/stat : 14210 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774270613456 139774805305243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14211] ppid=14199 vsize=15417412 memory=1760 CPUtime=2.36 cores=0-3
/proc/14201/task/14211/stat : 14211 (java) S 14199 14199 4816 0 -1 1077944384 10361 0 0 0 236 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774269561584 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14212] ppid=14199 vsize=15417412 memory=111636 CPUtime=2.35 cores=0-3
/proc/14201/task/14212/stat : 14212 (java) S 14199 14199 4816 0 -1 1077944384 9837 0 0 0 233 2 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774268509040 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14213] ppid=14199 vsize=15417412 memory=4088936 CPUtime=0.67 cores=0-3
/proc/14201/task/14213/stat : 14213 (java) S 14199 14199 4816 0 -1 1077944384 3821 0 0 0 67 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774267455984 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14214] ppid=14199 vsize=15417412 memory=288230596050944315 CPUtime=0 cores=0-3
/proc/14201/task/14214/stat : 14214 (java) S 14199 14199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763767 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774266403680 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14215] ppid=14199 vsize=15417412 memory=14690794741172841 CPUtime=0.01 cores=0-3
/proc/14201/task/14215/stat : 14215 (java) S 14199 14199 4816 0 -1 1077944384 558 0 0 0 0 1 0 0 20 0 19 0 445763768 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774265350704 139774805297794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14542] ppid=14199 vsize=15417412 memory=0 CPUtime=20.49 cores=0-3
/proc/14201/task/14542/stat : 14542 (java) S 14199 14199 4816 0 -1 1077944384 4350 0 0 0 2049 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774256135872 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14543] ppid=14199 vsize=15417412 memory=37 CPUtime=24.77 cores=0-3
/proc/14201/task/14543/stat : 14543 (java) R 14199 14199 4816 0 -1 4202560 12273 0 0 0 2476 1 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774255078752 139774433150197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14544] ppid=14199 vsize=15417412 memory=0 CPUtime=20.72 cores=0-3
/proc/14201/task/14544/stat : 14544 (java) S 14199 14199 4816 0 -1 1077944384 2639 0 0 0 2072 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774254031696 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
[pid=14201/tid=14545] ppid=14199 vsize=15417412 memory=6574 CPUtime=21.06 cores=0-3
/proc/14201/task/14545/stat : 14545 (java) S 14199 14199 4816 0 -1 1077944384 5652 0 0 0 2106 0 0 0 20 0 19 0 445764624 15787429888 1022234 33554432000 4194304 4196468 140737472520848 139774252979664 139774805296853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33902592 140737472525295 140737472525466 140737472525466 140737472528335 0
Current children cumulated CPU time: 115.22 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 4090384 KiB

[startup+34.601 s]
/proc/loadavg: 7.73 8.44 8.30 6/238 14724
/proc/meminfo: memFree=26313000/32770688 swapFree=66961208/67108860
[pid=14199] ppid=14196 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/14199/stat : 14199 (xcsp3-exec) S 14196 14199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763761 115843072 362 33554432000 4194304 5098028 140731236389616 140731236387720 140602386088572 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35856384 140731236397946 140731236398189 140731236398189 140731236401098 0
/proc/14199/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

Child status: 0
Real time (s): 34.6092
CPU time (s): 115.536
CPU user time (s): 111.436
CPU system time (s): 4.10076
CPU usage (%): 333.831
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 4091748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.436
system time used= 4.10076
maximum resident set size= 4090300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3932
involuntary context switches= 2006


# summary of solver processes directly reported to runsolver:
#   pid: 14199
#   total CPU time (s): 115.536
#   total CPU user time (s): 111.436
#   total CPU system time (s): 4.10076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.273658 second user time and 0.435485 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4398961

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
