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 (12660 MiB free)
memory of node 1: 16384 MiB (11724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405844-1569399579/watcher-4405844-1569399579 -o /var/tmp/evaluation-result-4405844-1569399579/solver-4405844-1569399579 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1569396632-21640 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1563985591 HOME/instance-4405844-1569399579.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22662, runsolver pid=22659
[startup+0.100253 s]*
/proc/loadavg: 1.58 1.68 1.54 4/230 22678
/proc/meminfo: memFree=24955180/32770624 swapFree=66997252/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
[pid=22664] ppid=22662 vsize=15144776 memory=27908 CPUtime=0.12 cores=0,2,4,6
/proc/22664/stat : 22664 (java) S 22662 22662 21609 0 -1 1077944320 5445 0 0 0 11 1 0 0 20 0 15 0 516225671 15508250624 6977 33554432000 4194304 4196468 140727510740912 140727510723456 139986641772279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
/proc/22664/statm: 3786194 6977 3116 1 0 3748377 0
[pid=22664/tid=22665] ppid=22662 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/22664/task/22665/stat : 22665 (java) R 22662 22662 21609 0 -1 4202560 3405 0 0 0 8 0 0 0 20 0 15 0 516225672 15508250624 6977 33554432000 4194304 4196468 140727510740912 139986646004208 139986627908050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22666] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22666/stat : 22666 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986609331344 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22667] ppid=22662 vsize=15144776 memory=4120993686551365280 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22667/stat : 22667 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986232601616 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22668] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22668/stat : 22668 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986231548816 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22669] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22669/stat : 22669 (java) S 22662 22662 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986230496016 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22670] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22670/stat : 22670 (java) S 22662 22662 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516225674 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986110368112 139986641783426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22671] ppid=22662 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22671/stat : 22671 (java) S 22662 22662 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516225674 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986109314080 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22672] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516225674 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986108261232 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986105105136 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15144776 memory=140442586941056 CPUtime=0.01 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) R 22662 22662 21609 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 15 0 516225677 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986104052336 139986634875911 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 7043 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29360 KiB
[startup+0.212165 s]*
/proc/loadavg: 1.58 1.68 1.54 4/230 22678
/proc/meminfo: memFree=24942160/32770624 swapFree=66997252/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
[pid=22664] ppid=22662 vsize=15144776 memory=39992 CPUtime=0.32 cores=0,2,4,6
/proc/22664/stat : 22664 (java) S 22662 22662 21609 0 -1 1077944320 9208 0 0 0 29 3 0 0 20 0 15 0 516225671 15508250624 9998 33554432000 4194304 4196468 140727510740912 140727510723456 139986641772279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
/proc/22664/statm: 3786194 9998 3317 1 0 3748377 0
[pid=22664/tid=22665] ppid=22662 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/22664/task/22665/stat : 22665 (java) S 22662 22662 21609 0 -1 1077944384 6212 0 0 0 17 2 0 0 20 0 15 0 516225672 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986646004192 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22666] ppid=22662 vsize=15144776 memory=8998 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22666/stat : 22666 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986609331344 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22667] ppid=22662 vsize=15144776 memory=140442590822045 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22667/stat : 22667 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986232601616 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22668] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22668/stat : 22668 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986231548816 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22669] ppid=22662 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22669/stat : 22669 (java) S 22662 22662 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516225672 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986230496016 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22670] ppid=22662 vsize=15144776 memory=140442586941056 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22670/stat : 22670 (java) R 22662 22662 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516225674 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986110368112 139986641783426 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22671] ppid=22662 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22671/stat : 22671 (java) S 22662 22662 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516225674 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986109314080 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22672] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516225674 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986108261232 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 516225677 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 15 0 516225677 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986105096592 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15144776 memory=140442586941056 CPUtime=0.07 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) S 22662 22662 21609 0 -1 1077944384 855 0 0 0 7 0 0 0 20 0 15 0 516225677 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986104052336 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225677 15508250624 9998 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41444 KiB
[startup+0.311262 s]*
/proc/loadavg: 1.58 1.68 1.54 4/230 22678
/proc/meminfo: memFree=24936828/32770624 swapFree=66997252/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
[pid=22664] ppid=22662 vsize=15149032 memory=46216 CPUtime=0.5 cores=0,2,4,6
/proc/22664/stat : 22664 (java) S 22662 22662 21609 0 -1 1077944320 10459 0 0 0 46 4 0 0 20 0 15 0 516225671 15512608768 11554 33554432000 4194304 4196468 140727510740912 140727510723456 139986641772279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
/proc/22664/statm: 3787258 11554 3347 1 0 3748377 0
[pid=22664/tid=22665] ppid=22662 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22665/stat : 22665 (java) R 22662 22662 21609 0 -1 4202560 7206 0 0 0 26 3 0 0 20 0 15 0 516225672 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986646007776 139986641784214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22666] ppid=22662 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22666/stat : 22666 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986609331344 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22667] ppid=22662 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22667/stat : 22667 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986232601616 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22668] ppid=22662 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22668/stat : 22668 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225672 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986231548816 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22669] ppid=22662 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22669/stat : 22669 (java) S 22662 22662 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516225672 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986230496016 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22670] ppid=22662 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22670/stat : 22670 (java) S 22662 22662 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516225674 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986110368112 139986641783426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22671] ppid=22662 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22671/stat : 22671 (java) S 22662 22662 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516225674 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986109314080 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22672] ppid=22662 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516225674 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986108261232 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 15 0 516225677 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 515 0 0 0 4 0 0 0 20 0 15 0 516225677 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986105105136 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) R 22662 22662 21609 0 -1 4202560 1055 0 0 0 12 0 0 0 20 0 15 0 516225677 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986104052336 139986641784214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225677 15512608768 11554 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47668 KiB
[startup+0.700879 s]
/proc/loadavg: 1.58 1.68 1.54 5/229 22678
/proc/meminfo: memFree=24921668/32770624 swapFree=66997252/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
[pid=22664] ppid=22662 vsize=15151156 memory=181640 CPUtime=1.36 cores=0,2,4,6
/proc/22664/stat : 22664 (java) S 22662 22662 21609 0 -1 1077944320 13442 0 0 0 128 8 0 0 20 0 15 0 516225671 15514783744 45410 33554432000 4194304 4196468 140727510740912 140727510723456 139986641772279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
/proc/22664/statm: 3787789 45410 3451 1 0 3748889 0
[pid=22664/tid=22665] ppid=22662 vsize=15151156 memory=-3704326594973231466 CPUtime=0.66 cores=0,2,4,6
/proc/22664/task/22665/stat : 22665 (java) R 22662 22662 21609 0 -1 4202560 8617 0 0 0 61 5 0 0 20 0 15 0 516225672 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986646010352 139986280864473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22666] ppid=22662 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22666/stat : 22666 (java) S 22662 22662 21609 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 516225672 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986609331344 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22667] ppid=22662 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22667/stat : 22667 (java) S 22662 22662 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516225672 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986232601616 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22668] ppid=22662 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22668/stat : 22668 (java) S 22662 22662 21609 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 516225672 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986231548816 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22669] ppid=22662 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22669/stat : 22669 (java) S 22662 22662 21609 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 516225672 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986230496016 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22670] ppid=22662 vsize=15151156 memory=9564 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22670/stat : 22670 (java) S 22662 22662 21609 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986110368112 139986641783426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22671] ppid=22662 vsize=15151156 memory=4076 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22671/stat : 22671 (java) S 22662 22662 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986109314080 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22672] ppid=22662 vsize=15151156 memory=2836 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986108261232 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15151156 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15151156 memory=1732 CPUtime=0.18 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 778 0 0 0 18 0 0 0 20 0 15 0 516225677 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15151156 memory=6140 CPUtime=0.2 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 1072 0 0 0 20 0 0 0 20 0 15 0 516225677 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986105105136 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15151156 memory=772 CPUtime=0.26 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) S 22662 22662 21609 0 -1 1077944384 1617 0 0 0 26 0 0 0 20 0 15 0 516225677 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986104052336 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15151156 memory=952 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 45410 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 183092 KiB
[startup+1.50092 s]
/proc/loadavg: 1.61 1.69 1.54 3/229 22678
/proc/meminfo: memFree=24719788/32770624 swapFree=66997252/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 714697 33554432000 4194304 4196468 140727510740912 139986108261248 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714697 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15151156 memory=984 CPUtime=2.2 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 12456 0 0 0 219 1 0 0 20 0 15 0 516225677 15514783744 714697 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15151156 memory=2004 CPUtime=2.28 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 15764 0 0 0 226 2 0 0 20 0 15 0 516225677 15514783744 714697 33554432000 4194304 4196468 140727510740912 139986105105136 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15151156 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) S 22662 22662 21609 0 -1 1077944384 11332 0 0 0 62 2 0 0 20 0 15 0 516225677 15514783744 714697 33554432000 4194304 4196468 140727510740912 139986104052336 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15151156 memory=2856740 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714697 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15151156 memory=3620 CPUtime=0.75 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 2526 0 0 0 34 41 0 0 20 0 15 0 516225677 15514783744 714697 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 2388.92 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2860240 KiB
[startup+2442.3 s]
/proc/loadavg: 2.45 2.17 1.96 3/229 22980
/proc/meminfo: memFree=19076944/32770624 swapFree=66997276/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
[pid=22664] ppid=22662 vsize=15151156 memory=2858816 CPUtime=2448.95 cores=0,2,4,6
/proc/22664/stat : 22664 (java) S 22662 22662 21609 0 -1 1077944320 149026 0 0 0 244777 118 0 0 20 0 15 0 516225671 15514783744 714704 33554432000 4194304 4196468 140727510740912 140727510723456 139986641772279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
/proc/22664/statm: 3787789 714704 3507 1 0 3748889 0
[pid=22664/tid=22665] ppid=22662 vsize=15151156 memory=2858816 CPUtime=2441.69 cores=0,2,4,6
/proc/22664/task/22665/stat : 22665 (java) R 22662 22662 21609 0 -1 4202560 61645 0 0 0 244124 45 0 0 20 0 15 0 516225672 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986646011984 139986283200387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22666] ppid=22662 vsize=15151156 memory=2858816 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22666/stat : 22666 (java) S 22662 22662 21609 0 -1 1077944384 7054 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986609331344 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22667] ppid=22662 vsize=15151156 memory=2858816 CPUtime=0.28 cores=0,2,4,6
/proc/22664/task/22667/stat : 22667 (java) S 22662 22662 21609 0 -1 1077944384 7830 0 0 0 20 8 0 0 20 0 15 0 516225672 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986232601616 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22668] ppid=22662 vsize=15151156 memory=2858816 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22668/stat : 22668 (java) S 22662 22662 21609 0 -1 1077944384 8226 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986231548816 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22669] ppid=22662 vsize=15151156 memory=2858816 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22669/stat : 22669 (java) S 22662 22662 21609 0 -1 1077944384 8123 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986230496016 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22670] ppid=22662 vsize=15151156 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/22664/task/22670/stat : 22670 (java) S 22662 22662 21609 0 -1 1077944384 12646 0 0 0 9 4 0 0 20 0 15 0 516225674 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986110368112 139986641783426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22671] ppid=22662 vsize=15151156 memory=2858816 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22671/stat : 22671 (java) S 22662 22662 21609 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986109314144 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22672] ppid=22662 vsize=15151156 memory=2858816 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986108261248 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15151156 memory=280884956576144 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15151156 memory=2858816 CPUtime=2.2 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 12462 0 0 0 219 1 0 0 20 0 15 0 516225677 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15151156 memory=1452 CPUtime=2.28 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 15773 0 0 0 226 2 0 0 20 0 15 0 516225677 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986105105136 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15151156 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) S 22662 22662 21609 0 -1 1077944384 11347 0 0 0 62 2 0 0 20 0 15 0 516225677 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986104052336 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15151156 memory=2858816 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15151156 memory=1452 CPUtime=0.76 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 2580 0 0 0 34 42 0 0 20 0 15 0 516225677 15514783744 714704 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 2448.95 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2860268 KiB
[startup+2502.3 s]
/proc/loadavg: 2.21 2.15 1.97 3/229 22991
/proc/meminfo: memFree=19076296/32770624 swapFree=66997276/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
[pid=22664] ppid=22662 vsize=15151156 memory=2858824 CPUtime=2508.97 cores=0,2,4,6
/proc/22664/stat : 22664 (java) S 22662 22662 21609 0 -1 1077944320 150991 0 0 0 250778 119 0 0 20 0 15 0 516225671 15514783744 714706 33554432000 4194304 4196468 140727510740912 140727510723456 139986641772279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
/proc/22664/statm: 3787789 714706 3507 1 0 3748889 0
[pid=22664/tid=22665] ppid=22662 vsize=15151156 memory=984 CPUtime=2501.67 cores=0,2,4,6
/proc/22664/task/22665/stat : 22665 (java) R 22662 22662 21609 0 -1 4202560 62487 0 0 0 250122 45 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986646012112 139986282443968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22666] ppid=22662 vsize=15151156 memory=1452 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22666/stat : 22666 (java) S 22662 22662 21609 0 -1 1077944384 7198 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986609331344 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22667] ppid=22662 vsize=15151156 memory=2858824 CPUtime=0.28 cores=0,2,4,6
/proc/22664/task/22667/stat : 22667 (java) S 22662 22662 21609 0 -1 1077944384 8254 0 0 0 20 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986232601616 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22668] ppid=22662 vsize=15151156 memory=2858824 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22668/stat : 22668 (java) S 22662 22662 21609 0 -1 1077944384 8375 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986231548816 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22669] ppid=22662 vsize=15151156 memory=2858824 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22669/stat : 22669 (java) S 22662 22662 21609 0 -1 1077944384 8190 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986230496016 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22670] ppid=22662 vsize=15151156 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/22664/task/22670/stat : 22670 (java) S 22662 22662 21609 0 -1 1077944384 12890 0 0 0 9 4 0 0 20 0 15 0 516225674 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986110368112 139986641783426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22671] ppid=22662 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22671/stat : 22671 (java) S 22662 22662 21609 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986109314144 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22672] ppid=22662 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986108261248 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15151156 memory=2858824 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15151156 memory=1452 CPUtime=2.2 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 12467 0 0 0 219 1 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15151156 memory=1452 CPUtime=2.28 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 15779 0 0 0 226 2 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986105105136 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15151156 memory=3620 CPUtime=0.64 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) S 22662 22662 21609 0 -1 1077944384 11358 0 0 0 62 2 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986104052336 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15151156 memory=58112 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15151156 memory=2858824 CPUtime=0.78 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 2653 0 0 0 35 43 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 2508.97 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2860276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.4 s]
/proc/loadavg: 2.18 2.15 1.97 3/229 22992
/proc/meminfo: memFree=19076280/32770624 swapFree=66997276/67108860
[pid=22662] ppid=22659 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22662/stat : 22662 (xcsp3-exec) S 22659 22662 21609 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516225671 115843072 363 33554432000 4194304 5098028 140729849187872 140729849185976 140358998499964 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21585920 140729849189206 140729849189465 140729849189465 140729849192390 0
/proc/22662/statm: 28282 363 305 221 0 87 0
[pid=22664] ppid=22662 vsize=15151156 memory=2858824 CPUtime=2520.07 cores=0,2,4,6
/proc/22664/stat : 22664 (java) S 22662 22662 21609 0 -1 1077944320 151203 0 0 0 251888 119 0 0 20 0 15 0 516225671 15514783744 714706 33554432000 4194304 4196468 140727510740912 140727510723456 139986641772279 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
/proc/22664/statm: 3787789 714706 3507 1 0 3748889 0
[pid=22664/tid=22665] ppid=22662 vsize=15151156 memory=28 CPUtime=2512.77 cores=0,2,4,6
/proc/22664/task/22665/stat : 22665 (java) R 22662 22662 21609 0 -1 4202560 62675 0 0 0 251232 45 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986646012112 139986282444233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22666] ppid=22662 vsize=15151156 memory=29 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22666/stat : 22666 (java) S 22662 22662 21609 0 -1 1077944384 7198 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986609331344 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22667] ppid=22662 vsize=15151156 memory=280883613586300 CPUtime=0.28 cores=0,2,4,6
/proc/22664/task/22667/stat : 22667 (java) S 22662 22662 21609 0 -1 1077944384 8254 0 0 0 20 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986232601616 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22668] ppid=22662 vsize=15151156 memory=280884957566512 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22668/stat : 22668 (java) S 22662 22662 21609 0 -1 1077944384 8375 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986231548816 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22669] ppid=22662 vsize=15151156 memory=280884957566576 CPUtime=0.29 cores=0,2,4,6
/proc/22664/task/22669/stat : 22669 (java) S 22662 22662 21609 0 -1 1077944384 8190 0 0 0 21 8 0 0 20 0 15 0 516225672 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986230496016 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22670] ppid=22662 vsize=15151156 memory=280884955669904 CPUtime=0.13 cores=0,2,4,6
/proc/22664/task/22670/stat : 22670 (java) S 22662 22662 21609 0 -1 1077944384 12895 0 0 0 9 4 0 0 20 0 15 0 516225674 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986110368112 139986641783426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22671] ppid=22662 vsize=15151156 memory=280884955670084 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22671/stat : 22671 (java) S 22662 22662 21609 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986109314144 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22672] ppid=22662 vsize=15151156 memory=280884957128080 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22672/stat : 22672 (java) S 22662 22662 21609 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516225674 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986108261248 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22673] ppid=22662 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22673/stat : 22673 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986107209552 139986641790875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22674] ppid=22662 vsize=15151156 memory=288230596050944315 CPUtime=2.2 cores=0,2,4,6
/proc/22664/task/22674/stat : 22674 (java) S 22662 22662 21609 0 -1 1077944384 12470 0 0 0 219 1 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986106157936 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22675] ppid=22662 vsize=15151156 memory=15817815617702142 CPUtime=2.28 cores=0,2,4,6
/proc/22664/task/22675/stat : 22675 (java) S 22662 22662 21609 0 -1 1077944384 15783 0 0 0 226 2 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986105105136 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22676] ppid=22662 vsize=15151156 memory=2608 CPUtime=0.64 cores=0,2,4,6
/proc/22664/task/22676/stat : 22676 (java) S 22662 22662 21609 0 -1 1077944384 11366 0 0 0 62 2 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986104052336 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22677] ppid=22662 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/22664/task/22677/stat : 22677 (java) S 22662 22662 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986102999776 139986641782485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
[pid=22664/tid=22678] ppid=22662 vsize=15151156 memory=3248 CPUtime=0.78 cores=0,2,4,6
/proc/22664/task/22678/stat : 22678 (java) S 22662 22662 21609 0 -1 1077944384 2657 0 0 0 35 43 0 0 20 0 15 0 516225677 15514783744 714706 33554432000 4194304 4196468 140727510740912 139986101947056 139986641783426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 23945216 140727510746075 140727510746250 140727510746250 140727510749135 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2860276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.41 s]
# the end of solver process 22662 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002491 s, system=0 s
[startup+2513.42 s]
# the end of solver process 22664 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.89 s, system=1.20815 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): 2513.42
CPU time (s): 2520.1
CPU user time (s): 2518.89
CPU system time (s): 1.20815
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 2862252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.89
system time used= 1.20815
maximum resident set size= 2861888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59734
involuntary context switches= 1539
# summary of solver processes directly reported to runsolver:
# pid: 22662,22664
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.89
# total CPU system time (s): 1.20815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9836 second user time and 20.9275 second system time
The end