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 (14968 MiB free)
  memory of node 1: 16384 MiB (15447 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281857-1503109214/watcher-4281857-1503109214 -o /tmp/evaluation-result-4281857-1503109214/solver-4281857-1503109214 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1700815737 HOME/instance-4281857-1503109214.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 1.90 1.83 1.79 3/183 30776
/proc/meminfo: memFree=31139696/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13441356 memory=16940 CPUtime=0.01 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 3504 0 0 0 1 0 0 0 20 0 7 0 113114496 13763948544 4235 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3360339 4235 1977 1 0 3349836 0
[pid=30771/tid=30772] ppid=30766 vsize=13441356 memory=-8774313645642428999 CPUtime=0.01 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) R 30766 30766 28892 0 -1 4202560 2264 0 0 0 1 0 0 0 20 0 7 0 113114496 13763948544 4235 18446744073709551615 4194304 4196468 140732814435104 140359710825232 140359698819902 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 113114497 13763948544 4235 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13441356 memory=140253823399552 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 113114497 13763948544 4235 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 113114497 13763948544 4235 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 113114497 13763948544 4235 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13441356 memory=140253823399552 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 113114498 13763948544 4235 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18320 KiB

[startup+0.210127 s]*
/proc/loadavg: 1.90 1.83 1.79 1/191 30784
/proc/meminfo: memFree=31138540/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13907304 memory=20720 CPUtime=0.05 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 4565 0 0 0 4 1 0 0 20 0 14 0 113114496 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3476826 5180 2566 1 0 3466323 0
[pid=30771/tid=30772] ppid=30766 vsize=13907304 memory=8316850467074736180 CPUtime=0.04 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) D 30766 30766 28892 0 -1 4202560 2741 0 0 0 4 0 0 0 20 0 14 0 113114496 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359710820256 140359706604797 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13907304 memory=13725 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113114497 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13907304 memory=3617146718175786656 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113114497 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113114497 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113114497 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13907304 memory=140253823399552 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113114498 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30778] ppid=30766 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30778/stat : 30778 (java) S 30766 30766 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113114499 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359183967136 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30779] ppid=30766 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30779/stat : 30779 (java) S 30766 30766 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113114499 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359182914544 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30780] ppid=30766 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30780/stat : 30780 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113114501 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359181863120 140359706601371 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30781] ppid=30766 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30781/stat : 30781 (java) S 30766 30766 28892 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 14 0 113114501 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359180810736 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30782] ppid=30766 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30782/stat : 30782 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113114501 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359179758192 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30783] ppid=30766 vsize=13907304 memory=140253823399552 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30783/stat : 30783 (java) S 30766 30766 28892 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 113114501 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359178705648 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30784] ppid=30766 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30784/stat : 30784 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113114501 14241079296 5180 18446744073709551615 4194304 4196468 140732814435104 140359177653344 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22100 KiB

[startup+0.310044 s]*
/proc/loadavg: 1.90 1.83 1.79 3/192 30788
/proc/meminfo: memFree=31131788/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13974352 memory=30636 CPUtime=0.17 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 6071 0 0 0 15 2 0 0 20 0 15 0 113114496 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3493588 7659 2934 1 0 3482964 0
[pid=30771/tid=30772] ppid=30766 vsize=13974352 memory=-7677926825137650786 CPUtime=0.11 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) R 30766 30766 28892 0 -1 4202560 3436 0 0 0 10 1 0 0 20 0 15 0 113114496 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359710808576 140359690663262 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13974352 memory=4198373884061773715 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114497 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114497 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114497 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113114497 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113114498 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30778] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30778/stat : 30778 (java) S 30766 30766 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113114499 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359183967136 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30779] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30779/stat : 30779 (java) S 30766 30766 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113114499 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359182914544 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30780] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30780/stat : 30780 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359181863120 140359706601371 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30781] ppid=30766 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30771/task/30781/stat : 30781 (java) R 30766 30766 28892 0 -1 4202560 454 0 0 0 1 0 0 0 20 0 15 0 113114501 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359180810736 140359687284292 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30782] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30782/stat : 30782 (java) R 30766 30766 28892 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 113114501 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359179758192 140359706593922 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30783] ppid=30766 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30771/task/30783/stat : 30783 (java) R 30766 30766 28892 0 -1 4202560 691 0 0 0 3 0 0 0 20 0 15 0 113114501 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359178701528 140359685524389 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30784] ppid=30766 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30784/stat : 30784 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359177653344 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30785] ppid=30766 vsize=13974352 memory=140253823399552 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30785/stat : 30785 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114513 14309736448 7659 18446744073709551615 4194304 4196468 140732814435104 140359176599856 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32016 KiB

