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 (6632 MiB free)
memory of node 1: 16384 MiB (7219 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306685-1534046713/watcher-4306685-1534046713 -o /tmp/evaluation-result-4306685-1534046713/solver-4306685-1534046713 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534039196-6271 --watchdog 2580 HOME/xcsp3-exec -seed 1444958323 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306685-1534046713.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7085, runsolver pid=7082
Current StackSize limit: 8192 KiB
[startup+0.100846 s]*
/proc/loadavg: 1.91 2.00 2.00 4/218 7101
/proc/meminfo: memFree=14166516/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14082940 memory=29360 CPUtime=0.12 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 5695 0 0 0 10 2 0 0 20 0 15 0 222234461 14420930560 7340 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3520735 7340 3031 1 0 3483012 0
[pid=7087/tid=7088] ppid=7085 vsize=14082940 memory=7899496949874922331 CPUtime=0.08 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 3713 0 0 0 8 0 0 0 20 0 15 0 222234462 14420930560 7405 33554432000 4194304 4196468 140730211430688 140559458277168 140559454055830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 7405 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14082940 memory=140288376751744 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 7405 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 7405 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 7405 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14082940 memory=140288376751744 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234464 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222234464 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558994351520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222234464 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558993298928 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14082940 memory=140288376751744 CPUtime=0.01 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) R 7085 7085 4813 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 222234467 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558989089008 140559439724017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14082940 memory=140288376751744 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 7405 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30812 KiB
[startup+0.210488 s]*
/proc/loadavg: 1.91 2.00 2.00 4/218 7101
/proc/meminfo: memFree=14155396/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14082940 memory=40996 CPUtime=0.34 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 8309 0 0 0 31 3 0 0 20 0 15 0 222234461 14420930560 10249 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3520735 10249 3191 1 0 3483012 0
[pid=7087/tid=7088] ppid=7085 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 5457 0 0 0 18 1 0 0 20 0 15 0 222234462 14420930560 10249 33554432000 4194304 4196468 140730211430688 140559458278432 140559438124382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14082940 memory=11619 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 10249 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14082940 memory=3473034854598231712 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 10249 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 10249 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14420930560 10249 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14082940 memory=140288376751744 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222234464 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222234464 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558994351520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222234464 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558993298928 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 222234467 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 222234467 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14082940 memory=140288376751744 CPUtime=0.07 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) S 7085 7085 4813 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 15 0 222234467 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558989089008 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 10249 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234467 14420930560 10313 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42448 KiB
[startup+0.3158 s]*
/proc/loadavg: 1.91 2.00 2.00 4/218 7101
/proc/meminfo: memFree=14148952/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14087196 memory=48516 CPUtime=0.53 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 9254 0 0 0 50 3 0 0 20 0 15 0 222234461 14425288704 12129 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3521799 12129 3255 1 0 3483012 0
[pid=7087/tid=7088] ppid=7085 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 6202 0 0 0 28 2 0 0 20 0 15 0 222234462 14425288704 12129 33554432000 4194304 4196468 140730211430688 140559458277680 140559438124382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14425288704 12129 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14425288704 12129 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14425288704 12129 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14425288704 12129 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222234464 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222234464 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558994351520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222234464 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558993298928 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14087196 memory=-8412660965215072671 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14087196 memory=-7384621950708166502 CPUtime=0.05 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 546 0 0 0 5 0 0 0 20 0 15 0 222234467 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 362 0 0 0 4 0 0 0 20 0 15 0 222234467 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) S 7085 7085 4813 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 15 0 222234467 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558989089008 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234467 14425288704 12129 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49968 KiB
[startup+0.700775 s]
/proc/loadavg: 1.91 2.00 2.00 5/218 7101
/proc/meminfo: memFree=14124136/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14089320 memory=94596 CPUtime=1.7 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 12736 0 0 0 164 6 0 0 20 0 15 0 222234461 14427463680 23649 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3522330 23649 3355 1 0 3483524 0
[pid=7087/tid=7088] ppid=7085 vsize=14089320 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 6980 0 0 0 64 3 0 0 20 0 15 0 222234462 14427463680 23649 33554432000 4194304 4196468 140730211430688 140559458272400 140559062696000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14427463680 23649 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14427463680 23649 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14089320 memory=60304 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234462 14427463680 23649 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14089320 memory=1116 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222234462 14427463680 23649 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14089320 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222234464 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14089320 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222234464 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558994351520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222234464 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558993298928 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14089320 memory=1820 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14089320 memory=4552 CPUtime=0.3 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 1342 0 0 0 30 0 0 0 20 0 15 0 222234467 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14089320 memory=3732 CPUtime=0.32 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 1194 0 0 0 31 1 0 0 20 0 15 0 222234467 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14089320 memory=1228 CPUtime=0.37 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) S 7085 7085 4813 0 -1 1077944384 1911 0 0 0 37 0 0 0 20 0 15 0 222234467 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558989089008 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14089320 memory=10624 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14089320 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222234467 14427463680 23649 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 96048 KiB
[startup+1.5009 s]
/proc/loadavg: 1.91 2.00 2.00 3/218 7101
/proc/meminfo: memFree=14064504/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14091368 memory=469024 CPUtime=317.97 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 48660 0 0 0 31758 39 0 0 20 0 15 0 222234461 14429560832 117256 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3522842 117256 3410 1 0 3484036 0
[pid=7087/tid=7088] ppid=7085 vsize=14091368 memory=502688 CPUtime=311.88 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 13048 0 0 0 31180 8 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559458283032 140559068531072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14091368 memory=916 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 359 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14091368 memory=4872558044660077418 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 491 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14091368 memory=1068 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1683 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14091368 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 465 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14091368 memory=469024 CPUtime=0.01 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14091368 memory=1116 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558994351584 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14091368 memory=2144 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558993298944 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14091368 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14091368 memory=748 CPUtime=2.41 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 11482 0 0 0 240 1 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14091368 memory=1820 CPUtime=2.31 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 9798 0 0 0 229 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14091368 memory=4552 CPUtime=0.73 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) S 7085 7085 4813 0 -1 1077944384 8226 0 0 0 71 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558989089008 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14091368 memory=808 CPUtime=0.09 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 875 0 0 0 3 6 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 317.97 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 470476 KiB
[startup+312.801 s]
/proc/loadavg: 2.02 2.01 2.01 3/218 7274
/proc/meminfo: memFree=15428500/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14091368 memory=469024 CPUtime=318.76 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 48660 0 0 0 31837 39 0 0 20 0 15 0 222234461 14429560832 117256 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3522842 117256 3410 1 0 3484036 0
[pid=7087/tid=7088] ppid=7085 vsize=14091368 memory=8112282956445269571 CPUtime=312.67 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 13048 0 0 0 31259 8 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559458283032 140559068814328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14091368 memory=1624 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 359 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14091368 memory=6676 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 491 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14091368 memory=876 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1683 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14091368 memory=288230574492221466 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 465 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14091368 memory=288230596050944315 CPUtime=0.01 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14091368 memory=14127849082719513 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558994351584 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14091368 memory=4552 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558993298944 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14091368 memory=748 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14091368 memory=1820 CPUtime=2.41 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 11482 0 0 0 240 1 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14091368 memory=4552 CPUtime=2.31 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 9798 0 0 0 229 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14091368 memory=3732 CPUtime=0.73 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) S 7085 7085 4813 0 -1 1077944384 8226 0 0 0 71 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558989089008 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14091368 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14091368 memory=1452 CPUtime=0.09 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 875 0 0 0 3 6 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 318.76 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 470476 KiB
[startup+313.201 s]
/proc/loadavg: 2.02 2.01 2.01 3/218 7274
/proc/meminfo: memFree=15428500/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14091368 memory=469024 CPUtime=319.16 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 48660 0 0 0 31877 39 0 0 20 0 15 0 222234461 14429560832 117256 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3522842 117256 3410 1 0 3484036 0
[pid=7087/tid=7088] ppid=7085 vsize=14091368 memory=8112282956445269571 CPUtime=313.07 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 13048 0 0 0 31299 8 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559458283032 140559068813952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14091368 memory=1624 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 359 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14091368 memory=6676 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 491 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14091368 memory=876 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1683 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14091368 memory=1296 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 465 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14091368 memory=1068 CPUtime=0.01 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14091368 memory=15084 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558994351584 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14091368 memory=34268 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558993298944 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14091368 memory=469024 CPUtime=2.41 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 11482 0 0 0 240 1 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14091368 memory=469024 CPUtime=2.31 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 9798 0 0 0 229 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14091368 memory=1452 CPUtime=0.73 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) S 7085 7085 4813 0 -1 1077944384 8226 0 0 0 71 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558989089008 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14091368 memory=469024 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14091368 memory=1456 CPUtime=0.09 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 875 0 0 0 3 6 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 319.16 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 470476 KiB
[startup+313.601 s]
/proc/loadavg: 2.02 2.01 2.01 3/218 7274
/proc/meminfo: memFree=15428500/32770624 swapFree=67108504/67108860
[pid=7085] ppid=7082 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7085/stat : 7085 (xcsp3-exec) S 7082 7085 4813 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222234461 115843072 363 33554432000 4194304 5098028 140726178197136 140726178195240 139891430916732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12406784 140726178202682 140726178202884 140726178202884 140726178205642 0
/proc/7085/statm: 28282 363 305 221 0 87 0
[pid=7087] ppid=7085 vsize=14091368 memory=469024 CPUtime=319.56 cores=0,2,4,6
/proc/7087/stat : 7087 (java) S 7085 7085 4813 0 -1 1077944320 48660 0 0 0 31917 39 0 0 20 0 15 0 222234461 14429560832 117256 33554432000 4194304 4196468 140730211430688 140730211413232 140559454043895 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
/proc/7087/statm: 3522842 117256 3410 1 0 3484036 0
[pid=7087/tid=7088] ppid=7085 vsize=14091368 memory=469024 CPUtime=313.47 cores=0,2,4,6
/proc/7087/task/7088/stat : 7088 (java) R 7085 7085 4813 0 -1 4202560 13048 0 0 0 31339 8 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559458283032 140559066216289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7089] ppid=7085 vsize=14091368 memory=8112282956445269571 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7089/stat : 7089 (java) S 7085 7085 4813 0 -1 1077944384 359 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559384131856 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7090] ppid=7085 vsize=14091368 memory=2127 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7090/stat : 7090 (java) S 7085 7085 4813 0 -1 1077944384 491 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559383079312 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7091] ppid=7085 vsize=14091368 memory=6 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7091/stat : 7091 (java) S 7085 7085 4813 0 -1 1077944384 1683 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559047637520 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7092] ppid=7085 vsize=14091368 memory=80 CPUtime=0.11 cores=0,2,4,6
/proc/7087/task/7092/stat : 7092 (java) S 7085 7085 4813 0 -1 1077944384 465 0 0 0 6 5 0 0 20 0 15 0 222234462 14429560832 117256 33554432000 4194304 4196468 140730211430688 140559046584976 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7093] ppid=7085 vsize=14091368 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/7087/task/7093/stat : 7093 (java) S 7085 7085 4813 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558995405296 140559454055042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7094] ppid=7085 vsize=14091368 memory=60304 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7094/stat : 7094 (java) S 7085 7085 4813 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558994351584 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7095] ppid=7085 vsize=14091368 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7095/stat : 7095 (java) S 7085 7085 4813 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 222234464 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558993298944 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7096] ppid=7085 vsize=14091368 memory=469024 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7096/stat : 7096 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558992247504 140559454062491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7097] ppid=7085 vsize=14091368 memory=0 CPUtime=2.41 cores=0,2,4,6
/proc/7087/task/7097/stat : 7097 (java) S 7085 7085 4813 0 -1 1077944384 11482 0 0 0 240 1 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558991194096 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7098] ppid=7085 vsize=14091368 memory=7232890293113415765 CPUtime=2.31 cores=0,2,4,6
/proc/7087/task/7098/stat : 7098 (java) S 7085 7085 4813 0 -1 1077944384 9798 0 0 0 229 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558990141552 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7099] ppid=7085 vsize=14091368 memory=7804846182934012756 CPUtime=0.73 cores=0,2,4,6
/proc/7087/task/7099/stat : 7099 (java) S 7085 7085 4813 0 -1 1077944384 8226 0 0 0 71 2 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558989089008 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7100] ppid=7085 vsize=14091368 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7087/task/7100/stat : 7100 (java) S 7085 7085 4813 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558988036704 140559454054101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
[pid=7087/tid=7101] ppid=7085 vsize=14091368 memory=2144 CPUtime=0.09 cores=0,2,4,6
/proc/7087/task/7101/stat : 7101 (java) S 7085 7085 4813 0 -1 1077944384 875 0 0 0 3 6 0 0 20 0 15 0 222234467 14429560832 117256 33554432000 4194304 4196468 140730211430688 140558986984240 140559454055042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 35778560 140730211439750 140730211439921 140730211439921 140730211442639 0
Current children cumulated CPU time: 319.56 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 470476 KiB
Child status: 0
Real time (s): 313.655
CPU time (s): 319.626
CPU user time (s): 319.225
CPU system time (s): 0.401227
CPU usage (%): 101.904
Max. virtual memory (cumulated for all children) (KiB): 14206268
Max. memory (cumulated for all children) (KiB): 470476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.225
system time used= 0.401227
maximum resident set size= 469296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9771
involuntary context switches= 200
# summary of solver processes directly reported to runsolver:
# pid: 7085
# total CPU time (s): 319.626
# total CPU user time (s): 319.225
# total CPU system time (s): 0.401227
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57081 second user time and 3.12675 second system time
The end