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 (5076 MiB free)
memory of node 1: 16384 MiB (9973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306504-1534122101/watcher-4306504-1534122101 -o /tmp/evaluation-result-4306504-1534122101/solver-4306504-1534122101 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2741 --watchdog 2580 HOME/xcsp3-exec -seed 746125106 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306504-1534122101.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7201, runsolver pid=7198
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 1.72 1.57 1.61 3/219 7217
/proc/meminfo: memFree=15394928/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
[pid=7203] ppid=7201 vsize=14082940 memory=28616 CPUtime=0.12 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 2709 0 -1 1077944320 5494 0 0 0 11 1 0 0 20 0 15 0 229773365 14420930560 7154 33554432000 4194304 4196468 140725472544864 140725472527408 140278211903223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
/proc/7203/statm: 3520735 7154 3028 1 0 3483012 0
[pid=7203/tid=7204] ppid=7201 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 2709 0 -1 4202560 3501 0 0 0 8 0 0 0 20 0 15 0 229773366 14420930560 7219 33554432000 4194304 4196468 140725472544864 140278216142016 140277809491076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7205] ppid=7201 vsize=14082940 memory=3472468315320743120 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14420930560 7285 33554432000 4194304 4196468 140725472544864 140278141991696 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7206] ppid=7201 vsize=14082940 memory=140186425591424 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14420930560 7285 33554432000 4194304 4196468 140725472544864 140278140939152 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7207] ppid=7201 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14420930560 7285 33554432000 4194304 4196468 140725472544864 140278139886608 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7208] ppid=7201 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14420930560 7285 33554432000 4194304 4196468 140725472544864 140278138834064 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7209] ppid=7201 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773368 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277325600752 140278211914370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7210] ppid=7201 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229773368 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277324546976 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7211] ppid=7201 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229773368 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 2709 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 229773371 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277253655024 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277252602480 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14082940 memory=140186425591424 CPUtime=0.01 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) R 7201 7201 2709 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 229773371 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277251549936 140278190859561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14082940 memory=140186425591424 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773371 14420930560 7285 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30068 KiB
[startup+0.213474 s]*
/proc/loadavg: 1.72 1.57 1.61 3/219 7217
/proc/meminfo: memFree=15383268/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
[pid=7203] ppid=7201 vsize=14087196 memory=40808 CPUtime=0.34 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 2709 0 -1 1077944320 8249 0 0 0 32 2 0 0 20 0 15 0 229773365 14425288704 10202 33554432000 4194304 4196468 140725472544864 140725472527408 140278211903223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
/proc/7203/statm: 3521799 10202 3186 1 0 3483012 0
[pid=7203/tid=7204] ppid=7201 vsize=14087196 memory=4500115623978573208 CPUtime=0.19 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 2709 0 -1 4202560 5458 0 0 0 18 1 0 0 20 0 15 0 229773366 14425288704 10202 33554432000 4194304 4196468 140725472544864 140278216124216 140278211925149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7205] ppid=7201 vsize=14087196 memory=3472468315320743120 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 10202 33554432000 4194304 4196468 140725472544864 140278141991696 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7206] ppid=7201 vsize=14087196 memory=140186425591424 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 10202 33554432000 4194304 4196468 140725472544864 140278140939152 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7207] ppid=7201 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 10202 33554432000 4194304 4196468 140725472544864 140278139886608 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7208] ppid=7201 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 10202 33554432000 4194304 4196468 140725472544864 140278138834064 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7209] ppid=7201 vsize=14087196 memory=140186425591424 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 2709 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229773368 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277325600752 140278211914370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7210] ppid=7201 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229773368 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277324546976 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7211] ppid=7201 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229773368 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 2709 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 15 0 229773371 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277253655024 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 2709 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 15 0 229773371 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277252602480 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14087196 memory=140186425591424 CPUtime=0.08 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) R 7201 7201 2709 0 -1 4202560 804 0 0 0 8 0 0 0 20 0 15 0 229773371 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277251549936 140278211924570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14087196 memory=140186425591424 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773371 14425288704 10202 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42260 KiB
[startup+0.310335 s]*
/proc/loadavg: 1.72 1.57 1.61 4/219 7217
/proc/meminfo: memFree=15376196/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
[pid=7203] ppid=7201 vsize=14087196 memory=48388 CPUtime=0.52 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 2709 0 -1 1077944320 9219 0 0 0 49 3 0 0 20 0 15 0 229773365 14425288704 12097 33554432000 4194304 4196468 140725472544864 140725472527408 140278211903223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
/proc/7203/statm: 3521799 12097 3274 1 0 3483012 0
[pid=7203/tid=7204] ppid=7201 vsize=14087196 memory=4500115623978573208 CPUtime=0.29 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 2709 0 -1 4202560 6137 0 0 0 27 2 0 0 20 0 15 0 229773366 14425288704 12105 33554432000 4194304 4196468 140725472544864 140278216137008 140278195983710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7205] ppid=7201 vsize=14087196 memory=3472468482653271728 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 12105 33554432000 4194304 4196468 140725472544864 140278141991696 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7206] ppid=7201 vsize=14087196 memory=140186425591425 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 12105 33554432000 4194304 4196468 140725472544864 140278140939152 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7207] ppid=7201 vsize=14087196 memory=123 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 12105 33554432000 4194304 4196468 140725472544864 140278139886608 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7208] ppid=7201 vsize=14087196 memory=140186323375871 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14425288704 12105 33554432000 4194304 4196468 140725472544864 140278138834064 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7209] ppid=7201 vsize=14087196 memory=280372646777120 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 2709 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229773368 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277325600752 140278211914370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7210] ppid=7201 vsize=14087196 memory=140186323375887 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229773368 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277324546976 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7211] ppid=7201 vsize=14087196 memory=280372748848136 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229773368 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14087196 memory=140186323398943 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 2709 0 -1 1077944384 554 0 0 0 4 0 0 0 20 0 15 0 229773371 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277253655024 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14087196 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 2709 0 -1 1077944384 286 0 0 0 5 0 0 0 20 0 15 0 229773371 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277252602480 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 2709 0 -1 1077944384 943 0 0 0 12 0 0 0 20 0 15 0 229773371 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277251549936 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773371 14425288704 12105 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49840 KiB
[startup+0.700795 s]
/proc/loadavg: 1.72 1.57 1.61 6/219 7217
/proc/meminfo: memFree=15363668/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
[pid=7203] ppid=7201 vsize=14089320 memory=84120 CPUtime=1.62 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 2709 0 -1 1077944320 16818 0 0 0 158 4 0 0 20 0 15 0 229773365 14427463680 21030 33554432000 4194304 4196468 140725472544864 140725472527408 140278211903223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
/proc/7203/statm: 3522330 21030 3363 1 0 3483524 0
[pid=7203/tid=7204] ppid=7201 vsize=14089320 memory=7372786582024121444 CPUtime=0.66 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 2709 0 -1 4202560 6833 0 0 0 64 2 0 0 20 0 15 0 229773366 14427463680 21030 33554432000 4194304 4196468 140725472544864 140278216134480 140278197602304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7205] ppid=7201 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14427463680 21030 33554432000 4194304 4196468 140725472544864 140278141991696 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7206] ppid=7201 vsize=14089320 memory=5859271421084390760 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229773366 14427463680 21030 33554432000 4194304 4196468 140725472544864 140278140939152 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7207] ppid=7201 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14427463680 21030 33554432000 4194304 4196468 140725472544864 140278139886608 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7208] ppid=7201 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773366 14427463680 21030 33554432000 4194304 4196468 140725472544864 140278138834064 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7209] ppid=7201 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 2709 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277325600752 140278211914370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7210] ppid=7201 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277324546976 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7211] ppid=7201 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14089320 memory=62468 CPUtime=0.32 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) R 7201 7201 2709 0 -1 4202560 4176 0 0 0 32 0 0 0 20 0 15 0 229773371 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277253636040 140278189920235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14089320 memory=1220 CPUtime=0.34 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) R 7201 7201 2709 0 -1 4202560 2731 0 0 0 34 0 0 0 20 0 15 0 229773371 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277252583496 140278191596315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14089320 memory=2380 CPUtime=0.26 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 2709 0 -1 1077944384 1768 0 0 0 26 0 0 0 20 0 15 0 229773371 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277251549936 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 21030 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 85572 KiB
[startup+1.50084 s]
/proc/loadavg: 1.83 1.60 1.61 5/219 7217
/proc/meminfo: memFree=15313940/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14089320 memory=1408 CPUtime=1.47 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 2709 0 -1 1077944384 22604 0 0 0 145 2 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277253655024 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14089320 memory=3220 CPUtime=1.58 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 2709 0 -1 1077944384 13954 0 0 0 157 1 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277252602480 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14089320 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 2709 0 -1 1077944384 6165 0 0 0 34 0 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277251549936 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14089320 memory=7307184289356141159 CPUtime=0.56 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 1997 0 0 0 26 30 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 2391.93 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 492572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.88 1.82 1.72 3/218 7427
/proc/meminfo: memFree=15286220/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
[pid=7203] ppid=7201 vsize=14089320 memory=491120 CPUtime=2452.01 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 2709 0 -1 1077944320 117041 0 0 0 245092 109 0 0 20 0 15 0 229773365 14427463680 122780 33554432000 4194304 4196468 140725472544864 140725472527408 140278211903223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
/proc/7203/statm: 3522330 122780 3401 1 0 3483524 0
[pid=7203/tid=7204] ppid=7201 vsize=14089320 memory=491120 CPUtime=2438.08 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 2709 0 -1 4202560 42036 0 0 0 243793 15 0 0 20 0 15 0 229773366 14427463680 122780 33554432000 4194304 4196468 140725472544864 140278216142464 140277814024331 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7205] ppid=7201 vsize=14089320 memory=491120 CPUtime=2.13 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 2709 0 -1 1077944384 4893 0 0 0 197 16 0 0 20 0 15 0 229773366 14427463680 122780 33554432000 4194304 4196468 140725472544864 140278141991696 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7206] ppid=7201 vsize=14089320 memory=1452 CPUtime=2.14 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 2709 0 -1 1077944384 4825 0 0 0 198 16 0 0 20 0 15 0 229773366 14427463680 122780 33554432000 4194304 4196468 140725472544864 140278140939152 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7207] ppid=7201 vsize=14089320 memory=491120 CPUtime=2.14 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 2709 0 -1 1077944384 4880 0 0 0 199 15 0 0 20 0 15 0 229773366 14427463680 122780 33554432000 4194304 4196468 140725472544864 140278139886608 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7208] ppid=7201 vsize=14089320 memory=1452 CPUtime=2.14 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 2709 0 -1 1077944384 7234 0 0 0 198 16 0 0 20 0 15 0 229773366 14427463680 122780 33554432000 4194304 4196468 140725472544864 140278138834064 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7209] ppid=7201 vsize=14089320 memory=1452 CPUtime=1.31 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 2709 0 -1 1077944384 7076 0 0 0 119 12 0 0 20 0 15 0 229773368 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277325600752 140278211914370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7210] ppid=7201 vsize=14089320 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 2709 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277324546976 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7211] ppid=7201 vsize=14089320 memory=62528 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14089320 memory=491120 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14089320 memory=1452 CPUtime=1.47 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 2709 0 -1 1077944384 22607 0 0 0 145 2 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277253655024 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14089320 memory=491120 CPUtime=1.58 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 2709 0 -1 1077944384 13956 0 0 0 157 1 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277252602480 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14089320 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 2709 0 -1 1077944384 6167 0 0 0 34 0 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277251549936 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14089320 memory=491120 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14089320 memory=491120 CPUtime=0.57 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 2011 0 0 0 26 31 0 0 20 0 15 0 229773371 14427463680 122780 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 2452.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 492572 KiB
[startup+2502.3 s]
/proc/loadavg: 1.67 1.77 1.72 3/218 7428
/proc/meminfo: memFree=15285624/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
[pid=7203] ppid=7201 vsize=14089320 memory=492140 CPUtime=2512.11 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 2709 0 -1 1077944320 117830 0 0 0 251101 110 0 0 20 0 15 0 229773365 14427463680 123035 33554432000 4194304 4196468 140725472544864 140725472527408 140278211903223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
/proc/7203/statm: 3522330 123035 3401 1 0 3483524 0
[pid=7203/tid=7204] ppid=7201 vsize=14089320 memory=492140 CPUtime=2498.01 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 2709 0 -1 4202560 42362 0 0 0 249786 15 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278216142816 140277814009952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7205] ppid=7201 vsize=14089320 memory=493168 CPUtime=2.16 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 2709 0 -1 1077944384 4938 0 0 0 200 16 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278141991696 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7206] ppid=7201 vsize=14089320 memory=1452 CPUtime=2.18 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 2709 0 -1 1077944384 4868 0 0 0 202 16 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278140939152 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7207] ppid=7201 vsize=14089320 memory=492140 CPUtime=2.18 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 2709 0 -1 1077944384 5200 0 0 0 203 15 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278139886608 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7208] ppid=7201 vsize=14089320 memory=1452 CPUtime=2.18 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 2709 0 -1 1077944384 7278 0 0 0 201 17 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278138834064 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7209] ppid=7201 vsize=14089320 memory=1452 CPUtime=1.33 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 2709 0 -1 1077944384 7083 0 0 0 121 12 0 0 20 0 15 0 229773368 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277325600752 140278211914370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7210] ppid=7201 vsize=14089320 memory=492140 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 2709 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277324546976 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7211] ppid=7201 vsize=14089320 memory=492140 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14089320 memory=1452 CPUtime=1.47 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 2709 0 -1 1077944384 22607 0 0 0 145 2 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277253655024 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14089320 memory=55 CPUtime=1.58 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 2709 0 -1 1077944384 13956 0 0 0 157 1 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277252602480 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14089320 memory=3892 CPUtime=0.34 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 2709 0 -1 1077944384 6167 0 0 0 34 0 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277251549936 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14089320 memory=62528 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14089320 memory=1452 CPUtime=0.58 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 2015 0 0 0 26 32 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 2512.11 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 493592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.2 s]
/proc/loadavg: 1.70 1.78 1.72 3/218 7429
/proc/meminfo: memFree=15285544/32770624 swapFree=67108792/67108860
[pid=7201] ppid=7198 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7201/stat : 7201 (xcsp3-exec) S 7198 7201 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229773365 115843072 363 33554432000 4194304 5098028 140728718414528 140728718412632 139799213372028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13049856 140728718419003 140728718419204 140728718419204 140728718421962 0
/proc/7201/statm: 28282 363 305 221 0 87 0
[pid=7203] ppid=7201 vsize=14089320 memory=492140 CPUtime=2520.03 cores=1,3,5,7
/proc/7203/stat : 7203 (java) S 7201 7201 2709 0 -1 1077944320 117855 0 0 0 251892 111 0 0 20 0 15 0 229773365 14427463680 123035 33554432000 4194304 4196468 140725472544864 140725472527408 140278211903223 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
/proc/7203/statm: 3522330 123035 3401 1 0 3483524 0
[pid=7203/tid=7204] ppid=7201 vsize=14089320 memory=14127836181061019 CPUtime=2505.9 cores=1,3,5,7
/proc/7203/task/7204/stat : 7204 (java) R 7201 7201 2709 0 -1 4202560 42367 0 0 0 250575 15 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278216142352 140278191613665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7205] ppid=7201 vsize=14089320 memory=10783 CPUtime=2.17 cores=1,3,5,7
/proc/7203/task/7205/stat : 7205 (java) S 7201 7201 2709 0 -1 1077944384 4942 0 0 0 201 16 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278141991696 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7206] ppid=7201 vsize=14089320 memory=25303 CPUtime=2.18 cores=1,3,5,7
/proc/7203/task/7206/stat : 7206 (java) S 7201 7201 2709 0 -1 1077944384 4873 0 0 0 202 16 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278140939152 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7207] ppid=7201 vsize=14089320 memory=140186324319112 CPUtime=2.18 cores=1,3,5,7
/proc/7203/task/7207/stat : 7207 (java) S 7201 7201 2709 0 -1 1077944384 5204 0 0 0 203 15 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278139886608 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7208] ppid=7201 vsize=14089320 memory=6944656592387989600 CPUtime=2.18 cores=1,3,5,7
/proc/7203/task/7208/stat : 7208 (java) S 7201 7201 2709 0 -1 1077944384 7285 0 0 0 201 17 0 0 20 0 15 0 229773366 14427463680 123035 33554432000 4194304 4196468 140725472544864 140278138834064 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7209] ppid=7201 vsize=14089320 memory=6944656592455360604 CPUtime=1.33 cores=1,3,5,7
/proc/7203/task/7209/stat : 7209 (java) S 7201 7201 2709 0 -1 1077944384 7083 0 0 0 121 12 0 0 20 0 15 0 229773368 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277325600752 140278211914370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7210] ppid=7201 vsize=14089320 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7210/stat : 7210 (java) S 7201 7201 2709 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277324546976 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7211] ppid=7201 vsize=14089320 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7211/stat : 7211 (java) S 7201 7201 2709 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 229773368 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277255758832 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7212] ppid=7201 vsize=14089320 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7212/stat : 7212 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277254707408 140278211921819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7213] ppid=7201 vsize=14089320 memory=6944656592387989600 CPUtime=1.47 cores=1,3,5,7
/proc/7203/task/7213/stat : 7213 (java) S 7201 7201 2709 0 -1 1077944384 22607 0 0 0 145 2 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277253655024 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7214] ppid=7201 vsize=14089320 memory=6944656592455360604 CPUtime=1.58 cores=1,3,5,7
/proc/7203/task/7214/stat : 7214 (java) S 7201 7201 2709 0 -1 1077944384 13956 0 0 0 157 1 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277252602480 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7215] ppid=7201 vsize=14089320 memory=6656426216303648864 CPUtime=0.34 cores=1,3,5,7
/proc/7203/task/7215/stat : 7215 (java) S 7201 7201 2709 0 -1 1077944384 6167 0 0 0 34 0 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277251549936 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7216] ppid=7201 vsize=14089320 memory=492140 CPUtime=0 cores=1,3,5,7
/proc/7203/task/7216/stat : 7216 (java) S 7201 7201 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277250497632 140278211913429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
[pid=7203/tid=7217] ppid=7201 vsize=14089320 memory=492140 CPUtime=0.58 cores=1,3,5,7
/proc/7203/task/7217/stat : 7217 (java) S 7201 7201 2709 0 -1 1077944384 2015 0 0 0 26 32 0 0 20 0 15 0 229773371 14427463680 123035 33554432000 4194304 4196468 140725472544864 140277249444144 140278211914370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140725472547974 140725472548145 140725472548145 140725472550863 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 493592 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.21 s]
# the end of solver process 7201 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001101 s, system=0.001101 s
[startup+2510.21 s]
# the end of solver process 7203 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.93 s, system=1.11776 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): 2510.21
CPU time (s): 2520.05
CPU user time (s): 2518.93
CPU system time (s): 1.11776
CPU usage (%): 100.392
Max. virtual memory (cumulated for all children) (KiB): 14206408
Max. memory (cumulated for all children) (KiB): 494620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.93
system time used= 1.11776
maximum resident set size= 493168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91651
involuntary context switches= 1879
# summary of solver processes directly reported to runsolver:
# pid: 7201,7203
# total CPU time (s): 2520.05
# total CPU user time (s): 2518.93
# total CPU system time (s): 1.11776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2718 second user time and 22.779 second system time
The end