[startup+0.703081 s]
/proc/loadavg: 1.90 1.83 1.79 3/192 30794
/proc/meminfo: memFree=31113456/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13978684 memory=74976 CPUtime=1.14 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 12935 0 0 0 109 5 0 0 20 0 15 0 113114496 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3494671 18744 3153 1 0 3482964 0
[pid=30771/tid=30772] ppid=30766 vsize=13978684 memory=-7028383565733675155 CPUtime=0.49 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) R 30766 30766 28892 0 -1 4202560 7809 0 0 0 46 3 0 0 20 0 15 0 113114496 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359710819088 140359690690839 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13978684 memory=-6444863862880583314 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114497 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13978684 memory=3054156605268583796 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114497 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13978684 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114497 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13978684 memory=7016714190785702558 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113114497 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 113114498 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30778] ppid=30766 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30778/stat : 30778 (java) S 30766 30766 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113114499 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359183967136 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30779] ppid=30766 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30779/stat : 30779 (java) S 30766 30766 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113114499 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359182914544 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30780] ppid=30766 vsize=13978684 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30780/stat : 30780 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359181863120 140359706601371 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30781] ppid=30766 vsize=13978684 memory=280507401386976 CPUtime=0.22 cores=0,2,4,6
/proc/30771/task/30781/stat : 30781 (java) S 30766 30766 28892 0 -1 1077944384 1428 0 0 0 22 0 0 0 20 0 15 0 113114501 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359180810736 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30782] ppid=30766 vsize=13978684 memory=288230621803970871 CPUtime=0.2 cores=0,2,4,6
/proc/30771/task/30782/stat : 30782 (java) R 30766 30766 28892 0 -1 4202560 1001 0 0 0 20 0 0 0 20 0 15 0 113114501 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359179744976 140359687762406 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30783] ppid=30766 vsize=13978684 memory=13563795322702378 CPUtime=0.21 cores=0,2,4,6
/proc/30771/task/30783/stat : 30783 (java) R 30766 30766 28892 0 -1 4202560 1389 0 0 0 20 1 0 0 20 0 15 0 113114501 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359178702080 140359690663262 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30784] ppid=30766 vsize=13978684 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30784/stat : 30784 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359177653344 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30785] ppid=30766 vsize=13978684 memory=640 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30785/stat : 30785 (java) S 30766 30766 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113114513 14314172416 18744 18446744073709551615 4194304 4196468 140732814435104 140359176599856 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 76356 KiB

