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 (13828 MiB free)
memory of node 1: 16384 MiB (15422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283787-1503214346/watcher-4283787-1503214346 -o /tmp/evaluation-result-4283787-1503214346/solver-4283787-1503214346 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1898720568 HOME/instance-4283787-1503214346.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20784, runsolver pid=20781
[startup+0.101289 s]*
/proc/loadavg: 1.64 1.61 1.65 3/206 20794
/proc/meminfo: memFree=29942440/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13574484 memory=19364 CPUtime=0.04 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 4214 0 0 0 3 1 0 0 20 0 9 0 123627618 13900271616 4841 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3393621 4841 2138 1 0 3383118 0
[pid=20786/tid=20787] ppid=20784 vsize=13574484 memory=-8023549066454273880 CPUtime=0.03 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 2920 0 0 0 3 0 0 0 20 0 9 0 123627618 13900271616 4841 18446744073709551615 4194304 4196468 140721542505184 139900686823288 139900674825022 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13575512 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 123627619 13901324288 4841 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13575512 memory=139967522772608 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 123627619 13901324288 4841 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13575512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20790/stat : 20790 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 123627619 13901324288 4841 18446744073709551615 4194304 4196468 140721542505184 139900280564880 139900682598101 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20791] ppid=20784 vsize=13575512 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20791/stat : 20791 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 123627619 13901324288 4841 18446744073709551615 4194304 4196468 140721542505184 139900279512080 139900682598101 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20792] ppid=20784 vsize=13575512 memory=139967522772608 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20792/stat : 20792 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 123627620 13901324288 4841 18446744073709551615 4194304 4196468 140721542505184 139900161173616 139900682599042 0 0 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20793] ppid=20784 vsize=13575512 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20793/stat : 20793 (java) S 20784 20784 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 10 0 123627621 13901324288 4841 18446744073709551615 4194304 4196468 140721542505184 139900160119584 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20794] ppid=20784 vsize=13575512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 10 0 123627621 13901324288 4907 18446744073709551615 4194304 4196468 140721542505184 139900159067248 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13641048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) R 20784 20784 28892 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 123627623 13968433152 4907 18446744073709551615 4194304 4196468 140721542505184 139900158015752 139900682614308 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20744 KiB
[startup+0.209967 s]*
/proc/loadavg: 1.64 1.61 1.65 4/212 20800
/proc/meminfo: memFree=29935912/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13974352 memory=28512 CPUtime=0.14 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 5483 0 0 0 12 2 0 0 20 0 15 0 123627618 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3493588 7128 2876 1 0 3482964 0
[pid=20786/tid=20787] ppid=20784 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 3405 0 0 0 9 1 0 0 20 0 15 0 123627618 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900686818896 139900666631525 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123627619 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13974352 memory=4050337529117644448 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20790/stat : 20790 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900280564880 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20791] ppid=20784 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20791/stat : 20791 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900279512080 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20792] ppid=20784 vsize=13974352 memory=139967522772608 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20792/stat : 20792 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123627620 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900161173616 139900682599042 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20793] ppid=20784 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20793/stat : 20793 (java) S 20784 20784 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123627621 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900160119584 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20794] ppid=20784 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123627621 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900159067248 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900158015568 139900682606491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20796] ppid=20784 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20796/stat : 20796 (java) R 20784 20784 28892 0 -1 4202560 450 0 0 0 0 0 0 0 20 0 15 0 123627623 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900156963536 139900668227696 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20797] ppid=20784 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20797/stat : 20797 (java) R 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900155910640 139900682599042 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20798] ppid=20784 vsize=13974352 memory=139967522772608 CPUtime=0.02 cores=1,3,5,7
/proc/20786/task/20798/stat : 20798 (java) S 20784 20784 28892 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 123627623 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900154858352 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20799] ppid=20784 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20799/stat : 20799 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900153805792 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20800] ppid=20784 vsize=13974352 memory=139967522772608 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20800/stat : 20800 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627629 14309736448 7128 18446744073709551615 4194304 4196468 140721542505184 139900152752560 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29892 KiB
[startup+0.310411 s]*
/proc/loadavg: 1.64 1.61 1.65 3/212 20800
/proc/meminfo: memFree=29922932/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13978608 memory=40164 CPUtime=0.33 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 9285 0 0 0 30 3 0 0 20 0 15 0 123627618 14314094592 10041 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3494652 10041 3013 1 0 3482964 0
[pid=20786/tid=20787] ppid=20784 vsize=13978608 memory=-7677926825137650786 CPUtime=0.19 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 6379 0 0 0 17 2 0 0 20 0 15 0 123627618 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900686808888 139900682609821 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123627619 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20790/stat : 20790 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900280564880 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20791] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20791/stat : 20791 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900279512080 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20792] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20792/stat : 20792 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123627620 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900161173616 139900682599042 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20793] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20793/stat : 20793 (java) S 20784 20784 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123627621 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900160119584 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20794] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123627621 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900159067248 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900158015568 139900682606491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20796] ppid=20784 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20786/task/20796/stat : 20796 (java) S 20784 20784 28892 0 -1 1077944384 699 0 0 0 2 0 0 0 20 0 15 0 123627623 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900156963440 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20797] ppid=20784 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20786/task/20797/stat : 20797 (java) S 20784 20784 28892 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 123627623 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900155910640 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20798] ppid=20784 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20786/task/20798/stat : 20798 (java) R 20784 20784 28892 0 -1 4202560 731 0 0 0 7 0 0 0 20 0 15 0 123627623 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900154858352 139900661371312 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20799] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20799/stat : 20799 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900153805792 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20800] ppid=20784 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20800/stat : 20800 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627629 14314094592 10097 18446744073709551615 4194304 4196468 140721542505184 139900152752560 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41544 KiB
[startup+0.701445 s]
/proc/loadavg: 1.64 1.61 1.65 5/212 20800
/proc/meminfo: memFree=29902920/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13980732 memory=66544 CPUtime=1.28 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 13237 0 0 0 123 5 0 0 20 0 15 0 123627618 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3495183 16636 3179 1 0 3483476 0
[pid=20786/tid=20787] ppid=20784 vsize=13980732 memory=797 CPUtime=0.57 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 8512 0 0 0 54 3 0 0 20 0 15 0 123627618 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900686827536 139900322085520 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13980732 memory=465 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123627619 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13980732 memory=4225 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13980732 memory=558 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20790/stat : 20790 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900280564880 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20791] ppid=20784 vsize=13980732 memory=1574 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20791/stat : 20791 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900279512080 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20792] ppid=20784 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20792/stat : 20792 (java) S 20784 20784 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123627620 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900161173616 139900682599042 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20793] ppid=20784 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20793/stat : 20793 (java) S 20784 20784 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900160119584 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20794] ppid=20784 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900159067248 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900158015568 139900682606491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20796] ppid=20784 vsize=13980732 memory=5119601017999 CPUtime=0.21 cores=1,3,5,7
/proc/20786/task/20796/stat : 20796 (java) R 20784 20784 28892 0 -1 4202560 1243 0 0 0 21 0 0 0 20 0 15 0 123627623 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900156949464 139900664109302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20797] ppid=20784 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/20786/task/20797/stat : 20797 (java) R 20784 20784 28892 0 -1 4202560 853 0 0 0 22 0 0 0 20 0 15 0 123627623 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900155903128 139900668651872 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20798] ppid=20784 vsize=13980732 memory=1204 CPUtime=0.25 cores=1,3,5,7
/proc/20786/task/20798/stat : 20798 (java) S 20784 20784 28892 0 -1 1077944384 1321 0 0 0 25 0 0 0 20 0 15 0 123627623 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900154858352 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20799] ppid=20784 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20799/stat : 20799 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900153805792 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20800] ppid=20784 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20800/stat : 20800 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627629 14316269568 16636 18446744073709551615 4194304 4196468 140721542505184 139900152752560 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67924 KiB
[startup+1.50084 s]
/proc/loadavg: 1.64 1.61 1.65 5/212 20800
/proc/meminfo: memFree=29829812/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13980732 memory=138080 CPUtime=3.79 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 21421 0 0 0 372 7 0 0 20 0 15 0 123627618 14316269568 34520 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3495183 34520 3197 1 0 3483476 0
[pid=20786/tid=20787] ppid=20784 vsize=13980732 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 9293 0 0 0 133 4 0 0 20 0 15 0 123627618 14316269568 34520 18446744073709551615 4194304 4196468 140721542505184 139900686824560 139900326633356 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13980732 memory=279934828282096 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123627619 14316269568 34520 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123627619 14316269568 34520 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 160329 18446744073709551615 4194304 4196468 140721542505184 139900159067264 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 160329 18446744073709551615 4194304 4196468 140721542505184 139900158015568 139900682606491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20796] ppid=20784 vsize=13980732 memory=1380 CPUtime=3.49 cores=1,3,5,7
/proc/20786/task/20796/stat : 20796 (java) S 20784 20784 28892 0 -1 1077944384 22901 0 0 0 346 3 0 0 20 0 15 0 123627623 14316269568 160329 18446744073709551615 4194304 4196468 140721542505184 139900156963440 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20797] ppid=20784 vsize=13980732 memory=640308 CPUtime=4.08 cores=1,3,5,7
/proc/20786/task/20797/stat : 20797 (java) S 20784 20784 28892 0 -1 1077944384 21838 0 0 0 406 2 0 0 20 0 15 0 123627623 14316269568 160329 18446744073709551615 4194304 4196468 140721542505184 139900155910640 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20798] ppid=20784 vsize=13980732 memory=1380 CPUtime=0.73 cores=1,3,5,7
/proc/20786/task/20798/stat : 20798 (java) S 20784 20784 28892 0 -1 1077944384 10143 0 0 0 71 2 0 0 20 0 15 0 123627623 14316269568 160329 18446744073709551615 4194304 4196468 140721542505184 139900154858352 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20799] ppid=20784 vsize=13980732 memory=641832 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20799/stat : 20799 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 160329 18446744073709551615 4194304 4196468 140721542505184 139900153805792 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20800] ppid=20784 vsize=13980732 memory=1000 CPUtime=1.25 cores=1,3,5,7
/proc/20786/task/20800/stat : 20800 (java) S 20784 20784 28892 0 -1 1077944384 1466 0 0 0 57 68 0 0 20 0 15 0 123627629 14316269568 160329 18446744073709551615 4194304 4196468 140721542505184 139900152752560 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 2389.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 642696 KiB
[startup+2382.3 s]
/proc/loadavg: 1.49 1.47 1.54 3/211 21017
/proc/meminfo: memFree=30143172/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13980732 memory=642852 CPUtime=2450.96 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 277166 0 0 0 244741 355 0 0 20 0 15 0 123627618 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3495183 160713 3258 1 0 3483476 0
[pid=20786/tid=20787] ppid=20784 vsize=13980732 memory=648496 CPUtime=2358.86 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 133437 0 0 0 235851 35 0 0 20 0 15 0 123627618 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900686827360 139900328303812 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13980732 memory=617716 CPUtime=20.08 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 14228 0 0 0 1950 58 0 0 20 0 15 0 123627619 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13980732 memory=651576 CPUtime=20.09 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 13374 0 0 0 1952 57 0 0 20 0 15 0 123627619 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13980732 memory=1380 CPUtime=20.13 cores=1,3,5,7
/proc/20786/task/20790/stat : 20790 (java) S 20784 20784 28892 0 -1 1077944384 13261 0 0 0 1955 58 0 0 20 0 15 0 123627619 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900280564880 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20791] ppid=20784 vsize=13980732 memory=648496 CPUtime=20.05 cores=1,3,5,7
/proc/20786/task/20791/stat : 20791 (java) S 20784 20784 28892 0 -1 1077944384 14880 0 0 0 1948 57 0 0 20 0 15 0 123627619 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900279512080 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20792] ppid=20784 vsize=13980732 memory=642852 CPUtime=2.08 cores=1,3,5,7
/proc/20786/task/20792/stat : 20792 (java) S 20784 20784 28892 0 -1 1077944384 30233 0 0 0 176 32 0 0 20 0 15 0 123627620 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900161173616 139900682599042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20793] ppid=20784 vsize=13980732 memory=642852 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20793/stat : 20793 (java) S 20784 20784 28892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900160119648 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20794] ppid=20784 vsize=13980732 memory=642852 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900159067264 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900158015568 139900682606491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20796] ppid=20784 vsize=13980732 memory=642852 CPUtime=3.49 cores=1,3,5,7
/proc/20786/task/20796/stat : 20796 (java) S 20784 20784 28892 0 -1 1077944384 22903 0 0 0 346 3 0 0 20 0 15 0 123627623 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900156963440 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20797] ppid=20784 vsize=13980732 memory=4068 CPUtime=4.08 cores=1,3,5,7
/proc/20786/task/20797/stat : 20797 (java) S 20784 20784 28892 0 -1 1077944384 21840 0 0 0 406 2 0 0 20 0 15 0 123627623 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900155910640 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20798] ppid=20784 vsize=13980732 memory=1156 CPUtime=0.73 cores=1,3,5,7
/proc/20786/task/20798/stat : 20798 (java) S 20784 20784 28892 0 -1 1077944384 10145 0 0 0 71 2 0 0 20 0 15 0 123627623 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900154858352 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20799] ppid=20784 vsize=13980732 memory=3196 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20799/stat : 20799 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900153805792 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20800] ppid=20784 vsize=13980732 memory=1380 CPUtime=1.29 cores=1,3,5,7
/proc/20786/task/20800/stat : 20800 (java) S 20784 20784 28892 0 -1 1077944384 1483 0 0 0 59 70 0 0 20 0 15 0 123627629 14316269568 160713 18446744073709551615 4194304 4196468 140721542505184 139900152752560 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 2450.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 644232 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.50 1.54 3/211 21020
/proc/meminfo: memFree=30190220/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13980732 memory=599800 CPUtime=2512.02 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 281578 0 0 0 250842 360 0 0 20 0 15 0 123627618 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3495183 149950 3258 1 0 3483476 0
[pid=20786/tid=20787] ppid=20784 vsize=13980732 memory=597476 CPUtime=2418.46 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 136792 0 0 0 241810 36 0 0 20 0 15 0 123627618 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900686827360 139900326244416 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13980732 memory=586936 CPUtime=20.43 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 14509 0 0 0 1985 58 0 0 20 0 15 0 123627619 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13980732 memory=612072 CPUtime=20.44 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 13658 0 0 0 1986 58 0 0 20 0 15 0 123627619 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13980732 memory=642852 CPUtime=20.47 cores=1,3,5,7
/proc/20786/task/20790/stat : 20790 (java) S 20784 20784 28892 0 -1 1077944384 13459 0 0 0 1988 59 0 0 20 0 15 0 123627619 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900280564880 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20791] ppid=20784 vsize=13980732 memory=624900 CPUtime=20.41 cores=1,3,5,7
/proc/20786/task/20791/stat : 20791 (java) S 20784 20784 28892 0 -1 1077944384 14931 0 0 0 1983 58 0 0 20 0 15 0 123627619 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900279512080 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20792] ppid=20784 vsize=13980732 memory=625300 CPUtime=2.1 cores=1,3,5,7
/proc/20786/task/20792/stat : 20792 (java) S 20784 20784 28892 0 -1 1077944384 30441 0 0 0 178 32 0 0 20 0 15 0 123627620 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900161173616 139900682599042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20793] ppid=20784 vsize=13980732 memory=586936 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20793/stat : 20793 (java) S 20784 20784 28892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900160119648 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20794] ppid=20784 vsize=13980732 memory=591032 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900159067264 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900158015568 139900682606491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20796] ppid=20784 vsize=13980732 memory=597476 CPUtime=3.49 cores=1,3,5,7
/proc/20786/task/20796/stat : 20796 (java) S 20784 20784 28892 0 -1 1077944384 22905 0 0 0 346 3 0 0 20 0 15 0 123627623 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900156963440 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20797] ppid=20784 vsize=13980732 memory=1380 CPUtime=4.08 cores=1,3,5,7
/proc/20786/task/20797/stat : 20797 (java) S 20784 20784 28892 0 -1 1077944384 21842 0 0 0 406 2 0 0 20 0 15 0 123627623 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900155910640 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20798] ppid=20784 vsize=13980732 memory=1380 CPUtime=0.73 cores=1,3,5,7
/proc/20786/task/20798/stat : 20798 (java) S 20784 20784 28892 0 -1 1077944384 10147 0 0 0 71 2 0 0 20 0 15 0 123627623 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900154858352 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20799] ppid=20784 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20799/stat : 20799 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900153805792 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20800] ppid=20784 vsize=13980732 memory=1380 CPUtime=1.31 cores=1,3,5,7
/proc/20786/task/20800/stat : 20800 (java) S 20784 20784 28892 0 -1 1077944384 1512 0 0 0 60 71 0 0 20 0 15 0 123627629 14316269568 149950 18446744073709551615 4194304 4196468 140721542505184 139900152752560 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 2512.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 601180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.2 s]
/proc/loadavg: 1.55 1.49 1.54 3/211 21022
/proc/meminfo: memFree=30186536/32770624 swapFree=67108860/67108860
[pid=20784] ppid=20781 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20784/stat : 20784 (xcsp3-exec) S 20781 20784 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123627612 9740288 345 18446744073709551615 4194304 5098028 140735277799904 140735277798008 140700283069052 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 20299776 140735277801848 140735277802053 140735277802053 140735277805547 0
/proc/20784/statm: 2378 345 289 221 0 87 0
[pid=20786] ppid=20784 vsize=13980732 memory=600288 CPUtime=2520.04 cores=1,3,5,7
/proc/20786/stat : 20786 (java) S 20784 20784 28892 0 -1 1077944320 281813 0 0 0 251643 361 0 0 20 0 15 0 123627618 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 140721542487728 139900682587895 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
/proc/20786/statm: 3495183 150072 3258 1 0 3483476 0
[pid=20786/tid=20787] ppid=20784 vsize=13980732 memory=1624 CPUtime=2426.31 cores=1,3,5,7
/proc/20786/task/20787/stat : 20787 (java) R 20784 20784 28892 0 -1 4202560 136864 0 0 0 242595 36 0 0 20 0 15 0 123627618 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900686827488 139900326677603 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20788] ppid=20784 vsize=13980732 memory=2160 CPUtime=20.48 cores=1,3,5,7
/proc/20786/task/20788/stat : 20788 (java) S 20784 20784 28892 0 -1 1077944384 14515 0 0 0 1989 59 0 0 20 0 15 0 123627619 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900643486608 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20789] ppid=20784 vsize=13980732 memory=288230574492221466 CPUtime=20.48 cores=1,3,5,7
/proc/20786/task/20789/stat : 20789 (java) S 20784 20784 28892 0 -1 1077944384 13660 0 0 0 1990 58 0 0 20 0 15 0 123627619 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900642433808 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20790] ppid=20784 vsize=13980732 memory=288230621803970871 CPUtime=20.51 cores=1,3,5,7
/proc/20786/task/20790/stat : 20790 (java) S 20784 20784 28892 0 -1 1077944384 13464 0 0 0 1992 59 0 0 20 0 15 0 123627619 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900280564880 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20791] ppid=20784 vsize=13980732 memory=15825486446070293 CPUtime=20.44 cores=1,3,5,7
/proc/20786/task/20791/stat : 20791 (java) S 20784 20784 28892 0 -1 1077944384 14937 0 0 0 1986 58 0 0 20 0 15 0 123627619 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900279512080 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20792] ppid=20784 vsize=13980732 memory=7955440994963975232 CPUtime=2.1 cores=1,3,5,7
/proc/20786/task/20792/stat : 20792 (java) S 20784 20784 28892 0 -1 1077944384 30441 0 0 0 178 32 0 0 20 0 15 0 123627620 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900161173616 139900682599042 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20793] ppid=20784 vsize=13980732 memory=7740116992776552552 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20793/stat : 20793 (java) S 20784 20784 28892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900160119648 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20794] ppid=20784 vsize=13980732 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20794/stat : 20794 (java) S 20784 20784 28892 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 123627621 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900159067264 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20795] ppid=20784 vsize=13980732 memory=-7028383565733675155 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20795/stat : 20795 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900158015568 139900682606491 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20796] ppid=20784 vsize=13980732 memory=7306366265623728724 CPUtime=3.49 cores=1,3,5,7
/proc/20786/task/20796/stat : 20796 (java) S 20784 20784 28892 0 -1 1077944384 22905 0 0 0 346 3 0 0 20 0 15 0 123627623 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900156963440 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20797] ppid=20784 vsize=13980732 memory=7450994951433187176 CPUtime=4.08 cores=1,3,5,7
/proc/20786/task/20797/stat : 20797 (java) S 20784 20784 28892 0 -1 1077944384 21986 0 0 0 406 2 0 0 20 0 15 0 123627623 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900155910640 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20798] ppid=20784 vsize=13980732 memory=7667214995367215208 CPUtime=0.73 cores=1,3,5,7
/proc/20786/task/20798/stat : 20798 (java) S 20784 20784 28892 0 -1 1077944384 10147 0 0 0 71 2 0 0 20 0 15 0 123627623 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900154858352 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20799] ppid=20784 vsize=13980732 memory=7236229500900889449 CPUtime=0 cores=1,3,5,7
/proc/20786/task/20799/stat : 20799 (java) S 20784 20784 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123627623 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900153805792 139900682598101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
[pid=20786/tid=20800] ppid=20784 vsize=13980732 memory=7800340461609313367 CPUtime=1.32 cores=1,3,5,7
/proc/20786/task/20800/stat : 20800 (java) S 20784 20784 28892 0 -1 1077944384 1512 0 0 0 60 72 0 0 20 0 15 0 123627629 14316269568 150072 18446744073709551615 4194304 4196468 140721542505184 139900152752560 139900682599042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 26886144 140721542508977 140721542509153 140721542509153 140721542512591 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 601668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.21 s]
# the end of solver process 20784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000939 s, system=0.000939 s
[startup+2450.21 s]
# the end of solver process 20786 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=3.62096 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): 2450.21
CPU time (s): 2520.07
CPU user time (s): 2516.44
CPU system time (s): 3.62096
CPU usage (%): 102.851
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 701496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.62096
maximum resident set size= 705256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90697
involuntary context switches= 3996
# summary of solver processes directly reported to runsolver:
# pid: 20784,20786
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.44
# total CPU system time (s): 3.62096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8776 second user time and 22.3971 second system time
The end