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	56.5343	17.4158
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 (14794 MiB free)
  memory of node 1: 16384 MiB (15481 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398959-1568698219/watcher-4398959-1568698219 -o /tmp/evaluation-result-4398959-1568698219/solver-4398959-1568698219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 785813702 HOME/instance-4398959-1568698219.xml 

running on 4 cores: 0,2,4,6

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

solver pid=29367, runsolver pid=29364

[startup+0.100958 s]*
/proc/loadavg: 8.16 8.46 8.30 7/232 29383
/proc/meminfo: memFree=30986296/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
[pid=29369] ppid=29367 vsize=15144776 memory=30192 CPUtime=0.12 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29367 29367 23397 0 -1 1077944320 5979 0 0 0 11 1 0 0 20 0 15 0 446078997 15508250624 7548 33554432000 4194304 4196468 140732207871952 140732207854496 140160023940855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
/proc/29369/statm: 3786194 7548 3143 1 0 3748377 0
[pid=29369/tid=29370] ppid=29367 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29367 29367 23397 0 -1 4202560 3881 0 0 0 8 1 0 0 20 0 15 0 446078997 15508250624 7548 33554432000 4194304 4196468 140732207871952 140160028171088 140160023962781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29371] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159951981584 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29372] ppid=29367 vsize=15144776 memory=140511977449644 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159950929040 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29373] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159614315280 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29374] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159613262736 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29375] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078999 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159559801072 140160023952002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29376] ppid=29367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29367 29367 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446078999 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159558747296 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29377] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29367 29367 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 446079000 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159557694192 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29378] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159556642768 140160023959451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29379] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) R 29367 29367 23397 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 446079002 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159555590896 140160023952002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29380] ppid=29367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) R 29367 29367 23397 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 446079002 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159554537536 140160001773712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29381] ppid=29367 vsize=15144776 memory=140511974282880 CPUtime=0.02 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) R 29367 29367 23397 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 446079002 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159553482832 140160002568050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29382] ppid=29367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159552432992 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29383] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079003 15508250624 7548 33554432000 4194304 4196468 140732207871952 140159551380016 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31644 KiB

[startup+0.210758 s]*
/proc/loadavg: 8.16 8.46 8.30 7/232 29383
/proc/meminfo: memFree=30973780/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
[pid=29369] ppid=29367 vsize=15144776 memory=41268 CPUtime=0.34 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29367 29367 23397 0 -1 1077944320 9491 0 0 0 31 3 0 0 20 0 15 0 446078997 15508250624 10317 33554432000 4194304 4196468 140732207871952 140732207854496 140160023940855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
/proc/29369/statm: 3786194 10317 3310 1 0 3748377 0
[pid=29369/tid=29370] ppid=29367 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29367 29367 23397 0 -1 4202560 6687 0 0 0 18 2 0 0 20 0 15 0 446078997 15508250624 10317 33554432000 4194304 4196468 140732207871952 140160028174912 140160005589868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29371] ppid=29367 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159951981584 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29372] ppid=29367 vsize=15144776 memory=3472752495117489824 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159950929040 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29373] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159614315280 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29374] ppid=29367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159613262736 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29375] ppid=29367 vsize=15144776 memory=140511974282880 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29367 29367 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446078999 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159559801072 140160023952002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29376] ppid=29367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29367 29367 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446078999 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159558747296 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29377] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29367 29367 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 446079000 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159557694192 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29378] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159556642768 140160023959451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29379] ppid=29367 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) S 29367 29367 23397 0 -1 1077944384 671 0 0 0 3 0 0 0 20 0 15 0 446079002 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159555590896 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29380] ppid=29367 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) S 29367 29367 23397 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 446079002 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159554538352 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29381] ppid=29367 vsize=15144776 memory=140511974282880 CPUtime=0.08 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) R 29367 29367 23397 0 -1 4202560 748 0 0 0 8 0 0 0 20 0 15 0 446079002 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159553485104 140160016177982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29382] ppid=29367 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159552432992 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29383] ppid=29367 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079003 15508250624 10317 33554432000 4194304 4196468 140732207871952 140159551380016 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42720 KiB