[startup+1.50096 s]
/proc/loadavg: 1.90 1.83 1.79 4/191 30800
/proc/meminfo: memFree=31005216/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13980732 memory=202668 CPUtime=3.72 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 15730 0 0 0 361 11 0 0 20 0 15 0 113114496 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3495183 50667 3210 1 0 3483476 0
[pid=30771/tid=30772] ppid=30766 vsize=13980732 memory=7236547281622689387 CPUtime=1.26 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) R 30766 30766 28892 0 -1 4202560 8484 0 0 0 121 5 0 0 20 0 15 0 113114496 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140359710817824 140359351712713 0 4 1 16800974 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 113114497 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 113114497 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 113114497 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13980732 memory=-4866526899798303339 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113114497 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 113114498 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30778] ppid=30766 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30778/stat : 30778 (java) S 30766 30766 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 50667 18446744073709551615 4194304 4196468 140732814435104 140359183967136 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30779] ppid=30766 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/30771/task/30779/stat : 30779 (java) S 30766 30766 28892 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 208615 18446744073709551615 4194304 4196468 140732814435104 140359182914560 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30780] ppid=30766 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30780/stat : 30780 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 208615 18446744073709551615 4194304 4196468 140732814435104 140359181863120 140359706601371 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30781] ppid=30766 vsize=13980732 memory=4028 CPUtime=2.66 cores=0,2,4,6
/proc/30771/task/30781/stat : 30781 (java) S 30766 30766 28892 0 -1 1077944384 11342 0 0 0 264 2 0 0 20 0 15 0 113114501 14316269568 208615 18446744073709551615 4194304 4196468 140732814435104 140359180810736 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30782] ppid=30766 vsize=13980732 memory=61056 CPUtime=2.68 cores=0,2,4,6
/proc/30771/task/30782/stat : 30782 (java) S 30766 30766 28892 0 -1 1077944384 13333 0 0 0 265 3 0 0 20 0 15 0 113114501 14316269568 208615 18446744073709551615 4194304 4196468 140732814435104 140359179758192 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30783] ppid=30766 vsize=13980732 memory=1296 CPUtime=0.72 cores=0,2,4,6
/proc/30771/task/30783/stat : 30783 (java) S 30766 30766 28892 0 -1 1077944384 7950 0 0 0 70 2 0 0 20 0 15 0 113114501 14316269568 208615 18446744073709551615 4194304 4196468 140732814435104 140359178705648 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30784] ppid=30766 vsize=13980732 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30784/stat : 30784 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 208615 18446744073709551615 4194304 4196468 140732814435104 140359177653344 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30785] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.93 cores=0,2,4,6
/proc/30771/task/30785/stat : 30785 (java) S 30766 30766 28892 0 -1 1077944384 1385 0 0 0 44 49 0 0 20 0 15 0 113114513 14316269568 208615 18446744073709551615 4194304 4196468 140732814435104 140359176599856 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 2389.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 835840 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.90 1.83 3/211 30969
/proc/meminfo: memFree=26531600/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13980732 memory=816504 CPUtime=2449.51 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 91414 0 0 0 244851 100 0 0 20 0 15 0 113114496 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3495183 204126 3245 1 0 3483476 0
[pid=30771/tid=30772] ppid=30766 vsize=13980732 memory=816504 CPUtime=2441.62 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) R 30766 30766 28892 0 -1 4202560 38117 0 0 0 244140 22 0 0 20 0 15 0 113114496 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359710822192 140359354258778 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.18 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 2070 0 0 0 13 5 0 0 20 0 15 0 113114497 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13980732 memory=816504 CPUtime=0.18 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 3425 0 0 0 13 5 0 0 20 0 15 0 113114497 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.18 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 3017 0 0 0 13 5 0 0 20 0 15 0 113114497 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13980732 memory=816504 CPUtime=0.17 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 4065 0 0 0 12 5 0 0 20 0 15 0 113114497 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 5367 0 0 0 4 3 0 0 20 0 15 0 113114498 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30778] ppid=30766 vsize=13980732 memory=816504 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30778/stat : 30778 (java) S 30766 30766 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359183967200 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30779] ppid=30766 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30779/stat : 30779 (java) S 30766 30766 28892 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359182914560 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30780] ppid=30766 vsize=13980732 memory=816504 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30780/stat : 30780 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359181863120 140359706601371 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30781] ppid=30766 vsize=13980732 memory=816504 CPUtime=2.66 cores=0,2,4,6
/proc/30771/task/30781/stat : 30781 (java) S 30766 30766 28892 0 -1 1077944384 11344 0 0 0 264 2 0 0 20 0 15 0 113114501 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359180810736 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30782] ppid=30766 vsize=13980732 memory=1380 CPUtime=2.68 cores=0,2,4,6
/proc/30771/task/30782/stat : 30782 (java) S 30766 30766 28892 0 -1 1077944384 13337 0 0 0 265 3 0 0 20 0 15 0 113114501 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359179758192 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30783] ppid=30766 vsize=13980732 memory=816504 CPUtime=0.72 cores=0,2,4,6
/proc/30771/task/30783/stat : 30783 (java) S 30766 30766 28892 0 -1 1077944384 7952 0 0 0 70 2 0 0 20 0 15 0 113114501 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359178705648 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30784] ppid=30766 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30784/stat : 30784 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359177653344 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30785] ppid=30766 vsize=13980732 memory=61056 CPUtime=0.94 cores=0,2,4,6
/proc/30771/task/30785/stat : 30785 (java) S 30766 30766 28892 0 -1 1077944384 1407 0 0 0 44 50 0 0 20 0 15 0 113114513 14316269568 204126 18446744073709551615 4194304 4196468 140732814435104 140359176599856 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 2449.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 817884 KiB

