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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	40	2520.1001	2506.22
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 (15321 MiB free)
  memory of node 1: 16384 MiB (15200 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281868-1503109211/watcher-4281868-1503109211 -o /tmp/evaluation-result-4281868-1503109211/solver-4281868-1503109211 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8615 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1315420880 HOME/instance-4281868-1503109211.xml 

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

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

solver pid=10547, runsolver pid=10544

[startup+0.100109 s]*
/proc/loadavg: 1.57 1.58 1.64 6/198 10550
/proc/meminfo: memFree=31214684/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13358712 memory=15888 CPUtime=0.01 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 3240 0 0 0 1 0 0 0 20 0 6 0 113116188 13679321088 3972 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3339678 3972 1867 1 0 3329175 0
[pid=10549/tid=10550] ppid=10547 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 2022 0 0 0 0 0 0 0 20 0 6 0 113116188 13679321088 3972 18446744073709551615 4194304 4196468 140723004126016 140225935311440 140225916757811 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113116189 13679321088 3972 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13358712 memory=140630383433344 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 113116189 13679321088 3972 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113116189 13679321088 3972 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 113116189 13679321088 3972 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17268 KiB

[startup+0.209977 s]*
/proc/loadavg: 1.57 1.58 1.64 6/211 10563
/proc/meminfo: memFree=31204124/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13974352 memory=26644 CPUtime=0.09 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 5079 0 0 0 9 0 0 0 20 0 15 0 113116188 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3493588 6661 2750 1 0 3482964 0
[pid=10549/tid=10550] ppid=10547 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 3213 0 0 0 7 0 0 0 20 0 15 0 113116188 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225935279456 140225931097245 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13974352 memory=140630384485273 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10555] ppid=10547 vsize=13974352 memory=140630383433344 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116190 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225409399536 140225931086466 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10556] ppid=10547 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10547 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113116190 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225408345760 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10557] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10547 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113116191 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225407292656 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10558] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225406241232 140225931093915 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10559] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10547 8557 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 113116193 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225405188336 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10560] ppid=10547 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10547 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113116193 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225404135792 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10561] ppid=10547 vsize=13974352 memory=140630383433344 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) R 10547 10547 8557 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 15 0 113116193 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225403082736 140225931096666 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10562] ppid=10547 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225402030432 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10563] ppid=10547 vsize=13974352 memory=140630383433344 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10563/stat : 10563 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116197 14309736448 6661 18446744073709551615 4194304 4196468 140723004126016 140225400978480 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28024 KiB

[startup+0.310269 s]*
/proc/loadavg: 1.57 1.58 1.64 7/211 10563
/proc/meminfo: memFree=31188808/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13974352 memory=37356 CPUtime=0.28 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 8861 0 0 0 26 2 0 0 20 0 15 0 113116188 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3493588 9339 2986 1 0 3482964 0
[pid=10549/tid=10550] ppid=10547 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 6066 0 0 0 15 1 0 0 20 0 15 0 113116188 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225935309200 140225931097245 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116189 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10555] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116190 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225409399536 140225931086466 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10556] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10547 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113116190 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225408345760 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10557] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10547 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113116191 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225407292656 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10558] ppid=10547 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225406241232 140225931093915 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10559] ppid=10547 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10547 8557 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 113116193 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225405188336 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10560] ppid=10547 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10547 8557 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 113116193 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225404135792 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10561] ppid=10547 vsize=13974352 memory=140630383433344 CPUtime=0.06 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) R 10547 10547 8557 0 -1 4202560 743 0 0 0 6 0 0 0 20 0 15 0 113116193 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225403082736 140225916240912 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10562] ppid=10547 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225402030432 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10563] ppid=10547 vsize=13974352 memory=140630383433344 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10563/stat : 10563 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116197 14309736448 9339 18446744073709551615 4194304 4196468 140723004126016 140225400978480 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38736 KiB

