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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	7	2400.75	605.117
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 (15054 MiB free)
  memory of node 1: 16384 MiB (14872 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394272-1568328492/watcher-4394272-1568328492 -o /tmp/evaluation-result-4394272-1568328492/solver-4394272-1568328492 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 678688739 HOME/instance-4394272-1568328492.xml 

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

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


[startup+0.100083 s]*
/proc/loadavg: 7.53 8.26 8.13 8/233 32235
/proc/meminfo: memFree=30629584/32770624 swapFree=66933624/67108860
[pid=32219] ppid=32216 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32219/stat : 32219 (xcsp3-exec) S 32216 32219 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409120667 115843072 362 33554432000 4194304 5098028 140728880692496 140728880690600 139922928878204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12611584 140728880698235 140728880698477 140728880698477 140728880701386 0
/proc/32219/statm: 28282 362 304 221 0 87 0
[pid=32221] ppid=32219 vsize=15144768 memory=29624 CPUtime=0.13 cores=0,2,4,6
/proc/32221/stat : 32221 (java) S 32219 32219 25300 0 -1 1077944320 5841 0 0 0 12 1 0 0 20 0 15 0 409120667 15508242432 7406 33554432000 4194304 4196468 140735662932784 140735662915328 139670975139575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
/proc/32221/statm: 3786192 7406 3150 1 0 3748377 0
[pid=32221/tid=32222] ppid=32219 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32221/task/32222/stat : 32222 (java) R 32219 32219 25300 0 -1 4202560 3716 0 0 0 9 0 0 0 20 0 15 0 409120667 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670979372640 139670975161501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32223] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32223/stat : 32223 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670567442960 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32224] ppid=32219 vsize=15144768 memory=140475047106176 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32224/stat : 32224 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670566390416 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32225] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32225/stat : 32225 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670565337360 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32226] ppid=32219 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32226/stat : 32226 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670564284816 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32227] ppid=32219 vsize=15144768 memory=140475047106176 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32227/stat : 32227 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120670 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670443727600 139670975150722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32228] ppid=32219 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32228/stat : 32228 (java) S 32219 32219 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409120670 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670442673824 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32229] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32229/stat : 32229 (java) S 32219 32219 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409120670 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670441620720 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32230] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32230/stat : 32230 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670440569296 139670975158171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32231] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32231/stat : 32231 (java) R 32219 32219 25300 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670439516400 139670975150722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32232] ppid=32219 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32232/stat : 32232 (java) R 32219 32219 25300 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670438463856 139670952972432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32233] ppid=32219 vsize=15144768 memory=140475047106176 CPUtime=0.02 cores=0,2,4,6
/proc/32221/task/32233/stat : 32233 (java) S 32219 32219 25300 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 409120673 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670437410800 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32234] ppid=32219 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32234/stat : 32234 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670436358496 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32235] ppid=32219 vsize=15144768 memory=140475047106176 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32235/stat : 32235 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 7406 33554432000 4194304 4196468 140735662932784 139670435306544 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31072 KiB

