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 (10898 MiB free)
memory of node 1: 16384 MiB (12034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405879-1569407116/watcher-4405879-1569407116 -o /var/tmp/evaluation-result-4405879-1569407116/solver-4405879-1569407116 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1962001178 HOME/instance-4405879-1569407116.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=7133, runsolver pid=7130
[startup+0.10061 s]*
/proc/loadavg: 1.73 1.77 1.85 5/233 7149
/proc/meminfo: memFree=23466396/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
[pid=7135] ppid=7133 vsize=15144776 memory=29728 CPUtime=0.12 cores=0,2,4,6
/proc/7135/stat : 7135 (java) S 7133 7133 3690 0 -1 1077944320 5861 0 0 0 11 1 0 0 20 0 15 0 516951143 15508250624 7432 33554432000 4194304 4196468 140722755076400 140722755058944 139938089131767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
/proc/7135/statm: 3786194 7432 3141 1 0 3748377 0
[pid=7135/tid=7136] ppid=7133 vsize=15144776 memory=8115388257011995483 CPUtime=0.09 cores=0,2,4,6
/proc/7135/task/7136/stat : 7136 (java) R 7133 7133 3690 0 -1 4202560 3795 0 0 0 8 1 0 0 20 0 15 0 516951143 15508250624 7498 33554432000 4194304 4196468 140722755076400 139938093361104 139938073175397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7137] ppid=7133 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7137/stat : 7137 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 7498 33554432000 4194304 4196468 140722755076400 139938025367824 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7138] ppid=7133 vsize=15144776 memory=140086585263744 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7138/stat : 7138 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 7498 33554432000 4194304 4196468 140722755076400 139938024315280 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7139] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7139/stat : 7139 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 7498 33554432000 4194304 4196468 140722755076400 139938023262736 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7140] ppid=7133 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7140/stat : 7140 (java) S 7133 7133 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 7498 33554432000 4194304 4196468 140722755076400 139938022210192 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7141] ppid=7133 vsize=15144776 memory=140086585263744 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7141/stat : 7141 (java) S 7133 7133 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516951145 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937624910320 139938089142914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7142] ppid=7133 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7142/stat : 7142 (java) S 7133 7133 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516951145 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937623856544 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7143] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516951146 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937622803952 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) R 7133 7133 3690 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 516951148 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937620699120 139938089142914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) R 7133 7133 3690 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 15 0 516951148 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937619646576 139938074053520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15144776 memory=140086585263744 CPUtime=0.02 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) R 7133 7133 3690 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 516951148 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937550687480 139938068561648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15144776 memory=140086585263744 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951149 15508250624 7498 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31180 KiB
[startup+0.211081 s]*
/proc/loadavg: 1.73 1.77 1.85 4/233 7149
/proc/meminfo: memFree=23453296/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
[pid=7135] ppid=7133 vsize=15144776 memory=41068 CPUtime=0.34 cores=0,2,4,6
/proc/7135/stat : 7135 (java) S 7133 7133 3690 0 -1 1077944320 9458 0 0 0 31 3 0 0 20 0 15 0 516951143 15508250624 10267 33554432000 4194304 4196468 140722755076400 140722755058944 139938089131767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
/proc/7135/statm: 3786194 10267 3307 1 0 3748377 0
[pid=7135/tid=7136] ppid=7133 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/7135/task/7136/stat : 7136 (java) R 7133 7133 3690 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 516951143 15508250624 10267 33554432000 4194304 4196468 140722755076400 139938093365280 139938089153693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7137] ppid=7133 vsize=15144776 memory=13591 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7137/stat : 7137 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 10267 33554432000 4194304 4196468 140722755076400 139938025367824 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7138] ppid=7133 vsize=15144776 memory=140086588355490 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7138/stat : 7138 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 10267 33554432000 4194304 4196468 140722755076400 139938024315280 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7139] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7139/stat : 7139 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 10267 33554432000 4194304 4196468 140722755076400 139938023262736 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7140] ppid=7133 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7140/stat : 7140 (java) S 7133 7133 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516951144 15508250624 10267 33554432000 4194304 4196468 140722755076400 139938022210192 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7141] ppid=7133 vsize=15144776 memory=140086585263744 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7141/stat : 7141 (java) S 7133 7133 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516951145 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937624910320 139938089142914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7142] ppid=7133 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7142/stat : 7142 (java) S 7133 7133 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516951145 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937623856544 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7143] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516951146 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937622803952 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) S 7133 7133 3690 0 -1 1077944384 621 0 0 0 2 0 0 0 20 0 15 0 516951148 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937620699120 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) S 7133 7133 3690 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 15 0 516951148 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937619646576 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15144776 memory=140086585263744 CPUtime=0.08 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) R 7133 7133 3690 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 15 0 516951148 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937550690544 139938067265384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951149 15508250624 10267 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42520 KiB
[startup+0.310738 s]*
/proc/loadavg: 1.73 1.77 1.85 6/233 7149
/proc/meminfo: memFree=23446908/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
[pid=7135] ppid=7133 vsize=15149032 memory=50152 CPUtime=0.53 cores=0,2,4,6
/proc/7135/stat : 7135 (java) S 7133 7133 3690 0 -1 1077944320 10857 0 0 0 49 4 0 0 20 0 15 0 516951143 15512608768 12538 33554432000 4194304 4196468 140722755076400 140722755058944 139938089131767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
/proc/7135/statm: 3787258 12538 3363 1 0 3748377 0
[pid=7135/tid=7136] ppid=7133 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/7135/task/7136/stat : 7136 (java) R 7133 7133 3690 0 -1 4202560 7792 0 0 0 27 3 0 0 20 0 15 0 516951143 15512608768 12538 33554432000 4194304 4196468 140722755076400 139938093365552 139938089153693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7137] ppid=7133 vsize=15149032 memory=13953 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7137/stat : 7137 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15512608768 12538 33554432000 4194304 4196468 140722755076400 139938025367824 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7138] ppid=7133 vsize=15149032 memory=3899929 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7138/stat : 7138 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15512608768 12538 33554432000 4194304 4196468 140722755076400 139938024315280 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7139] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7139/stat : 7139 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15512608768 12538 33554432000 4194304 4196468 140722755076400 139938023262736 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7140] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7140/stat : 7140 (java) S 7133 7133 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516951144 15512608768 12538 33554432000 4194304 4196468 140722755076400 139938022210192 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7141] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7141/stat : 7141 (java) S 7133 7133 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516951145 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937624910320 139938089142914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7142] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7142/stat : 7142 (java) S 7133 7133 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516951145 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937623856544 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7143] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516951146 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937622803952 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) R 7133 7133 3690 0 -1 4202560 737 0 0 0 5 0 0 0 20 0 15 0 516951148 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937620689504 139938072518571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) S 7133 7133 3690 0 -1 1077944384 185 0 0 0 4 0 0 0 20 0 15 0 516951148 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937619646576 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) S 7133 7133 3690 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 516951148 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937550690544 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951149 15512608768 12538 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51604 KiB
[startup+0.701253 s]
/proc/loadavg: 1.73 1.77 1.85 7/233 7149
/proc/meminfo: memFree=23433820/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
[pid=7135] ppid=7133 vsize=15151156 memory=88428 CPUtime=1.57 cores=0,2,4,6
/proc/7135/stat : 7135 (java) S 7133 7133 3690 0 -1 1077944320 19288 0 0 0 151 6 0 0 20 0 15 0 516951143 15514783744 22107 33554432000 4194304 4196468 140722755076400 140722755058944 139938089131767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
/proc/7135/statm: 3787789 22107 3458 1 0 3748889 0
[pid=7135/tid=7136] ppid=7133 vsize=15151156 memory=35652 CPUtime=0.67 cores=0,2,4,6
/proc/7135/task/7136/stat : 7136 (java) R 7133 7133 3690 0 -1 4202560 9777 0 0 0 64 3 0 0 20 0 15 0 516951143 15514783744 22107 33554432000 4194304 4196468 140722755076400 139938093370888 139937705360802 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7137] ppid=7133 vsize=15151156 memory=496 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7137/stat : 7137 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15514783744 22107 33554432000 4194304 4196468 140722755076400 139938025367824 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7138] ppid=7133 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7138/stat : 7138 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15514783744 22107 33554432000 4194304 4196468 140722755076400 139938024315280 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7139] ppid=7133 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7139/stat : 7139 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951144 15514783744 22107 33554432000 4194304 4196468 140722755076400 139938023262736 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7140] ppid=7133 vsize=15151156 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7140/stat : 7140 (java) S 7133 7133 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516951144 15514783744 22107 33554432000 4194304 4196468 140722755076400 139938022210192 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7141] ppid=7133 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7141/stat : 7141 (java) S 7133 7133 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516951145 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937624910320 139938089142914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7142] ppid=7133 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7142/stat : 7142 (java) S 7133 7133 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516951145 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937623856544 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7143] ppid=7133 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516951146 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937622803952 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15151156 memory=2376 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15151156 memory=1768 CPUtime=0.26 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) R 7133 7133 3690 0 -1 4202560 3281 0 0 0 26 0 0 0 20 0 15 0 516951148 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937620680136 139938068785312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15151156 memory=111628 CPUtime=0.26 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) R 7133 7133 3690 0 -1 4202560 2114 0 0 0 26 0 0 0 20 0 15 0 516951148 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937619627592 139938068370240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15151156 memory=804 CPUtime=0.33 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) S 7133 7133 3690 0 -1 1077944384 2808 0 0 0 33 0 0 0 20 0 15 0 516951148 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937550690544 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516951149 15514783744 22107 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89880 KiB
[startup+1.50081 s]
/proc/loadavg: 1.73 1.77 1.85 6/233 7149
/proc/meminfo: memFree=23392016/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 516951146 15514783744 691551 33554432000 4194304 4196468 140722755076400 139937622803968 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 691551 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15151156 memory=2102108 CPUtime=3.12 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) S 7133 7133 3690 0 -1 1077944384 24619 0 0 0 310 2 0 0 20 0 15 0 516951148 15514783744 691551 33554432000 4194304 4196468 140722755076400 139937620699120 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15151156 memory=2544156 CPUtime=3.18 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) S 7133 7133 3690 0 -1 1077944384 20541 0 0 0 316 2 0 0 20 0 15 0 516951148 15514783744 691551 33554432000 4194304 4196468 140722755076400 139937619646576 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15151156 memory=1452 CPUtime=0.53 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) S 7133 7133 3690 0 -1 1077944384 9084 0 0 0 52 1 0 0 20 0 15 0 516951148 15514783744 691551 33554432000 4194304 4196468 140722755076400 139937550690544 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15151156 memory=2655180 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 691551 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15151156 memory=2729196 CPUtime=0.71 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1743 0 0 0 33 38 0 0 20 0 15 0 516951149 15514783744 691551 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 2344.26 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2767656 KiB
[startup+2382.3 s]
/proc/loadavg: 1.62 1.62 1.69 3/235 7477
/proc/meminfo: memFree=20898676/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
[pid=7135] ppid=7133 vsize=15151156 memory=3061108 CPUtime=2404.67 cores=0,2,4,6
/proc/7135/stat : 7135 (java) S 7133 7133 3690 0 -1 1077944320 192844 0 0 0 240096 371 0 0 20 0 15 0 516951143 15514783744 765277 33554432000 4194304 4196468 140722755076400 140722755058944 139938089131767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
/proc/7135/statm: 3787789 765277 3534 1 0 3748889 0
[pid=7135/tid=7136] ppid=7133 vsize=15151156 memory=2574860 CPUtime=2375.19 cores=0,2,4,6
/proc/7135/task/7136/stat : 7136 (java) R 7133 7133 3690 0 -1 4202560 67423 0 0 0 237250 269 0 0 20 0 15 0 516951143 15514783744 765277 33554432000 4194304 4196468 140722755076400 139938093371496 139937708204240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7137] ppid=7133 vsize=15151156 memory=2424772 CPUtime=5.11 cores=0,2,4,6
/proc/7135/task/7137/stat : 7137 (java) S 7133 7133 3690 0 -1 1077944384 10771 0 0 0 498 13 0 0 20 0 15 0 516951144 15514783744 765277 33554432000 4194304 4196468 140722755076400 139938025367824 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7138] ppid=7133 vsize=15151156 memory=2051092 CPUtime=5.13 cores=0,2,4,6
/proc/7135/task/7138/stat : 7138 (java) S 7133 7133 3690 0 -1 1077944384 11235 0 0 0 500 13 0 0 20 0 15 0 516951144 15514783744 765277 33554432000 4194304 4196468 140722755076400 139938024315280 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7139] ppid=7133 vsize=15151156 memory=2911532 CPUtime=5.14 cores=0,2,4,6
/proc/7135/task/7139/stat : 7139 (java) S 7133 7133 3690 0 -1 1077944384 10627 0 0 0 501 13 0 0 20 0 15 0 516951144 15514783744 765277 33554432000 4194304 4196468 140722755076400 139938023262736 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7140] ppid=7133 vsize=15151156 memory=1452 CPUtime=5.11 cores=0,2,4,6
/proc/7135/task/7140/stat : 7140 (java) S 7133 7133 3690 0 -1 1077944384 11828 0 0 0 499 12 0 0 20 0 15 0 516951144 15514783744 765277 33554432000 4194304 4196468 140722755076400 139938022210192 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7141] ppid=7133 vsize=15151156 memory=3024100 CPUtime=1.33 cores=0,2,4,6
/proc/7135/task/7141/stat : 7141 (java) S 7133 7133 3690 0 -1 1077944384 23489 0 0 0 115 18 0 0 20 0 15 0 516951145 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937624910320 139938089142914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7142] ppid=7133 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7142/stat : 7142 (java) S 7133 7133 3690 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 516951145 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937623856608 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7143] ppid=7133 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 516951146 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937622803968 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15151156 memory=2761444 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15151156 memory=1452 CPUtime=3.12 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) S 7133 7133 3690 0 -1 1077944384 24621 0 0 0 310 2 0 0 20 0 15 0 516951148 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937620699120 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15151156 memory=2987092 CPUtime=3.18 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) S 7133 7133 3690 0 -1 1077944384 20543 0 0 0 316 2 0 0 20 0 15 0 516951148 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937619646576 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15151156 memory=2837516 CPUtime=0.53 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) S 7133 7133 3690 0 -1 1077944384 9086 0 0 0 52 1 0 0 20 0 15 0 516951148 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937550690544 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15151156 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15151156 memory=2276732 CPUtime=0.73 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1776 0 0 0 34 39 0 0 20 0 15 0 516951149 15514783744 765277 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 2404.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3062560 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.66 1.69 3/234 7481
/proc/meminfo: memFree=21085000/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
[pid=7135] ppid=7133 vsize=15151156 memory=2912548 CPUtime=2465.17 cores=0,2,4,6
/proc/7135/stat : 7135 (java) S 7133 7133 3690 0 -1 1077944320 203115 0 0 0 246096 421 0 0 20 0 15 0 516951143 15514783744 728137 33554432000 4194304 4196468 140722755076400 140722755058944 139938089131767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
/proc/7135/statm: 3787789 728137 3534 1 0 3748889 0
[pid=7135/tid=7136] ppid=7133 vsize=15151156 memory=2834936 CPUtime=2434.97 cores=0,2,4,6
/proc/7135/task/7136/stat : 7136 (java) R 7133 7133 3690 0 -1 4202560 73404 0 0 0 243181 316 0 0 20 0 15 0 516951143 15514783744 728137 33554432000 4194304 4196468 140722755076400 139938093371472 139937708204240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7137] ppid=7133 vsize=15151156 memory=1452 CPUtime=5.27 cores=0,2,4,6
/proc/7135/task/7137/stat : 7137 (java) S 7133 7133 3690 0 -1 1077944384 11130 0 0 0 514 13 0 0 20 0 15 0 516951144 15514783744 728137 33554432000 4194304 4196468 140722755076400 139938025367824 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7138] ppid=7133 vsize=15151156 memory=2606708 CPUtime=5.29 cores=0,2,4,6
/proc/7135/task/7138/stat : 7138 (java) S 7133 7133 3690 0 -1 1077944384 12037 0 0 0 516 13 0 0 20 0 15 0 516951144 15514783744 728137 33554432000 4194304 4196468 140722755076400 139938024315280 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7139] ppid=7133 vsize=15151156 memory=2873996 CPUtime=5.31 cores=0,2,4,6
/proc/7135/task/7139/stat : 7139 (java) S 7133 7133 3690 0 -1 1077944384 10951 0 0 0 517 14 0 0 20 0 15 0 516951144 15514783744 728137 33554432000 4194304 4196468 140722755076400 139938023262736 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7140] ppid=7133 vsize=15151156 memory=1452 CPUtime=5.28 cores=0,2,4,6
/proc/7135/task/7140/stat : 7140 (java) S 7133 7133 3690 0 -1 1077944384 12593 0 0 0 515 13 0 0 20 0 15 0 516951144 15514783744 728137 33554432000 4194304 4196468 140722755076400 139938022210192 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7141] ppid=7133 vsize=15151156 memory=1452 CPUtime=1.38 cores=0,2,4,6
/proc/7135/task/7141/stat : 7141 (java) S 7133 7133 3690 0 -1 1077944384 25506 0 0 0 118 20 0 0 20 0 15 0 516951145 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937624910320 139938089142914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7142] ppid=7133 vsize=15151156 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7142/stat : 7142 (java) S 7133 7133 3690 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 516951145 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937623856608 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7143] ppid=7133 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 516951146 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937622803968 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15151156 memory=2721844 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15151156 memory=2606708 CPUtime=3.12 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) S 7133 7133 3690 0 -1 1077944384 24623 0 0 0 310 2 0 0 20 0 15 0 516951148 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937620699120 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15151156 memory=1452 CPUtime=3.18 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) S 7133 7133 3690 0 -1 1077944384 20545 0 0 0 316 2 0 0 20 0 15 0 516951148 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937619646576 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15151156 memory=1452 CPUtime=0.53 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) S 7133 7133 3690 0 -1 1077944384 9088 0 0 0 52 1 0 0 20 0 15 0 516951148 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937550690544 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15151156 memory=2834936 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15151156 memory=1036 CPUtime=0.74 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1793 0 0 0 34 40 0 0 20 0 15 0 516951149 15514783744 728137 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 2465.17 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2914000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.8 s]
/proc/loadavg: 1.57 1.62 1.68 3/233 7485
/proc/meminfo: memFree=22572224/32770624 swapFree=67003060/67108860
[pid=7133] ppid=7130 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7133/stat : 7133 (xcsp3-exec) S 7130 7133 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516951142 115843072 363 33554432000 4194304 5098028 140735166642960 140735166641064 140569856037500 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29511680 140735166649174 140735166649433 140735166649433 140735166652358 0
/proc/7133/statm: 28282 363 305 221 0 87 0
[pid=7135] ppid=7133 vsize=15151156 memory=1468608 CPUtime=2520.09 cores=0,2,4,6
/proc/7135/stat : 7135 (java) S 7133 7133 3690 0 -1 1077944320 211573 0 0 0 251546 463 0 0 20 0 15 0 516951143 15514783744 367152 33554432000 4194304 4196468 140722755076400 140722755058944 139938089131767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
/proc/7135/statm: 3787789 367152 3534 1 0 3748889 0
[pid=7135/tid=7136] ppid=7133 vsize=15151156 memory=1756 CPUtime=2489.27 cores=0,2,4,6
/proc/7135/task/7136/stat : 7136 (java) R 7133 7133 3690 0 -1 4202560 79017 0 0 0 248573 354 0 0 20 0 15 0 516951143 15514783744 367152 33554432000 4194304 4196468 140722755076400 139938093371496 139937708204250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7137] ppid=7133 vsize=15151156 memory=1452 CPUtime=5.4 cores=0,2,4,6
/proc/7135/task/7137/stat : 7137 (java) S 7133 7133 3690 0 -1 1077944384 11522 0 0 0 527 13 0 0 20 0 15 0 516951144 15514783744 367152 33554432000 4194304 4196468 140722755076400 139938025367824 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7138] ppid=7133 vsize=15151156 memory=1452 CPUtime=5.42 cores=0,2,4,6
/proc/7135/task/7138/stat : 7138 (java) S 7133 7133 3690 0 -1 1077944384 12182 0 0 0 529 13 0 0 20 0 15 0 516951144 15514783744 367152 33554432000 4194304 4196468 140722755076400 139938024315280 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7139] ppid=7133 vsize=15151156 memory=8112282956445269571 CPUtime=5.44 cores=0,2,4,6
/proc/7135/task/7139/stat : 7139 (java) S 7133 7133 3690 0 -1 1077944384 11046 0 0 0 530 14 0 0 20 0 15 0 516951144 15514783744 367152 33554432000 4194304 4196468 140722755076400 139938023262736 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7140] ppid=7133 vsize=15151156 memory=780 CPUtime=5.41 cores=0,2,4,6
/proc/7135/task/7140/stat : 7140 (java) S 7133 7133 3690 0 -1 1077944384 12701 0 0 0 528 13 0 0 20 0 15 0 516951144 15514783744 367152 33554432000 4194304 4196468 140722755076400 139938022210192 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7141] ppid=7133 vsize=15151156 memory=1440 CPUtime=1.45 cores=0,2,4,6
/proc/7135/task/7141/stat : 7141 (java) S 7133 7133 3690 0 -1 1077944384 27381 0 0 0 122 23 0 0 20 0 15 0 516951145 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937624910320 139938089142914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7142] ppid=7133 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7142/stat : 7142 (java) S 7133 7133 3690 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 516951145 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937623856608 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7143] ppid=7133 vsize=15151156 memory=2376 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7143/stat : 7143 (java) S 7133 7133 3690 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 516951146 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937622803968 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7144] ppid=7133 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7144/stat : 7144 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937621752528 139938089150363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7145] ppid=7133 vsize=15151156 memory=3844 CPUtime=3.13 cores=0,2,4,6
/proc/7135/task/7145/stat : 7145 (java) S 7133 7133 3690 0 -1 1077944384 24742 0 0 0 311 2 0 0 20 0 15 0 516951148 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937620699120 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7146] ppid=7133 vsize=15151156 memory=2596 CPUtime=3.18 cores=0,2,4,6
/proc/7135/task/7146/stat : 7146 (java) S 7133 7133 3690 0 -1 1077944384 20547 0 0 0 316 2 0 0 20 0 15 0 516951148 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937619646576 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7147] ppid=7133 vsize=15151156 memory=2792 CPUtime=0.53 cores=0,2,4,6
/proc/7135/task/7147/stat : 7147 (java) S 7133 7133 3690 0 -1 1077944384 9179 0 0 0 52 1 0 0 20 0 15 0 516951148 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937550690544 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7148] ppid=7133 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/7135/task/7148/stat : 7148 (java) S 7133 7133 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516951148 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937549638240 139938089141973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
[pid=7135/tid=7149] ppid=7133 vsize=15151156 memory=1412 CPUtime=0.76 cores=0,2,4,6
/proc/7135/task/7149/stat : 7149 (java) S 7133 7133 3690 0 -1 1077944384 1811 0 0 0 35 41 0 0 20 0 15 0 516951149 15514783744 367152 33554432000 4194304 4196468 140722755076400 139937548585776 139938089142914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 11309056 140722755081179 140722755081354 140722755081354 140722755084239 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1470060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.81 s]
# the end of solver process 7133 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001259 s, system=0.001259 s
[startup+2496.82 s]
# the end of solver process 7135 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.48 s, system=4.64207 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): 2496.82
CPU time (s): 2520.12
CPU user time (s): 2515.48
CPU system time (s): 4.64207
CPU usage (%): 100.933
Max. virtual memory (cumulated for all children) (KiB): 15267012
Max. memory (cumulated for all children) (KiB): 4568832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.48
system time used= 4.64206
maximum resident set size= 4573524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87223
involuntary context switches= 4708
# summary of solver processes directly reported to runsolver:
# pid: 7133,7135
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.48
# total CPU system time (s): 4.64207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3562 second user time and 23.249 second system time
The end