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 5a (2017-07-26)	SAT (TO)	40	2520.05	2501.1201
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 (14559 MiB free)
  memory of node 1: 16384 MiB (15287 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272058-1502710053/watcher-4272058-1502710053 -o /tmp/evaluation-result-4272058-1502710053/solver-4272058-1502710053 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 884824185 HOME/instance-4272058-1502710053.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100116 s]*
/proc/loadavg: 1.50 1.50 1.54 3/207 9489
/proc/meminfo: memFree=30554428/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13574484 memory=19240 CPUtime=0.02 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 4125 0 0 0 2 0 0 0 20 0 9 0 24887951 13900271616 4810 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3393621 4810 2098 1 0 3383118 0
[pid=9481/tid=9482] ppid=9479 vsize=13574484 memory=7078076838863583841 CPUtime=0.02 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 2828 0 0 0 2 0 0 0 20 0 9 0 24887951 13900271616 4810 18446744073709551615 4194304 4196468 140727954641168 140492590805192 140492586591389 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13574484 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 24887952 13900271616 4810 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13574484 memory=140466584282752 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24887952 13900271616 4810 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 24887952 13900271616 4810 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9486/stat : 9486 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24887952 13900271616 4810 18446744073709551615 4194304 4196468 140727954641168 140492183624592 140492586579669 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9487] ppid=9479 vsize=13575508 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9487/stat : 9487 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24887953 13901320192 4810 18446744073709551615 4194304 4196468 140727954641168 140492064917744 140492586580610 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9488] ppid=9479 vsize=13575508 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9488/stat : 9488 (java) S 9479 9479 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 24887954 13901320192 4810 18446744073709551615 4194304 4196468 140727954641168 140492063863968 140492586579669 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9489] ppid=9479 vsize=13575508 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 24887954 13901320192 4810 18446744073709551615 4194304 4196468 140727954641168 140492062810928 140492586579669 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20620 KiB

[startup+0.209928 s]*
/proc/loadavg: 1.50 1.50 1.54 4/213 9495
/proc/meminfo: memFree=30546068/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13974352 memory=29024 CPUtime=0.15 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 5657 0 0 0 14 1 0 0 20 0 15 0 24887951 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3493588 7256 2949 1 0 3482964 0
[pid=9481/tid=9482] ppid=9479 vsize=13974352 memory=7078076838863583841 CPUtime=0.1 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 3475 0 0 0 10 0 0 0 20 0 15 0 24887951 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492590799456 140492570613093 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887952 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13974352 memory=140466584282752 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887952 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887952 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9486/stat : 9486 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887952 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492183624592 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9487] ppid=9479 vsize=13974352 memory=140466584282752 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9487/stat : 9487 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887953 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492064917744 140492586580610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9488] ppid=9479 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9488/stat : 9488 (java) S 9479 9479 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24887954 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492063863968 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9489] ppid=9479 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24887954 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492062810864 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9490] ppid=9479 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9490/stat : 9490 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492061759440 140492586588059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9491] ppid=9479 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9491/stat : 9491 (java) R 9479 9479 7968 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 24887957 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492060707568 140492586580610 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9492] ppid=9479 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9492/stat : 9492 (java) S 9479 9479 7968 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 15 0 24887957 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492059655024 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9493] ppid=9479 vsize=13974352 memory=140466584282752 CPUtime=0.02 cores=1,3,5,7
/proc/9481/task/9493/stat : 9493 (java) S 9479 9479 7968 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 24887957 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492058601968 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9494] ppid=9479 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9494/stat : 9494 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492057549664 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9495] ppid=9479 vsize=13974352 memory=140466584282752 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9495/stat : 9495 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887960 14309736448 7256 18446744073709551615 4194304 4196468 140727954641168 140492056496688 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30404 KiB

