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-06-14 parallel	SAT	12.3595	2.16997
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 (15124 MiB free)
  memory of node 1: 16384 MiB (15601 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393572-1568421980/watcher-4393572-1568421980 -o /tmp/evaluation-result-4393572-1568421980/solver-4393572-1568421980 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568416726-8779 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 916148090 HOME/instance-4393572-1568421980.xml 

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

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

solver pid=10303, runsolver pid=10300

[startup+0.100112 s]*
/proc/loadavg: 7.63 8.26 8.22 2/211 10324
/proc/meminfo: memFree=31447168/32770624 swapFree=66982084/67108860
[pid=10303] ppid=10300 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10303/stat : 10303 (xcsp3-exec) S 10300 10303 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418460709 115843072 363 33554432000 4194304 5098028 140733148893568 140733148891672 140616766968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17625088 140733148898166 140733148898409 140733148898409 140733148901322 0
/proc/10303/statm: 28282 363 304 221 0 87 0
[pid=10305] ppid=10303 vsize=28227388 memory=29044 CPUtime=0.12 cores=0-7
/proc/10305/stat : 10305 (java) S 10303 10303 8752 0 -1 1077944320 5683 0 0 0 11 1 0 0 20 0 20 0 418460709 28904845312 7261 33554432000 4194304 4196468 140728033139840 140728033122384 140116413558519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
/proc/10305/statm: 7056847 7261 3155 1 0 7019032 0
[pid=10305/tid=10306] ppid=10303 vsize=28227388 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/10305/task/10306/stat : 10306 (java) R 10303 10303 8752 0 -1 4202560 3600 0 0 0 8 0 0 0 20 0 20 0 418460709 28904845312 7261 33554432000 4194304 4196468 140728033139840 140116417792000 140116010041748 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10307] ppid=10303 vsize=28227388 memory=732369772697234405 CPUtime=0 cores=0-7
/proc/10305/task/10307/stat : 10307 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140116333411344 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10308] ppid=10303 vsize=28227388 memory=139634359780992 CPUtime=0 cores=0-7
/proc/10305/task/10308/stat : 10308 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140116332358800 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10309] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10309/stat : 10309 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140116331305744 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10310] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10310/stat : 10310 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140116330253200 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10311] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10311/stat : 10311 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115960781328 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10312] ppid=10303 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10305/task/10312/stat : 10312 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115959728784 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10313] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10313/stat : 10313 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115958675728 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10314] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10314/stat : 10314 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115957623184 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10315] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10315/stat : 10315 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460711 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115798211312 140116413569666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10316] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10316/stat : 10316 (java) S 10303 10303 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418460712 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115797157536 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10317] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10317/stat : 10317 (java) S 10303 10303 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418460712 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115796104432 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10318] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10318/stat : 10318 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115795053008 140116413577115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10319] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10319/stat : 10319 (java) S 10303 10303 8752 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115794000112 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10320] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10320/stat : 10320 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115792947568 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10321] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10321/stat : 10321 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115724724208 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10322] ppid=10303 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10305/task/10322/stat : 10322 (java) R 10303 10303 8752 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 418460715 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115723671664 140116397639006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10323] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10323/stat : 10323 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115722619872 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10324] ppid=10303 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10305/task/10324/stat : 10324 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 7261 33554432000 4194304 4196468 140728033139840 140115721567408 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30496 KiB