[startup+0.702217 s]
/proc/loadavg: 1.57 1.58 1.64 8/211 10563
/proc/meminfo: memFree=31168912/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13978684 memory=81388 CPUtime=1.28 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 12985 0 0 0 124 4 0 0 20 0 15 0 113116188 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3494671 20347 3148 1 0 3482964 0
[pid=10549/tid=10550] ppid=10547 vsize=13978684 memory=281260496921048 CPUtime=0.55 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 7811 0 0 0 52 3 0 0 20 0 15 0 113116188 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225935310248 140225531747117 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116189 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116189 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13978684 memory=281260497037376 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116189 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13978684 memory=371 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113116189 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10555] ppid=10547 vsize=13978684 memory=738 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10547 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113116190 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225409399536 140225931086466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10556] ppid=10547 vsize=13978684 memory=517 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10547 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113116190 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225408345760 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10557] ppid=10547 vsize=13978684 memory=201 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10547 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113116191 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225407292656 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10558] ppid=10547 vsize=13978684 memory=3866 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225406241232 140225931093915 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10559] ppid=10547 vsize=13978684 memory=431 CPUtime=0.22 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) R 10547 10547 8557 0 -1 4202560 1623 0 0 0 22 0 0 0 20 0 15 0 113116193 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225405188336 140225915500341 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10560] ppid=10547 vsize=13978684 memory=6 CPUtime=0.23 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) R 10547 10547 8557 0 -1 4202560 727 0 0 0 23 0 0 0 20 0 15 0 113116193 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225404135792 140225910331114 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10561] ppid=10547 vsize=13978684 memory=59232 CPUtime=0.25 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) R 10547 10547 8557 0 -1 4202560 1516 0 0 0 25 0 0 0 20 0 15 0 113116193 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225403078464 140225916240872 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10562] ppid=10547 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225402030432 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10563] ppid=10547 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10563/stat : 10563 (java) S 10547 10547 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113116197 14314172416 20347 18446744073709551615 4194304 4196468 140723004126016 140225400978480 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 82768 KiB

[startup+1.5008 s]
/proc/loadavg: 1.57 1.58 1.64 7/211 10563
/proc/meminfo: memFree=31000368/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13980732 memory=230540 CPUtime=3.67 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 15513 0 0 0 356 11 0 0 20 0 15 0 113116188 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3495183 57635 3214 1 0 3483476 0
[pid=10549/tid=10550] ppid=10547 vsize=13980732 memory=281260497049824 CPUtime=1.28 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 8463 0 0 0 124 4 0 0 20 0 15 0 113116188 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140225935313056 140225537214195 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13980732 memory=140630248529632 CPUtime=0.04 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 138 0 0 0 3 1 0 0 20 0 15 0 113116189 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13980732 memory=140630248529664 CPUtime=0.04 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 15 0 113116189 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13980732 memory=140630248529696 CPUtime=0.01 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 113116189 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13980732 memory=371 CPUtime=0.03 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 70 0 0 0 3 0 0 0 20 0 15 0 113116189 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10555] ppid=10547 vsize=13980732 memory=738 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10547 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113116190 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140225409399536 140225931086466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10556] ppid=10547 vsize=13980732 memory=517 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10547 8557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113116190 14316269568 57635 18446744073709551615 4194304 4196468 140723004126016 140225408345824 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10557] ppid=10547 vsize=13980732 memory=201 CPUtime=0 cores=0,2,4,6

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

