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 (15253 MiB free)
memory of node 1: 16384 MiB (15211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400457-1568680810/watcher-4400457-1568680810 -o /tmp/evaluation-result-4400457-1568680810/solver-4400457-1568680810 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 801865365 HOME/instance-4400457-1568680810.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13282, runsolver pid=13279
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 8.79 8.57 8.53 7/233 13298
/proc/meminfo: memFree=31181316/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
[pid=13284] ppid=13282 vsize=15144776 memory=28844 CPUtime=0.12 cores=0,2,4,6
/proc/13284/stat : 13284 (java) S 13282 13282 32513 0 -1 1077944320 5645 0 0 0 11 1 0 0 20 0 15 0 444334033 15508250624 7211 33554432000 4194304 4196468 140735794916384 140735794898928 140509501341431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
/proc/13284/statm: 3786194 7211 3138 1 0 3748377 0
[pid=13284/tid=13285] ppid=13282 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/13284/task/13285/stat : 13285 (java) R 13282 13282 32513 0 -1 4202560 3558 0 0 0 8 1 0 0 20 0 15 0 444334034 15508250624 7211 33554432000 4194304 4196468 140735794916384 140509505574496 140509501353366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13286] ppid=13282 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13286/stat : 13286 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 7211 33554432000 4194304 4196468 140735794916384 140509453961872 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13287] ppid=13282 vsize=15144776 memory=140287955179136 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13287/stat : 13287 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 7211 33554432000 4194304 4196468 140735794916384 140509092698640 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13288] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13288/stat : 13288 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 7211 33554432000 4194304 4196468 140735794916384 140509091645840 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13289] ppid=13282 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13289/stat : 13289 (java) S 13282 13282 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 7211 33554432000 4194304 4196468 140735794916384 140509090593040 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13290] ppid=13282 vsize=15144776 memory=140287955179136 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13290/stat : 13290 (java) S 13282 13282 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444334036 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508969900912 140509501352578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13291] ppid=13282 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13291/stat : 13291 (java) S 13282 13282 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444334036 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508968846880 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13292] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13292/stat : 13292 (java) S 13282 13282 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444334036 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508967794032 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13293] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13293/stat : 13293 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508966742352 140509501360027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13294] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13294/stat : 13294 (java) R 13282 13282 32513 0 -1 4202560 431 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508965689712 140509501362778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13295] ppid=13282 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13295/stat : 13295 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508964636912 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13296] ppid=13282 vsize=15144776 memory=140287955179136 CPUtime=0.02 cores=0,2,4,6
/proc/13284/task/13296/stat : 13296 (java) R 13282 13282 32513 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 444334039 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508963584112 140509501353366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13297] ppid=13282 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13297/stat : 13297 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508962531552 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13298] ppid=13282 vsize=15144776 memory=140287955179136 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 7211 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30296 KiB
[startup+0.210916 s]*
/proc/loadavg: 8.79 8.57 8.53 6/233 13298
/proc/meminfo: memFree=31168532/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
[pid=13284] ppid=13282 vsize=15144776 memory=40388 CPUtime=0.34 cores=0,2,4,6
/proc/13284/stat : 13284 (java) S 13282 13282 32513 0 -1 1077944320 9286 0 0 0 31 3 0 0 20 0 15 0 444334033 15508250624 10097 33554432000 4194304 4196468 140735794916384 140735794898928 140509501341431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
/proc/13284/statm: 3786194 10097 3310 1 0 3748377 0
[pid=13284/tid=13285] ppid=13282 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/13284/task/13285/stat : 13285 (java) R 13282 13282 32513 0 -1 4202560 6540 0 0 0 17 2 0 0 20 0 15 0 444334034 15508250624 10097 33554432000 4194304 4196468 140735794916384 140509505573344 140509485421918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13286] ppid=13282 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13286/stat : 13286 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 10097 33554432000 4194304 4196468 140735794916384 140509453961872 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13287] ppid=13282 vsize=15144776 memory=140287958644858 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13287/stat : 13287 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 10097 33554432000 4194304 4196468 140735794916384 140509092698640 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13288] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13288/stat : 13288 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 10097 33554432000 4194304 4196468 140735794916384 140509091645840 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13289] ppid=13282 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13289/stat : 13289 (java) S 13282 13282 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444334034 15508250624 10097 33554432000 4194304 4196468 140735794916384 140509090593040 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13290] ppid=13282 vsize=15144776 memory=140287955179136 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13290/stat : 13290 (java) S 13282 13282 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444334036 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508969900912 140509501352578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13291] ppid=13282 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13291/stat : 13291 (java) S 13282 13282 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444334036 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508968846880 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13292] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13292/stat : 13292 (java) S 13282 13282 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444334036 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508967794032 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13293] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13293/stat : 13293 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508966742352 140509501360027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13294] ppid=13282 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13284/task/13294/stat : 13294 (java) S 13282 13282 32513 0 -1 1077944384 597 0 0 0 3 0 0 0 20 0 15 0 444334039 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508965689712 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13295] ppid=13282 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13295/stat : 13295 (java) S 13282 13282 32513 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 444334039 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508964636912 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13296] ppid=13282 vsize=15144776 memory=140287955179136 CPUtime=0.08 cores=0,2,4,6
/proc/13284/task/13296/stat : 13296 (java) R 13282 13282 32513 0 -1 4202560 810 0 0 0 8 0 0 0 20 0 15 0 444334039 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508963584112 140509480358233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13297] ppid=13282 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13297/stat : 13297 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508962531552 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13298] ppid=13282 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334039 15508250624 10097 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41840 KiB
[startup+0.310836 s]*
/proc/loadavg: 8.79 8.57 8.53 7/233 13298
/proc/meminfo: memFree=31160888/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
[pid=13284] ppid=13282 vsize=15149032 memory=49580 CPUtime=0.53 cores=0,2,4,6
/proc/13284/stat : 13284 (java) S 13282 13282 32513 0 -1 1077944320 10760 0 0 0 49 4 0 0 20 0 15 0 444334033 15512608768 12395 33554432000 4194304 4196468 140735794916384 140735794898928 140509501341431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
/proc/13284/statm: 3787258 12395 3366 1 0 3748377 0
[pid=13284/tid=13285] ppid=13282 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/13284/task/13285/stat : 13285 (java) R 13282 13282 32513 0 -1 4202560 7680 0 0 0 27 3 0 0 20 0 15 0 444334034 15512608768 12424 33554432000 4194304 4196468 140735794916384 140509505572544 140509485421918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13286] ppid=13282 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13286/stat : 13286 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15512608768 12424 33554432000 4194304 4196468 140735794916384 140509453961872 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13287] ppid=13282 vsize=15149032 memory=3552617 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13287/stat : 13287 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15512608768 12424 33554432000 4194304 4196468 140735794916384 140509092698640 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13288] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13288/stat : 13288 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334034 15512608768 12424 33554432000 4194304 4196468 140735794916384 140509091645840 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13289] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13289/stat : 13289 (java) S 13282 13282 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444334034 15512608768 12424 33554432000 4194304 4196468 140735794916384 140509090593040 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13290] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13290/stat : 13290 (java) S 13282 13282 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444334036 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508969900912 140509501352578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13291] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13291/stat : 13291 (java) S 13282 13282 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444334036 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508968846880 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13292] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13292/stat : 13292 (java) S 13282 13282 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444334036 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508967794032 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13293] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13293/stat : 13293 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444334039 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508966742352 140509501360027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13294] ppid=13282 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/13284/task/13294/stat : 13294 (java) R 13282 13282 32513 0 -1 4202560 711 0 0 0 6 0 0 0 20 0 15 0 444334039 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508965680096 140509482862625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13295] ppid=13282 vsize=15149032 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13284/task/13295/stat : 13295 (java) R 13282 13282 32513 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 444334039 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508964636912 140509501352578 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13296] ppid=13282 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13284/task/13296/stat : 13296 (java) S 13282 13282 32513 0 -1 1077944384 975 0 0 0 13 0 0 0 20 0 15 0 444334039 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508963584112 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13297] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13297/stat : 13297 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444334039 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508962531552 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13298] ppid=13282 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444334039 15512608768 12424 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51032 KiB
[startup+0.702095 s]
/proc/loadavg: 8.79 8.57 8.53 8/233 13298
/proc/meminfo: memFree=31174928/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
[pid=13284] ppid=13282 vsize=15417412 memory=87008 CPUtime=1.66 cores=0,2,4,6
/proc/13284/stat : 13284 (java) S 13282 13282 32513 0 -1 1077944320 14542 0 0 0 160 6 0 0 20 0 19 0 444334033 15787429888 21752 33554432000 4194304 4196468 140735794916384 140735794898928 140509501341431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
/proc/13284/statm: 3854353 21752 3456 1 0 3815453 0
[pid=13284/tid=13285] ppid=13282 vsize=15417412 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/13284/task/13285/stat : 13285 (java) S 13282 13282 32513 0 -1 1077944384 9170 0 0 0 57 4 0 0 20 0 19 0 444334034 15787429888 21752 33554432000 4194304 4196468 140735794916384 140509505582208 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13286] ppid=13282 vsize=15417412 memory=143 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13286/stat : 13286 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444334034 15787429888 21752 33554432000 4194304 4196468 140735794916384 140509453961872 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13287] ppid=13282 vsize=15417412 memory=2 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13287/stat : 13287 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444334034 15787429888 21752 33554432000 4194304 4196468 140735794916384 140509092698640 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13288] ppid=13282 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13288/stat : 13288 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444334034 15787429888 21752 33554432000 4194304 4196468 140735794916384 140509091645840 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13289] ppid=13282 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13289/stat : 13289 (java) S 13282 13282 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444334034 15787429888 21752 33554432000 4194304 4196468 140735794916384 140509090593040 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13290] ppid=13282 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13290/stat : 13290 (java) S 13282 13282 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444334036 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508969900912 140509501352578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13291] ppid=13282 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13291/stat : 13291 (java) S 13282 13282 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444334036 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508968846880 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13292] ppid=13282 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13292/stat : 13292 (java) S 13282 13282 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444334036 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508967794032 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13293] ppid=13282 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13293/stat : 13293 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508966742352 140509501360027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13294] ppid=13282 vsize=15417412 memory=1764 CPUtime=0.26 cores=0,2,4,6
/proc/13284/task/13294/stat : 13294 (java) R 13282 13282 32513 0 -1 4202560 1220 0 0 0 26 0 0 0 20 0 19 0 444334039 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508965682904 140509481534197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13295] ppid=13282 vsize=15417412 memory=111628 CPUtime=0.22 cores=0,2,4,6
/proc/13284/task/13295/stat : 13295 (java) R 13282 13282 32513 0 -1 4202560 590 0 0 0 22 0 0 0 20 0 19 0 444334039 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508964618112 140509487359023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13296] ppid=13282 vsize=15417412 memory=796 CPUtime=0.39 cores=0,2,4,6
/proc/13284/task/13296/stat : 13296 (java) R 13282 13282 32513 0 -1 4202560 2058 0 0 0 39 0 0 0 20 0 19 0 444334039 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508963578464 140509493578558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13297] ppid=13282 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13297/stat : 13297 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508962531552 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13298] ppid=13282 vsize=15417412 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444334039 15787429888 21752 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 88460 KiB
[startup+1.50109 s]
/proc/loadavg: 8.79 8.57 8.53 12/237 13302
/proc/meminfo: memFree=31138260/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51353 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13359] ppid=13282 vsize=15418440 memory=12024 CPUtime=6.82 cores=0,2,4,6
/proc/13284/task/13359/stat : 13359 (java) R 13282 13282 32513 0 -1 4202560 183 0 0 0 682 0 0 0 20 0 19 0 444334370 15788482560 51353 33554432000 4194304 4196468 140735794916384 140508949101304 140509139069568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13360] ppid=13282 vsize=15418440 memory=500 CPUtime=6.82 cores=0,2,4,6
/proc/13284/task/13360/stat : 13360 (java) R 13282 13282 32513 0 -1 4202560 174 0 0 0 682 0 0 0 20 0 19 0 444334370 15788482560 51353 33554432000 4194304 4196468 140735794916384 140508950154704 140509138910687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13361] ppid=13282 vsize=15418440 memory=1452 CPUtime=6.73 cores=0,2,4,6
/proc/13284/task/13361/stat : 13361 (java) R 13282 13282 32513 0 -1 4202560 409 0 0 0 673 0 0 0 20 0 19 0 444334370 15788482560 51353 33554432000 4194304 4196468 140735794916384 140508952260280 140509141435157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13362] ppid=13282 vsize=15418440 memory=205412 CPUtime=6.94 cores=0,2,4,6
/proc/13284/task/13362/stat : 13362 (java) R 13282 13282 32513 0 -1 4202560 207 0 0 0 693 1 0 0 20 0 19 0 444334370 15788482560 51353 33554432000 4194304 4196468 140735794916384 140508951208424 140509139357670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 40.14 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 206864 KiB
[startup+10.8031 s]
/proc/loadavg: 8.89 8.60 8.54 9/237 13362
/proc/meminfo: memFree=31031008/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
[pid=13284] ppid=13282 vsize=15418440 memory=205420 CPUtime=41.75 cores=0,2,4,6
/proc/13284/stat : 13284 (java) S 13282 13282 32513 0 -1 1077944320 27916 0 0 0 4163 12 0 0 20 0 19 0 444334033 15788482560 51355 33554432000 4194304 4196468 140735794916384 140735794898928 140509501341431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
/proc/13284/statm: 3854610 51355 3520 1 0 3815710 0
[pid=13284/tid=13285] ppid=13282 vsize=15418440 memory=-4866523618376441967 CPUtime=0.62 cores=0,2,4,6
/proc/13284/task/13285/stat : 13285 (java) S 13282 13282 32513 0 -1 1077944384 9340 0 0 0 58 4 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509505582208 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13286] ppid=13282 vsize=15418440 memory=4137280412607066170 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13286/stat : 13286 (java) S 13282 13282 32513 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509453961872 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13287] ppid=13282 vsize=15418440 memory=8764446273926488160 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13287/stat : 13287 (java) S 13282 13282 32513 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509092698640 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13288] ppid=13282 vsize=15418440 memory=-7737605734073681312 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13288/stat : 13288 (java) S 13282 13282 32513 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509091645840 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13289] ppid=13282 vsize=15418440 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13289/stat : 13289 (java) S 13282 13282 32513 0 -1 1077944384 683 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509090593040 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13290] ppid=13282 vsize=15418440 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13290/stat : 13290 (java) S 13282 13282 32513 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508969900912 140509501352578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13291] ppid=13282 vsize=15418440 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13291/stat : 13291 (java) S 13282 13282 32513 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508968846944 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13292] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13292/stat : 13292 (java) S 13282 13282 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508967794048 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13293] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13293/stat : 13293 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508966742352 140509501360027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13294] ppid=13282 vsize=15418440 memory=140287955188465 CPUtime=1.69 cores=0,2,4,6
/proc/13284/task/13294/stat : 13294 (java) S 13282 13282 32513 0 -1 1077944384 4789 0 0 0 169 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508965689712 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13295] ppid=13282 vsize=15418440 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/13284/task/13295/stat : 13295 (java) S 13282 13282 32513 0 -1 1077944384 3961 0 0 0 168 1 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508964636912 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13296] ppid=13282 vsize=15418440 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/13284/task/13296/stat : 13296 (java) S 13282 13282 32513 0 -1 1077944384 3733 0 0 0 63 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508963584112 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13297] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13297/stat : 13297 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508962531552 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13298] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13359] ppid=13282 vsize=15418440 memory=0 CPUtime=7.22 cores=0,2,4,6
/proc/13284/task/13359/stat : 13359 (java) R 13282 13282 32513 0 -1 4202560 208 0 0 0 722 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508949101304 140509139070024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13360] ppid=13282 vsize=15418440 memory=0 CPUtime=7.22 cores=0,2,4,6
/proc/13284/task/13360/stat : 13360 (java) R 13282 13282 32513 0 -1 4202560 177 0 0 0 722 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508950154704 140509139357888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13361] ppid=13282 vsize=15418440 memory=0 CPUtime=7.13 cores=0,2,4,6
/proc/13284/task/13361/stat : 13361 (java) R 13282 13282 32513 0 -1 4202560 425 0 0 0 713 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508952260280 140509138963297 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13362] ppid=13282 vsize=15418440 memory=0 CPUtime=7.34 cores=0,2,4,6
/proc/13284/task/13362/stat : 13362 (java) R 13282 13282 32513 0 -1 4202560 215 0 0 0 733 1 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508951208424 140509137001140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 41.75 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 206872 KiB
[startup+11.0071 s]*
/proc/loadavg: 8.89 8.60 8.54 9/237 13362
/proc/meminfo: memFree=31044472/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
[pid=13284] ppid=13282 vsize=15418440 memory=205420 CPUtime=42.59 cores=0,2,4,6
/proc/13284/stat : 13284 (java) S 13282 13282 32513 0 -1 1077944320 27921 0 0 0 4247 12 0 0 20 0 19 0 444334033 15788482560 51355 33554432000 4194304 4196468 140735794916384 140735794898928 140509501341431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
/proc/13284/statm: 3854610 51355 3520 1 0 3815710 0
[pid=13284/tid=13285] ppid=13282 vsize=15418440 memory=7022364632946311227 CPUtime=0.62 cores=0,2,4,6
/proc/13284/task/13285/stat : 13285 (java) S 13282 13282 32513 0 -1 1077944384 9340 0 0 0 58 4 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509505582208 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13286] ppid=13282 vsize=15418440 memory=4294976396 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13286/stat : 13286 (java) S 13282 13282 32513 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509453961872 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13287] ppid=13282 vsize=15418440 memory=140287958644858 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13287/stat : 13287 (java) S 13282 13282 32513 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509092698640 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13288] ppid=13282 vsize=15418440 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13288/stat : 13288 (java) S 13282 13282 32513 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509091645840 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13289] ppid=13282 vsize=15418440 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13289/stat : 13289 (java) S 13282 13282 32513 0 -1 1077944384 683 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509090593040 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13290] ppid=13282 vsize=15418440 memory=140287955179136 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13290/stat : 13290 (java) S 13282 13282 32513 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508969900912 140509501352578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13291] ppid=13282 vsize=15418440 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13291/stat : 13291 (java) S 13282 13282 32513 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508968846944 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13292] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13292/stat : 13292 (java) S 13282 13282 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508967794048 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13293] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13293/stat : 13293 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508966742352 140509501360027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13294] ppid=13282 vsize=15418440 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/13284/task/13294/stat : 13294 (java) S 13282 13282 32513 0 -1 1077944384 4789 0 0 0 169 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508965689712 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13295] ppid=13282 vsize=15418440 memory=-1 CPUtime=1.69 cores=0,2,4,6
/proc/13284/task/13295/stat : 13295 (java) S 13282 13282 32513 0 -1 1077944384 3961 0 0 0 168 1 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508964636912 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13296] ppid=13282 vsize=15418440 memory=140287955179136 CPUtime=0.63 cores=0,2,4,6
/proc/13284/task/13296/stat : 13296 (java) S 13282 13282 32513 0 -1 1077944384 3733 0 0 0 63 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508963584112 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13297] ppid=13282 vsize=15418440 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13297/stat : 13297 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508962531552 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13298] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13359] ppid=13282 vsize=15418440 memory=0 CPUtime=7.44 cores=0,2,4,6
/proc/13284/task/13359/stat : 13359 (java) R 13282 13282 32513 0 -1 4202560 208 0 0 0 744 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508949101304 140509138910668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13360] ppid=13282 vsize=15418440 memory=0 CPUtime=7.43 cores=0,2,4,6
/proc/13284/task/13360/stat : 13360 (java) R 13282 13282 32513 0 -1 4202560 177 0 0 0 743 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508950154704 140509139140681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13361] ppid=13282 vsize=15418440 memory=0 CPUtime=7.34 cores=0,2,4,6
/proc/13284/task/13361/stat : 13361 (java) R 13282 13282 32513 0 -1 4202560 427 0 0 0 734 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508952260280 140509138892953 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13362] ppid=13282 vsize=15418440 memory=0 CPUtime=7.55 cores=0,2,4,6
/proc/13284/task/13362/stat : 13362 (java) R 13282 13282 32513 0 -1 4202560 218 0 0 0 754 1 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508951208424 140509134819556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 42.59 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 206872 KiB
[startup+11.1111 s]
/proc/loadavg: 8.89 8.60 8.54 9/237 13362
/proc/meminfo: memFree=31044472/32770624 swapFree=66997372/67108860
[pid=13282] ppid=13279 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13282/stat : 13282 (xcsp3-exec) S 13279 13282 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444334033 115843072 363 33554432000 4194304 5098028 140731978562624 140731978560728 139926402339452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22786048 140731978564475 140731978564717 140731978564717 140731978567626 0
/proc/13282/statm: 28282 363 305 221 0 87 0
[pid=13284] ppid=13282 vsize=15418440 memory=205420 CPUtime=42.97 cores=0,2,4,6
/proc/13284/stat : 13284 (java) S 13282 13282 32513 0 -1 1077944320 27989 0 0 0 4285 12 0 0 20 0 19 0 444334033 15788482560 51355 33554432000 4194304 4196468 140735794916384 140735794898928 140509501341431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
/proc/13284/statm: 3854610 51355 3520 1 0 3815710 0
[pid=13284/tid=13285] ppid=13282 vsize=15418440 memory=3504 CPUtime=0.62 cores=0,2,4,6
/proc/13284/task/13285/stat : 13285 (java) S 13282 13282 32513 0 -1 1077944384 9340 0 0 0 58 4 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509505582208 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13286] ppid=13282 vsize=15418440 memory=205420 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13286/stat : 13286 (java) S 13282 13282 32513 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509453961872 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13287] ppid=13282 vsize=15418440 memory=205412 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13287/stat : 13287 (java) S 13282 13282 32513 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509092698640 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13288] ppid=13282 vsize=15418440 memory=204908 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13288/stat : 13288 (java) S 13282 13282 32513 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509091645840 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13289] ppid=13282 vsize=15418440 memory=196860 CPUtime=0.01 cores=0,2,4,6
/proc/13284/task/13289/stat : 13289 (java) S 13282 13282 32513 0 -1 1077944384 683 0 0 0 1 0 0 0 20 0 19 0 444334034 15788482560 51355 33554432000 4194304 4196468 140735794916384 140509090593040 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13290] ppid=13282 vsize=15418440 memory=280575718453216 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13290/stat : 13290 (java) S 13282 13282 32513 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508969900912 140509501352578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13291] ppid=13282 vsize=15418440 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13291/stat : 13291 (java) S 13282 13282 32513 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508968846944 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13292] ppid=13282 vsize=15418440 memory=1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13292/stat : 13292 (java) S 13282 13282 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444334036 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508967794048 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13293] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13293/stat : 13293 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508966742352 140509501360027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13294] ppid=13282 vsize=15418440 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/13284/task/13294/stat : 13294 (java) S 13282 13282 32513 0 -1 1077944384 4789 0 0 0 169 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508965689712 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13295] ppid=13282 vsize=15418440 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/13284/task/13295/stat : 13295 (java) S 13282 13282 32513 0 -1 1077944384 3961 0 0 0 168 1 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508964636912 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13296] ppid=13282 vsize=15418440 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/13284/task/13296/stat : 13296 (java) S 13282 13282 32513 0 -1 1077944384 3733 0 0 0 63 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508963584112 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13297] ppid=13282 vsize=15418440 memory=1 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13297/stat : 13297 (java) S 13282 13282 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508962531552 140509501351637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13298] ppid=13282 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13284/task/13298/stat : 13298 (java) S 13282 13282 32513 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 19 0 444334039 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508961479856 140509501352578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13359] ppid=13282 vsize=15418440 memory=7883944108235712103 CPUtime=7.53 cores=0,2,4,6
/proc/13284/task/13359/stat : 13359 (java) R 13282 13282 32513 0 -1 4202560 215 0 0 0 753 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508949101184 140509139141725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13360] ppid=13282 vsize=15418440 memory=7883944108235712103 CPUtime=7.52 cores=0,2,4,6
/proc/13284/task/13360/stat : 13360 (java) R 13282 13282 32513 0 -1 4202560 184 0 0 0 752 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508950155064 140509138910692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13361] ppid=13282 vsize=15418440 memory=7883944108235712103 CPUtime=7.43 cores=0,2,4,6
/proc/13284/task/13361/stat : 13361 (java) R 13282 13282 32513 0 -1 4202560 430 0 0 0 743 0 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508952259968 140509139357740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
[pid=13284/tid=13362] ppid=13282 vsize=15418440 memory=-8990767739041718176 CPUtime=7.65 cores=0,2,4,6
/proc/13284/task/13362/stat : 13362 (java) R 13282 13282 32513 0 -1 4202560 224 0 0 0 764 1 0 0 20 0 19 0 444334370 15788482560 51355 33554432000 4194304 4196468 140735794916384 140508951208384 140509139141008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140735794918383 140735794918554 140735794918554 140735794921423 0
Current children cumulated CPU time: 42.97 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 206872 KiB
Child status: 0
Real time (s): 11.1916
CPU time (s): 43.274
CPU user time (s): 43.1448
CPU system time (s): 0.129208
CPU usage (%): 386.663
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 206872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.1448
system time used= 0.129208
maximum resident set size= 205532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3002
involuntary context switches= 1347
# summary of solver processes directly reported to runsolver:
# pid: 13282
# total CPU time (s): 43.274
# total CPU user time (s): 43.1448
# total CPU system time (s): 0.129208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088967 second user time and 0.171195 second system time
The end