[startup+0.210113 s]*
/proc/loadavg: 7.63 8.26 8.22 3/211 10324
/proc/meminfo: memFree=31433508/32770624 swapFree=66982084/67108860
[pid=10303] ppid=10300 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10303/stat : 10303 (xcsp3-exec) S 10300 10303 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418460709 115843072 363 33554432000 4194304 5098028 140733148893568 140733148891672 140616766968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17625088 140733148898166 140733148898409 140733148898409 140733148901322 0
/proc/10303/statm: 28282 363 304 221 0 87 0
[pid=10305] ppid=10303 vsize=28227388 memory=40732 CPUtime=0.33 cores=0-7
/proc/10305/stat : 10305 (java) S 10303 10303 8752 0 -1 1077944320 9483 0 0 0 30 3 0 0 20 0 20 0 418460709 28904845312 10183 33554432000 4194304 4196468 140728033139840 140728033122384 140116413558519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
/proc/10305/statm: 7056847 10183 3271 1 0 7019032 0
[pid=10305/tid=10306] ppid=10303 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/10305/task/10306/stat : 10306 (java) R 10303 10303 8752 0 -1 4202560 6620 0 0 0 17 2 0 0 20 0 20 0 418460709 28904845312 10183 33554432000 4194304 4196468 140728033139840 140116417788240 140116397639006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10307] ppid=10303 vsize=28227388 memory=732369772697234405 CPUtime=0 cores=0-7
/proc/10305/task/10307/stat : 10307 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140116333411344 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10308] ppid=10303 vsize=28227388 memory=139634359780992 CPUtime=0 cores=0-7
/proc/10305/task/10308/stat : 10308 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140116332358800 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10309] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10309/stat : 10309 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140116331305744 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10310] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10310/stat : 10310 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140116330253200 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10311] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10311/stat : 10311 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115960781328 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10312] ppid=10303 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10305/task/10312/stat : 10312 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115959728784 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10313] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10313/stat : 10313 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115958675728 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10314] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10314/stat : 10314 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460710 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115957623184 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10315] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10315/stat : 10315 (java) S 10303 10303 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418460711 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115798211312 140116413569666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10316] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10316/stat : 10316 (java) S 10303 10303 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418460712 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115797157536 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10317] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10317/stat : 10317 (java) S 10303 10303 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418460712 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115796104432 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10318] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10318/stat : 10318 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115795053008 140116413577115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10319] ppid=10303 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10305/task/10319/stat : 10319 (java) S 10303 10303 8752 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 418460715 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115794000112 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10320] ppid=10303 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10305/task/10320/stat : 10320 (java) S 10303 10303 8752 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 418460715 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115792947568 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10321] ppid=10303 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10305/task/10321/stat : 10321 (java) S 10303 10303 8752 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 418460715 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115724724208 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10322] ppid=10303 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/10305/task/10322/stat : 10322 (java) S 10303 10303 8752 0 -1 1077944384 783 0 0 0 7 0 0 0 20 0 20 0 418460715 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115723671664 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10323] ppid=10303 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10323/stat : 10323 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115722619872 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10324] ppid=10303 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10305/task/10324/stat : 10324 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460715 28904845312 10183 33554432000 4194304 4196468 140728033139840 140115721567408 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42184 KiB