[startup+0.310382 s]*
/proc/loadavg: 1.50 1.50 1.54 3/213 9495
/proc/meminfo: memFree=30534036/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13978608 memory=40284 CPUtime=0.34 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 9262 0 0 0 31 3 0 0 20 0 15 0 24887951 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3494652 10071 3026 1 0 3482964 0
[pid=9481/tid=9482] ppid=9479 vsize=13978608 memory=4278483708103473607 CPUtime=0.21 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 6432 0 0 0 19 2 0 0 20 0 15 0 24887951 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492590792208 140492586591389 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887952 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13978608 memory=-8102431393132624720 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887952 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13978608 memory=1404226546319204233 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887952 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13978608 memory=4209341120607117666 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9486/stat : 9486 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887952 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492183624592 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9487] ppid=9479 vsize=13978608 memory=140466584289745 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9487/stat : 9487 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887953 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492064917744 140492586580610 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9488] ppid=9479 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9488/stat : 9488 (java) S 9479 9479 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24887954 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492063863968 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9489] ppid=9479 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24887954 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492062810864 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9490] ppid=9479 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9490/stat : 9490 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492061759440 140492586588059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9491] ppid=9479 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9481/task/9491/stat : 9491 (java) S 9479 9479 7968 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 24887957 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492060707568 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9492] ppid=9479 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9481/task/9492/stat : 9492 (java) S 9479 9479 7968 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 24887957 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492059655024 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9493] ppid=9479 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9481/task/9493/stat : 9493 (java) R 9479 9479 7968 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 15 0 24887957 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492058601968 140492566912018 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9494] ppid=9479 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9494/stat : 9494 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492057549664 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9495] ppid=9479 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9495/stat : 9495 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887960 14314094592 10071 18446744073709551615 4194304 4196468 140727954641168 140492056496688 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41664 KiB

[startup+0.701789 s]
/proc/loadavg: 1.54 1.51 1.54 5/213 9495
/proc/meminfo: memFree=30512780/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13978684 memory=85880 CPUtime=1.38 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 13087 0 0 0 134 4 0 0 20 0 15 0 24887951 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3494671 21470 3158 1 0 3482964 0
[pid=9481/tid=9482] ppid=9479 vsize=13978684 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 7857 0 0 0 55 3 0 0 20 0 15 0 24887951 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492590806128 140492225701680 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887952 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887952 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887952 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13978684 memory=5 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9486/stat : 9486 (java) S 9479 9479 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24887952 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492183624592 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9487] ppid=9479 vsize=13978684 memory=36 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9487/stat : 9487 (java) S 9479 9479 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 24887953 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492064917744 140492586580610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9488] ppid=9479 vsize=13978684 memory=2 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9488/stat : 9488 (java) S 9479 9479 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24887954 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492063863968 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9489] ppid=9479 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24887954 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492062810864 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9490] ppid=9479 vsize=13978684 memory=7883313791582089521 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9490/stat : 9490 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492061759440 140492586588059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9491] ppid=9479 vsize=13978684 memory=4124 CPUtime=0.25 cores=1,3,5,7
/proc/9481/task/9491/stat : 9491 (java) R 9479 9479 7968 0 -1 4202560 1037 0 0 0 25 0 0 0 20 0 15 0 24887957 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492060699024 140492570069669 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9492] ppid=9479 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/9481/task/9492/stat : 9492 (java) R 9479 9479 7968 0 -1 4202560 1354 0 0 0 26 0 0 0 20 0 15 0 24887957 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492059641592 140492571232697 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9493] ppid=9479 vsize=13978684 memory=140466435662448 CPUtime=0.27 cores=1,3,5,7
/proc/9481/task/9493/stat : 9493 (java) S 9479 9479 7968 0 -1 1077944384 1531 0 0 0 27 0 0 0 20 0 15 0 24887957 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492058601968 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9494] ppid=9479 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9494/stat : 9494 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492057549664 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9495] ppid=9479 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9495/stat : 9495 (java) S 9479 9479 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24887960 14314172416 21470 18446744073709551615 4194304 4196468 140727954641168 140492056496688 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87260 KiB

[startup+1.50082 s]
/proc/loadavg: 1.54 1.51 1.54 5/213 9495
/proc/meminfo: memFree=30376688/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13980732 memory=232564 CPUtime=3.91 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 16218 0 0 0 378 13 0 0 20 0 15 0 24887951 14316269568 58141 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3495183 58141 3211 1 0 3483476 0
[pid=9481/tid=9482] ppid=9479 vsize=13980732 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 8632 0 0 0 126 5 0 0 20 0 15 0 24887951 14316269568 58141 18446744073709551615 4194304 4196468 140727954641168 140492590807808 140492226449223 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 15 0 24887952 14316269568 58141 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13980732 memory=55 CPUtime=0.04 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 56 0 0 0 3 1 0 0 20 0 15 0 24887952 14316269568 58141 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13980732 memory=11830 CPUtime=0.04 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 15 0 24887952 14316269568 58141 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13980732 memory=20825 CPUtime=0.04 cores=1,3,5,7

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