[startup+0.31079 s]*
/proc/loadavg: 8.16 8.46 8.30 6/232 29383
/proc/meminfo: memFree=30966760/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
[pid=29369] ppid=29367 vsize=15149032 memory=49884 CPUtime=0.51 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29367 29367 23397 0 -1 1077944320 10785 0 0 0 48 3 0 0 20 0 15 0 446078997 15512608768 12471 33554432000 4194304 4196468 140732207871952 140732207854496 140160023940855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
/proc/29369/statm: 3787258 12471 3359 1 0 3748377 0
[pid=29369/tid=29370] ppid=29367 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29367 29367 23397 0 -1 4202560 7807 0 0 0 27 3 0 0 20 0 15 0 446078997 15512608768 12471 33554432000 4194304 4196468 140732207871952 140160028171968 140160008021342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29371] ppid=29367 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159951981584 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29372] ppid=29367 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159950929040 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29373] ppid=29367 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159614315280 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29374] ppid=29367 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159613262736 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29375] ppid=29367 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29367 29367 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446078999 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159559801072 140160023952002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29376] ppid=29367 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29367 29367 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446078999 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159558747296 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29377] ppid=29367 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29367 29367 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 446079000 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159557694192 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29378] ppid=29367 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159556642768 140160023959451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29379] ppid=29367 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) S 29367 29367 23397 0 -1 1077944384 682 0 0 0 4 0 0 0 20 0 15 0 446079002 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159555590896 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29380] ppid=29367 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) S 29367 29367 23397 0 -1 1077944384 144 0 0 0 3 0 0 0 20 0 15 0 446079002 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159554538352 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29381] ppid=29367 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) S 29367 29367 23397 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 15 0 446079002 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159553485296 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29382] ppid=29367 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159552432992 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29383] ppid=29367 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079003 15512608768 12471 33554432000 4194304 4196468 140732207871952 140159551380016 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51336 KiB

[startup+0.701752 s]
/proc/loadavg: 8.16 8.46 8.30 4/208 29391
/proc/meminfo: memFree=31137332/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
[pid=29369] ppid=29367 vsize=15151156 memory=96776 CPUtime=1.74 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29367 29367 23397 0 -1 1077944320 14300 0 0 0 169 5 0 0 20 0 15 0 446078997 15514783744 24194 33554432000 4194304 4196468 140732207871952 140732207854496 140160023940855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
/proc/29369/statm: 3787789 24194 3440 1 0 3748889 0
[pid=29369/tid=29370] ppid=29367 vsize=15151156 memory=-7533522213388100735 CPUtime=0.68 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) R 29367 29367 23397 0 -1 4202560 8465 0 0 0 65 3 0 0 20 0 15 0 446078997 15514783744 24194 33554432000 4194304 4196468 140732207871952 140160028178800 140160007984485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29371] ppid=29367 vsize=15151156 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159951981584 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29372] ppid=29367 vsize=15151156 memory=7156334510635766096 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159950929040 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29373] ppid=29367 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446078998 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159614315280 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29374] ppid=29367 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29367 29367 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446078998 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159613262736 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29375] ppid=29367 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29367 29367 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446078999 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159559801072 140160023952002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29376] ppid=29367 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29367 29367 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446078999 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159558747296 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29377] ppid=29367 vsize=15151156 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29367 29367 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 446079000 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159557694192 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29378] ppid=29367 vsize=15151156 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159556642768 140160023959451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29379] ppid=29367 vsize=15151156 memory=6048 CPUtime=0.32 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) R 29367 29367 23397 0 -1 4202560 1690 0 0 0 32 0 0 0 20 0 15 0 446079002 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159555583920 140160004576471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29380] ppid=29367 vsize=15151156 memory=7552 CPUtime=0.33 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) R 29367 29367 23397 0 -1 4202560 1063 0 0 0 33 0 0 0 20 0 15 0 446079002 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159554523792 140160008862608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29381] ppid=29367 vsize=15151156 memory=2832 CPUtime=0.38 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) R 29367 29367 23397 0 -1 1077944384 1773 0 0 0 38 0 0 0 20 0 15 0 446079002 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159553485424 140160023951061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29382] ppid=29367 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446079002 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159552432992 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29383] ppid=29367 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29367 29367 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446079003 15514783744 24194 33554432000 4194304 4196468 140732207871952 140159551380016 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98228 KiB

