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 (15205 MiB free)
memory of node 1: 16384 MiB (7654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258216-1502647850/watcher-4258216-1502647850 -o /tmp/evaluation-result-4258216-1502647850/solver-4258216-1502647850 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258216-1502647850.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12711, runsolver pid=12708
[startup+0.100202 s]*
/proc/loadavg: 5.31 5.16 4.64 6/203 12720
/proc/meminfo: memFree=23396496/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10151672 memory=20736 CPUtime=0.04 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 4062 0 0 0 3 1 0 0 20 0 9 0 66978302 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2537918 5184 2156 1 0 2527415 0
[pid=12711/tid=12713] ppid=12708 vsize=10151672 memory=4206751525541407381 CPUtime=0.03 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) R 12708 12711 17093 0 -1 4202560 2704 0 0 0 3 0 0 0 20 0 9 0 66978308 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140611045187448 140611026645558 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66978308 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140610997917968 140611040962261 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10151672 memory=139978977506944 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66978308 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140610996865424 140611040962261 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66978308 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140610995812880 140611040962261 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) S 12708 12711 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66978308 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140610994760336 140611040962261 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10151672 memory=139978977506944 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66978310 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140610604829168 140611040963202 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66978310 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66978310 10395312128 5184 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20736 KiB
[startup+0.210794 s]*
/proc/loadavg: 5.31 5.16 4.64 6/209 12726
/proc/meminfo: memFree=23393624/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10554768 memory=28684 CPUtime=0.1 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 5651 0 0 0 9 1 0 0 20 0 15 0 66978302 10808082432 7171 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2638692 7171 2789 1 0 2628164 0
[pid=12711/tid=12713] ppid=12708 vsize=10554768 memory=8318255677412212789 CPUtime=0.08 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) R 12708 12711 17093 0 -1 4202560 3969 0 0 0 7 1 0 0 20 0 15 0 66978308 10808082432 7567 18446744073709551615 4194304 4196468 140727930763840 140611045140400 140611033631773 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10554768 memory=330 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978308 10808082432 7567 18446744073709551615 4194304 4196468 140727930763840 140610997917968 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10554768 memory=3544815049405036192 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978308 10808082432 7567 18446744073709551615 4194304 4196468 140727930763840 140610996865424 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10554768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978308 10808082432 7567 18446744073709551615 4194304 4196468 140727930763840 140610995812880 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10554768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) S 12708 12711 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66978308 10808082432 7587 18446744073709551615 4194304 4196468 140727930763840 140610994760336 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10554768 memory=139978977506944 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66978310 10808082432 7210 18446744073709551615 4194304 4196468 140727930763840 140610604829168 140611040963202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10554768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10808082432 7210 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10554768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66978310 10808082432 7210 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10553140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10806415360 7075 18446744073709551615 4194304 4196468 140727930763840 140610601671376 140611040970651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10553140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) S 12708 12711 17093 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 66978313 10806415360 6970 18446744073709551615 4194304 4196468 140727930763840 140610600617968 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10553140 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10806415360 6970 18446744073709551615 4194304 4196468 140727930763840 140610599565424 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10552180 memory=139978977506944 CPUtime=0.01 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) S 12708 12711 17093 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 66978313 10805432320 6970 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12725] ppid=12708 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12725/stat : 12725 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10805432320 6714 18446744073709551615 4194304 4196468 140727930763840 140610597460576 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12726] ppid=12708 vsize=10552180 memory=139978977506944 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12726/stat : 12726 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978320 10805432320 6714 18446744073709551615 4194304 4196468 140727930763840 140610596408112 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10554768 KiB
Current children cumulated memory: 28684 KiB
[startup+0.310581 s]*
/proc/loadavg: 5.31 5.16 4.64 6/209 12726
/proc/meminfo: memFree=23383800/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10551156 memory=36904 CPUtime=0.25 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 8497 0 0 0 22 3 0 0 20 0 15 0 66978302 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2637789 9226 2870 1 0 2627261 0
[pid=12711/tid=12713] ppid=12708 vsize=10551156 memory=-7677926825137650786 CPUtime=0.17 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) R 12708 12711 17093 0 -1 4202560 6130 0 0 0 15 2 0 0 20 0 15 0 66978308 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140611045187728 140611040963990 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978308 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610997917968 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978308 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610996865424 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978308 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610995812880 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) S 12708 12711 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66978308 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610994760336 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66978310 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610604829168 140611040963202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66978310 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610601671376 140611040970651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) R 12708 12711 17093 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 66978313 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610600617968 140611040963202 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) R 12708 12711 17093 0 -1 4202560 130 0 0 0 1 0 0 0 20 0 15 0 66978313 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610599565424 140611018850544 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10551156 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) R 12708 12711 17093 0 -1 4202560 415 0 0 0 4 0 0 0 20 0 15 0 66978313 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963990 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12725] ppid=12708 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12725/stat : 12725 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610597460576 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12726] ppid=12708 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12726/stat : 12726 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978320 10804383744 9226 18446744073709551615 4194304 4196468 140727930763840 140610596408112 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36904 KiB
[startup+0.701546 s]
/proc/loadavg: 5.31 5.16 4.64 7/209 12726
/proc/meminfo: memFree=23368276/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10551232 memory=183248 CPUtime=1.2 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 12939 0 0 0 112 8 0 0 20 0 15 0 66978302 10804461568 45812 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2637808 45812 3053 1 0 2627261 0
[pid=12711/tid=12713] ppid=12708 vsize=10551232 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) S 12708 12711 17093 0 -1 1077944384 7844 0 0 0 49 5 0 0 20 0 15 0 66978308 10804461568 45812 18446744073709551615 4194304 4196468 140727930763840 140611045184960 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) R 12708 12711 17093 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 66978308 10804461568 45812 18446744073709551615 4194304 4196468 140727930763840 140610997915776 140611040962261 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10551232 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) R 12708 12711 17093 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 66978308 10804461568 45812 18446744073709551615 4194304 4196468 140727930763840 140610996865424 140611025979929 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10551232 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) R 12708 12711 17093 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 66978308 10804461568 45812 18446744073709551615 4194304 4196468 140727930763840 140610995812880 140611025979929 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10551232 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) R 12708 12711 17093 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 15 0 66978308 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610994758144 140611025979920 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610604827680 140611040962261 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610601671376 140611040970651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10551232 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) S 12708 12711 17093 0 -1 1077944384 1343 0 0 0 18 0 0 0 20 0 15 0 66978313 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610600602160 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10551232 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) R 12708 12711 17093 0 -1 4202560 1215 0 0 0 19 0 0 0 20 0 15 0 66978313 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610599551448 140611018840580 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10551232 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) S 12708 12711 17093 0 -1 1077944384 1121 0 0 0 21 0 0 0 20 0 15 0 66978313 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12725] ppid=12708 vsize=10551232 memory=15 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12725/stat : 12725 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610597460576 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12726] ppid=12708 vsize=10551232 memory=69 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12726/stat : 12726 (java) S 12708 12711 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66978320 10804461568 46324 18446744073709551615 4194304 4196468 140727930763840 140610596408112 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 183248 KiB
[startup+1.50155 s]
/proc/loadavg: 5.37 5.17 4.64 6/209 12726
/proc/meminfo: memFree=23122464/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10551232 memory=567776 CPUtime=3.21 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 14279 0 0 0 281 40 0 0 20 0 15 0 66978302 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2637808 141944 3086 1 0 2627261 0
[pid=12711/tid=12713] ppid=12708 vsize=10551232 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) S 12708 12711 17093 0 -1 1077944384 7926 0 0 0 95 7 0 0 20 0 15 0 66978308 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140611045187120 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10551232 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) R 12708 12711 17093 0 -1 4202560 243 0 0 0 24 8 0 0 20 0 15 0 66978308 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610997917968 140611025974176 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10551232 memory=6673 CPUtime=0.32 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) R 12708 12711 17093 0 -1 4202560 209 0 0 0 24 8 0 0 20 0 15 0 66978308 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610996865624 140611025974176 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10551232 memory=4420 CPUtime=0.32 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) R 12708 12711 17093 0 -1 4202560 260 0 0 0 25 7 0 0 20 0 15 0 66978308 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610995813080 140611025974176 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10551232 memory=6628 CPUtime=0.32 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) R 12708 12711 17093 0 -1 4202560 193 0 0 0 25 7 0 0 20 0 15 0 66978308 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610994760336 140611025974176 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10551232 memory=164 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610604827680 140611040962261 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10551232 memory=8772 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610601671376 140611040970651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10551232 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) S 12708 12711 17093 0 -1 1077944384 1527 0 0 0 30 0 0 0 20 0 15 0 66978313 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610600609248 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10551232 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) S 12708 12711 17093 0 -1 1077944384 1349 0 0 0 33 0 0 0 20 0 15 0 66978313 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610599565424 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10551232 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) S 12708 12711 17093 0 -1 1077944384 1128 0 0 0 22 0 0 0 20 0 15 0 66978313 10804461568 141944 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
################
# More data... #
################
[startup+88.9405 s]
# the end of solver process 12711 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.347 s, system=5.9096 s
Solver just ended.
Dumping a history of the last processes samples
[startup+88.0006 s]*
/proc/loadavg: 5.09 5.14 4.68 9/209 12808
/proc/meminfo: memFree=15205012/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10551232 memory=8182580 CPUtime=256.7 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 90697 0 0 0 25084 586 0 0 20 0 15 0 66978302 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2637808 2045645 3108 1 0 2627261 0
[pid=12711/tid=12713] ppid=12708 vsize=10551232 memory=796 CPUtime=13.78 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) S 12708 12711 17093 0 -1 1077944384 16713 0 0 0 1367 11 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140611045188704 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10551232 memory=4872558044660077418 CPUtime=56.18 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) R 12708 12711 17093 0 -1 4202560 12467 0 0 0 5477 141 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610997917864 140611033580263 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10551232 memory=37728 CPUtime=56.08 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) R 12708 12711 17093 0 -1 4202560 9036 0 0 0 5475 133 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610996865624 140611024128635 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10551232 memory=0 CPUtime=55.96 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) R 12708 12711 17093 0 -1 4202560 9138 0 0 0 5458 138 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610995812776 140611033580263 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10551232 memory=288230587427455269 CPUtime=56.2 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) R 12708 12711 17093 0 -1 4202560 9675 0 0 0 5465 155 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610994760536 140611025902660 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10551232 memory=16098173902915238 CPUtime=17.31 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 24152 0 0 0 1729 2 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610604827488 140611040962261 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10551232 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10551232 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10551232 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610601671024 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10551232 memory=19876 CPUtime=0.35 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) S 12708 12711 17093 0 -1 1077944384 2632 0 0 0 35 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610600617968 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10551232 memory=22084 CPUtime=0.41 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) S 12708 12711 17093 0 -1 1077944384 2164 0 0 0 41 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610599565424 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10551232 memory=7236554960671762992 CPUtime=0.3 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) S 12708 12711 17093 0 -1 1077944384 3200 0 0 0 30 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12725] ppid=12708 vsize=10551232 memory=7588684550706915689 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12725/stat : 12725 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610597460576 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12726] ppid=12708 vsize=10551232 memory=7516877558933114965 CPUtime=0.03 cores=0,2,4,6
/proc/12711/task/12726/stat : 12726 (java) S 12708 12711 17093 0 -1 1077944384 155 0 0 0 2 1 0 0 20 0 15 0 66978320 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610596408112 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 256.7 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8182580 KiB
[startup+88.4007 s]
/proc/loadavg: 5.09 5.14 4.68 9/209 12808
/proc/meminfo: memFree=15205012/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10551232 memory=8182580 CPUtime=258.23 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 90731 0 0 0 25237 586 0 0 20 0 15 0 66978302 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2637808 2045645 3108 1 0 2627261 0
[pid=12711/tid=12713] ppid=12708 vsize=10551232 memory=16448 CPUtime=13.78 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) S 12708 12711 17093 0 -1 1077944384 16713 0 0 0 1367 11 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140611045188704 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10551232 memory=2752 CPUtime=56.57 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) R 12708 12711 17093 0 -1 4202560 12467 0 0 0 5515 142 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610997917552 140611033580263 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10551232 memory=2864 CPUtime=56.47 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) R 12708 12711 17093 0 -1 4202560 9070 0 0 0 5514 133 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610996865624 140611025649830 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10551232 memory=4064 CPUtime=56.33 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) R 12708 12711 17093 0 -1 4202560 9138 0 0 0 5495 138 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610995812776 140611033580263 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10551232 memory=1156 CPUtime=56.59 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) R 12708 12711 17093 0 -1 4202560 9675 0 0 0 5504 155 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610994760536 140611025937351 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10551232 memory=2912 CPUtime=17.31 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 24152 0 0 0 1729 2 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610604827488 140611040962261 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10551232 memory=8182580 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10551232 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10551232 memory=2852 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610601671024 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10551232 memory=8162132 CPUtime=0.35 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) S 12708 12711 17093 0 -1 1077944384 2632 0 0 0 35 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610600617968 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10551232 memory=3904 CPUtime=0.41 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) S 12708 12711 17093 0 -1 1077944384 2164 0 0 0 41 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610599565424 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10551232 memory=-7677926825137650786 CPUtime=0.3 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) S 12708 12711 17093 0 -1 1077944384 3200 0 0 0 30 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12725] ppid=12708 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12725/stat : 12725 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610597460576 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12726] ppid=12708 vsize=10551232 memory=-8774313645642428999 CPUtime=0.03 cores=0,2,4,6
/proc/12711/task/12726/stat : 12726 (java) S 12708 12711 17093 0 -1 1077944384 155 0 0 0 2 1 0 0 20 0 15 0 66978320 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610596408112 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 258.23 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8182580 KiB
[startup+88.8006 s]
/proc/loadavg: 5.09 5.14 4.68 9/209 12808
/proc/meminfo: memFree=15205012/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10551232 memory=8182580 CPUtime=259.8 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 90746 0 0 0 25393 587 0 0 20 0 15 0 66978302 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2637808 2045645 3108 1 0 2627261 0
[pid=12711/tid=12713] ppid=12708 vsize=10551232 memory=8182580 CPUtime=13.78 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) S 12708 12711 17093 0 -1 1077944384 16713 0 0 0 1367 11 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140611045188704 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10551232 memory=-8774313645642428999 CPUtime=56.95 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) R 12708 12711 17093 0 -1 4202560 12467 0 0 0 5553 142 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610997917552 140611033580263 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10551232 memory=288230621803970871 CPUtime=56.87 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) R 12708 12711 17093 0 -1 4202560 9085 0 0 0 5554 133 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610996865624 140611025937351 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10551232 memory=13563795322702378 CPUtime=56.71 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) R 12708 12711 17093 0 -1 4202560 9138 0 0 0 5533 138 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610995812776 140611033580263 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10551232 memory=844 CPUtime=56.99 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) R 12708 12711 17093 0 -1 4202560 9675 0 0 0 5544 155 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610994760536 140611025937351 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10551232 memory=16448 CPUtime=17.31 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 24152 0 0 0 1729 2 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610604827488 140611040962261 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10551232 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10551232 memory=2864 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10551232 memory=4064 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610601671024 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10551232 memory=1156 CPUtime=0.35 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) S 12708 12711 17093 0 -1 1077944384 2632 0 0 0 35 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610600617968 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10551232 memory=2908 CPUtime=0.41 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) S 12708 12711 17093 0 -1 1077944384 2164 0 0 0 41 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610599565424 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10551232 memory=8182580 CPUtime=0.3 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) S 12708 12711 17093 0 -1 1077944384 3200 0 0 0 30 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12725] ppid=12708 vsize=10551232 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12725/stat : 12725 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610597460576 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12726] ppid=12708 vsize=10551232 memory=2852 CPUtime=0.03 cores=0,2,4,6
/proc/12711/task/12726/stat : 12726 (java) S 12708 12711 17093 0 -1 1077944384 155 0 0 0 2 1 0 0 20 0 15 0 66978320 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610596408112 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 259.8 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8182580 KiB
[startup+88.9007 s]
/proc/loadavg: 5.09 5.14 4.68 9/209 12808
/proc/meminfo: memFree=15205012/32770624 swapFree=67108860/67108860
[pid=12711] ppid=12708 vsize=10551232 memory=8182580 CPUtime=260.2 cores=0,2,4,6
/proc/12711/stat : 12711 (java) S 12708 12711 17093 0 -1 1077944320 90746 0 0 0 25433 587 0 0 20 0 15 0 66978302 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140727930746384 140611040952055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
/proc/12711/statm: 2637808 2045645 3108 1 0 2627261 0
[pid=12711/tid=12713] ppid=12708 vsize=10551232 memory=8182580 CPUtime=13.78 cores=0,2,4,6
/proc/12711/task/12713/stat : 12713 (java) S 12708 12711 17093 0 -1 1077944384 16713 0 0 0 1367 11 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140611045188704 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12714] ppid=12708 vsize=10551232 memory=8182580 CPUtime=57.05 cores=0,2,4,6
/proc/12711/task/12714/stat : 12714 (java) R 12708 12711 17093 0 -1 4202560 12467 0 0 0 5563 142 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610997917552 140611033580263 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12715] ppid=12708 vsize=10551232 memory=8182488 CPUtime=56.97 cores=0,2,4,6
/proc/12711/task/12715/stat : 12715 (java) R 12708 12711 17093 0 -1 4202560 9085 0 0 0 5564 133 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610996865624 140611025649634 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12716] ppid=12708 vsize=10551232 memory=8182488 CPUtime=56.81 cores=0,2,4,6
/proc/12711/task/12716/stat : 12716 (java) R 12708 12711 17093 0 -1 4202560 9138 0 0 0 5543 138 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610995812776 140611033580263 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12717] ppid=12708 vsize=10551232 memory=8176272 CPUtime=57.09 cores=0,2,4,6
/proc/12711/task/12717/stat : 12717 (java) R 12708 12711 17093 0 -1 4202560 9675 0 0 0 5554 155 0 0 20 0 15 0 66978308 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610994760536 140611025902632 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12718] ppid=12708 vsize=10551232 memory=8182488 CPUtime=17.31 cores=0,2,4,6
/proc/12711/task/12718/stat : 12718 (java) S 12708 12711 17093 0 -1 1077944384 24152 0 0 0 1729 2 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610604827488 140611040962261 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12719] ppid=12708 vsize=10551232 memory=8182580 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12719/stat : 12719 (java) S 12708 12711 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610603775392 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12720] ppid=12708 vsize=10551232 memory=8182580 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12720/stat : 12720 (java) S 12708 12711 17093 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 66978310 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610602722800 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12721] ppid=12708 vsize=10551232 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12721/stat : 12721 (java) S 12708 12711 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610601671024 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12722] ppid=12708 vsize=10551232 memory=8182580 CPUtime=0.35 cores=0,2,4,6
/proc/12711/task/12722/stat : 12722 (java) S 12708 12711 17093 0 -1 1077944384 2632 0 0 0 35 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610600617968 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12723] ppid=12708 vsize=10551232 memory=8143440 CPUtime=0.41 cores=0,2,4,6
/proc/12711/task/12723/stat : 12723 (java) S 12708 12711 17093 0 -1 1077944384 2164 0 0 0 41 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610599565424 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12724] ppid=12708 vsize=10551232 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/12711/task/12724/stat : 12724 (java) S 12708 12711 17093 0 -1 1077944384 3200 0 0 0 30 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610598512880 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12725] ppid=12708 vsize=10551232 memory=7834976 CPUtime=0 cores=0,2,4,6
/proc/12711/task/12725/stat : 12725 (java) S 12708 12711 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66978313 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610597460576 140611040962261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
[pid=12711/tid=12726] ppid=12708 vsize=10551232 memory=8182580 CPUtime=0.03 cores=0,2,4,6
/proc/12711/task/12726/stat : 12726 (java) S 12708 12711 17093 0 -1 1077944384 155 0 0 0 2 1 0 0 20 0 15 0 66978320 10804461568 2045645 18446744073709551615 4194304 4196468 140727930763840 140610596408112 140611040963202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30441472 140727930769813 140727930769966 140727930769966 140727930773455 0
Current children cumulated CPU time: 260.2 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8182580 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 88.9406
CPU time (s): 260.257
CPU user time (s): 254.347
CPU system time (s): 5.9096
CPU usage (%): 292.619
Max. virtual memory (cumulated for all children) (KiB): 10554768
Max. memory (cumulated for all children) (KiB): 8182580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.347
system time used= 5.9096
maximum resident set size= 8182912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5443
involuntary context switches= 4078
# summary of solver processes directly reported to runsolver:
# pid: 12711
# total CPU time (s): 260.257
# total CPU user time (s): 254.347
# total CPU system time (s): 5.9096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.499848 second user time and 0.892918 second system time
The end