[startup+2502.3 s]
/proc/loadavg: 1.98 1.92 1.84 3/211 30971
/proc/meminfo: memFree=26547808/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13980732 memory=801116 CPUtime=2509.53 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 92623 0 0 0 250851 102 0 0 20 0 15 0 113114496 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3495183 200279 3245 1 0 3483476 0
[pid=30771/tid=30772] ppid=30766 vsize=13980732 memory=1380 CPUtime=2501.61 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) R 30766 30766 28892 0 -1 4202560 38640 0 0 0 250139 22 0 0 20 0 15 0 113114496 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359710822192 140359353502507 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.18 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 2120 0 0 0 13 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13980732 memory=801116 CPUtime=0.19 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 3436 0 0 0 14 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13980732 memory=801116 CPUtime=0.18 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 3052 0 0 0 13 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.17 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 4421 0 0 0 12 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13980732 memory=801116 CPUtime=0.07 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 5571 0 0 0 4 3 0 0 20 0 15 0 113114498 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30778] ppid=30766 vsize=13980732 memory=801116 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30778/stat : 30778 (java) S 30766 30766 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359183967200 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30779] ppid=30766 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30779/stat : 30779 (java) S 30766 30766 28892 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359182914560 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30780] ppid=30766 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30780/stat : 30780 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359181863120 140359706601371 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30781] ppid=30766 vsize=13980732 memory=142761961569438 CPUtime=2.66 cores=0,2,4,6
/proc/30771/task/30781/stat : 30781 (java) S 30766 30766 28892 0 -1 1077944384 11346 0 0 0 264 2 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359180810736 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30782] ppid=30766 vsize=13980732 memory=1380 CPUtime=2.68 cores=0,2,4,6
/proc/30771/task/30782/stat : 30782 (java) S 30766 30766 28892 0 -1 1077944384 13341 0 0 0 265 3 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359179758192 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30783] ppid=30766 vsize=13980732 memory=5789185144322613329 CPUtime=0.72 cores=0,2,4,6
/proc/30771/task/30783/stat : 30783 (java) S 30766 30766 28892 0 -1 1077944384 7954 0 0 0 70 2 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359178705648 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30784] ppid=30766 vsize=13980732 memory=801116 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30784/stat : 30784 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359177653344 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30785] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.97 cores=0,2,4,6
/proc/30771/task/30785/stat : 30785 (java) S 30766 30766 28892 0 -1 1077944384 1429 0 0 0 45 52 0 0 20 0 15 0 113114513 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359176599856 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 2509.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 802496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.8 s]
/proc/loadavg: 1.98 1.92 1.85 3/211 31049
/proc/meminfo: memFree=30137516/32770624 swapFree=67108860/67108860
[pid=30766] ppid=30763 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30766/stat : 30766 (xcsp3-exec) S 30763 30766 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113114487 9740288 345 18446744073709551615 4194304 5098028 140734053845120 140734053843224 140148670612092 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 17006592 140734053847416 140734053847621 140734053847621 140734053851115 0
/proc/30766/statm: 2378 345 289 221 0 87 0
[pid=30771] ppid=30766 vsize=13980732 memory=801116 CPUtime=2520.04 cores=0,2,4,6
/proc/30771/stat : 30771 (java) S 30766 30766 28892 0 -1 1077944320 92701 0 0 0 251902 102 0 0 20 0 15 0 113114496 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140732814417648 140359706582775 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
/proc/30771/statm: 3495183 200279 3245 1 0 3483476 0
[pid=30771/tid=30772] ppid=30766 vsize=13980732 memory=4028 CPUtime=2512.11 cores=0,2,4,6
/proc/30771/task/30772/stat : 30772 (java) R 30766 30766 28892 0 -1 4202560 38716 0 0 0 251189 22 0 0 20 0 15 0 113114496 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359710822192 140359353645174 0 4 1 16800974 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30773] ppid=30766 vsize=13980732 memory=61056 CPUtime=0.18 cores=0,2,4,6
/proc/30771/task/30773/stat : 30773 (java) S 30766 30766 28892 0 -1 1077944384 2120 0 0 0 13 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359667481360 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30774] ppid=30766 vsize=13980732 memory=1380 CPUtime=0.19 cores=0,2,4,6
/proc/30771/task/30774/stat : 30774 (java) S 30766 30766 28892 0 -1 1077944384 3436 0 0 0 14 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359305194384 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30775] ppid=30766 vsize=13980732 memory=801116 CPUtime=0.18 cores=0,2,4,6
/proc/30771/task/30775/stat : 30775 (java) S 30766 30766 28892 0 -1 1077944384 3052 0 0 0 13 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359304141840 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30776] ppid=30766 vsize=13980732 memory=1296 CPUtime=0.17 cores=0,2,4,6
/proc/30771/task/30776/stat : 30776 (java) S 30766 30766 28892 0 -1 1077944384 4421 0 0 0 12 5 0 0 20 0 15 0 113114497 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359303089296 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30777] ppid=30766 vsize=13980732 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/30771/task/30777/stat : 30777 (java) S 30766 30766 28892 0 -1 1077944384 5571 0 0 0 4 3 0 0 20 0 15 0 113114498 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359185020912 140359706593922 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30778] ppid=30766 vsize=13980732 memory=801116 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30778/stat : 30778 (java) S 30766 30766 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359183967200 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30779] ppid=30766 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30779/stat : 30779 (java) S 30766 30766 28892 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 113114499 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359182914560 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30780] ppid=30766 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30780/stat : 30780 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359181863120 140359706601371 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30781] ppid=30766 vsize=13980732 memory=12216 CPUtime=2.66 cores=0,2,4,6
/proc/30771/task/30781/stat : 30781 (java) S 30766 30766 28892 0 -1 1077944384 11346 0 0 0 264 2 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359180810736 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30782] ppid=30766 vsize=13980732 memory=-8774313645642428999 CPUtime=2.68 cores=0,2,4,6
/proc/30771/task/30782/stat : 30782 (java) S 30766 30766 28892 0 -1 1077944384 13341 0 0 0 265 3 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359179758192 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30783] ppid=30766 vsize=13980732 memory=8320808402720076084 CPUtime=0.72 cores=0,2,4,6
/proc/30771/task/30783/stat : 30783 (java) S 30766 30766 28892 0 -1 1077944384 7954 0 0 0 70 2 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359178705648 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30784] ppid=30766 vsize=13980732 memory=6020 CPUtime=0 cores=0,2,4,6
/proc/30771/task/30784/stat : 30784 (java) S 30766 30766 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113114501 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359177653344 140359706592981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
[pid=30771/tid=30785] ppid=30766 vsize=13980732 memory=6947478970202547814 CPUtime=0.97 cores=0,2,4,6
/proc/30771/task/30785/stat : 30785 (java) S 30766 30766 28892 0 -1 1077944384 1431 0 0 0 45 52 0 0 20 0 15 0 113114513 14316269568 200279 18446744073709551615 4194304 4196468 140732814435104 140359176599856 140359706593922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8568832 140732814442929 140732814443105 140732814443105 140732814446543 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 802496 KiB

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

[startup+2512.81 s]
# the end of solver process 30766 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001005 s, system=0.001005 s

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

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

Child status: 143
Real time (s): 2512.81
CPU time (s): 2520.06
CPU user time (s): 2519.03
CPU system time (s): 1.03302
CPU usage (%): 100.289
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1167240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.03
system time used= 1.03302
maximum resident set size= 1166424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57767
involuntary context switches= 3003


# summary of solver processes directly reported to runsolver:
#   pid: 30766,30771
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.03
#   total CPU system time (s): 1.03302

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5551 second user time and 23.0769 second system time

The end