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 (6048 MiB free)
memory of node 1: 16384 MiB (10449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305082-1534110722/watcher-4305082-1534110722 -o /tmp/evaluation-result-4305082-1534110722/solver-4305082-1534110722 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534095874-7007 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=988567981 -superng HOME/instance-4305082-1534110722.xml
running on 4 cores: 1,3,5,7
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=9483, runsolver pid=9480
[startup+0.101886 s]*
/proc/loadavg: 1.45 1.34 1.36 2/210 9540
/proc/meminfo: memFree=16885200/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=10005480 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 4362 12993 0 0 1 1 4 3 20 0 6 0 228635359 10245611520 4203 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2501370 4203 1934 1 0 2489808 0
[pid=9483/tid=9536] ppid=9480 vsize=10005480 memory=-8960601696899481541 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 2202 12993 0 0 0 0 4 3 20 0 6 0 228635368 10245611520 4269 33554432000 4194304 4196468 140730039846528 139820896383568 139820908627294 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 6 0 228635369 10245611520 4269 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=10005480 memory=140068907533952 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 6 0 228635369 10245611520 4269 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 6 0 228635369 10245611520 4269 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 6 0 228635369 10245611520 4269 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210282 s]*
/proc/loadavg: 1.45 1.34 1.36 3/219 9549
/proc/meminfo: memFree=16863500/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=10982728 memory=44356 CPUtime=0.24 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 8484 12993 0 0 15 2 4 3 20 0 15 0 228635359 11246313472 11089 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2745682 11089 2932 1 0 2708117 0
[pid=9483/tid=9536] ppid=9480 vsize=10982696 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 5009 12993 0 0 9 1 4 3 20 0 15 0 228635368 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820896344464 139820924568733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=10982696 memory=140068907553035 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=10982696 memory=140068907533952 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 13 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246280704 11089 33554432000 4194304 4196468 140730039846528 139819721155488 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246280704 11089 33554432000 4194304 4196468 140730039846528 139819573306352 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11246280704 11089 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 374 12993 0 0 1 0 4 3 20 0 15 0 228635374 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 257 12993 0 0 0 0 4 3 20 0 15 0 228635374 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=10982696 memory=140068907533952 CPUtime=0.1 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) R 9480 9483 6975 0 -1 4202560 624 12993 0 0 3 0 4 3 20 0 15 0 228635374 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820347411184 139820904889349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11246280704 11089 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=10982696 memory=140068907533952 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635375 11246280704 11089 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982728 KiB
Current children cumulated memory: 44356 KiB
[startup+0.31038 s]*
/proc/loadavg: 1.45 1.34 1.36 3/219 9549
/proc/meminfo: memFree=16852584/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=10983192 memory=53144 CPUtime=0.37 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 9901 12993 0 0 27 3 4 3 20 0 15 0 228635359 11246788608 13286 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2745798 13286 3064 1 0 2708109 0
[pid=9483/tid=9536] ppid=9480 vsize=10983192 memory=8112282956445269571 CPUtime=0.27 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 6643 12993 0 0 18 2 4 3 20 0 15 0 228635368 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820896358816 139820904822528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 13 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246788608 13550 33554432000 4194304 4196468 140730039846528 139819721155488 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246788608 13550 33554432000 4194304 4196468 140730039846528 139819573306352 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11246788608 13550 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 374 12993 0 0 1 0 4 3 20 0 15 0 228635374 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 260 12993 0 0 1 0 4 3 20 0 15 0 228635374 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=10983192 memory=140068907533952 CPUtime=0.12 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) S 9480 9483 6975 0 -1 1077944384 630 12993 0 0 5 0 4 3 20 0 15 0 228635374 11246788608 13550 33554432000 4194304 4196468 140730039846528 139820347411184 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11246788608 13616 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=10983192 memory=140068907533952 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635375 11246788608 13616 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53144 KiB
[startup+0.700793 s]
/proc/loadavg: 1.45 1.34 1.36 3/219 9549
/proc/meminfo: memFree=16840800/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=10983192 memory=88596 CPUtime=0.97 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 16831 12993 0 0 85 5 4 3 20 0 15 0 228635359 11246788608 22149 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2745798 22149 3238 1 0 2708109 0
[pid=9483/tid=9536] ppid=9480 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 12389 12993 0 0 54 4 4 3 20 0 15 0 228635368 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820896368528 139820908627294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 228635369 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 6 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 13 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246788608 22149 33554432000 4194304 4196468 140730039846528 139819721155488 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635371 11246788608 22149 33554432000 4194304 4196468 140730039846528 139819573306352 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11246788608 22149 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=10983192 memory=140068748567536 CPUtime=0.14 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 609 12993 0 0 7 0 4 3 20 0 15 0 228635374 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=10983192 memory=140071768425061 CPUtime=0.16 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 903 12993 0 0 9 0 4 3 20 0 15 0 228635374 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=10983192 memory=14888 CPUtime=0.2 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) S 9480 9483 6975 0 -1 1077944384 701 12993 0 0 13 0 4 3 20 0 15 0 228635374 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820347411184 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=10983192 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11246788608 22149 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635375 11246788608 22149 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88596 KiB
[startup+1.50071 s]
/proc/loadavg: 1.45 1.34 1.36 3/219 9549
/proc/meminfo: memFree=16794468/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=10998092 memory=181196 CPUtime=2.34 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 23879 12993 0 0 217 10 4 3 20 0 15 0 228635359 11262046208 45299 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2749523 45299 3467 1 0 2711181 0
[pid=9483/tid=9536] ppid=9480 vsize=10998092 memory=3303 CPUtime=1.41 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 17781 12993 0 0 127 7 4 3 20 0 15 0 228635368 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820896376800 139820462643072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=10998092 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 44 12993 0 0 1 0 4 3 20 0 15 0 228635369 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=10998092 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 23 12993 0 0 1 0 4 3 20 0 15 0 228635369 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=10998092 memory=3164 CPUtime=0.08 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 161 12993 0 0 1 0 4 3 20 0 15 0 228635369 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=10998092 memory=88596 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 38 12993 0 0 0 0 4 3 20 0 15 0 228635369 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 50 12993 0 0 1 0 4 3 20 0 15 0 228635371 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 14 12993 0 0 0 0 4 3 20 0 15 0 228635371 11262046208 45299 33554432000 4194304 4196468 140730039846528 139819721155552 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635371 11262046208 45299 33554432000 4194304 4196468 140730039846528 139819573306368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=10998092 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11262046208 45299 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=10998092 memory=4638778398332698720 CPUtime=0.26 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 760 12993 0 0 19 0 4 3 20 0 15 0 228635374 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=10998092 memory=280137497615232 CPUtime=0.31 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 1368 12993 0 0 24 0 4 3 20 0 15 0 228635374 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=10998092 memory=6944656592452938395 CPUtime=0.44 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) S 9480 9483 6975 0 -1 1077944384 1436 12993 0 0 37 0 4 3 20 0 15 0 228635374 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820347411184 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11262046208 45299 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=10998092 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 228635375 11262046208 45299 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 77726 12993 0 0 236849 34 4 3 20 0 15 0 228635368 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820896380688 139820471682940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=11077984 memory=761608 CPUtime=5.89 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 8696 12993 0 0 552 30 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=11077984 memory=761608 CPUtime=5.89 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 9681 12993 0 0 551 31 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=11077984 memory=761608 CPUtime=5.92 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 6428 12993 0 0 554 31 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=11077984 memory=761608 CPUtime=5.9 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 8583 12993 0 0 551 32 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=11077984 memory=761608 CPUtime=4.91 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 9734 12993 0 0 454 30 4 3 20 0 15 0 228635371 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=11077984 memory=761608 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 15 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 190402 33554432000 4194304 4196468 140730039846528 139819721155616 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=11077984 memory=761608 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 5 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 190402 33554432000 4194304 4196468 140730039846528 139819573306368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=11077984 memory=1108 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=11077984 memory=3472328296227679313 CPUtime=3.58 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 25455 12993 0 0 348 3 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=11077984 memory=761608 CPUtime=3.85 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 21891 12993 0 0 375 3 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=11077984 memory=761608 CPUtime=1.84 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) S 9480 9483 6975 0 -1 1077944384 22628 12993 0 0 174 3 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820347411184 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=11077984 memory=761608 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=11077984 memory=761608 CPUtime=1.3 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1469 12993 0 0 54 69 4 3 20 0 15 0 228635375 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 2407.47 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 761608 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.41 1.41 3/218 9800
/proc/meminfo: memFree=15877424/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=11077984 memory=761608 CPUtime=2467.87 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 195194 12993 0 0 246548 232 4 3 20 0 15 0 228635359 11343855616 190402 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2769496 190402 3522 1 0 2731149 0
[pid=9483/tid=9536] ppid=9480 vsize=11077984 memory=761608 CPUtime=2428.59 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 78051 12993 0 0 242818 34 4 3 20 0 15 0 228635368 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820896380208 139820475917008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=11077984 memory=761608 CPUtime=6.03 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 8704 12993 0 0 566 30 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=11077984 memory=761608 CPUtime=6.03 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 9794 12993 0 0 564 32 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=11077984 memory=761608 CPUtime=6.06 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 6441 12993 0 0 568 31 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=11077984 memory=761608 CPUtime=6.04 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 8591 12993 0 0 565 32 4 3 20 0 15 0 228635369 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=11077984 memory=761608 CPUtime=5.02 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 9925 12993 0 0 465 30 4 3 20 0 15 0 228635371 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=11077984 memory=761608 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 15 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 190402 33554432000 4194304 4196468 140730039846528 139819721155616 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=11077984 memory=761608 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 5 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 190402 33554432000 4194304 4196468 140730039846528 139819573306368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=11077984 memory=761608 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=11077984 memory=761608 CPUtime=3.58 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 25457 12993 0 0 348 3 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=11077984 memory=4132 CPUtime=3.85 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 21893 12993 0 0 375 3 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=11077984 memory=761608 CPUtime=1.84 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) S 9480 9483 6975 0 -1 1077944384 22630 12993 0 0 174 3 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820347411184 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=11077984 memory=761608 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 190402 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=11077984 memory=7304 CPUtime=1.33 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1486 12993 0 0 56 70 4 3 20 0 15 0 228635375 11343855616 190402 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 2467.87 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 761608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.11 s]
/proc/loadavg: 1.23 1.38 1.40 3/218 9801
/proc/meminfo: memFree=15880704/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=11077984 memory=757504 CPUtime=2520.06 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 196225 12993 0 0 251764 235 4 3 20 0 15 0 228635359 11343855616 189376 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2769496 189376 3522 1 0 2731149 0
[pid=9483/tid=9536] ppid=9480 vsize=11077984 memory=757504 CPUtime=2480.12 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 78644 12993 0 0 247971 34 4 3 20 0 15 0 228635368 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820896380560 139820463621304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.16 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 8748 12993 0 0 578 31 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.17 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 9826 12993 0 0 577 33 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.18 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 6477 12993 0 0 580 31 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.17 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 8895 12993 0 0 578 32 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=11077984 memory=757500 CPUtime=5.13 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 9943 12993 0 0 475 31 4 3 20 0 15 0 228635371 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=11077984 memory=757504 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 15 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 189376 33554432000 4194304 4196468 140730039846528 139819721155616 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=11077984 memory=757504 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 5 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 189376 33554432000 4194304 4196468 140730039846528 139819573306368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=11077984 memory=757504 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=11077984 memory=501 CPUtime=3.58 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 25457 12993 0 0 348 3 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=11077984 memory=757504 CPUtime=3.85 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 21893 12993 0 0 375 3 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=11077984 memory=757504 CPUtime=1.84 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) S 9480 9483 6975 0 -1 1077944384 22630 12993 0 0 174 3 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820347411184 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=11077984 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=11077984 memory=62260 CPUtime=1.35 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1490 12993 0 0 56 72 4 3 20 0 15 0 228635375 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 757504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.14 s]
# the end of solver process 9483 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.71 s, system=2.39539 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.11 s]
/proc/loadavg: 1.23 1.38 1.40 3/218 9801
/proc/meminfo: memFree=15880704/32770624 swapFree=67108860/67108860
[pid=9483] ppid=9480 vsize=11077984 memory=757504 CPUtime=2520.06 cores=1,3,5,7
/proc/9483/stat : 9483 (java) S 9480 9483 6975 0 -1 1077944320 196225 12993 0 0 251764 235 4 3 20 0 15 0 228635359 11343855616 189376 33554432000 4194304 4196468 140730039846528 140730039829072 139820924546807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
/proc/9483/statm: 2769496 189376 3522 1 0 2731149 0
[pid=9483/tid=9536] ppid=9480 vsize=11077984 memory=757504 CPUtime=2480.12 cores=1,3,5,7
/proc/9483/task/9536/stat : 9536 (java) R 9480 9483 6975 0 -1 4202560 78644 12993 0 0 247971 34 4 3 20 0 15 0 228635368 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820896380560 139820463621304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9537] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.16 cores=1,3,5,7
/proc/9483/task/9537/stat : 9537 (java) S 9480 9483 6975 0 -1 1077944384 8748 12993 0 0 578 31 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820928789264 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9538] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.17 cores=1,3,5,7
/proc/9483/task/9538/stat : 9538 (java) S 9480 9483 6975 0 -1 1077944384 9826 12993 0 0 577 33 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820783508368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9539] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.18 cores=1,3,5,7
/proc/9483/task/9539/stat : 9539 (java) S 9480 9483 6975 0 -1 1077944384 6477 12993 0 0 580 31 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820782455824 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9540] ppid=9480 vsize=11077984 memory=757504 CPUtime=6.17 cores=1,3,5,7
/proc/9483/task/9540/stat : 9540 (java) S 9480 9483 6975 0 -1 1077944384 8895 12993 0 0 578 32 4 3 20 0 15 0 228635369 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820462501008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9541] ppid=9480 vsize=11077984 memory=757500 CPUtime=5.13 cores=1,3,5,7
/proc/9483/task/9541/stat : 9541 (java) S 9480 9483 6975 0 -1 1077944384 9943 12993 0 0 475 31 4 3 20 0 15 0 228635371 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820350568432 139820924557954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9542] ppid=9480 vsize=11077984 memory=757504 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9542/stat : 9542 (java) S 9480 9483 6975 0 -1 1077944384 15 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 189376 33554432000 4194304 4196468 140730039846528 139819721155616 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9543] ppid=9480 vsize=11077984 memory=757504 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9543/stat : 9543 (java) S 9480 9483 6975 0 -1 1077944384 5 12993 0 0 0 0 4 3 20 0 15 0 228635371 11343855616 189376 33554432000 4194304 4196468 140730039846528 139819573306368 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9544] ppid=9480 vsize=11077984 memory=757504 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9544/stat : 9544 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139819265906896 139820924565403 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9545] ppid=9480 vsize=11077984 memory=501 CPUtime=3.58 cores=1,3,5,7
/proc/9483/task/9545/stat : 9545 (java) S 9480 9483 6975 0 -1 1077944384 25457 12993 0 0 348 3 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820349516272 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9546] ppid=9480 vsize=11077984 memory=757504 CPUtime=3.85 cores=1,3,5,7
/proc/9483/task/9546/stat : 9546 (java) S 9480 9483 6975 0 -1 1077944384 21893 12993 0 0 375 3 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820348463728 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9547] ppid=9480 vsize=11077984 memory=757504 CPUtime=1.84 cores=1,3,5,7
/proc/9483/task/9547/stat : 9547 (java) S 9480 9483 6975 0 -1 1077944384 22630 12993 0 0 174 3 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820347411184 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9548] ppid=9480 vsize=11077984 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/9483/task/9548/stat : 9548 (java) S 9480 9483 6975 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 228635374 11343855616 189376 33554432000 4194304 4196468 140730039846528 139818835111008 139820924557013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
[pid=9483/tid=9549] ppid=9480 vsize=11077984 memory=62260 CPUtime=1.35 cores=1,3,5,7
/proc/9483/task/9549/stat : 9549 (java) S 9480 9483 6975 0 -1 1077944384 1490 12993 0 0 56 72 4 3 20 0 15 0 228635375 11343855616 189376 33554432000 4194304 4196468 140730039846528 139820346358064 139820924557954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25108480 140730039851620 140730039854428 140730039854428 140730039857103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 757504 KiB
Child status: 143
Real time (s): 2494.14
CPU time (s): 2520.1
CPU user time (s): 2517.71
CPU system time (s): 2.39539
CPU usage (%): 101.041
Max. virtual memory (cumulated for all children) (KiB): 11080812
Max. memory (cumulated for all children) (KiB): 1014576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.71
system time used= 2.39539
maximum resident set size= 1014576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164909
involuntary context switches= 7255
# summary of solver processes directly reported to runsolver:
# pid: 9483
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.71
# total CPU system time (s): 2.39539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6422 second user time and 22.9283 second system time
The end