/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 24887954 14316269568 343519 18446744073709551615 4194304 4196468 140727954641168 140492062810880 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9490] ppid=9479 vsize=13980732 memory=1374076 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9490/stat : 9490 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 343519 18446744073709551615 4194304 4196468 140727954641168 140492061759440 140492586588059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9491] ppid=9479 vsize=13980732 memory=0 CPUtime=5.04 cores=1,3,5,7
/proc/9481/task/9491/stat : 9491 (java) S 9479 9479 7968 0 -1 1077944384 20705 0 0 0 502 2 0 0 20 0 15 0 24887957 14316269568 343519 18446744073709551615 4194304 4196468 140727954641168 140492060707568 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9492] ppid=9479 vsize=13980732 memory=0 CPUtime=5.13 cores=1,3,5,7
/proc/9481/task/9492/stat : 9492 (java) S 9479 9479 7968 0 -1 1077944384 21953 0 0 0 510 3 0 0 20 0 15 0 24887957 14316269568 343519 18446744073709551615 4194304 4196468 140727954641168 140492059655024 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9493] ppid=9479 vsize=13980732 memory=7680170660397595203 CPUtime=0.91 cores=1,3,5,7
/proc/9481/task/9493/stat : 9493 (java) S 9479 9479 7968 0 -1 1077944384 12677 0 0 0 89 2 0 0 20 0 15 0 24887957 14316269568 343519 18446744073709551615 4194304 4196468 140727954641168 140492058601968 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9494] ppid=9479 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9494/stat : 9494 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 343519 18446744073709551615 4194304 4196468 140727954641168 140492057549664 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9495] ppid=9479 vsize=13980732 memory=6944656592387989600 CPUtime=1.06 cores=1,3,5,7
/proc/9481/task/9495/stat : 9495 (java) S 9479 9479 7968 0 -1 1077944384 1882 0 0 0 47 59 0 0 20 0 15 0 24887960 14316269568 343519 18446744073709551615 4194304 4196468 140727954641168 140492056496688 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 2400.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1375456 KiB