/proc/10549/task/10557/stat : 10557 (java) S 10547 10547 8557 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 113116191 14316269568 330668 18446744073709551615 4194304 4196468 140723004126016 140225407292672 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10558] ppid=10547 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 330668 18446744073709551615 4194304 4196468 140723004126016 140225406241232 140225931093915 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10559] ppid=10547 vsize=13980732 memory=1322668 CPUtime=2.96 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10547 8557 0 -1 1077944384 13333 0 0 0 294 2 0 0 20 0 15 0 113116193 14316269568 330668 18446744073709551615 4194304 4196468 140723004126016 140225405188336 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10560] ppid=10547 vsize=13980732 memory=1322672 CPUtime=3.03 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10547 8557 0 -1 1077944384 18335 0 0 0 300 3 0 0 20 0 15 0 113116193 14316269568 330668 18446744073709551615 4194304 4196468 140723004126016 140225404135792 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10561] ppid=10547 vsize=13980732 memory=4144 CPUtime=0.71 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) S 10547 10547 8557 0 -1 1077944384 12283 0 0 0 69 2 0 0 20 0 15 0 113116193 14316269568 330668 18446744073709551615 4194304 4196468 140723004126016 140225403082736 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10562] ppid=10547 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 330668 18446744073709551615 4194304 4196468 140723004126016 140225402030432 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10563] ppid=10547 vsize=13980732 memory=1322672 CPUtime=1.08 cores=0,2,4,6
/proc/10549/task/10563/stat : 10563 (java) S 10547 10547 8557 0 -1 1077944384 1919 0 0 0 48 60 0 0 20 0 15 0 113116197 14316269568 330668 18446744073709551615 4194304 4196468 140723004126016 140225400978480 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 2395.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1324052 KiB

[startup+2442.3 s]
/proc/loadavg: 1.35 1.29 1.36 3/211 10703
/proc/meminfo: memFree=28685656/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13980732 memory=1324788 CPUtime=2455.87 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 158970 0 0 0 245426 161 0 0 20 0 15 0 113116188 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3495183 331197 3244 1 0 3483476 0
[pid=10549/tid=10550] ppid=10547 vsize=13980732 memory=1324788 CPUtime=2436.08 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 51183 0 0 0 243581 27 0 0 20 0 15 0 113116188 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225935314992 140225537981827 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13980732 memory=1324788 CPUtime=2.62 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 9909 0 0 0 241 21 0 0 20 0 15 0 113116189 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13980732 memory=1324788 CPUtime=2.62 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 10526 0 0 0 243 19 0 0 20 0 15 0 113116189 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13980732 memory=1324788 CPUtime=2.6 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 12045 0 0 0 243 17 0 0 20 0 15 0 113116189 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13980732 memory=1380 CPUtime=2.61 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 10518 0 0 0 243 18 0 0 20 0 15 0 113116189 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10555] ppid=10547 vsize=13980732 memory=1380 CPUtime=1.46 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10547 8557 0 -1 1077944384 17102 0 0 0 131 15 0 0 20 0 15 0 113116190 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225409399536 140225931086466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10556] ppid=10547 vsize=13980732 memory=1324788 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10547 8557 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 113116190 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225408345824 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10557] ppid=10547 vsize=13980732 memory=1322688 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10547 8557 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 113116191 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225407292672 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10558] ppid=10547 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225406241232 140225931093915 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10559] ppid=10547 vsize=13980732 memory=1380 CPUtime=2.96 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10547 8557 0 -1 1077944384 13338 0 0 0 294 2 0 0 20 0 15 0 113116193 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225405188336 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10560] ppid=10547 vsize=13980732 memory=1380 CPUtime=3.03 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10547 8557 0 -1 1077944384 18340 0 0 0 300 3 0 0 20 0 15 0 113116193 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225404135792 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10561] ppid=10547 vsize=13980732 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) S 10547 10547 8557 0 -1 1077944384 12736 0 0 0 69 2 0 0 20 0 15 0 113116193 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225403082736 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10562] ppid=10547 vsize=13980732 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225402030432 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10563] ppid=10547 vsize=13980732 memory=61576 CPUtime=1.11 cores=0,2,4,6
/proc/10549/task/10563/stat : 10563 (java) S 10547 10547 8557 0 -1 1077944384 1962 0 0 0 49 62 0 0 20 0 15 0 113116197 14316269568 331197 18446744073709551615 4194304 4196468 140723004126016 140225400978480 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 2455.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1326168 KiB