[startup+0.309529 s]*
/proc/loadavg: 7.63 8.26 8.22 3/211 10324
/proc/meminfo: memFree=31428236/32770624 swapFree=66982084/67108860
[pid=10303] ppid=10300 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10303/stat : 10303 (xcsp3-exec) S 10300 10303 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418460709 115843072 363 33554432000 4194304 5098028 140733148893568 140733148891672 140616766968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17625088 140733148898166 140733148898409 140733148898409 140733148901322 0
/proc/10303/statm: 28282 363 304 221 0 87 0
[pid=10305] ppid=10303 vsize=28231644 memory=49960 CPUtime=0.51 cores=0-7
/proc/10305/stat : 10305 (java) S 10303 10303 8752 0 -1 1077944320 10831 0 0 0 47 4 0 0 20 0 20 0 418460709 28909203456 12490 33554432000 4194304 4196468 140728033139840 140728033122384 140116413558519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
/proc/10305/statm: 7057911 12490 3367 1 0 7019032 0
[pid=10305/tid=10306] ppid=10303 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/10305/task/10306/stat : 10306 (java) R 10303 10303 8752 0 -1 4202560 7712 0 0 0 27 3 0 0 20 0 20 0 418460709 28909203456 12490 33554432000 4194304 4196468 140728033139840 140116417790208 140116397639006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10307] ppid=10303 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10307/stat : 10307 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140116333411344 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10308] ppid=10303 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10308/stat : 10308 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140116332358800 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10309] ppid=10303 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10309/stat : 10309 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140116331305744 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10310] ppid=10303 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10310/stat : 10310 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140116330253200 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10311] ppid=10303 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10311/stat : 10311 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115960781328 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10312] ppid=10303 vsize=28231644 memory=139634218724015 CPUtime=0 cores=0-7
/proc/10305/task/10312/stat : 10312 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115959728784 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10313] ppid=10303 vsize=28231644 memory=139634218726320 CPUtime=0 cores=0-7
/proc/10305/task/10313/stat : 10313 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115958675728 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10314] ppid=10303 vsize=28231644 memory=139634218728624 CPUtime=0 cores=0-7
/proc/10305/task/10314/stat : 10314 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460710 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115957623184 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10315] ppid=10303 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10315/stat : 10315 (java) S 10303 10303 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418460711 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115798211312 140116413569666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10316] ppid=10303 vsize=28231644 memory=279268437471120 CPUtime=0 cores=0-7
/proc/10305/task/10316/stat : 10316 (java) S 10303 10303 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418460712 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115797157536 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10317] ppid=10303 vsize=28231644 memory=279268437468816 CPUtime=0 cores=0-7
/proc/10305/task/10317/stat : 10317 (java) S 10303 10303 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418460712 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115796104432 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10318] ppid=10303 vsize=28231644 memory=279268437475728 CPUtime=0 cores=0-7
/proc/10305/task/10318/stat : 10318 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460715 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115795053008 140116413577115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10319] ppid=10303 vsize=28231644 memory=279268437416976 CPUtime=0.02 cores=0-7
/proc/10305/task/10319/stat : 10319 (java) R 10303 10303 8752 0 -1 4202560 562 0 0 0 2 0 0 0 20 0 20 0 418460715 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115793990496 140116413579866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10320] ppid=10303 vsize=28231644 memory=279268437489552 CPUtime=0.02 cores=0-7
/proc/10305/task/10320/stat : 10320 (java) S 10303 10303 8752 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 20 0 418460715 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115792947568 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10321] ppid=10303 vsize=28231644 memory=279268437496464 CPUtime=0.02 cores=0-7
/proc/10305/task/10321/stat : 10321 (java) S 10303 10303 8752 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 20 0 418460715 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115724724208 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10322] ppid=10303 vsize=28231644 memory=279268437494160 CPUtime=0.12 cores=0-7
/proc/10305/task/10322/stat : 10322 (java) S 10303 10303 8752 0 -1 1077944384 896 0 0 0 12 0 0 0 20 0 20 0 418460715 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115723671664 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10323] ppid=10303 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10323/stat : 10323 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460715 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115722619872 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10324] ppid=10303 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/10305/task/10324/stat : 10324 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460715 28909203456 12490 33554432000 4194304 4196468 140728033139840 140115721567408 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51412 KiB

[startup+0.70191 s]
/proc/loadavg: 7.63 8.26 8.22 5/211 10324
/proc/meminfo: memFree=31408916/32770624 swapFree=66982084/67108860
[pid=10303] ppid=10300 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10303/stat : 10303 (xcsp3-exec) S 10300 10303 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418460709 115843072 363 33554432000 4194304 5098028 140733148893568 140733148891672 140616766968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17625088 140733148898166 140733148898409 140733148898409 140733148901322 0
/proc/10303/statm: 28282 363 304 221 0 87 0
[pid=10305] ppid=10303 vsize=28766280 memory=136060 CPUtime=1.94 cores=0-7
/proc/10305/stat : 10305 (java) S 10303 10303 8752 0 -1 1077944320 18326 0 0 0 186 8 0 0 20 0 28 0 418460709 29456670720 34015 33554432000 4194304 4196468 140728033139840 140728033122384 140116413558519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
/proc/10305/statm: 7191570 34015 3456 1 0 7152672 0
[pid=10305/tid=10306] ppid=10303 vsize=28766280 memory=0 CPUtime=0.62 cores=0-7
/proc/10305/task/10306/stat : 10306 (java) S 10303 10303 8752 0 -1 1077944384 9168 0 0 0 57 5 0 0 20 0 28 0 418460709 29456670720 34015 33554432000 4194304 4196468 140728033139840 140116417799296 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10307] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10307/stat : 10307 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 418460710 29456670720 34015 33554432000 4194304 4196468 140728033139840 140116333411344 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10308] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10308/stat : 10308 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 418460710 29456670720 34015 33554432000 4194304 4196468 140728033139840 140116332358800 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10309] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10309/stat : 10309 (java) S 10303 10303 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 418460710 29456670720 34015 33554432000 4194304 4196468 140728033139840 140116331305744 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0

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