[startup+1.50122 s]
/proc/loadavg: 8.16 8.46 8.30 4/210 29412
/proc/meminfo: memFree=30967212/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0

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

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

[startup+16.3012 s]*
/proc/loadavg: 7.48 8.29 8.25 12/236 29642
/proc/meminfo: memFree=23976372/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
[pid=29369] ppid=29367 vsize=15417412 memory=5567456 CPUtime=52.33 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29367 29367 23397 0 -1 1077944320 95306 0 0 0 4707 526 0 0 20 0 19 0 446078997 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140732207854496 140160023940855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
/proc/29369/statm: 3854353 1391864 3521 1 0 3815453 0
[pid=29369/tid=29370] ppid=29367 vsize=15417412 memory=8317482817917895235 CPUtime=5.1 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) S 29367 29367 23397 0 -1 1077944384 11626 0 0 0 498 12 0 0 20 0 19 0 446078997 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140160028181632 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29371] ppid=29367 vsize=15417412 memory=2004 CPUtime=6.11 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29367 29367 23397 0 -1 1077944384 12218 0 0 0 486 125 0 0 20 0 19 0 446078998 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159951981584 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29372] ppid=29367 vsize=15417412 memory=1416 CPUtime=6 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29367 29367 23397 0 -1 1077944384 12149 0 0 0 477 123 0 0 20 0 19 0 446078998 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159950929040 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29373] ppid=29367 vsize=15417412 memory=1716 CPUtime=6.19 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29367 29367 23397 0 -1 1077944384 13434 0 0 0 487 132 0 0 20 0 19 0 446078998 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159614315280 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29374] ppid=29367 vsize=15417412 memory=692 CPUtime=5.98 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29367 29367 23397 0 -1 1077944384 12805 0 0 0 474 124 0 0 20 0 19 0 446078998 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159613262736 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29375] ppid=29367 vsize=15417412 memory=1056 CPUtime=0.09 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29367 29367 23397 0 -1 1077944384 9988 0 0 0 9 0 0 0 20 0 19 0 446078999 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159559801072 140160023952002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29376] ppid=29367 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29367 29367 23397 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446078999 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159558747360 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29377] ppid=29367 vsize=15417412 memory=780 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29367 29367 23397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446079000 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159557694208 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29378] ppid=29367 vsize=15417412 memory=5571820 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079002 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159556642768 140160023959451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29379] ppid=29367 vsize=15417412 memory=5313048 CPUtime=2.6 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) S 29367 29367 23397 0 -1 1077944384 6846 0 0 0 258 2 0 0 20 0 19 0 446079002 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159555590896 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29380] ppid=29367 vsize=15417412 memory=0 CPUtime=2.81 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) S 29367 29367 23397 0 -1 1077944384 8168 0 0 0 280 1 0 0 20 0 19 0 446079002 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159554538352 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29381] ppid=29367 vsize=15417412 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) S 29367 29367 23397 0 -1 1077944384 2314 0 0 0 58 1 0 0 20 0 19 0 446079002 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159553485296 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29382] ppid=29367 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079002 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159552432992 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29383] ppid=29367 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29367 29367 23397 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 19 0 446079003 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159551380016 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 63 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29635] ppid=29367 vsize=15417412 memory=0 CPUtime=4.09 cores=0,2,4,6
/proc/29369/task/29635/stat : 29635 (java) R 29367 29367 23397 0 -1 4202560 967 0 0 0 409 0 0 0 20 0 19 0 446080187 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159548615416 140159637742117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29636] ppid=29367 vsize=15417412 memory=281023737257960 CPUtime=4.2 cores=0,2,4,6
/proc/29369/task/29636/stat : 29636 (java) R 29367 29367 23397 0 -1 4202560 855 0 0 0 420 0 0 0 20 0 19 0 446080187 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159473242152 140159637742085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29637] ppid=29367 vsize=15417412 memory=1898452 CPUtime=4.2 cores=0,2,4,6
/proc/29369/task/29637/stat : 29637 (java) R 29367 29367 23397 0 -1 4202560 1114 0 0 0 420 0 0 0 20 0 19 0 446080187 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159472191288 140159637956151 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29638] ppid=29367 vsize=15417412 memory=2849820 CPUtime=4.25 cores=0,2,4,6
/proc/29369/task/29638/stat : 29638 (java) R 29367 29367 23397 0 -1 4202560 1085 0 0 0 425 0 0 0 20 0 19 0 446080187 15787429888 1391864 33554432000 4194304 4196468 140732207871952 140159471137064 140159637955145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
Current children cumulated CPU time: 52.33 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 5568908 KiB