[startup+2502.3 s]
/proc/loadavg: 1.62 1.36 1.38 3/211 10859
/proc/meminfo: memFree=29967972/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13980732 memory=1331104 CPUtime=2516.15 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 161901 0 0 0 251450 165 0 0 20 0 15 0 113116188 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3495183 332776 3244 1 0 3483476 0
[pid=10549/tid=10550] ppid=10547 vsize=13980732 memory=1331104 CPUtime=2495.86 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 52167 0 0 0 249558 28 0 0 20 0 15 0 113116188 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225935314880 140225537981845 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13980732 memory=1331104 CPUtime=2.71 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 10499 0 0 0 250 21 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13980732 memory=1380 CPUtime=2.72 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 10584 0 0 0 252 20 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13980732 memory=1331104 CPUtime=2.7 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 12701 0 0 0 253 17 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13980732 memory=0 CPUtime=2.71 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 10585 0 0 0 253 18 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10555] ppid=10547 vsize=13980732 memory=1331104 CPUtime=1.52 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10547 8557 0 -1 1077944384 17618 0 0 0 136 16 0 0 20 0 15 0 113116190 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225409399536 140225931086466 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10556] ppid=10547 vsize=13980732 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10547 8557 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 113116190 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225408345824 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10557] ppid=10547 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10547 8557 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 113116191 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225407292672 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10558] ppid=10547 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225406241232 140225931093915 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10559] ppid=10547 vsize=13980732 memory=-8774313645642428999 CPUtime=2.96 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10547 8557 0 -1 1077944384 13342 0 0 0 294 2 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225405188336 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10560] ppid=10547 vsize=13980732 memory=5768 CPUtime=3.03 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10547 8557 0 -1 1077944384 18346 0 0 0 300 3 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225404135792 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10561] ppid=10547 vsize=13980732 memory=-8774313645642428999 CPUtime=0.71 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) S 10547 10547 8557 0 -1 1077944384 12740 0 0 0 69 2 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225403082736 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10562] ppid=10547 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225402030432 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10563] ppid=10547 vsize=13980732 memory=1380 CPUtime=1.13 cores=0,2,4,6
/proc/10549/task/10563/stat : 10563 (java) S 10547 10547 8557 0 -1 1077944384 2008 0 0 0 50 63 0 0 20 0 15 0 113116197 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225400978480 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 2516.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1332484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.2 s]
/proc/loadavg: 1.65 1.37 1.38 3/211 10859
/proc/meminfo: memFree=29967648/32770624 swapFree=67105588/67108860
[pid=10547] ppid=10544 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10547/stat : 10547 (xcsp3-exec) S 10544 10547 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113116178 9740288 345 18446744073709551615 4194304 5098028 140731788546960 140731788545064 139845866369660 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 12152832 140731788550520 140731788550725 140731788550725 140731788554219 0
/proc/10547/statm: 2378 345 289 221 0 87 0
[pid=10549] ppid=10547 vsize=13980732 memory=1331104 CPUtime=2520.07 cores=0,2,4,6
/proc/10549/stat : 10549 (java) S 10547 10547 8557 0 -1 1077944320 162016 0 0 0 251842 165 0 0 20 0 15 0 113116188 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140723004108560 140225931075319 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
/proc/10549/statm: 3495183 332776 3244 1 0 3483476 0
[pid=10549/tid=10550] ppid=10547 vsize=13980732 memory=7525635276776890708 CPUtime=2499.75 cores=0,2,4,6
/proc/10549/task/10550/stat : 10550 (java) R 10547 10547 8557 0 -1 4202560 52180 0 0 0 249947 28 0 0 20 0 15 0 113116188 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225935314992 140225534638727 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10551] ppid=10547 vsize=13980732 memory=288230574492221466 CPUtime=2.72 cores=0,2,4,6
/proc/10549/task/10551/stat : 10551 (java) S 10547 10547 8557 0 -1 1077944384 10549 0 0 0 251 21 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225531603472 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10552] ppid=10547 vsize=13980732 memory=288230617509003574 CPUtime=2.73 cores=0,2,4,6
/proc/10549/task/10552/stat : 10552 (java) S 10547 10547 8557 0 -1 1077944384 10615 0 0 0 253 20 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225530550928 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10553] ppid=10547 vsize=13980732 memory=15540738687502695 CPUtime=2.71 cores=0,2,4,6
/proc/10549/task/10553/stat : 10553 (java) S 10547 10547 8557 0 -1 1077944384 12701 0 0 0 254 17 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225529497872 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10554] ppid=10547 vsize=13980732 memory=1156 CPUtime=2.71 cores=0,2,4,6
/proc/10549/task/10554/stat : 10554 (java) S 10547 10547 8557 0 -1 1077944384 10603 0 0 0 253 18 0 0 20 0 15 0 113116189 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225528445328 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10555] ppid=10547 vsize=13980732 memory=3240 CPUtime=1.53 cores=0,2,4,6
/proc/10549/task/10555/stat : 10555 (java) S 10547 10547 8557 0 -1 1077944384 17621 0 0 0 137 16 0 0 20 0 15 0 113116190 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225409399536 140225931086466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10556] ppid=10547 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10556/stat : 10556 (java) S 10547 10547 8557 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 113116190 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225408345824 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10557] ppid=10547 vsize=13980732 memory=1409644 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10557/stat : 10557 (java) S 10547 10547 8557 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 113116191 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225407292672 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10558] ppid=10547 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10558/stat : 10558 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225406241232 140225931093915 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10559] ppid=10547 vsize=13980732 memory=3256 CPUtime=2.96 cores=0,2,4,6
/proc/10549/task/10559/stat : 10559 (java) S 10547 10547 8557 0 -1 1077944384 13342 0 0 0 294 2 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225405188336 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10560] ppid=10547 vsize=13980732 memory=1380 CPUtime=3.03 cores=0,2,4,6
/proc/10549/task/10560/stat : 10560 (java) S 10547 10547 8557 0 -1 1077944384 18346 0 0 0 300 3 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225404135792 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10561] ppid=10547 vsize=13980732 memory=1331008 CPUtime=0.71 cores=0,2,4,6
/proc/10549/task/10561/stat : 10561 (java) S 10547 10547 8557 0 -1 1077944384 12740 0 0 0 69 2 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225403082736 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10562] ppid=10547 vsize=13980732 memory=7230645025961766505 CPUtime=0 cores=0,2,4,6
/proc/10549/task/10562/stat : 10562 (java) S 10547 10547 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113116193 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225402030432 140225931085525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
[pid=10549/tid=10563] ppid=10547 vsize=13980732 memory=8099279071866868844 CPUtime=1.13 cores=0,2,4,6
/proc/10549/task/10563/stat : 10563 (java) S 10547 10547 8557 0 -1 1077944384 2008 0 0 0 50 63 0 0 20 0 15 0 113116197 14316269568 332776 18446744073709551615 4194304 4196468 140723004126016 140225400978480 140225931086466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140723004133809 140723004133985 140723004133985 140723004137423 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1332484 KiB

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

[startup+2506.21 s]
# the end of solver process 10547 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001766 s, system=0.000127 s

[startup+2506.22 s]
# the end of solver process 10549 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.44 s, system=1.66286 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): 2506.22
CPU time (s): 2520.1
CPU user time (s): 2518.44
CPU system time (s): 1.66286
CPU usage (%): 100.554
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1332484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.44
system time used= 1.66286
maximum resident set size= 1331720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163324
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95542
involuntary context switches= 4883


# summary of solver processes directly reported to runsolver:
#   pid: 10547,10549
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.44
#   total CPU system time (s): 1.66286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9262 second user time and 23.1496 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4281868

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