[startup+2442.3 s]
/proc/loadavg: 1.44 1.54 1.63 3/214 9892
/proc/meminfo: memFree=29564264/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13980732 memory=1334060 CPUtime=2460.83 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 206254 0 0 0 245912 171 0 0 20 0 15 0 24887951 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3495183 333515 3268 1 0 3483476 0
[pid=9481/tid=9482] ppid=9479 vsize=13980732 memory=1342268 CPUtime=2439.06 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 89423 0 0 0 243862 44 0 0 20 0 15 0 24887951 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492590809120 140492226137158 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13980732 memory=1380 CPUtime=2.25 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 8323 0 0 0 209 16 0 0 20 0 15 0 24887952 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13980732 memory=1367404 CPUtime=2.27 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 10482 0 0 0 211 16 0 0 20 0 15 0 24887952 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13980732 memory=1380 CPUtime=2.25 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 14183 0 0 0 210 15 0 0 20 0 15 0 24887952 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13980732 memory=1340216 CPUtime=2.28 cores=1,3,5,7
/proc/9481/task/9486/stat : 9486 (java) S 9479 9479 7968 0 -1 1077944384 13127 0 0 0 214 14 0 0 20 0 15 0 24887952 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492183624592 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9487] ppid=9479 vsize=13980732 memory=1335088 CPUtime=0.47 cores=1,3,5,7
/proc/9481/task/9487/stat : 9487 (java) S 9479 9479 7968 0 -1 1077944384 12148 0 0 0 35 12 0 0 20 0 15 0 24887953 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492064917744 140492586580610 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9488] ppid=9479 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9488/stat : 9488 (java) S 9479 9479 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 24887954 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492063864032 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9489] ppid=9479 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 24887954 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492062810880 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9490] ppid=9479 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9490/stat : 9490 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492061759440 140492586588059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9491] ppid=9479 vsize=13980732 memory=1700 CPUtime=5.04 cores=1,3,5,7
/proc/9481/task/9491/stat : 9491 (java) S 9479 9479 7968 0 -1 1077944384 20712 0 0 0 502 2 0 0 20 0 15 0 24887957 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492060707568 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9492] ppid=9479 vsize=13980732 memory=1228 CPUtime=5.13 cores=1,3,5,7
/proc/9481/task/9492/stat : 9492 (java) S 9479 9479 7968 0 -1 1077944384 21959 0 0 0 510 3 0 0 20 0 15 0 24887957 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492059655024 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9493] ppid=9479 vsize=13980732 memory=1336624 CPUtime=0.91 cores=1,3,5,7
/proc/9481/task/9493/stat : 9493 (java) S 9479 9479 7968 0 -1 1077944384 12681 0 0 0 89 2 0 0 20 0 15 0 24887957 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492058601968 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9494] ppid=9479 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9494/stat : 9494 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492057549664 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9495] ppid=9479 vsize=13980732 memory=301741373374332954 CPUtime=1.09 cores=1,3,5,7
/proc/9481/task/9495/stat : 9495 (java) S 9479 9479 7968 0 -1 1077944384 1913 0 0 0 48 61 0 0 20 0 15 0 24887960 14316269568 333515 18446744073709551615 4194304 4196468 140727954641168 140492056496688 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 2460.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1335440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.11 s]
/proc/loadavg: 1.49 1.54 1.62 3/213 9897
/proc/meminfo: memFree=29552048/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13980732 memory=1296104 CPUtime=2520.01 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 209193 0 0 0 251827 174 0 0 20 0 15 0 24887951 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3495183 324026 3268 1 0 3483476 0
[pid=9481/tid=9482] ppid=9479 vsize=13980732 memory=1296104 CPUtime=2497.69 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 90510 0 0 0 249725 44 0 0 20 0 15 0 24887951 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492590809040 140492230595807 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13980732 memory=1300720 CPUtime=2.37 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 8414 0 0 0 221 16 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13980732 memory=1300720 CPUtime=2.39 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 10745 0 0 0 223 16 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13980732 memory=1298156 CPUtime=2.37 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 14554 0 0 0 222 15 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13980732 memory=1298156 CPUtime=2.4 cores=1,3,5,7
/proc/9481/task/9486/stat : 9486 (java) S 9479 9479 7968 0 -1 1077944384 13746 0 0 0 226 14 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492183624592 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9487] ppid=9479 vsize=13980732 memory=1380 CPUtime=0.51 cores=1,3,5,7
/proc/9481/task/9487/stat : 9487 (java) S 9479 9479 7968 0 -1 1077944384 12369 0 0 0 38 13 0 0 20 0 15 0 24887953 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492064917744 140492586580610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9488] ppid=9479 vsize=13980732 memory=1296104 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9488/stat : 9488 (java) S 9479 9479 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 24887954 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492063864032 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9489] ppid=9479 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 24887954 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492062810880 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9490] ppid=9479 vsize=13980732 memory=1296104 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9490/stat : 9490 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492061759440 140492586588059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9491] ppid=9479 vsize=13980732 memory=1296104 CPUtime=5.04 cores=1,3,5,7
/proc/9481/task/9491/stat : 9491 (java) S 9479 9479 7968 0 -1 1077944384 20714 0 0 0 502 2 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492060707568 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9492] ppid=9479 vsize=13980732 memory=1380 CPUtime=5.13 cores=1,3,5,7
/proc/9481/task/9492/stat : 9492 (java) S 9479 9479 7968 0 -1 1077944384 21961 0 0 0 510 3 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492059655024 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9493] ppid=9479 vsize=13980732 memory=1380 CPUtime=0.91 cores=1,3,5,7
/proc/9481/task/9493/stat : 9493 (java) S 9479 9479 7968 0 -1 1077944384 12921 0 0 0 89 2 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492058601968 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9494] ppid=9479 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9494/stat : 9494 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492057549664 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9495] ppid=9479 vsize=13980732 memory=16520 CPUtime=1.12 cores=1,3,5,7
/proc/9481/task/9495/stat : 9495 (java) S 9479 9479 7968 0 -1 1077944384 1956 0 0 0 49 63 0 0 20 0 15 0 24887960 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492056496688 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1297484 KiB

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

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

[startup+2501.12 s]
# the end of solver process 9481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.29 s, system=1.75637 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

