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 (3169 MiB free)
memory of node 1: 16384 MiB (8441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295601-1532585408/watcher-4295601-1532585408 -o /tmp/evaluation-result-4295601-1532585408/solver-4295601-1532585408 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532582651-29261 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1256850846 HOME/instance-4295601-1532585408.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
solver pid=30357, runsolver pid=30354
Current StackSize limit: 8192 KiB
[startup+0.100957 s]*
/proc/loadavg: 1.36 1.46 1.32 2/207 30415
/proc/meminfo: memFree=11881552/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=9972712 memory=18856 CPUtime=0.1 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 4322 13402 0 0 1 1 5 3 20 0 6 0 76104007 10212057088 4714 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2493178 4714 1949 1 0 2481616 0
[pid=30357/tid=30411] ppid=30354 vsize=9972712 memory=4279135704013833615 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 2131 13402 0 0 0 0 5 3 20 0 6 0 76104016 10212057088 4714 33554432000 4194304 4196468 140725069162320 140486236684880 140486248194597 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 6 0 76104017 10212057088 4714 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=9972712 memory=140150102800000 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 6 0 76104017 10212057088 4714 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 6 0 76104017 10212057088 4714 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 2 13402 0 0 0 0 5 3 20 0 6 0 76104017 10212057088 4714 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB
[startup+0.210153 s]*
/proc/loadavg: 1.36 1.46 1.32 2/216 30424
/proc/meminfo: memFree=11861760/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=10818856 memory=39936 CPUtime=0.26 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 8367 13402 0 0 16 2 5 3 20 0 15 0 76104007 11078508544 9984 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2704714 9984 2971 1 0 2667149 0
[pid=30357/tid=30411] ppid=30354 vsize=10818856 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 4868 13402 0 0 10 1 5 3 20 0 15 0 76104016 11078508544 9984 33554432000 4194304 4196468 140725069162320 140486236645776 140486246411718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10818856 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11078508544 9984 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10818856 memory=140150103216826 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11078508544 9984 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11078508544 9984 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 2 13402 0 0 0 0 5 3 20 0 15 0 76104017 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10818856 memory=140150102800000 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 2 13402 0 0 0 0 5 3 20 0 15 0 76104018 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 33 13402 0 0 0 0 5 3 20 0 15 0 76104019 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485266765472 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104019 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485159019760 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11078508544 9984 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) S 30354 30357 29230 0 -1 1077944384 547 13402 0 0 1 0 5 3 20 0 15 0 76104022 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485233207536 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 67 13402 0 0 0 0 5 3 20 0 15 0 76104022 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10818856 memory=140150102800000 CPUtime=0.11 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) S 30354 30357 29230 0 -1 1077944384 648 13402 0 0 3 0 5 3 20 0 15 0 76104022 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485231101936 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11078508544 9984 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10818856 memory=140150102800000 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104022 11078508544 9984 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 39936 KiB
[startup+0.310468 s]*
/proc/loadavg: 1.36 1.46 1.32 3/216 30424
/proc/meminfo: memFree=11852920/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=10819352 memory=51272 CPUtime=0.39 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 10406 13402 0 0 28 3 5 3 20 0 15 0 76104007 11079016448 12818 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2704838 12818 3102 1 0 2667149 0
[pid=30357/tid=30411] ppid=30354 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 6897 13402 0 0 19 2 5 3 20 0 15 0 76104016 11079016448 12884 33554432000 4194304 4196468 140725069162320 140486236660128 140486248928606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 12884 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 12884 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 12884 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 2 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 2 13402 0 0 0 0 5 3 20 0 15 0 76104018 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 33 13402 0 0 0 0 5 3 20 0 15 0 76104019 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485266765472 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104019 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485159019760 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11079016448 12884 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) S 30354 30357 29230 0 -1 1077944384 549 13402 0 0 1 0 5 3 20 0 15 0 76104022 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485233207536 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 67 13402 0 0 1 0 5 3 20 0 15 0 76104022 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10819352 memory=140150102800000 CPUtime=0.12 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) R 30354 30357 29230 0 -1 4202560 660 13402 0 0 4 0 5 3 20 0 15 0 76104022 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485231101936 140486248928606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11079016448 12884 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10819352 memory=140150102800000 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104022 11079016448 12884 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51272 KiB
[startup+0.700745 s]
/proc/loadavg: 1.36 1.46 1.32 4/216 30424
/proc/meminfo: memFree=11841384/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=10819352 memory=84844 CPUtime=0.99 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 16859 13402 0 0 86 5 5 3 20 0 15 0 76104007 11079016448 21211 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2704838 21211 3238 1 0 2667149 0
[pid=30357/tid=30411] ppid=30354 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 12355 13402 0 0 56 3 5 3 20 0 15 0 76104016 11079016448 21211 33554432000 4194304 4196468 140725069162320 140486236668944 140486246413115 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 21211 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 21211 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10819352 memory=140149950395184 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 21211 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10819352 memory=140153372803660 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 2 13402 0 0 0 0 5 3 20 0 15 0 76104017 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10819352 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 5 13402 0 0 0 0 5 3 20 0 15 0 76104018 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10819352 memory=4639098309541128813 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 33 13402 0 0 0 0 5 3 20 0 15 0 76104019 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485266765472 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104019 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485159019760 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10819352 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11079016448 21211 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10819352 memory=13348 CPUtime=0.15 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) S 30354 30357 29230 0 -1 1077944384 826 13402 0 0 7 0 5 3 20 0 15 0 76104022 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485233207536 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10819352 memory=16432 CPUtime=0.17 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 693 13402 0 0 9 0 5 3 20 0 15 0 76104022 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10819352 memory=1792 CPUtime=0.2 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) S 30354 30357 29230 0 -1 1077944384 745 13402 0 0 12 0 5 3 20 0 15 0 76104022 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485231101936 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10819352 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11079016448 21211 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10819352 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 1 13402 0 0 0 0 5 3 20 0 15 0 76104022 11079016448 21211 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84844 KiB
[startup+1.50089 s]
/proc/loadavg: 1.36 1.46 1.32 3/216 30424
/proc/meminfo: memFree=11795016/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=10832204 memory=229940 CPUtime=2.99 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 25195 13402 0 0 280 11 5 3 20 0 15 0 76104007 11092176896 57485 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2708051 57485 3456 1 0 2669709 0
[pid=30357/tid=30411] ppid=30354 vsize=10832204 memory=60996 CPUtime=1.45 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 16521 13402 0 0 130 7 5 3 20 0 15 0 76104016 11092176896 57485 33554432000 4194304 4196468 140725069162320 140486236672304 140486248928606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10832204 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 27 13402 0 0 0 0 5 3 20 0 15 0 76104017 11092176896 57485 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10832204 memory=280299900821664 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 271 13402 0 0 0 0 5 3 20 0 15 0 76104017 11092176896 57485 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 6 13402 0 0 0 0 5 3 20 0 15 0 76104017 11092176896 57485 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 99 13402 0 0 0 0 5 3 20 0 15 0 76104017 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 32 13402 0 0 0 0 5 3 20 0 15 0 76104018 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 33 13402 0 0 0 0 5 3 20 0 15 0 76104019 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485266765472 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 2 13402 0 0 0 0 5 3 20 0 15 0 76104019 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485159019760 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10832204 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11092176896 57485 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10832204 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) R 30354 30357 29230 0 -1 4202560 2174 13402 0 0 52 0 5 3 20 0 15 0 76104022 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485233188800 140486244115587 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10832204 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 1551 13402 0 0 50 0 5 3 20 0 15 0 76104022 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10832204 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) S 30354 30357 29230 0 -1 1077944384 2281 13402 0 0 44 0 5 3 20 0 15 0 76104022 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485231101936 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10832204 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11092176896 57485 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10832204 memory=280299901066112 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11092176896 57485 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 90887 13402 0 0 235442 55 5 3 20 0 15 0 76104016 11176083456 295466 33554432000 4194304 4196468 140725069162320 140486236681824 140485861884615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10914144 memory=1181864 CPUtime=12.03 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 14804 13402 0 0 1132 63 5 3 20 0 15 0 76104017 11176083456 295466 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10914144 memory=1181864 CPUtime=12.01 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 18168 13402 0 0 1133 60 5 3 20 0 15 0 76104017 11176083456 295466 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10914144 memory=1181864 CPUtime=11.98 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 13098 13402 0 0 1127 63 5 3 20 0 15 0 76104017 11176083456 295466 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10914144 memory=4612 CPUtime=11.99 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 19788 13402 0 0 1131 60 5 3 20 0 15 0 76104017 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10914144 memory=1181864 CPUtime=11.6 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 15770 13402 0 0 1094 58 5 3 20 0 15 0 76104018 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10914144 memory=1181864 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 43 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485266765536 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10914144 memory=1181864 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 10 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485159019776 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10914144 memory=1181864 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295466 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10914144 memory=1181740 CPUtime=3.58 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) S 30354 30357 29230 0 -1 1077944384 16346 13402 0 0 348 2 5 3 20 0 15 0 76104022 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485233207536 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10914144 memory=22784 CPUtime=3.88 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 16101 13402 0 0 378 2 5 3 20 0 15 0 76104022 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10914144 memory=4012 CPUtime=1.85 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) S 30354 30357 29230 0 -1 1077944384 18141 13402 0 0 173 4 5 3 20 0 15 0 76104022 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485231101936 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10914144 memory=22784 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295466 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10914144 memory=4012 CPUtime=1.46 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 1379 13402 0 0 70 68 5 3 20 0 15 0 76104022 11176083456 295466 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 2424.81 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1181864 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.49 1.40 3/216 30625
/proc/meminfo: memFree=10615076/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=10914144 memory=1183920 CPUtime=2485.74 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 228144 13402 0 0 248190 376 5 3 20 0 15 0 76104007 11176083456 295980 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2728536 295980 3522 1 0 2690189 0
[pid=30357/tid=30411] ppid=30354 vsize=10914144 memory=1183920 CPUtime=2414.31 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 91622 13402 0 0 241367 56 5 3 20 0 15 0 76104016 11176083456 295980 33554432000 4194304 4196468 140725069162320 140486236682688 140485863091636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10914144 memory=1181864 CPUtime=12.36 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 14870 13402 0 0 1163 65 5 3 20 0 15 0 76104017 11176083456 295980 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10914144 memory=1183912 CPUtime=12.34 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 18195 13402 0 0 1164 62 5 3 20 0 15 0 76104017 11176083456 295980 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10914144 memory=1183920 CPUtime=12.32 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 13208 13402 0 0 1159 65 5 3 20 0 15 0 76104017 11176083456 295980 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10914144 memory=1183920 CPUtime=12.32 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 20049 13402 0 0 1163 61 5 3 20 0 15 0 76104017 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10914144 memory=1183920 CPUtime=11.91 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 15963 13402 0 0 1123 60 5 3 20 0 15 0 76104018 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 43 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485266765536 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10914144 memory=4012 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 10 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485159019776 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295980 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10914144 memory=1704 CPUtime=3.58 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) S 30354 30357 29230 0 -1 1077944384 16348 13402 0 0 348 2 5 3 20 0 15 0 76104022 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485233207536 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10914144 memory=1183920 CPUtime=3.88 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 16103 13402 0 0 378 2 5 3 20 0 15 0 76104022 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10914144 memory=1952 CPUtime=1.85 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) S 30354 30357 29230 0 -1 1077944384 18143 13402 0 0 173 4 5 3 20 0 15 0 76104022 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485231101936 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10914144 memory=11008 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295980 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10914144 memory=1183920 CPUtime=1.49 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 1395 13402 0 0 72 69 5 3 20 0 15 0 76104022 11176083456 295980 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 2485.74 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1183920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.11 s]
/proc/loadavg: 1.34 1.45 1.39 3/216 30626
/proc/meminfo: memFree=10615032/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=10914144 memory=1183928 CPUtime=2520.09 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 228990 13402 0 0 251621 380 5 3 20 0 15 0 76104007 11176083456 295982 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2728536 295982 3522 1 0 2690189 0
[pid=30357/tid=30411] ppid=30354 vsize=10914144 memory=1183928 CPUtime=2447.71 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 92089 13402 0 0 244707 56 5 3 20 0 15 0 76104016 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486236682704 140485862237037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.55 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 14888 13402 0 0 1181 66 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.53 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 18242 13402 0 0 1182 63 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.5 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 13245 13402 0 0 1177 65 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.51 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 20293 13402 0 0 1181 62 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10914144 memory=1183920 CPUtime=12.09 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 15986 13402 0 0 1140 61 5 3 20 0 15 0 76104018 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 43 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485266765536 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 10 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485159019776 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10914144 memory=1228 CPUtime=3.58 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) S 30354 30357 29230 0 -1 1077944384 16350 13402 0 0 348 2 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485233207536 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10914144 memory=1183928 CPUtime=3.88 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 16105 13402 0 0 378 2 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10914144 memory=1183928 CPUtime=1.85 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) S 30354 30357 29230 0 -1 1077944384 18145 13402 0 0 173 4 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485231101936 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10914144 memory=1183928 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10914144 memory=1183928 CPUtime=1.51 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 1399 13402 0 0 73 70 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1183928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.15 s]
# the end of solver process 30357 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.29 s, system=3.84212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.11 s]
/proc/loadavg: 1.34 1.45 1.39 3/216 30626
/proc/meminfo: memFree=10615032/32770624 swapFree=67108852/67108860
[pid=30357] ppid=30354 vsize=10914144 memory=1183928 CPUtime=2520.09 cores=0,2,4,6
/proc/30357/stat : 30357 (java) S 30354 30357 29230 0 -1 1077944320 228990 13402 0 0 251621 380 5 3 20 0 15 0 76104007 11176083456 295982 33554432000 4194304 4196468 140725069162320 140725069144864 140486264848119 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
/proc/30357/statm: 2728536 295982 3522 1 0 2690189 0
[pid=30357/tid=30411] ppid=30354 vsize=10914144 memory=1183928 CPUtime=2447.71 cores=0,2,4,6
/proc/30357/task/30411/stat : 30411 (java) R 30354 30357 29230 0 -1 4202560 92089 13402 0 0 244707 56 5 3 20 0 15 0 76104016 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486236682704 140485862237037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30412] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.55 cores=0,2,4,6
/proc/30357/task/30412/stat : 30412 (java) S 30354 30357 29230 0 -1 1077944384 14888 13402 0 0 1181 66 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486269090320 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30413] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.53 cores=0,2,4,6
/proc/30357/task/30413/stat : 30413 (java) S 30354 30357 29230 0 -1 1077944384 18242 13402 0 0 1182 63 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486167980688 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30414] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.5 cores=0,2,4,6
/proc/30357/task/30414/stat : 30414 (java) S 30354 30357 29230 0 -1 1077944384 13245 13402 0 0 1177 65 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140486166927632 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30415] ppid=30354 vsize=10914144 memory=1183928 CPUtime=12.51 cores=0,2,4,6
/proc/30357/task/30415/stat : 30415 (java) S 30354 30357 29230 0 -1 1077944384 20293 13402 0 0 1181 62 5 3 20 0 15 0 76104017 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485836269968 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30416] ppid=30354 vsize=10914144 memory=1183920 CPUtime=12.09 cores=0,2,4,6
/proc/30357/task/30416/stat : 30416 (java) S 30354 30357 29230 0 -1 1077944384 15986 13402 0 0 1140 61 5 3 20 0 15 0 76104018 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485267819248 140486264859266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30417] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30417/stat : 30417 (java) S 30354 30357 29230 0 -1 1077944384 43 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485266765536 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30418] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30418/stat : 30418 (java) S 30354 30357 29230 0 -1 1077944384 10 13402 0 0 0 0 5 3 20 0 15 0 76104019 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485159019776 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30419] ppid=30354 vsize=10914144 memory=1183920 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30419/stat : 30419 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140484851620304 140486264866715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30420] ppid=30354 vsize=10914144 memory=1228 CPUtime=3.58 cores=0,2,4,6
/proc/30357/task/30420/stat : 30420 (java) S 30354 30357 29230 0 -1 1077944384 16350 13402 0 0 348 2 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485233207536 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30421] ppid=30354 vsize=10914144 memory=1183928 CPUtime=3.88 cores=0,2,4,6
/proc/30357/task/30421/stat : 30421 (java) S 30354 30357 29230 0 -1 1077944384 16105 13402 0 0 378 2 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485232154992 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30422] ppid=30354 vsize=10914144 memory=1183928 CPUtime=1.85 cores=0,2,4,6
/proc/30357/task/30422/stat : 30422 (java) S 30354 30357 29230 0 -1 1077944384 18145 13402 0 0 173 4 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485231101936 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30423] ppid=30354 vsize=10914144 memory=1183928 CPUtime=0.08 cores=0,2,4,6
/proc/30357/task/30423/stat : 30423 (java) S 30354 30357 29230 0 -1 1077944384 3 13402 0 0 0 0 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140484818061664 140486264858325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
[pid=30357/tid=30424] ppid=30354 vsize=10914144 memory=1183928 CPUtime=1.51 cores=0,2,4,6
/proc/30357/task/30424/stat : 30424 (java) S 30354 30357 29230 0 -1 1077944384 1399 13402 0 0 73 70 5 3 20 0 15 0 76104022 11176083456 295982 33554432000 4194304 4196468 140725069162320 140485230050352 140486264859266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37851136 140725069171310 140725069174108 140725069174108 140725069176783 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1183928 KiB
Child status: 143
Real time (s): 2476.15
CPU time (s): 2520.13
CPU user time (s): 2516.29
CPU system time (s): 3.84212
CPU usage (%): 101.776
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 1183928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.29
system time used= 3.84212
maximum resident set size= 1188136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313355
involuntary context switches= 9834
# summary of solver processes directly reported to runsolver:
# pid: 30357
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.29
# total CPU system time (s): 3.84212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1162 second user time and 26.4485 second system time
The end