[startup+17.1012 s]
/proc/loadavg: 7.48 8.29 8.25 12/236 29642
/proc/meminfo: memFree=23976372/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
[pid=29369] ppid=29367 vsize=15417412 memory=5568216 CPUtime=55.47 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29367 29367 23397 0 -1 1077944320 101675 0 0 0 5021 526 0 0 20 0 19 0 446078997 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140732207854496 140160023940855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
/proc/29369/statm: 3854353 1392054 3524 1 0 3815453 0
[pid=29369/tid=29370] ppid=29367 vsize=15417412 memory=8242264893812663142 CPUtime=5.1 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) S 29367 29367 23397 0 -1 1077944384 11626 0 0 0 498 12 0 0 20 0 19 0 446078997 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140160028181632 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29371] ppid=29367 vsize=15417412 memory=7649399380020246834 CPUtime=6.11 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29367 29367 23397 0 -1 1077944384 12218 0 0 0 486 125 0 0 20 0 19 0 446078998 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159951981584 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29372] ppid=29367 vsize=15417412 memory=0 CPUtime=6 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29367 29367 23397 0 -1 1077944384 12149 0 0 0 477 123 0 0 20 0 19 0 446078998 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159950929040 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29373] ppid=29367 vsize=15417412 memory=1452 CPUtime=6.19 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29367 29367 23397 0 -1 1077944384 13434 0 0 0 487 132 0 0 20 0 19 0 446078998 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159614315280 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29374] ppid=29367 vsize=15417412 memory=5570532 CPUtime=5.98 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29367 29367 23397 0 -1 1077944384 12805 0 0 0 474 124 0 0 20 0 19 0 446078998 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159613262736 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29375] ppid=29367 vsize=15417412 memory=2424 CPUtime=0.1 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29367 29367 23397 0 -1 1077944384 10038 0 0 0 9 1 0 0 20 0 19 0 446078999 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159559801072 140160023952002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29376] ppid=29367 vsize=15417412 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29367 29367 23397 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446078999 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159558747360 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29377] ppid=29367 vsize=15417412 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29367 29367 23397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446079000 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159557694208 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29378] ppid=29367 vsize=15417412 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079002 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159556642768 140160023959451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29379] ppid=29367 vsize=15417412 memory=1808 CPUtime=2.75 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) R 29367 29367 23397 0 -1 4202560 7994 0 0 0 273 2 0 0 20 0 19 0 446079002 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159555584000 140160005460508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29380] ppid=29367 vsize=15417412 memory=6791534058613427641 CPUtime=2.99 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) R 29367 29367 23397 0 -1 4202560 9947 0 0 0 297 2 0 0 20 0 19 0 446079002 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159554519920 140160003186898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29381] ppid=29367 vsize=15417412 memory=14048 CPUtime=0.62 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) R 29367 29367 23397 0 -1 1077944384 3023 0 0 0 61 1 0 0 20 0 19 0 446079002 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159553485296 140160023952002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29382] ppid=29367 vsize=15417412 memory=25172 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079002 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159552432992 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29383] ppid=29367 vsize=15417412 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) R 29367 29367 23397 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 19 0 446079003 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159551380016 140160023952002 0 4 0 16800975 0 0 0 -1 2 0 0 63 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29635] ppid=29367 vsize=15417412 memory=532 CPUtime=4.82 cores=0,2,4,6
/proc/29369/task/29635/stat : 29635 (java) R 29367 29367 23397 0 -1 4202560 1160 0 0 0 482 0 0 0 20 0 19 0 446080187 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159548615928 140159638179205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29636] ppid=29367 vsize=15417412 memory=1564 CPUtime=4.87 cores=0,2,4,6
/proc/29369/task/29636/stat : 29636 (java) R 29367 29367 23397 0 -1 4202560 1627 0 0 0 487 0 0 0 20 0 19 0 446080187 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159473241672 140159638138041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29637] ppid=29367 vsize=15417412 memory=924 CPUtime=4.87 cores=0,2,4,6
/proc/29369/task/29637/stat : 29637 (java) R 29367 29367 23397 0 -1 4202560 2049 0 0 0 487 0 0 0 20 0 19 0 446080187 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159472188456 140159638091238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29638] ppid=29367 vsize=15417412 memory=0 CPUtime=4.98 cores=0,2,4,6
/proc/29369/task/29638/stat : 29638 (java) R 29367 29367 23397 0 -1 4202560 1868 0 0 0 498 0 0 0 20 0 19 0 446080187 15787429888 1392054 33554432000 4194304 4196468 140732207871952 140159471139320 140159630843601 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
Current children cumulated CPU time: 55.47 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 5569668 KiB