[startup+0.210782 s]*
/proc/loadavg: 7.53 8.26 8.13 7/233 32235
/proc/meminfo: memFree=30616964/32770624 swapFree=66933624/67108860
[pid=32219] ppid=32216 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32219/stat : 32219 (xcsp3-exec) S 32216 32219 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409120667 115843072 362 33554432000 4194304 5098028 140728880692496 140728880690600 139922928878204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12611584 140728880698235 140728880698477 140728880698477 140728880701386 0
/proc/32219/statm: 28282 362 304 221 0 87 0
[pid=32221] ppid=32219 vsize=15144768 memory=40984 CPUtime=0.34 cores=0,2,4,6
/proc/32221/stat : 32221 (java) S 32219 32219 25300 0 -1 1077944320 9457 0 0 0 31 3 0 0 20 0 15 0 409120667 15508242432 10246 33554432000 4194304 4196468 140735662932784 140735662915328 139670975139575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
/proc/32221/statm: 3786192 10246 3298 1 0 3748377 0
[pid=32221/tid=32222] ppid=32219 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32221/task/32222/stat : 32222 (java) R 32219 32219 25300 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 15 0 409120667 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670979376336 139670967817589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32223] ppid=32219 vsize=15144768 memory=2964501 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32223/stat : 32223 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670567442960 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32224] ppid=32219 vsize=15144768 memory=288370851198817920 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32224/stat : 32224 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670566390416 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32225] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32225/stat : 32225 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670565337360 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32226] ppid=32219 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32226/stat : 32226 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670564284816 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32227] ppid=32219 vsize=15144768 memory=140475047106176 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32227/stat : 32227 (java) S 32219 32219 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409120670 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670443727600 139670975150722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32228] ppid=32219 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32228/stat : 32228 (java) S 32219 32219 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409120670 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670442673824 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32229] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32229/stat : 32229 (java) S 32219 32219 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409120670 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670441620720 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32230] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32230/stat : 32230 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670440569296 139670975158171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32231] ppid=32219 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32221/task/32231/stat : 32231 (java) S 32219 32219 25300 0 -1 1077944384 687 0 0 0 3 0 0 0 20 0 15 0 409120673 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670439516400 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32232] ppid=32219 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32221/task/32232/stat : 32232 (java) S 32219 32219 25300 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 15 0 409120673 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670438463856 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32233] ppid=32219 vsize=15144768 memory=140475047106176 CPUtime=0.08 cores=0,2,4,6
/proc/32221/task/32233/stat : 32233 (java) R 32219 32219 25300 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 409120673 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670437410800 139670975160922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32234] ppid=32219 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32234/stat : 32234 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670436358496 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32235] ppid=32219 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32235/stat : 32235 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120673 15508242432 10246 33554432000 4194304 4196468 140735662932784 139670435306544 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42432 KiB

[startup+0.31645 s]*
/proc/loadavg: 7.53 8.26 8.13 7/233 32235
/proc/meminfo: memFree=30609436/32770624 swapFree=66933624/67108860
[pid=32219] ppid=32216 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32219/stat : 32219 (xcsp3-exec) S 32216 32219 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409120667 115843072 362 33554432000 4194304 5098028 140728880692496 140728880690600 139922928878204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12611584 140728880698235 140728880698477 140728880698477 140728880701386 0
/proc/32219/statm: 28282 362 304 221 0 87 0
[pid=32221] ppid=32219 vsize=15149024 memory=50312 CPUtime=0.53 cores=0,2,4,6
/proc/32221/stat : 32221 (java) S 32219 32219 25300 0 -1 1077944320 10921 0 0 0 50 3 0 0 20 0 15 0 409120667 15512600576 12578 33554432000 4194304 4196468 140735662932784 140735662915328 139670975139575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
/proc/32221/statm: 3787256 12578 3348 1 0 3748377 0
[pid=32221/tid=32222] ppid=32219 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/32221/task/32222/stat : 32222 (java) R 32219 32219 25300 0 -1 4202560 7881 0 0 0 28 2 0 0 20 0 15 0 409120667 15512600576 12578 33554432000 4194304 4196468 140735662932784 139670979370688 139670959220062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32223] ppid=32219 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32223/stat : 32223 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15512600576 12578 33554432000 4194304 4196468 140735662932784 139670567442960 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32224] ppid=32219 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32224/stat : 32224 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15512600576 12578 33554432000 4194304 4196468 140735662932784 139670566390416 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32225] ppid=32219 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32225/stat : 32225 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15512600576 12578 33554432000 4194304 4196468 140735662932784 139670565337360 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32226] ppid=32219 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32226/stat : 32226 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15512600576 12578 33554432000 4194304 4196468 140735662932784 139670564284816 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32227] ppid=32219 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32227/stat : 32227 (java) S 32219 32219 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409120670 15512600576 12578 33554432000 4194304 4196468 140735662932784 139670443727600 139670975150722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32228] ppid=32219 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32228/stat : 32228 (java) S 32219 32219 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409120670 15512600576 12578 33554432000 4194304 4196468 140735662932784 139670442673824 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32229] ppid=32219 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32229/stat : 32229 (java) S 32219 32219 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409120670 15512600576 12586 33554432000 4194304 4196468 140735662932784 139670441620720 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32230] ppid=32219 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32230/stat : 32230 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15512600576 12586 33554432000 4194304 4196468 140735662932784 139670440569296 139670975158171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32231] ppid=32219 vsize=15149024 memory=4426078206164241782 CPUtime=0.06 cores=0,2,4,6
/proc/32221/task/32231/stat : 32231 (java) S 32219 32219 25300 0 -1 1077944384 777 0 0 0 6 0 0 0 20 0 15 0 409120673 15512600576 12586 33554432000 4194304 4196468 140735662932784 139670439516400 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32232] ppid=32219 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32221/task/32232/stat : 32232 (java) S 32219 32219 25300 0 -1 1077944384 124 0 0 0 3 0 0 0 20 0 15 0 409120673 15512600576 12586 33554432000 4194304 4196468 140735662932784 139670438463856 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32233] ppid=32219 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32221/task/32233/stat : 32233 (java) S 32219 32219 25300 0 -1 1077944384 834 0 0 0 12 0 0 0 20 0 15 0 409120673 15512600576 12586 33554432000 4194304 4196468 140735662932784 139670437410800 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32234] ppid=32219 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32234/stat : 32234 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15512600576 12586 33554432000 4194304 4196468 140735662932784 139670436358496 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32235] ppid=32219 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32235/stat : 32235 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120673 15512600576 12586 33554432000 4194304 4196468 140735662932784 139670435306544 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51760 KiB

