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 (9511 MiB free)
memory of node 1: 16384 MiB (10228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292597-1532582657/watcher-4292597-1532582657 -o /tmp/evaluation-result-4292597-1532582657/solver-4292597-1532582657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532582652-2054 --watchdog 2560 HOME/xcsp3-exec -seed 874431427 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292597-1532582657.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2258, runsolver pid=2255
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 0.16 0.05 0.06 4/217 2274
/proc/meminfo: memFree=20192424/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
[pid=2260] ppid=2258 vsize=14082840 memory=28464 CPUtime=0.12 cores=1,3,5,7
/proc/2260/stat : 2260 (java) S 2258 2258 2022 0 -1 1077944320 5477 0 0 0 11 1 0 0 20 0 15 0 75828908 14420828160 7116 33554432000 4194304 4196468 140723303925664 140723303908208 139708284800759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
/proc/2260/statm: 3520710 7116 2998 1 0 3483008 0
[pid=2260/tid=2261] ppid=2258 vsize=14082840 memory=-7812800577974661519 CPUtime=0.08 cores=1,3,5,7
/proc/2260/task/2261/stat : 2261 (java) R 2258 2258 2022 0 -1 4202560 3473 0 0 0 8 0 0 0 20 0 15 0 75828908 14420828160 7182 33554432000 4194304 4196468 140723303925664 139708289033008 139708284812694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2262] ppid=2258 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2262/stat : 2262 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14420828160 7182 33554432000 4194304 4196468 140723303925664 139708241353360 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2263] ppid=2258 vsize=14082840 memory=140410517870208 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2263/stat : 2263 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707879451152 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2264] ppid=2258 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2264/stat : 2264 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707878398352 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2265] ppid=2258 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2265/stat : 2265 (java) S 2258 2258 2022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828909 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707877345552 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2266] ppid=2258 vsize=14082840 memory=140410517870208 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2266/stat : 2266 (java) S 2258 2258 2022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828911 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707759008624 139708284811906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2267] ppid=2258 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2267/stat : 2267 (java) S 2258 2258 2022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828911 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707757954592 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2268] ppid=2258 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828911 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) S 2258 2258 2022 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 75828914 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707754797424 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) S 2258 2258 2022 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 75828914 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707753744624 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14082840 memory=140410517870208 CPUtime=0.01 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) R 2258 2258 2022 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 15 0 75828914 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707752691824 139708284812694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14082840 memory=140410517870208 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828914 14420828160 7182 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29920 KiB
[startup+0.210674 s]*
/proc/loadavg: 0.16 0.05 0.06 4/217 2274
/proc/meminfo: memFree=20178344/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
[pid=2260] ppid=2258 vsize=14087096 memory=41256 CPUtime=0.33 cores=1,3,5,7
/proc/2260/stat : 2260 (java) S 2258 2258 2022 0 -1 1077944320 8366 0 0 0 31 2 0 0 20 0 15 0 75828908 14425186304 10314 33554432000 4194304 4196468 140723303925664 140723303908208 139708284800759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
/proc/2260/statm: 3521774 10314 3168 1 0 3483008 0
[pid=2260/tid=2261] ppid=2258 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2260/task/2261/stat : 2261 (java) R 2258 2258 2022 0 -1 4202560 5441 0 0 0 19 1 0 0 20 0 15 0 75828908 14425186304 10314 33554432000 4194304 4196468 140723303925664 139708289021752 139708270170416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2262] ppid=2258 vsize=14087096 memory=12678 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2262/stat : 2262 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 10314 33554432000 4194304 4196468 140723303925664 139708241353360 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2263] ppid=2258 vsize=14087096 memory=288370786669581952 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2263/stat : 2263 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707879451152 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2264] ppid=2258 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2264/stat : 2264 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707878398352 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2265] ppid=2258 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2265/stat : 2265 (java) S 2258 2258 2022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707877345552 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2266] ppid=2258 vsize=14087096 memory=140410517870208 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2266/stat : 2266 (java) S 2258 2258 2022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75828911 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707759008624 139708284811906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2267] ppid=2258 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2267/stat : 2267 (java) S 2258 2258 2022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828911 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707757954592 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2268] ppid=2258 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828911 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) R 2258 2258 2022 0 -1 4202560 437 0 0 0 2 0 0 0 20 0 15 0 75828914 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707754797424 139708284812694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) R 2258 2258 2022 0 -1 4202560 415 0 0 0 2 0 0 0 20 0 15 0 75828914 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707753744624 139708284812694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14087096 memory=140410517870208 CPUtime=0.07 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) R 2258 2258 2022 0 -1 4202560 774 0 0 0 7 0 0 0 20 0 15 0 75828914 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707752691824 139708284822106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828914 14425186304 10314 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42712 KiB
[startup+0.310477 s]*
/proc/loadavg: 0.16 0.05 0.06 3/217 2274
/proc/meminfo: memFree=20168292/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
[pid=2260] ppid=2258 vsize=14087096 memory=47944 CPUtime=0.51 cores=1,3,5,7
/proc/2260/stat : 2260 (java) S 2258 2258 2022 0 -1 1077944320 9153 0 0 0 48 3 0 0 20 0 15 0 75828908 14425186304 11986 33554432000 4194304 4196468 140723303925664 140723303908208 139708284800759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
/proc/2260/statm: 3521774 11986 3201 1 0 3483008 0
[pid=2260/tid=2261] ppid=2258 vsize=14087096 memory=1399051139730258233 CPUtime=0.3 cores=1,3,5,7
/proc/2260/task/2261/stat : 2261 (java) R 2258 2258 2022 0 -1 4202560 6142 0 0 0 28 2 0 0 20 0 15 0 75828908 14425186304 11986 33554432000 4194304 4196468 140723303925664 139708289031872 139708268881246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2262] ppid=2258 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2262/stat : 2262 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 11986 33554432000 4194304 4196468 140723303925664 139708241353360 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2263] ppid=2258 vsize=14087096 memory=-1807685287717842718 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2263/stat : 2263 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707879451152 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2264] ppid=2258 vsize=14087096 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2264/stat : 2264 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707878398352 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2265] ppid=2258 vsize=14087096 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2265/stat : 2265 (java) S 2258 2258 2022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828909 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707877345552 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2266] ppid=2258 vsize=14087096 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2266/stat : 2266 (java) S 2258 2258 2022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75828911 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707759008624 139708284811906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2267] ppid=2258 vsize=14087096 memory=-3620173217431270332 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2267/stat : 2267 (java) S 2258 2258 2022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828911 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707757954592 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2268] ppid=2258 vsize=14087096 memory=7018385474266414956 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828911 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14087096 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14087096 memory=-7739291672887926688 CPUtime=0.03 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) S 2258 2258 2022 0 -1 1077944384 455 0 0 0 3 0 0 0 20 0 15 0 75828914 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707754797424 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14087096 memory=8514701219781834910 CPUtime=0.04 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) S 2258 2258 2022 0 -1 1077944384 423 0 0 0 4 0 0 0 20 0 15 0 75828914 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707753744624 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14087096 memory=-8412654338247390874 CPUtime=0.11 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) S 2258 2258 2022 0 -1 1077944384 837 0 0 0 11 0 0 0 20 0 15 0 75828914 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707752691824 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828914 14425186304 11986 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49400 KiB
[startup+0.700797 s]
/proc/loadavg: 0.16 0.05 0.06 5/217 2274
/proc/meminfo: memFree=20134448/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
[pid=2260] ppid=2258 vsize=14089220 memory=75928 CPUtime=1.61 cores=1,3,5,7
/proc/2260/stat : 2260 (java) S 2258 2258 2022 0 -1 1077944320 12173 0 0 0 157 4 0 0 20 0 15 0 75828908 14427361280 18982 33554432000 4194304 4196468 140723303925664 140723303908208 139708284800759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
/proc/2260/statm: 3522305 18982 3337 1 0 3483520 0
[pid=2260/tid=2261] ppid=2258 vsize=14089220 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/2260/task/2261/stat : 2261 (java) R 2258 2258 2022 0 -1 4202560 7048 0 0 0 65 2 0 0 20 0 15 0 75828908 14427361280 18982 33554432000 4194304 4196468 140723303925664 139708289037536 139707921076271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2262] ppid=2258 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2262/stat : 2262 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14427361280 18982 33554432000 4194304 4196468 140723303925664 139708241353360 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2263] ppid=2258 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2263/stat : 2263 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707879451152 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2264] ppid=2258 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2264/stat : 2264 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828909 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707878398352 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2265] ppid=2258 vsize=14089220 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2265/stat : 2265 (java) S 2258 2258 2022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75828909 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707877345552 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2266] ppid=2258 vsize=14089220 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2266/stat : 2266 (java) S 2258 2258 2022 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707759008624 139708284811906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2267] ppid=2258 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2267/stat : 2267 (java) S 2258 2258 2022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707757954592 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2268] ppid=2258 vsize=14089220 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14089220 memory=792 CPUtime=0.27 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) R 2258 2258 2022 0 -1 4202560 1099 0 0 0 27 0 0 0 20 0 15 0 75828914 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707754797424 139708269696055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14089220 memory=1716 CPUtime=0.26 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) R 2258 2258 2022 0 -1 4202560 992 0 0 0 26 0 0 0 20 0 15 0 75828914 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707753743808 139708266321632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14089220 memory=1952 CPUtime=0.39 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) S 2258 2258 2022 0 -1 1077944384 1726 0 0 0 38 1 0 0 20 0 15 0 75828914 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707752691824 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14089220 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14089220 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 18982 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 77384 KiB
[startup+1.50085 s]
/proc/loadavg: 0.16 0.05 0.06 5/217 2274
/proc/meminfo: memFree=20108916/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 51554 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14089220 memory=206216 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 51554 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14089220 memory=206216 CPUtime=2.92 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) S 2258 2258 2022 0 -1 1077944384 12133 0 0 0 290 2 0 0 20 0 15 0 75828914 14427361280 51554 33554432000 4194304 4196468 140723303925664 139707754797424 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14089220 memory=280820801715136 CPUtime=2.96 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) S 2258 2258 2022 0 -1 1077944384 13722 0 0 0 295 1 0 0 20 0 15 0 75828914 14427361280 51554 33554432000 4194304 4196468 140723303925664 139707753744624 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14089220 memory=1456 CPUtime=0.66 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) S 2258 2258 2022 0 -1 1077944384 10300 0 0 0 64 2 0 0 20 0 15 0 75828914 14427361280 51554 33554432000 4194304 4196468 140723303925664 139707752691824 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14089220 memory=206216 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 51554 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14089220 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 901 0 0 0 41 39 0 0 20 0 15 0 75828914 14427361280 51554 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 2219.66 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 207672 KiB
[startup+2262.3 s]
/proc/loadavg: 1.29 1.29 1.17 3/218 2372
/proc/meminfo: memFree=19977204/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
[pid=2260] ppid=2258 vsize=14089220 memory=208264 CPUtime=2279.95 cores=1,3,5,7
/proc/2260/stat : 2260 (java) S 2258 2258 2022 0 -1 1077944320 84279 0 0 0 227858 137 0 0 20 0 15 0 75828908 14427361280 52066 33554432000 4194304 4196468 140723303925664 140723303908208 139708284800759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
/proc/2260/statm: 3522305 52066 3395 1 0 3483520 0
[pid=2260/tid=2261] ppid=2258 vsize=14089220 memory=1456 CPUtime=2254.79 cores=1,3,5,7
/proc/2260/task/2261/stat : 2261 (java) R 2258 2258 2022 0 -1 4202560 25613 0 0 0 225466 13 0 0 20 0 15 0 75828908 14427361280 52066 33554432000 4194304 4196468 140723303925664 139708289039904 139707925420310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2262] ppid=2258 vsize=14089220 memory=208264 CPUtime=3.71 cores=1,3,5,7
/proc/2260/task/2262/stat : 2262 (java) S 2258 2258 2022 0 -1 1077944384 3177 0 0 0 352 19 0 0 20 0 15 0 75828909 14427361280 52066 33554432000 4194304 4196468 140723303925664 139708241353360 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2263] ppid=2258 vsize=14089220 memory=1456 CPUtime=3.71 cores=1,3,5,7
/proc/2260/task/2263/stat : 2263 (java) S 2258 2258 2022 0 -1 1077944384 2606 0 0 0 352 19 0 0 20 0 15 0 75828909 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707879451152 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2264] ppid=2258 vsize=14089220 memory=208264 CPUtime=3.72 cores=1,3,5,7
/proc/2260/task/2264/stat : 2264 (java) S 2258 2258 2022 0 -1 1077944384 4747 0 0 0 350 22 0 0 20 0 15 0 75828909 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707878398352 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2265] ppid=2258 vsize=14089220 memory=208264 CPUtime=3.72 cores=1,3,5,7
/proc/2260/task/2265/stat : 2265 (java) S 2258 2258 2022 0 -1 1077944384 4453 0 0 0 348 24 0 0 20 0 15 0 75828909 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707877345552 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2266] ppid=2258 vsize=14089220 memory=208264 CPUtime=2.84 cores=1,3,5,7
/proc/2260/task/2266/stat : 2266 (java) S 2258 2258 2022 0 -1 1077944384 5280 0 0 0 263 21 0 0 20 0 15 0 75828911 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707759008624 139708284811906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2267] ppid=2258 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2267/stat : 2267 (java) S 2258 2258 2022 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707757954592 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2268] ppid=2258 vsize=14089220 memory=208264 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14089220 memory=208264 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14089220 memory=208264 CPUtime=2.92 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) S 2258 2258 2022 0 -1 1077944384 12133 0 0 0 290 2 0 0 20 0 15 0 75828914 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707754797424 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14089220 memory=1456 CPUtime=2.96 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) S 2258 2258 2022 0 -1 1077944384 13722 0 0 0 295 1 0 0 20 0 15 0 75828914 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707753744624 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14089220 memory=208264 CPUtime=0.66 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) S 2258 2258 2022 0 -1 1077944384 10300 0 0 0 64 2 0 0 20 0 15 0 75828914 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707752691824 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14089220 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14089220 memory=280820801396672 CPUtime=0.82 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 905 0 0 0 42 40 0 0 20 0 15 0 75828914 14427361280 52066 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 2279.95 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 209720 KiB
[startup+2322.3 s]
/proc/loadavg: 1.78 1.42 1.22 3/218 2373
/proc/meminfo: memFree=19973876/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
[pid=2260] ppid=2258 vsize=14089220 memory=210508 CPUtime=2340.25 cores=1,3,5,7
/proc/2260/stat : 2260 (java) S 2258 2258 2022 0 -1 1077944320 85527 0 0 0 233885 140 0 0 20 0 15 0 75828908 14427361280 52627 33554432000 4194304 4196468 140723303925664 140723303908208 139708284800759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
/proc/2260/statm: 3522305 52627 3395 1 0 3483520 0
[pid=2260/tid=2261] ppid=2258 vsize=14089220 memory=210508 CPUtime=2314.57 cores=1,3,5,7
/proc/2260/task/2261/stat : 2261 (java) R 2258 2258 2022 0 -1 4202560 26124 0 0 0 231444 13 0 0 20 0 15 0 75828908 14427361280 52627 33554432000 4194304 4196468 140723303925664 139708289039904 139707925420364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2262] ppid=2258 vsize=14089220 memory=210508 CPUtime=3.82 cores=1,3,5,7
/proc/2260/task/2262/stat : 2262 (java) S 2258 2258 2022 0 -1 1077944384 3192 0 0 0 363 19 0 0 20 0 15 0 75828909 14427361280 52627 33554432000 4194304 4196468 140723303925664 139708241353360 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2263] ppid=2258 vsize=14089220 memory=1456 CPUtime=3.82 cores=1,3,5,7
/proc/2260/task/2263/stat : 2263 (java) S 2258 2258 2022 0 -1 1077944384 2717 0 0 0 362 20 0 0 20 0 15 0 75828909 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707879451152 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2264] ppid=2258 vsize=14089220 memory=210508 CPUtime=3.82 cores=1,3,5,7
/proc/2260/task/2264/stat : 2264 (java) S 2258 2258 2022 0 -1 1077944384 5094 0 0 0 360 22 0 0 20 0 15 0 75828909 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707878398352 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2265] ppid=2258 vsize=14089220 memory=210508 CPUtime=3.83 cores=1,3,5,7
/proc/2260/task/2265/stat : 2265 (java) S 2258 2258 2022 0 -1 1077944384 4511 0 0 0 358 25 0 0 20 0 15 0 75828909 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707877345552 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2266] ppid=2258 vsize=14089220 memory=210508 CPUtime=2.92 cores=1,3,5,7
/proc/2260/task/2266/stat : 2266 (java) S 2258 2258 2022 0 -1 1077944384 5462 0 0 0 270 22 0 0 20 0 15 0 75828911 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707759008624 139708284811906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2267] ppid=2258 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2267/stat : 2267 (java) S 2258 2258 2022 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707757954592 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2268] ppid=2258 vsize=14089220 memory=208264 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14089220 memory=1456 CPUtime=2.92 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) S 2258 2258 2022 0 -1 1077944384 12135 0 0 0 290 2 0 0 20 0 15 0 75828914 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707754797424 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14089220 memory=210508 CPUtime=2.96 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) S 2258 2258 2022 0 -1 1077944384 13724 0 0 0 295 1 0 0 20 0 15 0 75828914 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707753744624 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14089220 memory=1456 CPUtime=0.66 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) S 2258 2258 2022 0 -1 1077944384 10302 0 0 0 64 2 0 0 20 0 15 0 75828914 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707752691824 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14089220 memory=210508 CPUtime=0.84 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 923 0 0 0 43 41 0 0 20 0 15 0 75828914 14427361280 52627 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 2340.25 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 211964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2381.8 s]
/proc/loadavg: 1.82 1.52 1.27 3/218 2374
/proc/meminfo: memFree=19967628/32770624 swapFree=67108860/67108860
[pid=2258] ppid=2255 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2258/stat : 2258 (xcsp3-exec) S 2255 2258 2022 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 75828908 115843072 364 33554432000 4194304 5098028 140722830342080 140722830340184 140095123194492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28024832 140722830349371 140722830349572 140722830349572 140722830352330 0
/proc/2258/statm: 28282 364 306 221 0 87 0
[pid=2260] ppid=2258 vsize=14089220 memory=212556 CPUtime=2400.06 cores=1,3,5,7
/proc/2260/stat : 2260 (java) S 2258 2258 2022 0 -1 1077944320 85722 0 0 0 239864 142 0 0 20 0 15 0 75828908 14427361280 53139 33554432000 4194304 4196468 140723303925664 140723303908208 139708284800759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
/proc/2260/statm: 3522305 53139 3395 1 0 3483520 0
[pid=2260/tid=2261] ppid=2258 vsize=14089220 memory=644 CPUtime=2373.89 cores=1,3,5,7
/proc/2260/task/2261/stat : 2261 (java) R 2258 2258 2022 0 -1 4202560 26263 0 0 0 237376 13 0 0 20 0 15 0 75828908 14427361280 53139 33554432000 4194304 4196468 140723303925664 139708289039904 139707927116862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2262] ppid=2258 vsize=14089220 memory=1788 CPUtime=3.91 cores=1,3,5,7
/proc/2260/task/2262/stat : 2262 (java) S 2258 2258 2022 0 -1 1077944384 3195 0 0 0 372 19 0 0 20 0 15 0 75828909 14427361280 53139 33554432000 4194304 4196468 140723303925664 139708241353360 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2263] ppid=2258 vsize=14089220 memory=1952 CPUtime=3.92 cores=1,3,5,7
/proc/2260/task/2263/stat : 2263 (java) S 2258 2258 2022 0 -1 1077944384 2725 0 0 0 372 20 0 0 20 0 15 0 75828909 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707879451152 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2264] ppid=2258 vsize=14089220 memory=8568 CPUtime=3.92 cores=1,3,5,7
/proc/2260/task/2264/stat : 2264 (java) S 2258 2258 2022 0 -1 1077944384 5099 0 0 0 369 23 0 0 20 0 15 0 75828909 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707878398352 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2265] ppid=2258 vsize=14089220 memory=15872 CPUtime=3.92 cores=1,3,5,7
/proc/2260/task/2265/stat : 2265 (java) S 2258 2258 2022 0 -1 1077944384 4542 0 0 0 367 25 0 0 20 0 15 0 75828909 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707877345552 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2266] ppid=2258 vsize=14089220 memory=4012 CPUtime=2.99 cores=1,3,5,7
/proc/2260/task/2266/stat : 2266 (java) S 2258 2258 2022 0 -1 1077944384 5467 0 0 0 277 22 0 0 20 0 15 0 75828911 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707759008624 139708284811906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2267] ppid=2258 vsize=14089220 memory=952 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2267/stat : 2267 (java) S 2258 2258 2022 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707757954592 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2268] ppid=2258 vsize=14089220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2268/stat : 2268 (java) S 2258 2258 2022 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 75828911 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707756901744 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2269] ppid=2258 vsize=14089220 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2269/stat : 2269 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707755850064 139708284819355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2270] ppid=2258 vsize=14089220 memory=1568 CPUtime=2.92 cores=1,3,5,7
/proc/2260/task/2270/stat : 2270 (java) S 2258 2258 2022 0 -1 1077944384 12135 0 0 0 290 2 0 0 20 0 15 0 75828914 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707754797424 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2271] ppid=2258 vsize=14089220 memory=1456 CPUtime=2.96 cores=1,3,5,7
/proc/2260/task/2271/stat : 2271 (java) S 2258 2258 2022 0 -1 1077944384 13724 0 0 0 295 1 0 0 20 0 15 0 75828914 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707753744624 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2272] ppid=2258 vsize=14089220 memory=212556 CPUtime=0.66 cores=1,3,5,7
/proc/2260/task/2272/stat : 2272 (java) S 2258 2258 2022 0 -1 1077944384 10302 0 0 0 64 2 0 0 20 0 15 0 75828914 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707752691824 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2273] ppid=2258 vsize=14089220 memory=14977784439113871 CPUtime=0 cores=1,3,5,7
/proc/2260/task/2273/stat : 2273 (java) S 2258 2258 2022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75828914 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707751639264 139708284810965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
[pid=2260/tid=2274] ppid=2258 vsize=14089220 memory=22844 CPUtime=0.86 cores=1,3,5,7
/proc/2260/task/2274/stat : 2274 (java) S 2258 2258 2022 0 -1 1077944384 927 0 0 0 44 42 0 0 20 0 15 0 75828914 14427361280 53139 33554432000 4194304 4196468 140723303925664 139707750587568 139708284811906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 13336576 140723303928961 140723303929137 140723303929137 140723303931855 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 214012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2381.81 s]
# the end of solver process 2258 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001006 s, system=0.001447 s
[startup+2381.81 s]
# the end of solver process 2260 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.65 s, system=1.43375 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): 2381.81
CPU time (s): 2400.08
CPU user time (s): 2398.65
CPU system time (s): 1.43375
CPU usage (%): 100.767
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 224696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.65
system time used= 1.43375
maximum resident set size= 223756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135277
involuntary context switches= 2825
# summary of solver processes directly reported to runsolver:
# pid: 2258,2260
# total CPU time (s): 2400.08
# total CPU user time (s): 2398.65
# total CPU system time (s): 1.43375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9415 second user time and 19.1587 second system time
The end