[pid=10305/tid=10322] ppid=10303 vsize=28766280 memory=7980 CPUtime=0.41 cores=0-7
/proc/10305/task/10322/stat : 10322 (java) R 10303 10303 8752 0 -1 1077944384 2082 0 0 0 41 0 0 0 20 0 28 0 418460715 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115723671664 140116413569666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10323] ppid=10303 vsize=28766280 memory=1164 CPUtime=0 cores=0-7
/proc/10305/task/10323/stat : 10323 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115722619872 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10324] ppid=10303 vsize=28766280 memory=9580 CPUtime=0 cores=0-7
/proc/10305/task/10324/stat : 10324 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115721567408 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10325] ppid=10303 vsize=28766280 memory=14008 CPUtime=0.71 cores=0-7
/proc/10305/task/10325/stat : 10325 (java) R 10303 10303 8752 0 -1 4202560 51 0 0 0 71 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115712355272 140116014463786 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10326] ppid=10303 vsize=28766280 memory=2120 CPUtime=0.62 cores=0-7
/proc/10305/task/10326/stat : 10326 (java) R 10303 10303 8752 0 -1 4202560 47 0 0 0 62 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115711304040 140116014462245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10327] ppid=10303 vsize=28766280 memory=11976 CPUtime=0.69 cores=0-7
/proc/10305/task/10327/stat : 10327 (java) R 10303 10303 8752 0 -1 4202560 38 0 0 0 69 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115710253464 140116014462232 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10328] ppid=10303 vsize=28766280 memory=7316 CPUtime=0.64 cores=0-7
/proc/10305/task/10328/stat : 10328 (java) R 10303 10303 8752 0 -1 4202560 82 0 0 0 64 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115709200472 140116013888326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10329] ppid=10303 vsize=28766280 memory=512 CPUtime=0.74 cores=0-7
/proc/10305/task/10329/stat : 10329 (java) R 10303 10303 8752 0 -1 4202560 33 0 0 0 74 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115708147864 140116014461874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10330] ppid=10303 vsize=28766280 memory=1564 CPUtime=0.77 cores=0-7
/proc/10305/task/10330/stat : 10330 (java) R 10303 10303 8752 0 -1 4202560 34 0 0 0 77 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115707094944 140116014462165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10331] ppid=10303 vsize=28766280 memory=928 CPUtime=0.66 cores=0-7
/proc/10305/task/10331/stat : 10331 (java) R 10303 10303 8752 0 -1 4202560 35 0 0 0 66 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115706040776 140116014191267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10332] ppid=10303 vsize=28766280 memory=0 CPUtime=0.68 cores=0-7
/proc/10305/task/10332/stat : 10332 (java) R 10303 10303 8752 0 -1 4202560 37 0 0 0 68 0 0 0 20 0 28 0 418460773 29456670720 77100 33554432000 4194304 4196468 140728033139840 140115704988128 140116014380016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
Current children cumulated CPU time: 9.07 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 309852 KiB