[startup+0.701237 s]
/proc/loadavg: 7.53 8.26 8.13 10/233 32235
/proc/meminfo: memFree=30589140/32770624 swapFree=66933624/67108860
[pid=32219] ppid=32216 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32219/stat : 32219 (xcsp3-exec) S 32216 32219 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409120667 115843072 362 33554432000 4194304 5098028 140728880692496 140728880690600 139922928878204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12611584 140728880698235 140728880698477 140728880698477 140728880701386 0
/proc/32219/statm: 28282 362 304 221 0 87 0
[pid=32221] ppid=32219 vsize=15151148 memory=101712 CPUtime=1.77 cores=0,2,4,6
/proc/32221/stat : 32221 (java) S 32219 32219 25300 0 -1 1077944320 14008 0 0 0 173 4 0 0 20 0 15 0 409120667 15514775552 25428 33554432000 4194304 4196468 140735662932784 140735662915328 139670975139575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
/proc/32221/statm: 3787787 25428 3447 1 0 3748889 0
[pid=32221/tid=32222] ppid=32219 vsize=15151148 memory=20204 CPUtime=0.67 cores=0,2,4,6
/proc/32221/task/32222/stat : 32222 (java) R 32219 32219 25300 0 -1 1077944384 8418 0 0 0 64 3 0 0 20 0 15 0 409120667 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670979365408 139670975149781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32223] ppid=32219 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32223/stat : 32223 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670567442960 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32224] ppid=32219 vsize=15151148 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32224/stat : 32224 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670566390416 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32225] ppid=32219 vsize=15151148 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32225/stat : 32225 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120668 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670565337360 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32226] ppid=32219 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32226/stat : 32226 (java) S 32219 32219 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409120668 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670564284816 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32227] ppid=32219 vsize=15151148 memory=976 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32227/stat : 32227 (java) S 32219 32219 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409120670 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670443727600 139670975150722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32228] ppid=32219 vsize=15151148 memory=772 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32228/stat : 32228 (java) S 32219 32219 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409120670 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670442673824 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32229] ppid=32219 vsize=15151148 memory=3932 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32229/stat : 32229 (java) S 32219 32219 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409120670 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670441620720 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32230] ppid=32219 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32230/stat : 32230 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670440569296 139670975158171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32231] ppid=32219 vsize=15151148 memory=1548 CPUtime=0.38 cores=0,2,4,6
/proc/32221/task/32231/stat : 32231 (java) R 32219 32219 25300 0 -1 4202560 1562 0 0 0 38 0 0 0 20 0 15 0 409120673 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670439503840 139670960069052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32232] ppid=32219 vsize=15151148 memory=1056 CPUtime=0.36 cores=0,2,4,6
/proc/32221/task/32232/stat : 32232 (java) S 32219 32219 25300 0 -1 1077944384 1010 0 0 0 36 0 0 0 20 0 15 0 409120673 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670438450640 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32233] ppid=32219 vsize=15151148 memory=744 CPUtime=0.34 cores=0,2,4,6
/proc/32221/task/32233/stat : 32233 (java) R 32219 32219 25300 0 -1 4202560 1712 0 0 0 34 0 0 0 20 0 15 0 409120673 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670437410800 139670968236411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32234] ppid=32219 vsize=15151148 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32234/stat : 32234 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409120673 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670436358496 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32235] ppid=32219 vsize=15151148 memory=5952 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32235/stat : 32235 (java) S 32219 32219 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409120673 15514775552 25428 33554432000 4194304 4196468 140735662932784 139670435306544 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 103160 KiB

