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 (15103 MiB free)
memory of node 1: 16384 MiB (11471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301450-1532881174/watcher-4301450-1532881174 -o /tmp/evaluation-result-4301450-1532881174/solver-4301450-1532881174 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 336476810 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301450-1532881174.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=8610, runsolver pid=8607
[startup+0.100119 s]*
/proc/loadavg: 1.68 1.80 1.92 3/216 8626
/proc/meminfo: memFree=27196128/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
[pid=8612] ppid=8610 vsize=14082940 memory=28464 CPUtime=0.12 cores=0,2,4,6
/proc/8612/stat : 8612 (java) S 8610 8610 7585 0 -1 1077944320 5528 0 0 0 11 1 0 0 20 0 15 0 105680630 14420930560 7116 33554432000 4194304 4196468 140730344460640 140730344443184 140400105148151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
/proc/8612/statm: 3520735 7116 3001 1 0 3483012 0
[pid=8612/tid=8613] ppid=8610 vsize=14082940 memory=8116231582430499675 CPUtime=0.08 cores=0,2,4,6
/proc/8612/task/8613/stat : 8613 (java) R 8610 8610 7585 0 -1 4202560 3540 0 0 0 8 0 0 0 20 0 15 0 105680630 14420930560 7181 33554432000 4194304 4196468 140730344460640 140400109381424 140400105160086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8614] ppid=8610 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8614/stat : 8614 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 7181 33554432000 4194304 4196468 140730344460640 140400066108048 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8615] ppid=8610 vsize=14082940 memory=140716859377280 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8615/stat : 8615 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399700322832 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8616] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8616/stat : 8616 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399699270032 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8617] ppid=8610 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8617/stat : 8617 (java) S 8610 8610 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399698217232 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8618] ppid=8610 vsize=14082940 memory=140716859377280 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8618/stat : 8618 (java) S 8610 8610 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105680632 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399579294576 140400105159298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8619] ppid=8610 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8619/stat : 8619 (java) S 8610 8610 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105680633 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399578240544 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8620] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105680633 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) S 8610 8610 7585 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 105680635 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399575083376 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) S 8610 8610 7585 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105680635 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399574030576 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14082940 memory=140716859377280 CPUtime=0.01 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) R 8610 8610 7585 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 105680635 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399572977776 140400084581360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14082940 memory=140716859377280 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680636 14420930560 7181 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29916 KiB
[startup+0.210588 s]*
/proc/loadavg: 1.68 1.80 1.92 6/216 8626
/proc/meminfo: memFree=27185024/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
[pid=8612] ppid=8610 vsize=14082940 memory=40412 CPUtime=0.34 cores=0,2,4,6
/proc/8612/stat : 8612 (java) S 8610 8610 7585 0 -1 1077944320 8211 0 0 0 32 2 0 0 20 0 15 0 105680630 14420930560 10103 33554432000 4194304 4196468 140730344460640 140730344443184 140400105148151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
/proc/8612/statm: 3520735 10103 3164 1 0 3483012 0
[pid=8612/tid=8613] ppid=8610 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/8612/task/8613/stat : 8613 (java) R 8610 8610 7585 0 -1 4202560 5435 0 0 0 18 1 0 0 20 0 15 0 105680630 14420930560 10103 33554432000 4194304 4196468 140730344460640 140400109383136 140400089228638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8614] ppid=8610 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8614/stat : 8614 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 10103 33554432000 4194304 4196468 140730344460640 140400066108048 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8615] ppid=8610 vsize=14082940 memory=288371093011089024 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8615/stat : 8615 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399700322832 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8616] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8616/stat : 8616 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399699270032 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8617] ppid=8610 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8617/stat : 8617 (java) S 8610 8610 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105680631 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399698217232 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8618] ppid=8610 vsize=14082940 memory=140716859377280 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8618/stat : 8618 (java) S 8610 8610 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105680632 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399579294576 140400105159298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8619] ppid=8610 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8619/stat : 8619 (java) S 8610 8610 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105680633 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399578240544 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8620] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105680633 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) S 8610 8610 7585 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 105680635 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399575083376 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) S 8610 8610 7585 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 15 0 105680635 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399574030576 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14082940 memory=140716859377280 CPUtime=0.08 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) S 8610 8610 7585 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 105680635 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399572977776 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680636 14420930560 10103 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41864 KiB
[startup+0.31434 s]*
/proc/loadavg: 1.68 1.80 1.92 4/216 8626
/proc/meminfo: memFree=27177828/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
[pid=8612] ppid=8610 vsize=14087196 memory=48352 CPUtime=0.52 cores=0,2,4,6
/proc/8612/stat : 8612 (java) S 8610 8610 7585 0 -1 1077944320 9205 0 0 0 50 2 0 0 20 0 15 0 105680630 14425288704 12088 33554432000 4194304 4196468 140730344460640 140730344443184 140400105148151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
/proc/8612/statm: 3521799 12088 3276 1 0 3483012 0
[pid=8612/tid=8613] ppid=8610 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/8612/task/8613/stat : 8613 (java) R 8610 8610 7585 0 -1 4202560 6188 0 0 0 28 2 0 0 20 0 15 0 105680630 14425288704 12088 33554432000 4194304 4196468 140730344460640 140400109384496 140400089228638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8614] ppid=8610 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8614/stat : 8614 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14425288704 12088 33554432000 4194304 4196468 140730344460640 140400066108048 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8615] ppid=8610 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8615/stat : 8615 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399700322832 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8616] ppid=8610 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8616/stat : 8616 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399699270032 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8617] ppid=8610 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8617/stat : 8617 (java) S 8610 8610 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105680631 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399698217232 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8618] ppid=8610 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8618/stat : 8618 (java) S 8610 8610 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105680632 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399579294576 140400105159298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8619] ppid=8610 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8619/stat : 8619 (java) S 8610 8610 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105680633 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399578240544 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8620] ppid=8610 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105680633 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14087196 memory=-8412660965215072671 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) S 8610 8610 7585 0 -1 1077944384 464 0 0 0 4 0 0 0 20 0 15 0 105680635 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399575083376 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) S 8610 8610 7585 0 -1 1077944384 344 0 0 0 4 0 0 0 20 0 15 0 105680635 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399574030576 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) S 8610 8610 7585 0 -1 1077944384 912 0 0 0 12 0 0 0 20 0 15 0 105680635 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399572977776 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680636 14425288704 12088 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49804 KiB
[startup+0.702123 s]
/proc/loadavg: 1.68 1.80 1.92 6/216 8626
/proc/meminfo: memFree=27153624/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
[pid=8612] ppid=8610 vsize=14089320 memory=95040 CPUtime=1.77 cores=0,2,4,6
/proc/8612/stat : 8612 (java) S 8610 8610 7585 0 -1 1077944320 14915 0 0 0 173 4 0 0 20 0 15 0 105680630 14427463680 23760 33554432000 4194304 4196468 140730344460640 140730344443184 140400105148151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
/proc/8612/statm: 3522330 23760 3356 1 0 3483524 0
[pid=8612/tid=8613] ppid=8610 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/8612/task/8613/stat : 8613 (java) R 8610 8610 7585 0 -1 4202560 7111 0 0 0 64 3 0 0 20 0 15 0 105680630 14427463680 23760 33554432000 4194304 4196468 140730344460640 140400109384176 140400105160086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8614] ppid=8610 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8614/stat : 8614 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14427463680 23760 33554432000 4194304 4196468 140730344460640 140400066108048 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8615] ppid=8610 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8615/stat : 8615 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399700322832 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8616] ppid=8610 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8616/stat : 8616 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680631 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399699270032 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8617] ppid=8610 vsize=14089320 memory=30116 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8617/stat : 8617 (java) S 8610 8610 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105680631 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399698217232 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8618] ppid=8610 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8618/stat : 8618 (java) S 8610 8610 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105680632 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399579294576 140400105159298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8619] ppid=8610 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8619/stat : 8619 (java) S 8610 8610 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399578240544 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8620] ppid=8610 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14089320 memory=12556 CPUtime=0.35 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) R 8610 8610 7585 0 -1 4202560 2589 0 0 0 35 0 0 0 20 0 15 0 105680635 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399575069400 140400090255952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14089320 memory=756 CPUtime=0.34 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) R 8610 8610 7585 0 -1 4202560 1421 0 0 0 34 0 0 0 20 0 15 0 105680635 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399574017888 140400089543059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14089320 memory=1616 CPUtime=0.38 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) R 8610 8610 7585 0 -1 1077944384 2486 0 0 0 38 0 0 0 20 0 15 0 105680635 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399572977776 140400105159298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14089320 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105680636 14427463680 23760 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 96492 KiB
[startup+1.50078 s]
/proc/loadavg: 1.68 1.80 1.92 3/216 8626
/proc/meminfo: memFree=27128756/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 47559 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14089320 memory=190236 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14427463680 47559 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14089320 memory=190236 CPUtime=2.37 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) S 8610 8610 7585 0 -1 1077944384 11883 0 0 0 236 1 0 0 20 0 15 0 105680635 14427463680 47559 33554432000 4194304 4196468 140730344460640 140399575083376 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14089320 memory=1452 CPUtime=2.15 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) S 8610 8610 7585 0 -1 1077944384 11589 0 0 0 214 1 0 0 20 0 15 0 105680635 14427463680 47559 33554432000 4194304 4196468 140730344460640 140399574030576 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14089320 memory=190236 CPUtime=0.58 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) S 8610 8610 7585 0 -1 1077944384 7826 0 0 0 58 0 0 0 20 0 15 0 105680635 14427463680 47559 33554432000 4194304 4196468 140730344460640 140399572977776 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14427463680 47559 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 482 0 0 0 1 3 0 0 20 0 15 0 105680636 14427463680 47559 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 167.56 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 191688 KiB
[startup+222.301 s]
/proc/loadavg: 1.64 1.70 1.85 3/217 8792
/proc/meminfo: memFree=27051316/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
[pid=8612] ppid=8610 vsize=14089320 memory=168784 CPUtime=227.62 cores=0,2,4,6
/proc/8612/stat : 8612 (java) S 8610 8610 7585 0 -1 1077944320 56755 0 0 0 22743 19 0 0 20 0 15 0 105680630 14427463680 42196 33554432000 4194304 4196468 140730344460640 140730344443184 140400105148151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
/proc/8612/statm: 3522330 42196 3416 1 0 3483524 0
[pid=8612/tid=8613] ppid=8610 vsize=14089320 memory=170324 CPUtime=222.17 cores=0,2,4,6
/proc/8612/task/8613/stat : 8613 (java) R 8610 8610 7585 0 -1 4202560 13781 0 0 0 22210 7 0 0 20 0 15 0 105680630 14427463680 42196 33554432000 4194304 4196468 140730344460640 140400109387600 140399746530507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8614] ppid=8610 vsize=14089320 memory=170836 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8614/stat : 8614 (java) S 8610 8610 7585 0 -1 1077944384 948 0 0 0 3 1 0 0 20 0 15 0 105680631 14427463680 42196 33554432000 4194304 4196468 140730344460640 140400066108048 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8615] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8615/stat : 8615 (java) S 8610 8610 7585 0 -1 1077944384 738 0 0 0 3 1 0 0 20 0 15 0 105680631 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399700322832 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8616] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8616/stat : 8616 (java) S 8610 8610 7585 0 -1 1077944384 3100 0 0 0 3 1 0 0 20 0 15 0 105680631 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399699270032 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8617] ppid=8610 vsize=14089320 memory=3872 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8617/stat : 8617 (java) S 8610 8610 7585 0 -1 1077944384 1059 0 0 0 3 1 0 0 20 0 15 0 105680631 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399698217232 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8618] ppid=8610 vsize=14089320 memory=30124 CPUtime=0.03 cores=0,2,4,6
/proc/8612/task/8618/stat : 8618 (java) S 8610 8610 7585 0 -1 1077944384 1604 0 0 0 3 0 0 0 20 0 15 0 105680632 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399579294576 140400105159298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8619] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8619/stat : 8619 (java) S 8610 8610 7585 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399578240544 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8620] ppid=8610 vsize=14089320 memory=170836 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14089320 memory=170836 CPUtime=2.39 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) S 8610 8610 7585 0 -1 1077944384 12710 0 0 0 238 1 0 0 20 0 15 0 105680635 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399575083376 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14089320 memory=172884 CPUtime=2.15 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) S 8610 8610 7585 0 -1 1077944384 11653 0 0 0 214 1 0 0 20 0 15 0 105680635 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399574030576 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.58 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) S 8610 8610 7585 0 -1 1077944384 9284 0 0 0 58 0 0 0 20 0 15 0 105680635 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399572977776 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14089320 memory=168784 CPUtime=0.04 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 523 0 0 0 1 3 0 0 20 0 15 0 105680636 14427463680 42196 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 227.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 170236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.701 s]
/proc/loadavg: 1.69 1.70 1.85 3/217 8792
/proc/meminfo: memFree=27060208/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
[pid=8612] ppid=8610 vsize=14089320 memory=157516 CPUtime=252.05 cores=0,2,4,6
/proc/8612/stat : 8612 (java) S 8610 8610 7585 0 -1 1077944320 57565 0 0 0 25185 20 0 0 20 0 15 0 105680630 14427463680 39379 33554432000 4194304 4196468 140730344460640 140730344443184 140400105148151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
/proc/8612/statm: 3522330 39379 3416 1 0 3483524 0
[pid=8612/tid=8613] ppid=8610 vsize=14089320 memory=157516 CPUtime=246.55 cores=0,2,4,6
/proc/8612/task/8613/stat : 8613 (java) R 8610 8610 7585 0 -1 4202560 13798 0 0 0 24648 7 0 0 20 0 15 0 105680630 14427463680 39379 33554432000 4194304 4196468 140730344460640 140400109387600 140399748557509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8614] ppid=8610 vsize=14089320 memory=157516 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8614/stat : 8614 (java) S 8610 8610 7585 0 -1 1077944384 950 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140400066108048 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8615] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8615/stat : 8615 (java) S 8610 8610 7585 0 -1 1077944384 739 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399700322832 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8616] ppid=8610 vsize=14089320 memory=160596 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8616/stat : 8616 (java) S 8610 8610 7585 0 -1 1077944384 3103 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399699270032 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8617] ppid=8610 vsize=14089320 memory=157516 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8617/stat : 8617 (java) S 8610 8610 7585 0 -1 1077944384 1061 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399698217232 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8618] ppid=8610 vsize=14089320 memory=33 CPUtime=0.03 cores=0,2,4,6
/proc/8612/task/8618/stat : 8618 (java) S 8610 8610 7585 0 -1 1077944384 1610 0 0 0 3 0 0 0 20 0 15 0 105680632 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399579294576 140400105159298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8619] ppid=8610 vsize=14089320 memory=55 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8619/stat : 8619 (java) S 8610 8610 7585 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399578240544 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8620] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14089320 memory=1452 CPUtime=2.39 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) S 8610 8610 7585 0 -1 1077944384 12710 0 0 0 238 1 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399575083376 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14089320 memory=160596 CPUtime=2.15 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) S 8610 8610 7585 0 -1 1077944384 11653 0 0 0 214 1 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399574030576 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.59 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) S 8610 8610 7585 0 -1 1077944384 10060 0 0 0 59 0 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399572977776 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 526 0 0 0 2 3 0 0 20 0 15 0 105680636 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 158968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.71 s]
# the end of solver process 8610 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001092 s, system=0.001092 s
[startup+246.713 s]
# the end of solver process 8612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.87 s, system=0.207175 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+246.701 s]
/proc/loadavg: 1.69 1.70 1.85 3/217 8792
/proc/meminfo: memFree=27060208/32770624 swapFree=67108496/67108860
[pid=8610] ppid=8607 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8610/stat : 8610 (xcsp3-exec) S 8607 8610 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105680630 115843072 363 33554432000 4194304 5098028 140730477814688 140730477812792 140542651929212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28848128 140730477823041 140730477823241 140730477823241 140730477825994 0
/proc/8610/statm: 28282 363 305 221 0 87 0
[pid=8612] ppid=8610 vsize=14089320 memory=157516 CPUtime=252.05 cores=0,2,4,6
/proc/8612/stat : 8612 (java) S 8610 8610 7585 0 -1 1077944320 57565 0 0 0 25185 20 0 0 20 0 15 0 105680630 14427463680 39379 33554432000 4194304 4196468 140730344460640 140730344443184 140400105148151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
/proc/8612/statm: 3522330 39379 3416 1 0 3483524 0
[pid=8612/tid=8613] ppid=8610 vsize=14089320 memory=157516 CPUtime=246.55 cores=0,2,4,6
/proc/8612/task/8613/stat : 8613 (java) R 8610 8610 7585 0 -1 4202560 13798 0 0 0 24648 7 0 0 20 0 15 0 105680630 14427463680 39379 33554432000 4194304 4196468 140730344460640 140400109387600 140399748557509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8614] ppid=8610 vsize=14089320 memory=157516 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8614/stat : 8614 (java) S 8610 8610 7585 0 -1 1077944384 950 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140400066108048 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8615] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8615/stat : 8615 (java) S 8610 8610 7585 0 -1 1077944384 739 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399700322832 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8616] ppid=8610 vsize=14089320 memory=160596 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8616/stat : 8616 (java) S 8610 8610 7585 0 -1 1077944384 3103 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399699270032 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8617] ppid=8610 vsize=14089320 memory=157516 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8617/stat : 8617 (java) S 8610 8610 7585 0 -1 1077944384 1061 0 0 0 4 1 0 0 20 0 15 0 105680631 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399698217232 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8618] ppid=8610 vsize=14089320 memory=33 CPUtime=0.03 cores=0,2,4,6
/proc/8612/task/8618/stat : 8618 (java) S 8610 8610 7585 0 -1 1077944384 1610 0 0 0 3 0 0 0 20 0 15 0 105680632 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399579294576 140400105159298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8619] ppid=8610 vsize=14089320 memory=55 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8619/stat : 8619 (java) S 8610 8610 7585 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399578240544 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8620] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8620/stat : 8620 (java) S 8610 8610 7585 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 105680633 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399577187696 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8621] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8621/stat : 8621 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399576136016 140400105166747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8622] ppid=8610 vsize=14089320 memory=1452 CPUtime=2.39 cores=0,2,4,6
/proc/8612/task/8622/stat : 8622 (java) S 8610 8610 7585 0 -1 1077944384 12710 0 0 0 238 1 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399575083376 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8623] ppid=8610 vsize=14089320 memory=160596 CPUtime=2.15 cores=0,2,4,6
/proc/8612/task/8623/stat : 8623 (java) S 8610 8610 7585 0 -1 1077944384 11653 0 0 0 214 1 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399574030576 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8624] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.59 cores=0,2,4,6
/proc/8612/task/8624/stat : 8624 (java) S 8610 8610 7585 0 -1 1077944384 10060 0 0 0 59 0 0 0 20 0 15 0 105680635 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399572977776 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8625] ppid=8610 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8612/task/8625/stat : 8625 (java) S 8610 8610 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105680636 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399571925216 140400105158357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
[pid=8612/tid=8626] ppid=8610 vsize=14089320 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/8612/task/8626/stat : 8626 (java) S 8610 8610 7585 0 -1 1077944384 526 0 0 0 2 3 0 0 20 0 15 0 105680636 14427463680 39379 33554432000 4194304 4196468 140730344460640 140399570873520 140400105159298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 33480704 140730344469644 140730344469814 140730344469814 140730344472527 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 158968 KiB
Child status: 143
Real time (s): 246.713
CPU time (s): 252.077
CPU user time (s): 251.87
CPU system time (s): 0.207175
CPU usage (%): 102.174
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 212632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.87
system time used= 0.207175
maximum resident set size= 217348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8286
involuntary context switches= 281
# summary of solver processes directly reported to runsolver:
# pid: 8610,8612
# total CPU time (s): 252.077
# total CPU user time (s): 251.87
# total CPU system time (s): 0.207175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36497 second user time and 2.34998 second system time
The end