[startup+2.00193 s]*
/proc/loadavg: 7.63 8.26 8.22 3/219 10332
/proc/meminfo: memFree=31167012/32770624 swapFree=66982084/67108860
[pid=10303] ppid=10300 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10303/stat : 10303 (xcsp3-exec) S 10300 10303 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418460709 115843072 363 33554432000 4194304 5098028 140733148893568 140733148891672 140616766968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17625088 140733148898166 140733148898409 140733148898409 140733148901322 0
/proc/10303/statm: 28282 363 304 221 0 87 0
[pid=10305] ppid=10303 vsize=28766280 memory=309380 CPUtime=11.94 cores=0-7
/proc/10305/stat : 10305 (java) S 10303 10303 8752 0 -1 1077944320 20560 0 0 0 1171 23 0 0 20 0 28 0 418460709 29456670720 77345 33554432000 4194304 4196468 140728033139840 140728033122384 140116413558519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
/proc/10305/statm: 7191570 77345 3511 1 0 7152672 0
[pid=10305/tid=10306] ppid=10303 vsize=28766280 memory=8318255677412212789 CPUtime=0.62 cores=0-7
/proc/10305/task/10306/stat : 10306 (java) S 10303 10303 8752 0 -1 1077944384 9168 0 0 0 57 5 0 0 20 0 28 0 418460709 29456670720 77345 33554432000 4194304 4196468 140728033139840 140116417799296 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10307] ppid=10303 vsize=28766280 memory=288230596118053219 CPUtime=0.03 cores=0-7
/proc/10305/task/10307/stat : 10307 (java) S 10303 10303 8752 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140116333411344 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10308] ppid=10303 vsize=28766280 memory=3689204762180175520 CPUtime=0.04 cores=0-7
/proc/10305/task/10308/stat : 10308 (java) S 10303 10303 8752 0 -1 1077944384 120 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140116332358800 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10309] ppid=10303 vsize=28766280 memory=-1 CPUtime=0.03 cores=0-7
/proc/10305/task/10309/stat : 10309 (java) S 10303 10303 8752 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140116331305744 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10310] ppid=10303 vsize=28766280 memory=0 CPUtime=0.02 cores=0-7
/proc/10305/task/10310/stat : 10310 (java) S 10303 10303 8752 0 -1 1077944384 44 0 0 0 1 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140116330253200 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10311] ppid=10303 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/10305/task/10311/stat : 10311 (java) S 10303 10303 8752 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115960781328 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10312] ppid=10303 vsize=28766280 memory=-1 CPUtime=0.03 cores=0-7
/proc/10305/task/10312/stat : 10312 (java) S 10303 10303 8752 0 -1 1077944384 25 0 0 0 2 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115959728784 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10313] ppid=10303 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/10305/task/10313/stat : 10313 (java) S 10303 10303 8752 0 -1 1077944384 52 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115958675728 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10314] ppid=10303 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/10305/task/10314/stat : 10314 (java) S 10303 10303 8752 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115957623184 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10315] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10315/stat : 10315 (java) S 10303 10303 8752 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 418460711 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115798211312 140116413569666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10316] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10316/stat : 10316 (java) S 10303 10303 8752 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418460712 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115797157536 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10317] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10317/stat : 10317 (java) S 10303 10303 8752 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418460712 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115796104432 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10318] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10318/stat : 10318 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115795053008 140116413577115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10319] ppid=10303 vsize=28766280 memory=0 CPUtime=1.03 cores=0-7
/proc/10305/task/10319/stat : 10319 (java) S 10303 10303 8752 0 -1 1077944384 2813 0 0 0 102 1 0 0 20 0 28 0 418460715 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115794000112 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10320] ppid=10303 vsize=28766280 memory=0 CPUtime=0.64 cores=0-7
/proc/10305/task/10320/stat : 10320 (java) S 10303 10303 8752 0 -1 1077944384 2036 0 0 0 63 1 0 0 20 0 28 0 418460715 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115792947568 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10321] ppid=10303 vsize=28766280 memory=-1 CPUtime=0.88 cores=0-7
/proc/10305/task/10321/stat : 10321 (java) S 10303 10303 8752 0 -1 1077944384 1989 0 0 0 88 0 0 0 20 0 28 0 418460715 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115724724208 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10322] ppid=10303 vsize=28766280 memory=0 CPUtime=0.46 cores=0-7
/proc/10305/task/10322/stat : 10322 (java) R 10303 10303 8752 0 -1 4202560 2182 0 0 0 46 0 0 0 20 0 28 0 418460715 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115723671664 140116391723156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10323] ppid=10303 vsize=28766280 memory=2314885432472851536 CPUtime=0 cores=0-7
/proc/10305/task/10323/stat : 10323 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115722619872 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10324] ppid=10303 vsize=28766280 memory=3472328296225127011 CPUtime=0 cores=0-7
/proc/10305/task/10324/stat : 10324 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115721567408 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10325] ppid=10303 vsize=28766280 memory=7451578361684439087 CPUtime=1.04 cores=0-7
/proc/10305/task/10325/stat : 10325 (java) S 10303 10303 8752 0 -1 1077944384 54 0 0 0 104 0 0 0 20 0 28 0 418460773 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115712360304 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10326] ppid=10303 vsize=28766280 memory=-6237260532469557610 CPUtime=0.91 cores=0-7
/proc/10305/task/10326/stat : 10326 (java) S 10303 10303 8752 0 -1 1077944384 52 0 0 0 91 0 0 0 20 0 28 0 418460773 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115711309136 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10327] ppid=10303 vsize=28766280 memory=-7357787915995474596 CPUtime=1.06 cores=0-7
/proc/10305/task/10327/stat : 10327 (java) R 10303 10303 8752 0 -1 4202560 59 0 0 0 106 0 0 0 20 0 28 0 418460773 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115710252632 140116010045216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10328] ppid=10303 vsize=28766280 memory=6944652177228980320 CPUtime=0.91 cores=0-7
/proc/10305/task/10328/stat : 10328 (java) S 10303 10303 8752 0 -1 1077944384 86 0 0 0 91 0 0 0 20 0 28 0 418460773 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115709203536 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10329] ppid=10303 vsize=28766280 memory=6944656592455359580 CPUtime=1.02 cores=0-7
/proc/10305/task/10329/stat : 10329 (java) S 10303 10303 8752 0 -1 1077944384 37 0 0 0 102 0 0 0 20 0 28 0 418460773 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115708150480 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10330] ppid=10303 vsize=28766280 memory=6656426216303648864 CPUtime=1.08 cores=0-7
/proc/10305/task/10330/stat : 10330 (java) S 10303 10303 8752 0 -1 1077944384 44 0 0 0 108 0 0 0 20 0 28 0 418460773 29456670720 77345 33554432000 4194304 4196468 140728033139840 140115707097936 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10331] ppid=10303 vsize=28766280 memory=-2746958450906831424 CPUtime=0.91 cores=0-7
/proc/10305/task/10331/stat : 10331 (java) S 10303 10303 8752 0 -1 1077944384 39 0 0 0 91 0 0 0 20 0 28 0 418460773 29456670720 77375 33554432000 4194304 4196468 140728033139840 140115706045904 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10332] ppid=10303 vsize=28766280 memory=0 CPUtime=0.92 cores=0-7
/proc/10305/task/10332/stat : 10332 (java) S 10303 10303 8752 0 -1 1077944384 43 0 0 0 92 0 0 0 20 0 28 0 418460773 29456670720 77375 33554432000 4194304 4196468 140728033139840 140115704993360 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
Current children cumulated CPU time: 11.94 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 310832 KiB