[startup+1.50145 s]
/proc/loadavg: 7.53 8.26 8.13 6/234 32237
/proc/meminfo: memFree=30511428/32770624 swapFree=66933624/67108860
[pid=32219] ppid=32216 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32219/stat : 32219 (xcsp3-exec) S 32216 32219 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409120667 115843072 362 33554432000 4194304 5098028 140728880692496 140728880690600 139922928878204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12611584 140728880698235 140728880698477 140728880698477 140728880701386 0
/proc/32219/statm: 28282 362 304 221 0 87 0

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

/proc/32221/stat : 32221 (java) S 32219 32219 25300 0 -1 1077944320 96226 0 0 0 207167 95 0 0 20 0 19 0 409120667 15790571520 234434 33554432000 4194304 4196468 140735662932784 140735662915328 139670975139575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
/proc/32221/statm: 3855120 234434 3538 1 0 3816222 0
[pid=32221/tid=32222] ppid=32219 vsize=15420480 memory=937736 CPUtime=1.99 cores=0,2,4,6
/proc/32221/task/32222/stat : 32222 (java) S 32219 32219 25300 0 -1 1077944384 11037 0 0 0 194 5 0 0 20 0 19 0 409120667 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670979380352 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32223] ppid=32219 vsize=15420480 memory=1448 CPUtime=0.92 cores=0,2,4,6
/proc/32221/task/32223/stat : 32223 (java) S 32219 32219 25300 0 -1 1077944384 3699 0 0 0 85 7 0 0 20 0 19 0 409120668 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670567442960 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32224] ppid=32219 vsize=15420480 memory=937736 CPUtime=0.91 cores=0,2,4,6
/proc/32221/task/32224/stat : 32224 (java) S 32219 32219 25300 0 -1 1077944384 2214 0 0 0 86 5 0 0 20 0 19 0 409120668 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670566390416 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32225] ppid=32219 vsize=15420480 memory=937736 CPUtime=0.92 cores=0,2,4,6
/proc/32221/task/32225/stat : 32225 (java) S 32219 32219 25300 0 -1 1077944384 4184 0 0 0 85 7 0 0 20 0 19 0 409120668 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670565337360 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32226] ppid=32219 vsize=15420480 memory=1448 CPUtime=0.92 cores=0,2,4,6
/proc/32221/task/32226/stat : 32226 (java) S 32219 32219 25300 0 -1 1077944384 4524 0 0 0 86 6 0 0 20 0 19 0 409120668 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670564284816 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32227] ppid=32219 vsize=15420480 memory=1448 CPUtime=0.85 cores=0,2,4,6
/proc/32221/task/32227/stat : 32227 (java) S 32219 32219 25300 0 -1 1077944384 4650 0 0 0 45 40 0 0 20 0 19 0 409120670 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670443727600 139670975150722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32228] ppid=32219 vsize=15420480 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32228/stat : 32228 (java) S 32219 32219 25300 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 409120670 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670442673888 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32229] ppid=32219 vsize=15420480 memory=937736 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32229/stat : 32229 (java) S 32219 32219 25300 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 409120670 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670441620736 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32230] ppid=32219 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32230/stat : 32230 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409120673 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670440569296 139670975158171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32231] ppid=32219 vsize=15420480 memory=1448 CPUtime=3.92 cores=0,2,4,6
/proc/32221/task/32231/stat : 32231 (java) S 32219 32219 25300 0 -1 1077944384 15285 0 0 0 391 1 0 0 20 0 19 0 409120673 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670439516400 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32232] ppid=32219 vsize=15420480 memory=922816 CPUtime=3.94 cores=0,2,4,6
/proc/32221/task/32232/stat : 32232 (java) S 32219 32219 25300 0 -1 1077944384 16009 0 0 0 393 1 0 0 20 0 19 0 409120673 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670438463856 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32233] ppid=32219 vsize=15420480 memory=91 CPUtime=0.9 cores=0,2,4,6
/proc/32221/task/32233/stat : 32233 (java) S 32219 32219 25300 0 -1 1077944384 8827 0 0 0 89 1 0 0 20 0 19 0 409120673 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670437410800 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32234] ppid=32219 vsize=15420480 memory=91 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32234/stat : 32234 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409120673 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670436358496 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32235] ppid=32219 vsize=15420480 memory=1448 CPUtime=0.16 cores=0,2,4,6
/proc/32221/task/32235/stat : 32235 (java) S 32219 32219 25300 0 -1 1077944384 844 0 0 0 0 16 0 0 20 0 19 0 409120673 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670435306544 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32267] ppid=32219 vsize=15420480 memory=1448 CPUtime=427.78 cores=0,2,4,6
/proc/32221/task/32267/stat : 32267 (java) R 32219 32219 25300 0 -1 4202560 1168 0 0 0 42778 0 0 0 20 0 19 0 409129707 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670425042392 139670615728993 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32268] ppid=32219 vsize=15420480 memory=1448 CPUtime=427.53 cores=0,2,4,6
/proc/32221/task/32268/stat : 32268 (java) R 32219 32219 25300 0 -1 4202560 4887 0 0 0 42751 2 0 0 20 0 19 0 409129707 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670419788056 139670615296016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32269] ppid=32219 vsize=15420480 memory=923364 CPUtime=427.35 cores=0,2,4,6
/proc/32221/task/32269/stat : 32269 (java) R 32219 32219 25300 0 -1 4202560 6962 0 0 0 42733 2 0 0 20 0 19 0 409129707 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670422939984 139670615729314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32270] ppid=32219 vsize=15420480 memory=937736 CPUtime=428.64 cores=0,2,4,6
/proc/32221/task/32270/stat : 32270 (java) R 32219 32219 25300 0 -1 4202560 1229 0 0 0 42864 0 0 0 20 0 19 0 409129707 15790571520 234434 33554432000 4194304 4196468 140735662932784 139670423989888 139670618009408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
Current children cumulated CPU time: 2072.62 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 939184 KiB