[startup+2501.11 s]
/proc/loadavg: 1.49 1.54 1.62 3/213 9897
/proc/meminfo: memFree=29552048/32770624 swapFree=67108860/67108860
[pid=9479] ppid=9476 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9479/stat : 9479 (xcsp3-exec) S 9476 9479 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 24887944 9740288 345 18446744073709551615 4194304 5098028 140725385314480 140725385312584 139954252087932 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 11448320 140725385322874 140725385323078 140725385323078 140725385326571 0
/proc/9479/statm: 2378 345 289 221 0 87 0
[pid=9481] ppid=9479 vsize=13980732 memory=1296104 CPUtime=2520.01 cores=1,3,5,7
/proc/9481/stat : 9481 (java) S 9479 9479 7968 0 -1 1077944320 209193 0 0 0 251827 174 0 0 20 0 15 0 24887951 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140727954623712 140492586569463 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
/proc/9481/statm: 3495183 324026 3268 1 0 3483476 0
[pid=9481/tid=9482] ppid=9479 vsize=13980732 memory=1296104 CPUtime=2497.69 cores=1,3,5,7
/proc/9481/task/9482/stat : 9482 (java) R 9479 9479 7968 0 -1 4202560 90510 0 0 0 249725 44 0 0 20 0 15 0 24887951 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492590809040 140492230595807 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9483] ppid=9479 vsize=13980732 memory=1300720 CPUtime=2.37 cores=1,3,5,7
/proc/9481/task/9483/stat : 9483 (java) S 9479 9479 7968 0 -1 1077944384 8414 0 0 0 221 16 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492543536144 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9484] ppid=9479 vsize=13980732 memory=1300720 CPUtime=2.39 cores=1,3,5,7
/proc/9481/task/9484/stat : 9484 (java) S 9479 9479 7968 0 -1 1077944384 10745 0 0 0 223 16 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492542483600 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9485] ppid=9479 vsize=13980732 memory=1298156 CPUtime=2.37 cores=1,3,5,7
/proc/9481/task/9485/stat : 9485 (java) S 9479 9479 7968 0 -1 1077944384 14554 0 0 0 222 15 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492184677136 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9486] ppid=9479 vsize=13980732 memory=1298156 CPUtime=2.4 cores=1,3,5,7
/proc/9481/task/9486/stat : 9486 (java) S 9479 9479 7968 0 -1 1077944384 13746 0 0 0 226 14 0 0 20 0 15 0 24887952 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492183624592 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9487] ppid=9479 vsize=13980732 memory=1380 CPUtime=0.51 cores=1,3,5,7
/proc/9481/task/9487/stat : 9487 (java) S 9479 9479 7968 0 -1 1077944384 12369 0 0 0 38 13 0 0 20 0 15 0 24887953 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492064917744 140492586580610 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9488] ppid=9479 vsize=13980732 memory=1296104 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9488/stat : 9488 (java) S 9479 9479 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 24887954 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492063864032 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9489] ppid=9479 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9489/stat : 9489 (java) S 9479 9479 7968 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 24887954 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492062810880 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9490] ppid=9479 vsize=13980732 memory=1296104 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9490/stat : 9490 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492061759440 140492586588059 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9491] ppid=9479 vsize=13980732 memory=1296104 CPUtime=5.04 cores=1,3,5,7
/proc/9481/task/9491/stat : 9491 (java) S 9479 9479 7968 0 -1 1077944384 20714 0 0 0 502 2 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492060707568 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9492] ppid=9479 vsize=13980732 memory=1380 CPUtime=5.13 cores=1,3,5,7
/proc/9481/task/9492/stat : 9492 (java) S 9479 9479 7968 0 -1 1077944384 21961 0 0 0 510 3 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492059655024 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9493] ppid=9479 vsize=13980732 memory=1380 CPUtime=0.91 cores=1,3,5,7
/proc/9481/task/9493/stat : 9493 (java) S 9479 9479 7968 0 -1 1077944384 12921 0 0 0 89 2 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492058601968 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9494] ppid=9479 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/9481/task/9494/stat : 9494 (java) S 9479 9479 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24887957 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492057549664 140492586579669 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
[pid=9481/tid=9495] ppid=9479 vsize=13980732 memory=16520 CPUtime=1.12 cores=1,3,5,7
/proc/9481/task/9495/stat : 9495 (java) S 9479 9479 7968 0 -1 1077944384 1956 0 0 0 49 63 0 0 20 0 15 0 24887960 14316269568 324026 18446744073709551615 4194304 4196468 140727954641168 140492056496688 140492586580610 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32972800 140727954645426 140727954645602 140727954645602 140727954649039 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1297484 KiB

Child status: 143
Real time (s): 2501.12
CPU time (s): 2520.05
CPU user time (s): 2518.29
CPU system time (s): 1.75637
CPU usage (%): 100.757
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2242964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.29
system time used= 1.75637
maximum resident set size= 2245764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67021
involuntary context switches= 1533


# summary of solver processes directly reported to runsolver:
#   pid: 9479,9481
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2518.29
#   total CPU system time (s): 1.75637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8331 second user time and 19.5028 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 4272058

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