[startup+2.11004 s]
/proc/loadavg: 7.63 8.26 8.22 3/219 10332
/proc/meminfo: memFree=31167012/32770624 swapFree=66982084/67108860
[pid=10303] ppid=10300 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10303/stat : 10303 (xcsp3-exec) S 10300 10303 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418460709 115843072 363 33554432000 4194304 5098028 140733148893568 140733148891672 140616766968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17625088 140733148898166 140733148898409 140733148898409 140733148901322 0
/proc/10303/statm: 28282 363 304 221 0 87 0
[pid=10305] ppid=10303 vsize=28766280 memory=309580 CPUtime=12.21 cores=0-7
/proc/10305/stat : 10305 (java) S 10303 10303 8752 0 -1 1077944320 20627 0 0 0 1198 23 0 0 20 0 28 0 418460709 29456670720 77395 33554432000 4194304 4196468 140728033139840 140728033122384 140116413558519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
/proc/10305/statm: 7191570 77395 3511 1 0 7152672 0
[pid=10305/tid=10306] ppid=10303 vsize=28766280 memory=193984 CPUtime=0.62 cores=0-7
/proc/10305/task/10306/stat : 10306 (java) S 10303 10303 8752 0 -1 1077944384 9168 0 0 0 57 5 0 0 20 0 28 0 418460709 29456670720 77395 33554432000 4194304 4196468 140728033139840 140116417799296 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10307] ppid=10303 vsize=28766280 memory=154756 CPUtime=0.03 cores=0-7
/proc/10305/task/10307/stat : 10307 (java) S 10303 10303 8752 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140116333411344 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10308] ppid=10303 vsize=28766280 memory=62 CPUtime=0.04 cores=0-7
/proc/10305/task/10308/stat : 10308 (java) S 10303 10303 8752 0 -1 1077944384 120 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140116332358800 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10309] ppid=10303 vsize=28766280 memory=0 CPUtime=0.03 cores=0-7
/proc/10305/task/10309/stat : 10309 (java) S 10303 10303 8752 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140116331305744 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10310] ppid=10303 vsize=28766280 memory=0 CPUtime=0.02 cores=0-7
/proc/10305/task/10310/stat : 10310 (java) S 10303 10303 8752 0 -1 1077944384 44 0 0 0 1 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140116330253200 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10311] ppid=10303 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/10305/task/10311/stat : 10311 (java) S 10303 10303 8752 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115960781328 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10312] ppid=10303 vsize=28766280 memory=57 CPUtime=0.03 cores=0-7
/proc/10305/task/10312/stat : 10312 (java) S 10303 10303 8752 0 -1 1077944384 25 0 0 0 2 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115959728784 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10313] ppid=10303 vsize=28766280 memory=6944656592387989600 CPUtime=0.04 cores=0-7
/proc/10305/task/10313/stat : 10313 (java) S 10303 10303 8752 0 -1 1077944384 52 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115958675728 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10314] ppid=10303 vsize=28766280 memory=6944656592387989600 CPUtime=0.04 cores=0-7
/proc/10305/task/10314/stat : 10314 (java) S 10303 10303 8752 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 28 0 418460710 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115957623184 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10315] ppid=10303 vsize=28766280 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/10305/task/10315/stat : 10315 (java) S 10303 10303 8752 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 418460711 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115798211312 140116413569666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10316] ppid=10303 vsize=28766280 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/10305/task/10316/stat : 10316 (java) S 10303 10303 8752 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418460712 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115797157536 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10317] ppid=10303 vsize=28766280 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/10305/task/10317/stat : 10317 (java) S 10303 10303 8752 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418460712 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115796104432 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10318] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10318/stat : 10318 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115795053008 140116413577115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10319] ppid=10303 vsize=28766280 memory=0 CPUtime=1.08 cores=0-7
/proc/10305/task/10319/stat : 10319 (java) S 10303 10303 8752 0 -1 1077944384 2828 0 0 0 107 1 0 0 20 0 28 0 418460715 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115794000112 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10320] ppid=10303 vsize=28766280 memory=0 CPUtime=0.71 cores=0-7
/proc/10305/task/10320/stat : 10320 (java) R 10303 10303 8752 0 -1 4202560 2037 0 0 0 70 1 0 0 20 0 28 0 418460715 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115792937360 140116395079919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10321] ppid=10303 vsize=28766280 memory=0 CPUtime=0.91 cores=0-7
/proc/10305/task/10321/stat : 10321 (java) S 10303 10303 8752 0 -1 1077944384 2001 0 0 0 91 0 0 0 20 0 28 0 418460715 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115724724208 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10322] ppid=10303 vsize=28766280 memory=0 CPUtime=0.48 cores=0-7
/proc/10305/task/10322/stat : 10322 (java) S 10303 10303 8752 0 -1 1077944384 2220 0 0 0 48 0 0 0 20 0 28 0 418460715 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115723671664 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10323] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10323/stat : 10323 (java) S 10303 10303 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115722619872 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10324] ppid=10303 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/10305/task/10324/stat : 10324 (java) S 10303 10303 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460715 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115721567408 140116413569666 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10325] ppid=10303 vsize=28766280 memory=4959 CPUtime=1.04 cores=0-7
/proc/10305/task/10325/stat : 10325 (java) S 10303 10303 8752 0 -1 1077944384 54 0 0 0 104 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115712360304 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10326] ppid=10303 vsize=28766280 memory=2109984825836116 CPUtime=0.91 cores=0-7
/proc/10305/task/10326/stat : 10326 (java) S 10303 10303 8752 0 -1 1077944384 52 0 0 0 91 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115711309136 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10327] ppid=10303 vsize=28766280 memory=2 CPUtime=1.16 cores=0-7
/proc/10305/task/10327/stat : 10327 (java) R 10303 10303 8752 0 -1 4202560 60 0 0 0 116 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115710252632 140116015469622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10328] ppid=10303 vsize=28766280 memory=2 CPUtime=0.91 cores=0-7
/proc/10305/task/10328/stat : 10328 (java) S 10303 10303 8752 0 -1 1077944384 86 0 0 0 91 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115709203536 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10329] ppid=10303 vsize=28766280 memory=279268437262576 CPUtime=1.02 cores=0-7
/proc/10305/task/10329/stat : 10329 (java) S 10303 10303 8752 0 -1 1077944384 37 0 0 0 102 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115708150480 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10330] ppid=10303 vsize=28766280 memory=0 CPUtime=1.08 cores=0-7
/proc/10305/task/10330/stat : 10330 (java) S 10303 10303 8752 0 -1 1077944384 44 0 0 0 108 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115707097936 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10331] ppid=10303 vsize=28766280 memory=0 CPUtime=0.91 cores=0-7
/proc/10305/task/10331/stat : 10331 (java) S 10303 10303 8752 0 -1 1077944384 39 0 0 0 91 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115706045904 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
[pid=10305/tid=10332] ppid=10303 vsize=28766280 memory=0 CPUtime=0.92 cores=0-7
/proc/10305/task/10332/stat : 10332 (java) S 10303 10303 8752 0 -1 1077944384 43 0 0 0 92 0 0 0 20 0 28 0 418460773 29456670720 77395 33554432000 4194304 4196468 140728033139840 140115704993360 140116413568725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30412800 140728033141738 140728033141910 140728033141910 140728033144783 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 311032 KiB

Child status: 0
Real time (s): 2.16997
CPU time (s): 12.3595
CPU user time (s): 12.1131
CPU system time (s): 0.246453
CPU usage (%): 569.57
Max. virtual memory (cumulated for all children) (KiB): 28879408
Max. memory (cumulated for all children) (KiB): 311032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1131
system time used= 0.246453
maximum resident set size= 311604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3052
involuntary context switches= 349


# summary of solver processes directly reported to runsolver:
#   pid: 10303
#   total CPU time (s): 12.3595
#   total CPU user time (s): 12.1131
#   total CPU system time (s): 0.246453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039924 second user time and 0.065517 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-800-ca.xml
MD5SUM	bba643cbf375a501e11ba296082ede1c
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	2.78579
Satisfiable
(Un)Satisfiability was proved
Number of variables	800
Number of constraints	3
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":800}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":800}]
Minimum constraint arity	800
Maximum constraint arity	800
Distribution of constraint arities	[{"arity":800,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4393572

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
