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 (5438 MiB free)
memory of node 1: 16384 MiB (9976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306872-1534102371/watcher-4306872-1534102371 -o /tmp/evaluation-result-4306872-1534102371/solver-4306872-1534102371 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2741 --watchdog 2580 HOME/xcsp3-exec -seed 1171682572 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306872-1534102371.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=3973, runsolver pid=3970
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 1.81 1.89 1.94 4/217 3989
/proc/meminfo: memFree=15768172/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
[pid=3975] ppid=3973 vsize=14082940 memory=28760 CPUtime=0.11 cores=1,3,5,7
/proc/3975/stat : 3975 (java) S 3973 3973 2709 0 -1 1077944320 5617 0 0 0 10 1 0 0 20 0 15 0 227800358 14420930560 7190 33554432000 4194304 4196468 140730274074064 140730274056608 139931989503735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
/proc/3975/statm: 3520735 7190 3000 1 0 3483012 0
[pid=3975/tid=3976] ppid=3973 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/3975/task/3976/stat : 3976 (java) R 3973 3973 2709 0 -1 4202560 3629 0 0 0 8 0 0 0 20 0 15 0 227800359 14420930560 7190 33554432000 4194304 4196468 140730274074064 139931993737008 139931989515670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3977] ppid=3973 vsize=14082940 memory=3472468418032833744 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931919591696 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3978] ppid=3973 vsize=14082940 memory=140289137682048 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3978/stat : 3978 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931918539152 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3979] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3979/stat : 3979 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931917486608 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3980] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3980/stat : 3980 (java) S 3973 3973 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931916434064 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3981] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3981/stat : 3981 (java) S 3973 3973 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227800361 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931463301616 139931989514882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3982] ppid=3973 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3982/stat : 3982 (java) S 3973 3973 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227800361 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931462247840 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3983] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227800362 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931461195248 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) S 3973 3973 2709 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931459090416 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) S 3973 3973 2709 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931458037872 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14082940 memory=140289137682048 CPUtime=0.01 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) R 3973 3973 2709 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 227800364 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931456985328 139931973817308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14082940 memory=140289137682048 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 7255 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30212 KiB
[startup+0.210553 s]*
/proc/loadavg: 1.81 1.89 1.94 5/217 3989
/proc/meminfo: memFree=15756868/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
[pid=3975] ppid=3973 vsize=14082940 memory=41000 CPUtime=0.33 cores=1,3,5,7
/proc/3975/stat : 3975 (java) S 3973 3973 2709 0 -1 1077944320 8291 0 0 0 31 2 0 0 20 0 15 0 227800358 14420930560 10250 33554432000 4194304 4196468 140730274074064 140730274056608 139931989503735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
/proc/3975/statm: 3520735 10250 3169 1 0 3483012 0
[pid=3975/tid=3976] ppid=3973 vsize=14082940 memory=4500115623978573208 CPUtime=0.2 cores=1,3,5,7
/proc/3975/task/3976/stat : 3976 (java) R 3973 3973 2709 0 -1 4202560 5466 0 0 0 19 1 0 0 20 0 15 0 227800359 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931993740960 139931989525661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3977] ppid=3973 vsize=14082940 memory=3472468418032833744 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931919591696 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3978] ppid=3973 vsize=14082940 memory=140289137682048 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3978/stat : 3978 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931918539152 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3979] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3979/stat : 3979 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931917486608 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3980] ppid=3973 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3980/stat : 3980 (java) S 3973 3973 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227800360 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931916434064 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3981] ppid=3973 vsize=14082940 memory=140289137682048 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3981/stat : 3981 (java) S 3973 3973 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227800361 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931463301616 139931989514882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3982] ppid=3973 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3982/stat : 3982 (java) S 3973 3973 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227800361 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931462247840 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3983] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227800362 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931461195248 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14082940 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) S 3973 3973 2709 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 227800364 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931459090416 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) S 3973 3973 2709 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 15 0 227800364 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931458037872 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14082940 memory=140289137682048 CPUtime=0.08 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) S 3973 3973 2709 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 227800364 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931456985328 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14082940 memory=140289137682048 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800364 14420930560 10314 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42452 KiB
[startup+0.310361 s]*
/proc/loadavg: 1.81 1.89 1.94 4/217 3989
/proc/meminfo: memFree=15750168/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
[pid=3975] ppid=3973 vsize=14087196 memory=48200 CPUtime=0.52 cores=1,3,5,7
/proc/3975/stat : 3975 (java) S 3973 3973 2709 0 -1 1077944320 9192 0 0 0 49 3 0 0 20 0 15 0 227800358 14425288704 12050 33554432000 4194304 4196468 140730274074064 140730274056608 139931989503735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
/proc/3975/statm: 3521799 12050 3264 1 0 3483012 0
[pid=3975/tid=3976] ppid=3973 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/3975/task/3976/stat : 3976 (java) R 3973 3973 2709 0 -1 4202560 6174 0 0 0 27 2 0 0 20 0 15 0 227800359 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931993737520 139931973584222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3977] ppid=3973 vsize=14087196 memory=3472468418032833744 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931919591696 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3978] ppid=3973 vsize=14087196 memory=140289137682048 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3978/stat : 3978 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931918539152 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3979] ppid=3973 vsize=14087196 memory=3 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3979/stat : 3979 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931917486608 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3980] ppid=3973 vsize=14087196 memory=140288999958559 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3980/stat : 3980 (java) S 3973 3973 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227800360 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931916434064 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3981] ppid=3973 vsize=14087196 memory=280577999877888 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3981/stat : 3981 (java) S 3973 3973 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227800361 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931463301616 139931989514882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3982] ppid=3973 vsize=14087196 memory=140288999935503 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3982/stat : 3982 (java) S 3973 3973 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227800361 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931462247840 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3983] ppid=3973 vsize=14087196 memory=280578137626720 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227800362 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931461195248 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14087196 memory=140288999940111 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) S 3973 3973 2709 0 -1 1077944384 354 0 0 0 3 0 0 0 20 0 15 0 227800364 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931459090416 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14087196 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) S 3973 3973 2709 0 -1 1077944384 543 0 0 0 5 0 0 0 20 0 15 0 227800364 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931458037872 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) S 3973 3973 2709 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 15 0 227800364 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931456985328 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800364 14425288704 12050 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49652 KiB
[startup+0.700833 s]
/proc/loadavg: 1.81 1.89 1.94 5/217 3989
/proc/meminfo: memFree=15719272/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
[pid=3975] ppid=3973 vsize=14089320 memory=126908 CPUtime=1.74 cores=1,3,5,7
/proc/3975/stat : 3975 (java) S 3973 3973 2709 0 -1 1077944320 13014 0 0 0 168 6 0 0 20 0 15 0 227800358 14427463680 31727 33554432000 4194304 4196468 140730274074064 140730274056608 139931989503735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
/proc/3975/statm: 3522330 31727 3351 1 0 3483524 0
[pid=3975/tid=3976] ppid=3973 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=1,3,5,7
/proc/3975/task/3976/stat : 3976 (java) R 3973 3973 2709 0 -1 4202560 6605 0 0 0 65 2 0 0 20 0 15 0 227800359 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931993737672 139931598143434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3977] ppid=3973 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931919591696 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3978] ppid=3973 vsize=14089320 memory=5859271421084259688 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3978/stat : 3978 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931918539152 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3979] ppid=3973 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3979/stat : 3979 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800360 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931917486608 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3980] ppid=3973 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3980/stat : 3980 (java) S 3973 3973 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227800360 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931916434064 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3981] ppid=3973 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3981/stat : 3981 (java) S 3973 3973 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227800361 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931463301616 139931989514882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3982] ppid=3973 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3982/stat : 3982 (java) S 3973 3973 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227800361 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931462247840 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3983] ppid=3973 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227800362 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931461195248 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14089320 memory=61944 CPUtime=0.35 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) R 3973 3973 2709 0 -1 4202560 1728 0 0 0 35 0 0 0 20 0 15 0 227800364 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931459076296 139931971024608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14089320 memory=1220 CPUtime=0.38 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) R 3973 3973 2709 0 -1 4202560 1766 0 0 0 38 0 0 0 20 0 15 0 227800364 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931458023896 139931971047923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14089320 memory=2380 CPUtime=0.29 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) S 3973 3973 2709 0 -1 1077944384 1607 0 0 0 29 0 0 0 20 0 15 0 227800364 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931456985328 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 31727 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 128360 KiB
[startup+1.50118 s]
/proc/loadavg: 1.81 1.89 1.94 6/217 3989
/proc/meminfo: memFree=15594228/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 227800362 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931461195264 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14089320 memory=1452 CPUtime=3.68 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) S 3973 3973 2709 0 -1 1077944384 20234 0 0 0 365 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931459090416 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14089320 memory=1920 CPUtime=3.33 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) S 3973 3973 2709 0 -1 1077944384 20002 0 0 0 330 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931458037872 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14089320 memory=7892 CPUtime=0.78 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) S 3973 3973 2709 0 -1 1077944384 13801 0 0 0 75 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931456985328 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14089320 memory=1452 CPUtime=1.48 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1898 0 0 0 64 84 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 2402.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2824396 KiB
[startup+2442.3 s]
/proc/loadavg: 1.89 1.86 1.81 3/218 4312
/proc/meminfo: memFree=12871372/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
[pid=3975] ppid=3973 vsize=14089320 memory=2822944 CPUtime=2462.58 cores=1,3,5,7
/proc/3975/stat : 3975 (java) S 3973 3973 2709 0 -1 1077944320 197115 0 0 0 245940 318 0 0 20 0 15 0 227800358 14427463680 705736 33554432000 4194304 4196468 140730274074064 140730274056608 139931989503735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
/proc/3975/statm: 3522330 705736 3437 1 0 3483524 0
[pid=3975/tid=3976] ppid=3973 vsize=14089320 memory=2822944 CPUtime=2438.32 cores=1,3,5,7
/proc/3975/task/3976/stat : 3976 (java) R 3973 3973 2709 0 -1 4202560 86827 0 0 0 243812 20 0 0 20 0 15 0 227800359 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931993740424 139931603547827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3977] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.68 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (java) S 3973 3973 2709 0 -1 1077944384 9487 0 0 0 317 51 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931919591696 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3978] ppid=3973 vsize=14089320 memory=1452 CPUtime=3.67 cores=1,3,5,7
/proc/3975/task/3978/stat : 3978 (java) S 3973 3973 2709 0 -1 1077944384 8697 0 0 0 317 50 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931918539152 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3979] ppid=3973 vsize=14089320 memory=1452 CPUtime=3.67 cores=1,3,5,7
/proc/3975/task/3979/stat : 3979 (java) S 3973 3973 2709 0 -1 1077944384 8271 0 0 0 315 52 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931917486608 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3980] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.7 cores=1,3,5,7
/proc/3975/task/3980/stat : 3980 (java) S 3973 3973 2709 0 -1 1077944384 21005 0 0 0 320 50 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931916434064 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3981] ppid=3973 vsize=14089320 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/3975/task/3981/stat : 3981 (java) S 3973 3973 2709 0 -1 1077944384 5512 0 0 0 10 4 0 0 20 0 15 0 227800361 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931463301616 139931989514882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3982] ppid=3973 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3982/stat : 3982 (java) S 3973 3973 2709 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 227800361 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931462247904 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3983] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 227800362 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931461195264 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.68 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) S 3973 3973 2709 0 -1 1077944384 20237 0 0 0 365 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931459090416 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14089320 memory=1452 CPUtime=3.33 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) S 3973 3973 2709 0 -1 1077944384 20006 0 0 0 330 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931458037872 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14089320 memory=3892 CPUtime=0.78 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) S 3973 3973 2709 0 -1 1077944384 13809 0 0 0 75 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931456985328 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14089320 memory=1452 CPUtime=1.52 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1928 0 0 0 66 86 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 2462.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2824396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.7 s]
/proc/loadavg: 1.97 1.89 1.82 3/218 4464
/proc/meminfo: memFree=12964864/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
[pid=3975] ppid=3973 vsize=14089320 memory=2822944 CPUtime=2520.02 cores=1,3,5,7
/proc/3975/stat : 3975 (java) S 3973 3973 2709 0 -1 1077944320 198315 0 0 0 251682 320 0 0 20 0 15 0 227800358 14427463680 705736 33554432000 4194304 4196468 140730274074064 140730274056608 139931989503735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
/proc/3975/statm: 3522330 705736 3437 1 0 3483524 0
[pid=3975/tid=3976] ppid=3973 vsize=14089320 memory=1452 CPUtime=2495.71 cores=1,3,5,7
/proc/3975/task/3976/stat : 3976 (java) R 3973 3973 2709 0 -1 4202560 87973 0 0 0 249551 20 0 0 20 0 15 0 227800359 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931993740424 139931602733720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3977] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.68 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (java) S 3973 3973 2709 0 -1 1077944384 9487 0 0 0 317 51 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931919591696 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3978] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.67 cores=1,3,5,7
/proc/3975/task/3978/stat : 3978 (java) S 3973 3973 2709 0 -1 1077944384 8697 0 0 0 317 50 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931918539152 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3979] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.67 cores=1,3,5,7
/proc/3975/task/3979/stat : 3979 (java) S 3973 3973 2709 0 -1 1077944384 8271 0 0 0 315 52 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931917486608 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3980] ppid=3973 vsize=14089320 memory=3892 CPUtime=3.7 cores=1,3,5,7
/proc/3975/task/3980/stat : 3980 (java) S 3973 3973 2709 0 -1 1077944384 21005 0 0 0 320 50 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931916434064 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3981] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0.14 cores=1,3,5,7
/proc/3975/task/3981/stat : 3981 (java) S 3973 3973 2709 0 -1 1077944384 5521 0 0 0 10 4 0 0 20 0 15 0 227800361 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931463301616 139931989514882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3982] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3982/stat : 3982 (java) S 3973 3973 2709 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 227800361 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931462247904 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3983] ppid=3973 vsize=14089320 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 227800362 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931461195264 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.68 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) S 3973 3973 2709 0 -1 1077944384 20240 0 0 0 365 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931459090416 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14089320 memory=1452 CPUtime=3.33 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) S 3973 3973 2709 0 -1 1077944384 20014 0 0 0 330 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931458037872 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14089320 memory=3892 CPUtime=0.78 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) S 3973 3973 2709 0 -1 1077944384 13813 0 0 0 75 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931456985328 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14089320 memory=2822944 CPUtime=1.56 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1958 0 0 0 68 88 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2824396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.72 s]
# the end of solver process 3973 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00229 s, system=0 s
[startup+2499.72 s]
# the end of solver process 3975 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.83 s, system=3.21815 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
[startup+2499.7 s]
/proc/loadavg: 1.97 1.89 1.82 3/218 4464
/proc/meminfo: memFree=12964864/32770624 swapFree=67108792/67108860
[pid=3973] ppid=3970 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3973/stat : 3973 (xcsp3-exec) S 3970 3973 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227800358 115843072 363 33554432000 4194304 5098028 140721278469072 140721278467176 140344136589948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38072320 140721278477370 140721278477572 140721278477572 140721278480330 0
/proc/3973/statm: 28282 363 305 221 0 87 0
[pid=3975] ppid=3973 vsize=14089320 memory=2822944 CPUtime=2520.02 cores=1,3,5,7
/proc/3975/stat : 3975 (java) S 3973 3973 2709 0 -1 1077944320 198315 0 0 0 251682 320 0 0 20 0 15 0 227800358 14427463680 705736 33554432000 4194304 4196468 140730274074064 140730274056608 139931989503735 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
/proc/3975/statm: 3522330 705736 3437 1 0 3483524 0
[pid=3975/tid=3976] ppid=3973 vsize=14089320 memory=1452 CPUtime=2495.71 cores=1,3,5,7
/proc/3975/task/3976/stat : 3976 (java) R 3973 3973 2709 0 -1 4202560 87973 0 0 0 249551 20 0 0 20 0 15 0 227800359 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931993740424 139931602733720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3977] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.68 cores=1,3,5,7
/proc/3975/task/3977/stat : 3977 (java) S 3973 3973 2709 0 -1 1077944384 9487 0 0 0 317 51 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931919591696 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3978] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.67 cores=1,3,5,7
/proc/3975/task/3978/stat : 3978 (java) S 3973 3973 2709 0 -1 1077944384 8697 0 0 0 317 50 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931918539152 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3979] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.67 cores=1,3,5,7
/proc/3975/task/3979/stat : 3979 (java) S 3973 3973 2709 0 -1 1077944384 8271 0 0 0 315 52 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931917486608 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3980] ppid=3973 vsize=14089320 memory=3892 CPUtime=3.7 cores=1,3,5,7
/proc/3975/task/3980/stat : 3980 (java) S 3973 3973 2709 0 -1 1077944384 21005 0 0 0 320 50 0 0 20 0 15 0 227800360 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931916434064 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3981] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0.14 cores=1,3,5,7
/proc/3975/task/3981/stat : 3981 (java) S 3973 3973 2709 0 -1 1077944384 5521 0 0 0 10 4 0 0 20 0 15 0 227800361 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931463301616 139931989514882 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3982] ppid=3973 vsize=14089320 memory=2822944 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3982/stat : 3982 (java) S 3973 3973 2709 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 227800361 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931462247904 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3983] ppid=3973 vsize=14089320 memory=3892 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3983/stat : 3983 (java) S 3973 3973 2709 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 227800362 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931461195264 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3984] ppid=3973 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3984/stat : 3984 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931460143824 139931989522331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3985] ppid=3973 vsize=14089320 memory=2822944 CPUtime=3.68 cores=1,3,5,7
/proc/3975/task/3985/stat : 3985 (java) S 3973 3973 2709 0 -1 1077944384 20240 0 0 0 365 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931459090416 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3986] ppid=3973 vsize=14089320 memory=1452 CPUtime=3.33 cores=1,3,5,7
/proc/3975/task/3986/stat : 3986 (java) S 3973 3973 2709 0 -1 1077944384 20014 0 0 0 330 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931458037872 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3987] ppid=3973 vsize=14089320 memory=3892 CPUtime=0.78 cores=1,3,5,7
/proc/3975/task/3987/stat : 3987 (java) S 3973 3973 2709 0 -1 1077944384 13813 0 0 0 75 3 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931456985328 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3988] ppid=3973 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3975/task/3988/stat : 3988 (java) S 3973 3973 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931455933024 139931989513941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
[pid=3975/tid=3989] ppid=3973 vsize=14089320 memory=2822944 CPUtime=1.56 cores=1,3,5,7
/proc/3975/task/3989/stat : 3989 (java) S 3973 3973 2709 0 -1 1077944384 1958 0 0 0 68 88 0 0 20 0 15 0 227800364 14427463680 705736 33554432000 4194304 4196468 140730274074064 139931454880560 139931989514882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 32661504 140730274079878 140730274080049 140730274080049 140730274082767 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2824396 KiB
Child status: 143
Real time (s): 2499.72
CPU time (s): 2520.05
CPU user time (s): 2516.83
CPU system time (s): 3.21815
CPU usage (%): 100.813
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 2824396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.83
system time used= 3.21815
maximum resident set size= 2823528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58213
involuntary context switches= 1012
# summary of solver processes directly reported to runsolver:
# pid: 3973,3975
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.83
# total CPU system time (s): 3.21815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.927 second user time and 24.611 second system time
The end