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 (5084 MiB free)
memory of node 1: 16384 MiB (2286 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304526-1534099942/watcher-4304526-1534099942 -o /tmp/evaluation-result-4304526-1534099942/solver-4304526-1534099942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534097471-21025 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1733634463 -superng HOME/instance-4304526-1534099942.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=21453, runsolver pid=21450
[startup+0.100103 s]*
/proc/loadavg: 1.17 1.38 1.54 3/207 21507
/proc/meminfo: memFree=7543888/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=10005480 memory=18332 CPUtime=0.1 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 4237 13045 0 0 1 1 5 3 20 0 6 0 227557399 10245611520 4583 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2501370 4583 1930 1 0 2489808 0
[pid=21453/tid=21506] ppid=21450 vsize=10005480 memory=4279135703946592399 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 2038 13045 0 0 0 0 5 3 20 0 6 0 227557409 10245611520 4583 33554432000 4194304 4196468 140729050475616 140116111831632 140116132231998 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 6 0 227557409 10245611520 4583 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=10005480 memory=140322577741440 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 6 0 227557409 10245611520 4583 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 6 0 227557410 10245611520 4583 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 6 0 227557410 10245611520 4583 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.21025 s]*
/proc/loadavg: 1.17 1.38 1.54 3/219 21519
/proc/meminfo: memFree=7518352/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=10982744 memory=45476 CPUtime=0.26 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 7583 13045 0 0 17 1 5 3 20 0 15 0 227557399 11246329856 11369 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2745686 11369 2955 1 0 2708109 0
[pid=21453/tid=21506] ppid=21450 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 4190 13045 0 0 10 1 5 3 20 0 15 0 227557409 11246329856 11435 33554432000 4194304 4196468 140729050475616 140116111815824 140116120270578 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557409 11246329856 11435 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=10982744 memory=140322577741440 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557409 11246329856 11435 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557410 11246329856 11435 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557410 11246329856 11435 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=10982744 memory=140322577741440 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557411 11246329856 11435 33554432000 4194304 4196468 140729050475616 140115565443824 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 13 13045 0 0 0 0 5 3 20 0 15 0 227557411 11246329856 11435 33554432000 4194304 4196468 140729050475616 140114933048992 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557412 11246329856 11501 33554432000 4194304 4196468 140729050475616 140114785199344 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11246329856 11501 33554432000 4194304 4196468 140729050475616 140114477799888 140116140013467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) S 21450 21453 20994 0 -1 1077944384 363 13045 0 0 1 0 5 3 20 0 15 0 227557414 11246329856 11501 33554432000 4194304 4196468 140729050475616 140115564390640 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) S 21450 21453 20994 0 -1 1077944384 257 13045 0 0 1 0 5 3 20 0 15 0 227557414 11246329856 11501 33554432000 4194304 4196468 140729050475616 140115563338096 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=10982744 memory=140322577741440 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) S 21450 21453 20994 0 -1 1077944384 603 13045 0 0 3 0 5 3 20 0 15 0 227557414 11246329856 11501 33554432000 4194304 4196468 140729050475616 140115562285040 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11246329856 11501 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21519] ppid=21450 vsize=10982744 memory=140322577741440 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21519/stat : 21519 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557415 11246329856 11501 33554432000 4194304 4196468 140729050475616 140115561233456 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45476 KiB
[startup+0.310451 s]*
/proc/loadavg: 1.17 1.38 1.54 3/219 21519
/proc/meminfo: memFree=7506196/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=10983192 memory=56988 CPUtime=0.38 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 10297 13045 0 0 28 2 5 3 20 0 15 0 227557399 11246788608 14247 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2745798 14247 3074 1 0 2708109 0
[pid=21453/tid=21506] ppid=21450 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 6837 13045 0 0 19 2 5 3 20 0 15 0 227557409 11246788608 14247 33554432000 4194304 4196468 140729050475616 140116111806880 140116121558423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=10983192 memory=7666931295545552234 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557409 11246788608 14247 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=10983192 memory=5787233549803348032 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557409 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=10983192 memory=7649539693816987330 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557410 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557410 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557411 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115565443824 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 13 13045 0 0 0 0 5 3 20 0 15 0 227557411 11246788608 14247 33554432000 4194304 4196468 140729050475616 140114933048992 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557412 11246788608 14247 33554432000 4194304 4196468 140729050475616 140114785199344 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11246788608 14247 33554432000 4194304 4196468 140729050475616 140114477799888 140116140013467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) S 21450 21453 20994 0 -1 1077944384 364 13045 0 0 1 0 5 3 20 0 15 0 227557414 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115564390640 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) S 21450 21453 20994 0 -1 1077944384 257 13045 0 0 1 0 5 3 20 0 15 0 227557414 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115563338096 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) S 21450 21453 20994 0 -1 1077944384 613 13045 0 0 5 0 5 3 20 0 15 0 227557414 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115562285040 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11246788608 14247 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21519] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21519/stat : 21519 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557415 11246788608 14247 33554432000 4194304 4196468 140729050475616 140115561233456 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56988 KiB
[startup+0.700774 s]
/proc/loadavg: 1.17 1.38 1.54 3/219 21519
/proc/meminfo: memFree=7495652/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=10983192 memory=89568 CPUtime=1 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 16421 13045 0 0 87 5 5 3 20 0 15 0 227557399 11246788608 22392 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2745798 22392 3240 1 0 2708109 0
[pid=21453/tid=21506] ppid=21450 vsize=10983192 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 11842 13045 0 0 55 4 5 3 20 0 15 0 227557409 11246788608 22392 33554432000 4194304 4196468 140729050475616 140116111815696 140116123181697 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=10983192 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557409 11246788608 22392 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557409 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 2 13045 0 0 0 0 5 3 20 0 15 0 227557410 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557410 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=10983192 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 5 13045 0 0 0 0 5 3 20 0 15 0 227557411 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115565443824 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=10983192 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 13 13045 0 0 0 0 5 3 20 0 15 0 227557411 11246788608 22392 33554432000 4194304 4196468 140729050475616 140114933048992 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557412 11246788608 22392 33554432000 4194304 4196468 140729050475616 140114785199344 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=10983192 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11246788608 22392 33554432000 4194304 4196468 140729050475616 140114477799888 140116140013467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) S 21450 21453 20994 0 -1 1077944384 1076 13045 0 0 10 0 5 3 20 0 15 0 227557414 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115564390640 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) S 21450 21453 20994 0 -1 1077944384 610 13045 0 0 6 0 5 3 20 0 15 0 227557414 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115563338096 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=10983192 memory=11076 CPUtime=0.21 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) S 21450 21453 20994 0 -1 1077944384 664 13045 0 0 13 0 5 3 20 0 15 0 227557414 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115562285040 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=10983192 memory=140322420063600 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11246788608 22392 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21519] ppid=21450 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21519/stat : 21519 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557415 11246788608 22392 33554432000 4194304 4196468 140729050475616 140115561233456 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89568 KiB
[startup+1.50131 s]
/proc/loadavg: 1.17 1.38 1.54 3/219 21519
/proc/meminfo: memFree=7450776/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=10998092 memory=177444 CPUtime=2.25 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 23587 13045 0 0 207 10 5 3 20 0 15 0 227557399 11262046208 44361 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2749523 44361 3467 1 0 2711181 0
[pid=21453/tid=21506] ppid=21450 vsize=10998092 memory=9 CPUtime=1.43 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 17455 13045 0 0 129 6 5 3 20 0 15 0 227557409 11262046208 44361 33554432000 4194304 4196468 140729050475616 140116111802864 140115674684960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=10998092 memory=20 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 57 13045 0 0 1 0 5 3 20 0 15 0 227557409 11262046208 44361 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 24 13045 0 0 1 0 5 3 20 0 15 0 227557409 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 296 13045 0 0 1 0 5 3 20 0 15 0 227557410 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=10998092 memory=102716 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 42 13045 0 0 1 0 5 3 20 0 15 0 227557410 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 49 13045 0 0 1 0 5 3 20 0 15 0 227557411 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115565443824 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=10998092 memory=7235694026068878165 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 14 13045 0 0 0 0 5 3 20 0 15 0 227557411 11262046208 44361 33554432000 4194304 4196468 140729050475616 140114933049056 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=10998092 memory=7883952836279951705 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557412 11262046208 44361 33554432000 4194304 4196468 140729050475616 140114785199360 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=10998092 memory=7518597315799181675 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11262046208 44361 33554432000 4194304 4196468 140729050475616 140114477799888 140116140013467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=10998092 memory=5788911563529872472 CPUtime=0.34 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) S 21450 21453 20994 0 -1 1077944384 1566 13045 0 0 26 0 5 3 20 0 15 0 227557414 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115564390640 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=10998092 memory=7594033691872023913 CPUtime=0.23 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) S 21450 21453 20994 0 -1 1077944384 816 13045 0 0 15 0 5 3 20 0 15 0 227557414 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115563338096 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=10998092 memory=7235694026068878165 CPUtime=0.37 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) S 21450 21453 20994 0 -1 1077944384 1063 13045 0 0 29 0 5 3 20 0 15 0 227557414 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115562285040 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=10998092 memory=7235694026068878165 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11262046208 44361 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21519] ppid=21450 vsize=10998092 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21519/stat : 21519 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557415 11262046208 44361 33554432000 4194304 4196468 140729050475616 140115561233456 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 177444 KiB
[startup+3.11283 s]
/proc/loadavg: 1.31 1.41 1.55 5/219 21519
/proc/meminfo: memFree=7313364/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=11010400 memory=251744 CPUtime=5.49 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 33927 13045 0 0 525 16 5 3 20 0 15 0 227557399 11274649600 62936 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2752600 62936 3492 1 0 2714253 0
[pid=21453/tid=21506] ppid=21450 vsize=11010400 memory=56 CPUtime=2.99 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 24937 13045 0 0 282 9 5 3 20 0 15 0 227557409 11274649600 62936 33554432000 4194304 4196468 140729050475616 140116111822128 140116140006806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 65 13045 0 0 3 0 5 3 20 0 15 0 227557409 11274649600 62936 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 39 13045 0 0 3 0 5 3 20 0 15 0 227557409 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=11010400 memory=232447925069786 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 303 13045 0 0 3 0 5 3 20 0 15 0 227557410 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=11010400 memory=232447925069787 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 53 13045 0 0 3 0 5 3 20 0 15 0 227557410 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=11010400 memory=232447925069788 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 242 13045 0 0 3 0 5 3 20 0 15 0 227557411 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115565443824 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=11010400 memory=9 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 14 13045 0 0 0 0 5 3 20 0 15 0 227557411 11274649600 62936 33554432000 4194304 4196468 140729050475616 140114933049056 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=11010400 memory=20 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557412 11274649600 62936 33554432000 4194304 4196468 140729050475616 140114785199360 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11274649600 62936 33554432000 4194304 4196468 140729050475616 140114477799888 140116140013467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=11010400 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) S 21450 21453 20994 0 -1 1077944384 1794 13045 0 0 70 1 5 3 20 0 15 0 227557414 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115564390640 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=11010400 memory=235 CPUtime=0.62 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) S 21450 21453 20994 0 -1 1077944384 1389 13045 0 0 54 0 5 3 20 0 15 0 227557414 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115563338096 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=11010400 memory=209488 CPUtime=1.09 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) R 21450 21453 20994 0 -1 4202560 2887 13045 0 0 100 1 5 3 20 0 15 0 227557414 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115562278704 140116118815452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11274649600 62936 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21519] ppid=21450 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21519/stat : 21519 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557415 11274649600 62936 33554432000 4194304 4196468 140729050475616 140115561233456 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 251744 KiB
[startup+3.92013 s]
# the end of solver process 21453 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.57852 s, system=0.262298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.32131 s]
/proc/loadavg: 1.31 1.41 1.55 5/219 21519
/proc/meminfo: memFree=7313364/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=11010400 memory=257044 CPUtime=6.01 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 46761 13045 0 0 575 18 5 3 20 0 15 0 227557399 11274649600 64261 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2752600 64261 3492 1 0 2714253 0
[pid=21453/tid=21506] ppid=21450 vsize=11010400 memory=8313631820266911625 CPUtime=3.2 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 32924 13045 0 0 302 10 5 3 20 0 15 0 227557409 11274649600 64261 33554432000 4194304 4196468 140729050475616 140116111827184 140116123181294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=11010400 memory=3542750969079829864 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 65 13045 0 0 3 0 5 3 20 0 15 0 227557409 11274649600 64261 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=11010400 memory=-7230659323589710728 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 39 13045 0 0 3 0 5 3 20 0 15 0 227557409 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 303 13045 0 0 3 0 5 3 20 0 15 0 227557410 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=11010400 memory=6075453129115341444 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 53 13045 0 0 3 0 5 3 20 0 15 0 227557410 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=11010400 memory=7523934225014350438 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 242 13045 0 0 3 0 5 3 20 0 15 0 227557411 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115565443824 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=11010400 memory=7451293979857283432 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 14 13045 0 0 0 0 5 3 20 0 15 0 227557411 11274649600 64261 33554432000 4194304 4196468 140729050475616 140114933049056 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=11010400 memory=42116 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557412 11274649600 64261 33554432000 4194304 4196468 140729050475616 140114785199360 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=11010400 memory=7306916055891837008 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11274649600 64261 33554432000 4194304 4196468 140729050475616 140114477799888 140116140013467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=11010400 memory=2088 CPUtime=0.92 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) R 21450 21453 20994 0 -1 4202560 4413 13045 0 0 83 1 5 3 20 0 15 0 227557414 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115564371656 140116123495069 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=11010400 memory=7380 CPUtime=0.7 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) S 21450 21453 20994 0 -1 1077944384 2035 13045 0 0 62 0 5 3 20 0 15 0 227557414 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115563338096 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=11010400 memory=808 CPUtime=1.19 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) S 21450 21453 20994 0 -1 1077944384 4461 13045 0 0 110 1 5 3 20 0 15 0 227557414 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115562285040 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=11010400 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11274649600 64261 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21519] ppid=21450 vsize=11010400 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21519/stat : 21519 (java) S 21450 21453 20994 0 -1 1077944384 10 13045 0 0 0 0 5 3 20 0 15 0 227557415 11274649600 64261 33554432000 4194304 4196468 140729050475616 140115561233456 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 257044 KiB
[startup+3.70066 s]
/proc/loadavg: 1.31 1.41 1.55 5/219 21519
/proc/meminfo: memFree=7313364/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=11080312 memory=328020 CPUtime=7.14 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 71315 13045 0 0 685 21 5 3 20 0 15 0 227557399 11346239488 82005 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2770078 82005 3497 1 0 2731731 0
[pid=21453/tid=21506] ppid=21450 vsize=11080312 memory=302022878499709691 CPUtime=3.58 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) R 21450 21453 20994 0 -1 4202560 50389 13045 0 0 338 12 5 3 20 0 15 0 227557409 11346239488 82005 33554432000 4194304 4196468 140729050475616 140116111830304 140115674532896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=11080312 memory=13848568834319400 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 65 13045 0 0 3 0 5 3 20 0 15 0 227557409 11346239488 82005 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=11080312 memory=280644840297136 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 39 13045 0 0 3 0 5 3 20 0 15 0 227557409 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=11080312 memory=280644840297616 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 303 13045 0 0 3 0 5 3 20 0 15 0 227557410 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=11080312 memory=280644840299760 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 53 13045 0 0 3 0 5 3 20 0 15 0 227557410 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=11080312 memory=280644840299824 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 262 13045 0 0 3 0 5 3 20 0 15 0 227557411 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115565443824 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=11080312 memory=280644840299888 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 14 13045 0 0 0 0 5 3 20 0 15 0 227557411 11346239488 82005 33554432000 4194304 4196468 140729050475616 140114933049056 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=11080312 memory=280644840299952 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 15 0 227557412 11346239488 82005 33554432000 4194304 4196468 140729050475616 140114785199360 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=11080312 memory=280644840300016 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11346239488 82005 33554432000 4194304 4196468 140729050475616 140114477799888 140116140013467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=11080312 memory=280644840300080 CPUtime=1.29 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) R 21450 21453 20994 0 -1 4202560 8798 13045 0 0 120 1 5 3 20 0 15 0 227557414 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115564376664 140116121516271 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=11080312 memory=280644840923216 CPUtime=1 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) R 21450 21453 20994 0 -1 4202560 4378 13045 0 0 91 1 5 3 20 0 15 0 227557414 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115563319112 140116123491705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=11080312 memory=280644840923280 CPUtime=1.27 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) S 21450 21453 20994 0 -1 1077944384 4800 13045 0 0 118 1 5 3 20 0 15 0 227557414 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115562285040 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=11080312 memory=280644840923344 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 15 0 227557414 11346239488 82005 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21519] ppid=21450 vsize=11080312 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21519/stat : 21519 (java) S 21450 21453 20994 0 -1 1077944384 10 13045 0 0 0 0 5 3 20 0 15 0 227557415 11346239488 82005 33554432000 4194304 4196468 140729050475616 140115561233456 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 11080312 KiB
Current children cumulated memory: 328020 KiB
[startup+3.90071 s]
/proc/loadavg: 1.31 1.41 1.55 5/219 21519
/proc/meminfo: memFree=7313364/32770624 swapFree=67108856/67108860
[pid=21453] ppid=21450 vsize=11212904 memory=333220 CPUtime=7.81 cores=0,2,4,6
/proc/21453/stat : 21453 (java) S 21450 21453 20994 0 -1 1077944320 73266 13045 0 0 752 21 5 3 20 0 14 0 227557399 11482013696 83305 33554432000 4194304 4196468 140729050475616 140729050458160 140116139994871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
/proc/21453/statm: 2803226 83305 3500 1 0 2764879 0
[pid=21453/tid=21506] ppid=21450 vsize=11212904 memory=1568 CPUtime=3.76 cores=0,2,4,6
/proc/21453/task/21506/stat : 21506 (java) S 21450 21453 20994 0 -1 1077944384 50861 13045 0 0 356 12 5 3 20 0 14 0 227557409 11482013696 83305 33554432000 4194304 4196468 140729050475616 140116111838352 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21507] ppid=21450 vsize=11212904 memory=928 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21507/stat : 21507 (java) S 21450 21453 20994 0 -1 1077944384 65 13045 0 0 3 0 5 3 20 0 14 0 227557409 11482013696 83305 33554432000 4194304 4196468 140729050475616 140116144237072 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21508] ppid=21450 vsize=11212904 memory=2216 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21508/stat : 21508 (java) S 21450 21453 20994 0 -1 1077944384 39 13045 0 0 3 0 5 3 20 0 14 0 227557409 11482013696 83305 33554432000 4194304 4196468 140729050475616 140115998956176 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21509] ppid=21450 vsize=11212904 memory=4260 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21509/stat : 21509 (java) S 21450 21453 20994 0 -1 1077944384 303 13045 0 0 3 0 5 3 20 0 14 0 227557410 11482013696 83305 33554432000 4194304 4196468 140729050475616 140115997903120 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21510] ppid=21450 vsize=11212904 memory=2088 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21510/stat : 21510 (java) S 21450 21453 20994 0 -1 1077944384 53 13045 0 0 3 0 5 3 20 0 14 0 227557410 11482013696 83305 33554432000 4194304 4196468 140729050475616 140115996850576 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21511] ppid=21450 vsize=11212904 memory=7380 CPUtime=0.11 cores=0,2,4,6
/proc/21453/task/21511/stat : 21511 (java) S 21450 21453 20994 0 -1 1077944384 490 13045 0 0 3 0 5 3 20 0 14 0 227557411 11482013696 83305 33554432000 4194304 4196468 140729050475616 140115565444032 140116140006018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21512] ppid=21450 vsize=11212904 memory=808 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21512/stat : 21512 (java) S 21450 21453 20994 0 -1 1077944384 14 13045 0 0 0 0 5 3 20 0 14 0 227557411 11482013696 83305 33554432000 4194304 4196468 140729050475616 140114933049056 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21513] ppid=21450 vsize=11212904 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21513/stat : 21513 (java) S 21450 21453 20994 0 -1 1077944384 1 13045 0 0 0 0 5 3 20 0 14 0 227557412 11482013696 83305 33554432000 4194304 4196468 140729050475616 140114785199360 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21514] ppid=21450 vsize=11212904 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21514/stat : 21514 (java) S 21450 21453 20994 0 -1 1077944384 6 13045 0 0 0 0 5 3 20 0 14 0 227557414 11482013696 83305 33554432000 4194304 4196468 140729050475616 140114477799536 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21515] ppid=21450 vsize=11212904 memory=3848 CPUtime=1.49 cores=0,2,4,6
/proc/21453/task/21515/stat : 21515 (java) S 21450 21453 20994 0 -1 1077944384 9258 13045 0 0 140 1 5 3 20 0 14 0 227557414 11482013696 83305 33554432000 4194304 4196468 140729050475616 140115564375152 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21516] ppid=21450 vsize=11212904 memory=2600 CPUtime=1.19 cores=0,2,4,6
/proc/21453/task/21516/stat : 21516 (java) S 21450 21453 20994 0 -1 1077944384 4841 13045 0 0 110 1 5 3 20 0 14 0 227557414 11482013696 83305 33554432000 4194304 4196468 140729050475616 140115563322608 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21517] ppid=21450 vsize=11212904 memory=2680 CPUtime=1.37 cores=0,2,4,6
/proc/21453/task/21517/stat : 21517 (java) S 21450 21453 20994 0 -1 1077944384 5113 13045 0 0 128 1 5 3 20 0 14 0 227557414 11482013696 83305 33554432000 4194304 4196468 140729050475616 140115562285040 140116140006018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
[pid=21453/tid=21518] ppid=21450 vsize=11212904 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/21453/task/21518/stat : 21518 (java) S 21450 21453 20994 0 -1 1077944384 3 13045 0 0 0 0 5 3 20 0 14 0 227557414 11482013696 83305 33554432000 4194304 4196468 140729050475616 140114047002976 140116140005077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23777280 140729050483299 140729050486108 140729050486108 140729050488783 0
Current children cumulated CPU time: 7.81 s
Current children cumulated vsize: 11212904 KiB
Current children cumulated memory: 333220 KiB
Child status: 0
Real time (s): 3.92018
CPU time (s): 7.84082
CPU user time (s): 7.57852
CPU system time (s): 0.262298
CPU usage (%): 200.011
Max. virtual memory (cumulated for all children) (KiB): 11212904
Max. memory (cumulated for all children) (KiB): 333220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.57852
system time used= 0.262298
maximum resident set size= 335232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6613
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 21453
# total CPU time (s): 7.84082
# total CPU user time (s): 7.57852
# total CPU system time (s): 0.262298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042189 second user time and 0.080098 second system time
The end