[startup+582.301 s]
/proc/loadavg: 8.23 8.38 8.26 9/238 454
/proc/meminfo: memFree=30058712/32770624 swapFree=66933636/67108860
[pid=32219] ppid=32216 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32219/stat : 32219 (xcsp3-exec) S 32216 32219 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409120667 115843072 362 33554432000 4194304 5098028 140728880692496 140728880690600 139922928878204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12611584 140728880698235 140728880698477 140728880698477 140728880701386 0
/proc/32219/statm: 28282 362 304 221 0 87 0
[pid=32221] ppid=32219 vsize=15420480 memory=994052 CPUtime=2310.41 cores=0,2,4,6
/proc/32221/stat : 32221 (java) S 32219 32219 25300 0 -1 1077944320 99085 0 0 0 230930 111 0 0 20 0 19 0 409120667 15790571520 248513 33554432000 4194304 4196468 140735662932784 140735662915328 139670975139575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
/proc/32221/statm: 3855120 248513 3538 1 0 3816222 0
[pid=32221/tid=32222] ppid=32219 vsize=15420480 memory=1448 CPUtime=1.99 cores=0,2,4,6
/proc/32221/task/32222/stat : 32222 (java) S 32219 32219 25300 0 -1 1077944384 11037 0 0 0 194 5 0 0 20 0 19 0 409120667 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670979380352 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32223] ppid=32219 vsize=15420480 memory=993996 CPUtime=1.17 cores=0,2,4,6
/proc/32221/task/32223/stat : 32223 (java) S 32219 32219 25300 0 -1 1077944384 4231 0 0 0 109 8 0 0 20 0 19 0 409120668 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670567442960 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32224] ppid=32219 vsize=15420480 memory=3620 CPUtime=1.16 cores=0,2,4,6
/proc/32221/task/32224/stat : 32224 (java) S 32219 32219 25300 0 -1 1077944384 2586 0 0 0 110 6 0 0 20 0 19 0 409120668 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670566390416 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32225] ppid=32219 vsize=15420480 memory=1448 CPUtime=1.17 cores=0,2,4,6
/proc/32221/task/32225/stat : 32225 (java) S 32219 32219 25300 0 -1 1077944384 4291 0 0 0 109 8 0 0 20 0 19 0 409120668 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670565337360 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32226] ppid=32219 vsize=15420480 memory=903980 CPUtime=1.17 cores=0,2,4,6
/proc/32221/task/32226/stat : 32226 (java) S 32219 32219 25300 0 -1 1077944384 4686 0 0 0 110 7 0 0 20 0 19 0 409120668 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670564284816 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32227] ppid=32219 vsize=15420480 memory=993872 CPUtime=1.07 cores=0,2,4,6
/proc/32221/task/32227/stat : 32227 (java) S 32219 32219 25300 0 -1 1077944384 4944 0 0 0 56 51 0 0 20 0 19 0 409120670 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670443727600 139670975150722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32228] ppid=32219 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32228/stat : 32228 (java) S 32219 32219 25300 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 409120670 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670442673888 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32229] ppid=32219 vsize=15420480 memory=970960 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32229/stat : 32229 (java) S 32219 32219 25300 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 409120670 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670441620736 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32230] ppid=32219 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32230/stat : 32230 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409120673 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670440569296 139670975158171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32231] ppid=32219 vsize=15420480 memory=1448 CPUtime=3.92 cores=0,2,4,6
/proc/32221/task/32231/stat : 32231 (java) S 32219 32219 25300 0 -1 1077944384 15871 0 0 0 391 1 0 0 20 0 19 0 409120673 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670439516400 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32232] ppid=32219 vsize=15420480 memory=1448 CPUtime=3.94 cores=0,2,4,6
/proc/32221/task/32232/stat : 32232 (java) S 32219 32219 25300 0 -1 1077944384 16012 0 0 0 393 1 0 0 20 0 19 0 409120673 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670438463856 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32233] ppid=32219 vsize=15420480 memory=991776 CPUtime=0.9 cores=0,2,4,6
/proc/32221/task/32233/stat : 32233 (java) S 32219 32219 25300 0 -1 1077944384 8829 0 0 0 89 1 0 0 20 0 19 0 409120673 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670437410800 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32234] ppid=32219 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32234/stat : 32234 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409120673 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670436358496 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32235] ppid=32219 vsize=15420480 memory=993872 CPUtime=0.19 cores=0,2,4,6
/proc/32221/task/32235/stat : 32235 (java) S 32219 32219 25300 0 -1 1077944384 866 0 0 0 0 19 0 0 20 0 19 0 409120673 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670435306544 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32267] ppid=32219 vsize=15420480 memory=1448 CPUtime=487.03 cores=0,2,4,6
/proc/32221/task/32267/stat : 32267 (java) R 32219 32219 25300 0 -1 4202560 1281 0 0 0 48701 2 0 0 20 0 19 0 409129707 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670425042520 139670616935463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32268] ppid=32219 vsize=15420480 memory=993872 CPUtime=486.51 cores=0,2,4,6
/proc/32221/task/32268/stat : 32268 (java) R 32219 32219 25300 0 -1 4202560 5158 0 0 0 48649 2 0 0 20 0 19 0 409129707 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670419790800 139670618009807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32269] ppid=32219 vsize=15420480 memory=1448 CPUtime=486.35 cores=0,2,4,6
/proc/32221/task/32269/stat : 32269 (java) R 32219 32219 25300 0 -1 4202560 7261 0 0 0 48633 2 0 0 20 0 19 0 409129707 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670422938632 139670616920453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32270] ppid=32219 vsize=15420480 memory=1448 CPUtime=487.95 cores=0,2,4,6
/proc/32221/task/32270/stat : 32270 (java) R 32219 32219 25300 0 -1 4202560 1325 0 0 0 48794 1 0 0 20 0 19 0 409129707 15790571520 248513 33554432000 4194304 4196468 140735662932784 139670423989888 139670618009363 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
Current children cumulated CPU time: 2310.41 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 995500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+605.001 s]*
/proc/loadavg: 8.24 8.37 8.26 9/238 461
/proc/meminfo: memFree=30023192/32770624 swapFree=66933636/67108860
[pid=32219] ppid=32216 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32219/stat : 32219 (xcsp3-exec) S 32216 32219 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409120667 115843072 362 33554432000 4194304 5098028 140728880692496 140728880690600 139922928878204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12611584 140728880698235 140728880698477 140728880698477 140728880701386 0
/proc/32219/statm: 28282 362 304 221 0 87 0
[pid=32221] ppid=32219 vsize=15420480 memory=1018648 CPUtime=2400.36 cores=0,2,4,6
/proc/32221/stat : 32221 (java) S 32219 32219 25300 0 -1 1077944320 99695 0 0 0 239918 118 0 0 20 0 19 0 409120667 15790571520 254662 33554432000 4194304 4196468 140735662932784 140735662915328 139670975139575 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
/proc/32221/statm: 3855120 254662 3538 1 0 3816222 0
[pid=32221/tid=32222] ppid=32219 vsize=15420480 memory=6791534058613427641 CPUtime=1.99 cores=0,2,4,6
/proc/32221/task/32222/stat : 32222 (java) S 32219 32219 25300 0 -1 1077944384 11037 0 0 0 194 5 0 0 20 0 19 0 409120667 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670979380352 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32223] ppid=32219 vsize=15420480 memory=1804 CPUtime=1.29 cores=0,2,4,6
/proc/32221/task/32223/stat : 32223 (java) S 32219 32219 25300 0 -1 1077944384 4291 0 0 0 121 8 0 0 20 0 19 0 409120668 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670567442960 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32224] ppid=32219 vsize=15420480 memory=916 CPUtime=1.28 cores=0,2,4,6
/proc/32221/task/32224/stat : 32224 (java) S 32219 32219 25300 0 -1 1077944384 2647 0 0 0 122 6 0 0 20 0 19 0 409120668 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670566390416 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32225] ppid=32219 vsize=15420480 memory=3848 CPUtime=1.29 cores=0,2,4,6
/proc/32221/task/32225/stat : 32225 (java) S 32219 32219 25300 0 -1 1077944384 4346 0 0 0 121 8 0 0 20 0 19 0 409120668 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670565337360 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32226] ppid=32219 vsize=15420480 memory=2928 CPUtime=1.29 cores=0,2,4,6
/proc/32221/task/32226/stat : 32226 (java) S 32219 32219 25300 0 -1 1077944384 4735 0 0 0 122 7 0 0 20 0 19 0 409120668 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670564284816 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32227] ppid=32219 vsize=15420480 memory=2672 CPUtime=1.19 cores=0,2,4,6
/proc/32221/task/32227/stat : 32227 (java) S 32219 32219 25300 0 -1 1077944384 5108 0 0 0 61 58 0 0 20 0 19 0 409120670 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670443727600 139670975150722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32228] ppid=32219 vsize=15420480 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32228/stat : 32228 (java) S 32219 32219 25300 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 409120670 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670442673888 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32229] ppid=32219 vsize=15420480 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32229/stat : 32229 (java) S 32219 32219 25300 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 409120670 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670441620736 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32230] ppid=32219 vsize=15420480 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32230/stat : 32230 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409120673 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670440569296 139670975158171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32231] ppid=32219 vsize=15420480 memory=6226065309387549032 CPUtime=3.92 cores=0,2,4,6
/proc/32221/task/32231/stat : 32231 (java) S 32219 32219 25300 0 -1 1077944384 15871 0 0 0 391 1 0 0 20 0 19 0 409120673 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670439516400 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32232] ppid=32219 vsize=15420480 memory=7955160589063841645 CPUtime=3.94 cores=0,2,4,6
/proc/32221/task/32232/stat : 32232 (java) S 32219 32219 25300 0 -1 1077944384 16012 0 0 0 393 1 0 0 20 0 19 0 409120673 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670438463856 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32233] ppid=32219 vsize=15420480 memory=5933043278724885865 CPUtime=0.9 cores=0,2,4,6
/proc/32221/task/32233/stat : 32233 (java) S 32219 32219 25300 0 -1 1077944384 8830 0 0 0 89 1 0 0 20 0 19 0 409120673 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670437410800 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32234] ppid=32219 vsize=15420480 memory=7236549399108346984 CPUtime=0 cores=0,2,4,6
/proc/32221/task/32234/stat : 32234 (java) S 32219 32219 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409120673 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670436358496 139670975149781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32235] ppid=32219 vsize=15420480 memory=7236549399108346984 CPUtime=0.2 cores=0,2,4,6
/proc/32221/task/32235/stat : 32235 (java) S 32219 32219 25300 0 -1 1077944384 877 0 0 0 0 20 0 0 20 0 19 0 409120673 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670435306544 139670975150722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32267] ppid=32219 vsize=15420480 memory=7236549399108346984 CPUtime=509.35 cores=0,2,4,6
/proc/32221/task/32267/stat : 32267 (java) R 32219 32219 25300 0 -1 4202560 1324 0 0 0 50933 2 0 0 20 0 19 0 409129707 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670425042408 139670615992645 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32268] ppid=32219 vsize=15420480 memory=7236549399108346984 CPUtime=508.83 cores=0,2,4,6
/proc/32221/task/32268/stat : 32268 (java) R 32219 32219 25300 0 -1 4202560 5229 0 0 0 50881 2 0 0 20 0 19 0 409129707 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670419790784 139670617668095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32269] ppid=32219 vsize=15420480 memory=7156594107469685609 CPUtime=508.61 cores=0,2,4,6
/proc/32221/task/32269/stat : 32269 (java) R 32219 32219 25300 0 -1 4202560 7308 0 0 0 50859 2 0 0 20 0 19 0 409129707 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670422937992 139670615992645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
[pid=32221/tid=32270] ppid=32219 vsize=15420480 memory=7595391571552921458 CPUtime=510.39 cores=0,2,4,6
/proc/32221/task/32270/stat : 32270 (java) R 32219 32219 25300 0 -1 4202560 1373 0 0 0 51038 1 0 0 20 0 19 0 409129707 15790571520 254662 33554432000 4194304 4196468 140735662932784 139670423990000 139670618009583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27467776 140735662941167 140735662941338 140735662941338 140735662944207 0
Current children cumulated CPU time: 2400.36 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 1020096 KiB

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

[startup+605.03 s]
# the end of solver process 32219 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002337 s, system=0 s

[startup+605.117 s]
# the end of solver process 32221 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.55 s, system=1.1958 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 605.117
CPU time (s): 2400.75
CPU user time (s): 2399.55
CPU system time (s): 1.1958
CPU usage (%): 396.741
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 1173404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.55
system time used= 1.1958
maximum resident set size= 1171956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30066
involuntary context switches= 39661


# summary of solver processes directly reported to runsolver:
#   pid: 32219,32221
#   total CPU time (s): 2400.75
#   total CPU user time (s): 2399.55
#   total CPU system time (s): 1.1958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.85674 second user time and 6.91504 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