[startup+17.3012 s]*
/proc/loadavg: 7.52 8.28 8.25 10/236 29642
/proc/meminfo: memFree=23976092/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
[pid=29369] ppid=29367 vsize=15417412 memory=5568492 CPUtime=56.3 cores=0,2,4,6
/proc/29369/stat : 29369 (java) S 29367 29367 23397 0 -1 1077944320 103052 0 0 0 5104 526 0 0 20 0 19 0 446078997 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140732207854496 140160023940855 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
/proc/29369/statm: 3854353 1392123 3524 1 0 3815453 0
[pid=29369/tid=29370] ppid=29367 vsize=15417412 memory=4026531858 CPUtime=5.1 cores=0,2,4,6
/proc/29369/task/29370/stat : 29370 (java) S 29367 29367 23397 0 -1 1077944384 11626 0 0 0 498 12 0 0 20 0 19 0 446078997 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140160028181632 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29371] ppid=29367 vsize=15417412 memory=0 CPUtime=6.11 cores=0,2,4,6
/proc/29369/task/29371/stat : 29371 (java) S 29367 29367 23397 0 -1 1077944384 12218 0 0 0 486 125 0 0 20 0 19 0 446078998 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159951981584 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29372] ppid=29367 vsize=15417412 memory=140511974293949 CPUtime=6 cores=0,2,4,6
/proc/29369/task/29372/stat : 29372 (java) S 29367 29367 23397 0 -1 1077944384 12149 0 0 0 477 123 0 0 20 0 19 0 446078998 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159950929040 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29373] ppid=29367 vsize=15417412 memory=7005738693937936738 CPUtime=6.19 cores=0,2,4,6
/proc/29369/task/29373/stat : 29373 (java) S 29367 29367 23397 0 -1 1077944384 13434 0 0 0 487 132 0 0 20 0 19 0 446078998 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159614315280 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29374] ppid=29367 vsize=15417412 memory=137092 CPUtime=5.98 cores=0,2,4,6
/proc/29369/task/29374/stat : 29374 (java) S 29367 29367 23397 0 -1 1077944384 12805 0 0 0 474 124 0 0 20 0 19 0 446078998 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159613262736 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29375] ppid=29367 vsize=15417412 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29369/task/29375/stat : 29375 (java) S 29367 29367 23397 0 -1 1077944384 10038 0 0 0 9 1 0 0 20 0 19 0 446078999 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159559801072 140160023952002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29376] ppid=29367 vsize=15417412 memory=2320537093601113908 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29376/stat : 29376 (java) S 29367 29367 23397 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446078999 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159558747360 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29377] ppid=29367 vsize=15417412 memory=6226315890226384981 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29377/stat : 29377 (java) S 29367 29367 23397 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 446079000 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159557694208 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29378] ppid=29367 vsize=15417412 memory=8390361644446492005 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29378/stat : 29378 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079002 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159556642768 140160023959451 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29379] ppid=29367 vsize=15417412 memory=0 CPUtime=2.88 cores=0,2,4,6
/proc/29369/task/29379/stat : 29379 (java) R 29367 29367 23397 0 -1 4202560 8090 0 0 0 286 2 0 0 20 0 19 0 446079002 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159555581488 140160016230237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29380] ppid=29367 vsize=15417412 memory=7378639122529792047 CPUtime=3.19 cores=0,2,4,6
/proc/29369/task/29380/stat : 29380 (java) R 29367 29367 23397 0 -1 4202560 10066 0 0 0 317 2 0 0 20 0 19 0 446079002 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159554524448 140160008231024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29381] ppid=29367 vsize=15417412 memory=7016594170128982195 CPUtime=0.63 cores=0,2,4,6
/proc/29369/task/29381/stat : 29381 (java) S 29367 29367 23397 0 -1 1077944384 3066 0 0 0 62 1 0 0 20 0 19 0 446079002 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159553485296 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29382] ppid=29367 vsize=15417412 memory=3184097920075968559 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29382/stat : 29382 (java) S 29367 29367 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446079002 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159552432992 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29383] ppid=29367 vsize=15417412 memory=2315026042792730554 CPUtime=0 cores=0,2,4,6
/proc/29369/task/29383/stat : 29383 (java) S 29367 29367 23397 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 19 0 446079003 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159551380016 140160023952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 63 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29635] ppid=29367 vsize=15417412 memory=0 CPUtime=4.95 cores=0,2,4,6
/proc/29369/task/29635/stat : 29635 (java) R 29367 29367 23397 0 -1 4202560 1219 0 0 0 495 0 0 0 20 0 19 0 446080187 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159548611568 140159638269527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29636] ppid=29367 vsize=15417412 memory=0 CPUtime=4.99 cores=0,2,4,6
/proc/29369/task/29636/stat : 29636 (java) R 29367 29367 23397 0 -1 4202560 1748 0 0 0 499 0 0 0 20 0 19 0 446080187 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159473240640 140159638003471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29637] ppid=29367 vsize=15417412 memory=0 CPUtime=4.99 cores=0,2,4,6
/proc/29369/task/29637/stat : 29637 (java) R 29367 29367 23397 0 -1 4202560 2262 0 0 0 499 0 0 0 20 0 19 0 446080187 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159472187968 140159638319889 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
[pid=29369/tid=29638] ppid=29367 vsize=15417412 memory=0 CPUtime=5.09 cores=0,2,4,6
/proc/29369/task/29638/stat : 29638 (java) S 29367 29367 23397 0 -1 1077944384 2600 0 0 0 509 0 0 0 20 0 19 0 446080187 15787429888 1392123 33554432000 4194304 4196468 140732207871952 140159471142352 140160023951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19800064 140732207879151 140732207879322 140732207879322 140732207882191 0
Current children cumulated CPU time: 56.3 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 5569944 KiB

[startup+17.4116 s]
/proc/loadavg: 7.52 8.28 8.25 10/236 29642
/proc/meminfo: memFree=23976092/32770624 swapFree=66977408/67108860
[pid=29367] ppid=29364 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/29367/stat : 29367 (xcsp3-exec) S 29364 29367 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446078996 115843072 363 33554432000 4194304 5098028 140725866285184 140725866283288 140584460214908 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29614080 140725866287995 140725866288237 140725866288237 140725866291146 0
/proc/29367/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 17.4158
CPU time (s): 56.5343
CPU user time (s): 51.2316
CPU system time (s): 5.30275
CPU usage (%): 324.615
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 5573496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.2316
system time used= 5.30275
maximum resident set size= 5572044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105059
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3439
involuntary context switches= 1158


# summary of solver processes directly reported to runsolver:
#   pid: 29367
#   total CPU time (s): 56.5343
#   total CPU user time (s): 51.2316
#   total CPU system time (s): 5.30275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.135072 second user time and 0.230642 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
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	0.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4398959

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
