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 (10706 MiB free)
memory of node 1: 16384 MiB (13582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306892-1534136952/watcher-4306892-1534136952 -o /tmp/evaluation-result-4306892-1534136952/solver-4306892-1534136952 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534136952-1000 --watchdog 2580 HOME/xcsp3-exec -seed 713613469 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306892-1534136952.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1025, runsolver pid=1022
[startup+0.100163 s]*
/proc/loadavg: 1.97 2.01 1.99 3/217 1062
/proc/meminfo: memFree=24837132/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
[pid=1027] ppid=1025 vsize=14082940 memory=28652 CPUtime=0.11 cores=0,2,4,6
/proc/1027/stat : 1027 (java) S 1025 1025 636 0 -1 1077944320 5573 0 0 0 10 1 0 0 20 0 15 0 231258442 14420930560 7163 33554432000 4194304 4196468 140735474975280 140735474957824 140021610405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
/proc/1027/statm: 3520735 7163 2992 1 0 3483012 0
[pid=1027/tid=1030] ppid=1025 vsize=14082940 memory=7022364632946311227 CPUtime=0.08 cores=0,2,4,6
/proc/1027/task/1030/stat : 1030 (java) R 1025 1025 636 0 -1 4202560 3600 0 0 0 8 0 0 0 20 0 15 0 231258442 14420930560 7163 33554432000 4194304 4196468 140735474975280 140021614638896 140021610417558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1037] ppid=1025 vsize=14082940 memory=4294979980 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1037/stat : 1037 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 7163 33554432000 4194304 4196468 140735474975280 140021206330128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1038] ppid=1025 vsize=14082940 memory=4051181734366418592 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1038/stat : 1038 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 7163 33554432000 4194304 4196468 140735474975280 140021205277584 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1039] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1039/stat : 1039 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 7163 33554432000 4194304 4196468 140735474975280 140021204225040 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1040] ppid=1025 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1040/stat : 1040 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 7163 33554432000 4194304 4196468 140735474975280 140021203172496 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1045] ppid=1025 vsize=14082940 memory=139786479343232 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1045/stat : 1045 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258444 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020950353904 140021610416770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1046] ppid=1025 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1046/stat : 1046 (java) S 1025 1025 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231258445 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020949300128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1048] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231258445 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) S 1025 1025 636 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 231258447 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020946143728 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) S 1025 1025 636 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 231258447 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020945091184 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14082940 memory=139786479343232 CPUtime=0.01 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) R 1025 1025 636 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 15 0 231258447 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020944038640 140021610417558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258448 14420930560 7163 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30104 KiB
[startup+0.211583 s]*
/proc/loadavg: 1.97 2.01 1.99 4/217 1062
/proc/meminfo: memFree=24813588/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
[pid=1027] ppid=1025 vsize=14082940 memory=41012 CPUtime=0.34 cores=0,2,4,6
/proc/1027/stat : 1027 (java) S 1025 1025 636 0 -1 1077944320 8291 0 0 0 32 2 0 0 20 0 15 0 231258442 14420930560 10253 33554432000 4194304 4196468 140735474975280 140735474957824 140021610405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
/proc/1027/statm: 3520735 10253 3186 1 0 3483012 0
[pid=1027/tid=1030] ppid=1025 vsize=14082940 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1027/task/1030/stat : 1030 (java) R 1025 1025 636 0 -1 4202560 5430 0 0 0 19 1 0 0 20 0 15 0 231258442 14420930560 10253 33554432000 4194304 4196468 140735474975280 140021614644624 140021610427549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1037] ppid=1025 vsize=14082940 memory=4294979980 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1037/stat : 1037 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 10253 33554432000 4194304 4196468 140735474975280 140021206330128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1038] ppid=1025 vsize=14082940 memory=4051181734366418592 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1038/stat : 1038 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 10253 33554432000 4194304 4196468 140735474975280 140021205277584 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1039] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1039/stat : 1039 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 10253 33554432000 4194304 4196468 140735474975280 140021204225040 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1040] ppid=1025 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1040/stat : 1040 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14420930560 10253 33554432000 4194304 4196468 140735474975280 140021203172496 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1045] ppid=1025 vsize=14082940 memory=139786479343232 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1045/stat : 1045 (java) S 1025 1025 636 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 231258444 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020950353904 140021610416770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1046] ppid=1025 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1046/stat : 1046 (java) S 1025 1025 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231258445 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020949300128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1048] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231258445 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) S 1025 1025 636 0 -1 1077944384 630 0 0 0 2 0 0 0 20 0 15 0 231258447 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020946143728 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) S 1025 1025 636 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 15 0 231258447 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020945091184 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14082940 memory=139786479343232 CPUtime=0.08 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) S 1025 1025 636 0 -1 1077944384 780 0 0 0 8 0 0 0 20 0 15 0 231258447 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020944038640 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258448 14420930560 10253 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42464 KiB
[startup+0.310589 s]*
/proc/loadavg: 1.97 2.01 1.99 6/217 1062
/proc/meminfo: memFree=24801164/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
[pid=1027] ppid=1025 vsize=14087196 memory=47688 CPUtime=0.52 cores=0,2,4,6
/proc/1027/stat : 1027 (java) S 1025 1025 636 0 -1 1077944320 9091 0 0 0 49 3 0 0 20 0 15 0 231258442 14425288704 11922 33554432000 4194304 4196468 140735474975280 140735474957824 140021610405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
/proc/1027/statm: 3521799 11922 3254 1 0 3483012 0
[pid=1027/tid=1030] ppid=1025 vsize=14087196 memory=1399051139730258233 CPUtime=0.29 cores=0,2,4,6
/proc/1027/task/1030/stat : 1030 (java) R 1025 1025 636 0 -1 4202560 6093 0 0 0 28 1 0 0 20 0 15 0 231258442 14425288704 11949 33554432000 4194304 4196468 140735474975280 140021614642912 140021594486116 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1037] ppid=1025 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1037/stat : 1037 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14425288704 11949 33554432000 4194304 4196468 140735474975280 140021206330128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1038] ppid=1025 vsize=14087196 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1038/stat : 1038 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14425288704 11949 33554432000 4194304 4196468 140735474975280 140021205277584 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1039] ppid=1025 vsize=14087196 memory=1860 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1039/stat : 1039 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14425288704 11949 33554432000 4194304 4196468 140735474975280 140021204225040 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1040] ppid=1025 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1040/stat : 1040 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14425288704 11949 33554432000 4194304 4196468 140735474975280 140021203172496 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1045] ppid=1025 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1045/stat : 1045 (java) S 1025 1025 636 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 231258444 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020950353904 140021610416770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1046] ppid=1025 vsize=14087196 memory=139786354516432 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1046/stat : 1046 (java) S 1025 1025 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231258445 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020949300128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1048] ppid=1025 vsize=14087196 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231258445 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14087196 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) R 1025 1025 636 0 -1 4202560 710 0 0 0 5 0 0 0 20 0 15 0 231258447 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020946134112 140021595513294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) S 1025 1025 636 0 -1 1077944384 167 0 0 0 3 0 0 0 20 0 15 0 231258447 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020945091184 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) S 1025 1025 636 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 15 0 231258447 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020944038640 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14087196 memory=-6452064069391756930 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258448 14425288704 11949 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49140 KiB
[startup+0.701522 s]
/proc/loadavg: 1.97 2.01 1.99 6/217 1062
/proc/meminfo: memFree=24775916/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
[pid=1027] ppid=1025 vsize=14089320 memory=75872 CPUtime=1.54 cores=0,2,4,6
/proc/1027/stat : 1027 (java) S 1025 1025 636 0 -1 1077944320 11631 0 0 0 150 4 0 0 20 0 15 0 231258442 14427463680 18968 33554432000 4194304 4196468 140735474975280 140735474957824 140021610405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
/proc/1027/statm: 3522330 18968 3360 1 0 3483524 0
[pid=1027/tid=1030] ppid=1025 vsize=14089320 memory=-8961168018402230209 CPUtime=0.66 cores=0,2,4,6
/proc/1027/task/1030/stat : 1030 (java) R 1025 1025 636 0 -1 4202560 7102 0 0 0 64 2 0 0 20 0 15 0 231258442 14427463680 18968 33554432000 4194304 4196468 140735474975280 140021614644320 140021610417558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1037] ppid=1025 vsize=14089320 memory=4639059877604708710 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1037/stat : 1037 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14427463680 18968 33554432000 4194304 4196468 140735474975280 140021206330128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1038] ppid=1025 vsize=14089320 memory=7518026621751088996 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1038/stat : 1038 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258443 14427463680 18968 33554432000 4194304 4196468 140735474975280 140021205277584 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1039] ppid=1025 vsize=14089320 memory=1328 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1039/stat : 1039 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14427463680 18968 33554432000 4194304 4196468 140735474975280 140021204225040 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1040] ppid=1025 vsize=14089320 memory=976 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1040/stat : 1040 (java) S 1025 1025 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231258443 14427463680 18968 33554432000 4194304 4196468 140735474975280 140021203172496 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1045] ppid=1025 vsize=14089320 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1045/stat : 1045 (java) S 1025 1025 636 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 231258444 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020950353904 140021610416770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1046] ppid=1025 vsize=14089320 memory=1024 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1046/stat : 1046 (java) S 1025 1025 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020949300128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1048] ppid=1025 vsize=14089320 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14089320 memory=2076 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14089320 memory=9004 CPUtime=0.23 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) R 1025 1025 636 0 -1 4202560 1058 0 0 0 23 0 0 0 20 0 15 0 231258447 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020946142832 140021588533191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14089320 memory=768 CPUtime=0.21 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) R 1025 1025 636 0 -1 4202560 515 0 0 0 21 0 0 0 20 0 15 0 231258447 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020945091184 140021593792726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14089320 memory=736 CPUtime=0.4 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) R 1025 1025 636 0 -1 4202560 1645 0 0 0 40 0 0 0 20 0 15 0 231258447 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020944038640 140021610426970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14089320 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231258448 14427463680 18968 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 77324 KiB
[startup+1.50078 s]
/proc/loadavg: 1.97 2.01 1.99 7/217 1062
/proc/meminfo: memFree=24717704/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 51094 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14427463680 51094 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14089320 memory=3544 CPUtime=3 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) S 1025 1025 636 0 -1 1077944384 12342 0 0 0 298 2 0 0 20 0 15 0 231258447 14427463680 51094 33554432000 4194304 4196468 140735474975280 140020946143728 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14089320 memory=8836 CPUtime=3.01 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) S 1025 1025 636 0 -1 1077944384 10471 0 0 0 300 1 0 0 20 0 15 0 231258447 14427463680 51094 33554432000 4194304 4196468 140735474975280 140020945091184 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14089320 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) S 1025 1025 636 0 -1 1077944384 7543 0 0 0 67 2 0 0 20 0 15 0 231258447 14427463680 51094 33554432000 4194304 4196468 140735474975280 140020944038640 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14089320 memory=204376 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14427463680 51094 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14089320 memory=3544 CPUtime=1.06 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 708 0 0 0 56 50 0 0 20 0 15 0 231258448 14427463680 51094 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 2339.44 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 205828 KiB
[startup+2382.3 s]
/proc/loadavg: 1.27 1.32 1.42 3/217 1146
/proc/meminfo: memFree=24368712/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
[pid=1027] ppid=1025 vsize=14089320 memory=206424 CPUtime=2399.75 cores=0,2,4,6
/proc/1027/stat : 1027 (java) S 1025 1025 636 0 -1 1077944320 74900 0 0 0 239834 141 0 0 20 0 15 0 231258442 14427463680 51606 33554432000 4194304 4196468 140735474975280 140735474957824 140021610405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
/proc/1027/statm: 3522330 51606 3416 1 0 3483524 0
[pid=1027/tid=1030] ppid=1025 vsize=14089320 memory=206424 CPUtime=2374.49 cores=0,2,4,6
/proc/1027/task/1030/stat : 1030 (java) R 1025 1025 636 0 -1 4202560 26263 0 0 0 237436 13 0 0 20 0 15 0 231258442 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021614644704 140021253084818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1037] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.65 cores=0,2,4,6
/proc/1027/task/1037/stat : 1037 (java) S 1025 1025 636 0 -1 1077944384 2528 0 0 0 345 20 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021206330128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1038] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.57 cores=0,2,4,6
/proc/1027/task/1038/stat : 1038 (java) S 1025 1025 636 0 -1 1077944384 2728 0 0 0 334 23 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021205277584 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1039] ppid=1025 vsize=14089320 memory=1452 CPUtime=3.59 cores=0,2,4,6
/proc/1027/task/1039/stat : 1039 (java) S 1025 1025 636 0 -1 1077944384 3299 0 0 0 341 18 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021204225040 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1040] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.61 cores=0,2,4,6
/proc/1027/task/1040/stat : 1040 (java) S 1025 1025 636 0 -1 1077944384 4284 0 0 0 343 18 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021203172496 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1045] ppid=1025 vsize=14089320 memory=1452 CPUtime=2.95 cores=0,2,4,6
/proc/1027/task/1045/stat : 1045 (java) S 1025 1025 636 0 -1 1077944384 3344 0 0 0 276 19 0 0 20 0 15 0 231258444 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020950353904 140021610416770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1046] ppid=1025 vsize=14089320 memory=206424 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1046/stat : 1046 (java) S 1025 1025 636 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020949300128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1048] ppid=1025 vsize=14089320 memory=206424 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14089320 memory=206424 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14089320 memory=206424 CPUtime=3 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) S 1025 1025 636 0 -1 1077944384 12344 0 0 0 298 2 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020946143728 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.01 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) S 1025 1025 636 0 -1 1077944384 10473 0 0 0 300 1 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020945091184 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14089320 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) S 1025 1025 636 0 -1 1077944384 7545 0 0 0 67 2 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020944038640 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14089320 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14089320 memory=1452 CPUtime=1.09 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 739 0 0 0 57 52 0 0 20 0 15 0 231258448 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 2399.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 207876 KiB
[startup+2442.3 s]
/proc/loadavg: 1.24 1.31 1.41 3/217 1147
/proc/meminfo: memFree=24358728/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
[pid=1027] ppid=1025 vsize=14089320 memory=206424 CPUtime=2460.04 cores=0,2,4,6
/proc/1027/stat : 1027 (java) S 1025 1025 636 0 -1 1077944320 75152 0 0 0 245860 144 0 0 20 0 15 0 231258442 14427463680 51606 33554432000 4194304 4196468 140735474975280 140735474957824 140021610405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
/proc/1027/statm: 3522330 51606 3416 1 0 3483524 0
[pid=1027/tid=1030] ppid=1025 vsize=14089320 memory=206424 CPUtime=2434.27 cores=0,2,4,6
/proc/1027/task/1030/stat : 1030 (java) R 1025 1025 636 0 -1 4202560 26502 0 0 0 243414 13 0 0 20 0 15 0 231258442 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021614644704 140021255065891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1037] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.75 cores=0,2,4,6
/proc/1027/task/1037/stat : 1037 (java) S 1025 1025 636 0 -1 1077944384 2528 0 0 0 355 20 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021206330128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1038] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.68 cores=0,2,4,6
/proc/1027/task/1038/stat : 1038 (java) S 1025 1025 636 0 -1 1077944384 2731 0 0 0 344 24 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021205277584 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1039] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.7 cores=0,2,4,6
/proc/1027/task/1039/stat : 1039 (java) S 1025 1025 636 0 -1 1077944384 3300 0 0 0 351 19 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021204225040 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1040] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.72 cores=0,2,4,6
/proc/1027/task/1040/stat : 1040 (java) S 1025 1025 636 0 -1 1077944384 4284 0 0 0 353 19 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021203172496 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1045] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.02 cores=0,2,4,6
/proc/1027/task/1045/stat : 1045 (java) S 1025 1025 636 0 -1 1077944384 3349 0 0 0 283 19 0 0 20 0 15 0 231258444 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020950353904 140021610416770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1046] ppid=1025 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1046/stat : 1046 (java) S 1025 1025 636 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020949300128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1048] ppid=1025 vsize=14089320 memory=206424 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14089320 memory=206424 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14089320 memory=206424 CPUtime=3 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) S 1025 1025 636 0 -1 1077944384 12344 0 0 0 298 2 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020946143728 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14089320 memory=1452 CPUtime=3.01 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) S 1025 1025 636 0 -1 1077944384 10473 0 0 0 300 1 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020945091184 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14089320 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) S 1025 1025 636 0 -1 1077944384 7545 0 0 0 67 2 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020944038640 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14089320 memory=1452 CPUtime=1.13 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 743 0 0 0 59 54 0 0 20 0 15 0 231258448 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 2460.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 207876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502 s]*
/proc/loadavg: 1.32 1.31 1.40 3/218 1156
/proc/meminfo: memFree=24347120/32770624 swapFree=67058936/67108860
[pid=1025] ppid=1022 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1025/stat : 1025 (xcsp3-exec) S 1022 1025 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231258442 115843072 363 33554432000 4194304 5098028 140726254928336 140726254926440 139713182777980 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 39493632 140726254933051 140726254933252 140726254933252 140726254936010 0
/proc/1025/statm: 28282 363 305 221 0 87 0
[pid=1027] ppid=1025 vsize=14089320 memory=206424 CPUtime=2520.06 cores=0,2,4,6
/proc/1027/stat : 1027 (java) S 1025 1025 636 0 -1 1077944320 76153 0 0 0 251858 148 0 0 20 0 15 0 231258442 14427463680 51606 33554432000 4194304 4196468 140735474975280 140735474957824 140021610405623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
/proc/1027/statm: 3522330 51606 3416 1 0 3483524 0
[pid=1027/tid=1030] ppid=1025 vsize=14089320 memory=1399051139730258233 CPUtime=2493.79 cores=0,2,4,6
/proc/1027/task/1030/stat : 1030 (java) R 1025 1025 636 0 -1 4202560 26983 0 0 0 249365 14 0 0 20 0 15 0 231258442 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021614644816 140021253085117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1037] ppid=1025 vsize=14089320 memory=4126316290023845779 CPUtime=3.84 cores=0,2,4,6
/proc/1027/task/1037/stat : 1037 (java) S 1025 1025 636 0 -1 1077944384 2596 0 0 0 364 20 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021206330128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1038] ppid=1025 vsize=14089320 memory=1452 CPUtime=3.78 cores=0,2,4,6
/proc/1027/task/1038/stat : 1038 (java) S 1025 1025 636 0 -1 1077944384 3033 0 0 0 354 24 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021205277584 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1039] ppid=1025 vsize=14089320 memory=206424 CPUtime=3.8 cores=0,2,4,6
/proc/1027/task/1039/stat : 1039 (java) S 1025 1025 636 0 -1 1077944384 3304 0 0 0 361 19 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021204225040 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1040] ppid=1025 vsize=14089320 memory=1408 CPUtime=3.82 cores=0,2,4,6
/proc/1027/task/1040/stat : 1040 (java) S 1025 1025 636 0 -1 1077944384 4332 0 0 0 362 20 0 0 20 0 15 0 231258443 14427463680 51606 33554432000 4194304 4196468 140735474975280 140021203172496 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1045] ppid=1025 vsize=14089320 memory=3324 CPUtime=3.1 cores=0,2,4,6
/proc/1027/task/1045/stat : 1045 (java) S 1025 1025 636 0 -1 1077944384 3426 0 0 0 290 20 0 0 20 0 15 0 231258444 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020950353904 140021610416770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1046] ppid=1025 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1046/stat : 1046 (java) S 1025 1025 636 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020949300128 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1048] ppid=1025 vsize=14089320 memory=337784 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1048/stat : 1048 (java) S 1025 1025 636 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 231258445 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020948247536 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1051] ppid=1025 vsize=14089320 memory=1140 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1051/stat : 1051 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020947196112 140021610424219 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1052] ppid=1025 vsize=14089320 memory=1548 CPUtime=3 cores=0,2,4,6
/proc/1027/task/1052/stat : 1052 (java) S 1025 1025 636 0 -1 1077944384 12346 0 0 0 298 2 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020946143728 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1053] ppid=1025 vsize=14089320 memory=1432 CPUtime=3.01 cores=0,2,4,6
/proc/1027/task/1053/stat : 1053 (java) S 1025 1025 636 0 -1 1077944384 10475 0 0 0 300 1 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020945091184 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1054] ppid=1025 vsize=14089320 memory=816 CPUtime=0.69 cores=0,2,4,6
/proc/1027/task/1054/stat : 1054 (java) S 1025 1025 636 0 -1 1077944384 7547 0 0 0 67 2 0 0 20 0 15 0 231258447 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020944038640 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1055] ppid=1025 vsize=14089320 memory=1932 CPUtime=0 cores=0,2,4,6
/proc/1027/task/1055/stat : 1055 (java) S 1025 1025 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231258448 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020942986336 140021610415829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
[pid=1027/tid=1056] ppid=1025 vsize=14089320 memory=2076 CPUtime=1.15 cores=0,2,4,6
/proc/1027/task/1056/stat : 1056 (java) S 1025 1025 636 0 -1 1077944384 758 0 0 0 60 55 0 0 20 0 15 0 231258448 14427463680 51606 33554432000 4194304 4196468 140735474975280 140020941932848 140021610416770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9814016 140735474984070 140735474984241 140735474984241 140735474986959 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 207876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.02 s]
# the end of solver process 1025 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001099 s, system=0.001099 s
[startup+2502.02 s]
# the end of solver process 1027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.59 s, system=1.48928 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): 2502.02
CPU time (s): 2520.08
CPU user time (s): 2518.59
CPU system time (s): 1.48928
CPU usage (%): 100.722
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 227724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.59
system time used= 1.48928
maximum resident set size= 227772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141918
involuntary context switches= 4804
# summary of solver processes directly reported to runsolver:
# pid: 1025,1027
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.59
# total CPU system time (s): 1.48928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4795 second user time and 24.2015 second system time
The end