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 (12439 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258362-1502645893/watcher-4258362-1502645893 -o /tmp/evaluation-result-4258362-1502645893/solver-4258362-1502645893 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258362-1502645893.xml
running on 4 cores: 1,3,5,7
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=9867, runsolver pid=9864
[startup+0.100141 s]*
/proc/loadavg: 4.39 3.42 3.44 3/204 9876
/proc/meminfo: memFree=28714520/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10151672 memory=20736 CPUtime=0.04 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 4064 0 0 0 4 0 0 0 20 0 9 0 66782575 10395312128 5184 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800970 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2537918 5184 2156 1 0 2527415 0
[pid=9867/tid=9869] ppid=9864 vsize=10285828 memory=4206751525541407381 CPUtime=0.04 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) S 9864 9867 17093 0 -1 1077944384 2727 0 0 0 4 0 0 0 20 0 12 0 66782581 10532687872 5187 18446744073709551615 4194304 4196468 140726769974496 139729034029104 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10285828 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 66782581 10532687872 5187 18446744073709551615 4194304 4196468 140726769974496 139728986753808 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10351364 memory=140471006586496 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 12 0 66782581 10599796736 5187 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10352392 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 12 0 66782581 10600849408 5188 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10352392 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 66782581 10600849408 5188 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10352392 memory=140471006586496 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 66782583 10600849408 5188 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10483464 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 66782583 10735067136 5188 18446744073709551615 4194304 4196468 140726769974496 139728591975328 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10417916 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 66782583 10667945984 5188 18446744073709551615 4194304 4196468 140726769974496 139728590922736 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 66782586 10667958272 5188 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) R 9864 9867 17093 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 13 0 66782586 10667958272 5188 18446744073709551615 4194304 4196468 140726769974496 139728588819272 139729010029888 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 66782586 10667958272 5252 18446744073709551615 4194304 4196468 140726769974496 139728587766080 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10417928 memory=140471006586496 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) R 9864 9867 17093 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 13 0 66782586 10667958272 5252 18446744073709551615 4194304 4196468 140726769974496 139728586714568 139729008893986 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20736 KiB
[startup+0.209939 s]*
/proc/loadavg: 4.39 3.42 3.44 3/210 9882
/proc/meminfo: memFree=28708316/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10552180 memory=30240 CPUtime=0.12 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 7470 0 0 0 10 2 0 0 20 0 15 0 66782575 10805432320 7560 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2638045 7560 2793 1 0 2627517 0
[pid=9867/tid=9869] ppid=9864 vsize=10551156 memory=8318255677412212789 CPUtime=0.09 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) R 9864 9867 17093 0 -1 4202560 5390 0 0 0 8 1 0 0 20 0 15 0 66782581 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139729033975728 139729029799318 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728986753808 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10551156 memory=140471007138666 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10551156 memory=140471006586496 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66782583 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66782583 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728591975328 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66782583 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728590922736 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66782586 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) S 9864 9867 17093 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 66782586 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728588818928 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66782586 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728587766384 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10551156 memory=140471006586496 CPUtime=0.01 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) R 9864 9867 17093 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 15 0 66782586 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728586713840 139729008379312 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9881] ppid=9864 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9881/stat : 9881 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66782586 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728585661536 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9882] ppid=9864 vsize=10551156 memory=140471006586496 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9882/stat : 9882 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782592 10804383744 7363 18446744073709551615 4194304 4196468 140726769974496 139728584608048 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 30240 KiB
[startup+0.31013 s]*
/proc/loadavg: 4.39 3.42 3.44 4/210 9882
/proc/meminfo: memFree=28700520/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10551156 memory=38392 CPUtime=0.27 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 8926 0 0 0 24 3 0 0 20 0 15 0 66782575 10804383744 9598 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2637789 9598 2896 1 0 2627261 0
[pid=9867/tid=9869] ppid=9864 vsize=10551156 memory=-7677926825137650786 CPUtime=0.19 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) R 9864 9867 17093 0 -1 4202560 6137 0 0 0 17 2 0 0 20 0 15 0 66782581 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139729034025504 139728657730573 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728986753808 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66782581 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66782583 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66782583 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728591975328 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66782583 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728590922736 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66782586 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) R 9864 9867 17093 0 -1 4202560 642 0 0 0 1 0 0 0 20 0 15 0 66782586 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728588804728 139729022076765 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) R 9864 9867 17093 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 15 0 66782586 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728587766384 139729029798530 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10551156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) R 9864 9867 17093 0 -1 4202560 781 0 0 0 5 0 0 0 20 0 15 0 66782586 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728586710208 139729008719630 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9881] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9881/stat : 9881 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66782586 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728585661536 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9882] ppid=9864 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9882/stat : 9882 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782592 10804383744 9730 18446744073709551615 4194304 4196468 140726769974496 139728584608048 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 38392 KiB
[startup+0.700835 s]
/proc/loadavg: 4.39 3.42 3.44 5/210 9882
/proc/meminfo: memFree=28680280/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10551232 memory=184560 CPUtime=1.51 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 13638 0 0 0 143 8 0 0 20 0 15 0 66782575 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2637808 46140 3082 1 0 2627261 0
[pid=9867/tid=9869] ppid=9864 vsize=10551232 memory=37640 CPUtime=0.55 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) R 9864 9867 17093 0 -1 4202560 7776 0 0 0 50 5 0 0 20 0 15 0 66782581 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139729034013872 139729013831013 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10551232 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) S 9864 9867 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 66782581 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728986753808 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 66782581 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782581 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 66782581 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 66782583 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10551232 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66782583 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728591975328 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66782583 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728590922736 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10551232 memory=140470865481808 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66782586 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10551232 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) R 9864 9867 17093 0 -1 4202560 1537 0 0 0 28 0 0 0 20 0 15 0 66782586 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728588818928 139729029799318 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10551232 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) R 9864 9867 17093 0 -1 1077944384 1194 0 0 0 32 1 0 0 20 0 15 0 66782586 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728587766384 139729029798530 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10551232 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) R 9864 9867 17093 0 -1 4202560 1653 0 0 0 29 0 0 0 20 0 15 0 66782586 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728586713840 139729022884219 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9881] ppid=9864 vsize=10551232 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9881/stat : 9881 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66782586 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728585661536 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9882] ppid=9864 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9882/stat : 9882 (java) S 9864 9867 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66782592 10804461568 46140 18446744073709551615 4194304 4196468 140726769974496 139728584608048 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 184560 KiB
[startup+1.50143 s]
/proc/loadavg: 4.39 3.42 3.44 7/210 9882
/proc/meminfo: memFree=28526008/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10552868 memory=505756 CPUtime=4.16 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 18927 0 0 0 389 27 0 0 20 0 15 0 66782575 10806136832 126439 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2638217 126439 3105 1 0 2627670 0
[pid=9867/tid=9869] ppid=9864 vsize=10552868 memory=6442213876473817182 CPUtime=1.14 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) S 9864 9867 17093 0 -1 1077944384 7852 0 0 0 107 7 0 0 20 0 15 0 66782581 10806136832 126439 18446744073709551615 4194304 4196468 140726769974496 139729034023664 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10552868 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) R 9864 9867 17093 0 -1 4202560 172 0 0 0 15 4 0 0 20 0 15 0 66782581 10806136832 126439 18446744073709551615 4194304 4196468 140726769974496 139728986754008 139729014815257 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10552868 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) R 9864 9867 17093 0 -1 4202560 170 0 0 0 16 3 0 0 20 0 15 0 66782581 10806136832 126439 18446744073709551615 4194304 4196468 140726769974496 139728985701464 139729014815248 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10552868 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) R 9864 9867 17093 0 -1 4202560 56 0 0 0 7 2 0 0 20 0 15 0 66782581 10806136832 126439 18446744073709551615 4194304 4196468 140726769974496 139728984648608 139729014815623 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10552868 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) R 9864 9867 17093 0 -1 4202560 184 0 0 0 14 4 0 0 20 0 15 0 66782581 10806136832 126439 18446744073709551615 4194304 4196468 140726769974496 139728983596376 139729014814300 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10552868 memory=280941729765600 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66782583 10806136832 126439 18446744073709551615 4194304 4196468 140726769974496 139728593027616 139729029797589 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10552868 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66782583 10806136832 126951 18446744073709551615 4194304 4196468 140726769974496 139728591975392 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10552868 memory=13563795322702378 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66782583 10806136832 126951 18446744073709551615 4194304 4196468 140726769974496 139728590922736 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
################
# More data... #
################
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 9998 0 0 0 2949 140 0 0 20 0 16 0 66782581 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10617796 memory=4028 CPUtime=30.96 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 16325 0 0 0 2958 138 0 0 20 0 16 0 66782581 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10617796 memory=37648 CPUtime=31.06 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 14099 0 0 0 2969 137 0 0 20 0 16 0 66782581 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10617796 memory=288230574492221466 CPUtime=10.62 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 21400 0 0 0 1061 1 0 0 20 0 16 0 66782583 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10617796 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 66782583 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728591975392 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10617796 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 66782583 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728590922752 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10617796 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66782586 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10617796 memory=164 CPUtime=2.16 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) S 9864 9867 17093 0 -1 1077944384 8704 0 0 0 215 1 0 0 20 0 16 0 66782586 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728588818928 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10617796 memory=5495740422247797458 CPUtime=2.19 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) S 9864 9867 17093 0 -1 1077944384 7478 0 0 0 217 2 0 0 20 0 16 0 66782586 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728587766384 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10617796 memory=280941730719040 CPUtime=0.53 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) S 9864 9867 17093 0 -1 1077944384 4247 0 0 0 52 1 0 0 20 0 16 0 66782586 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728586713840 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9881] ppid=9864 vsize=10617796 memory=7813806098843394132 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9881/stat : 9881 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66782586 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728585661536 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9882] ppid=9864 vsize=10617796 memory=7222940 CPUtime=0.07 cores=1,3,5,7
/proc/9867/task/9882/stat : 9882 (java) S 9864 9867 17093 0 -1 1077944384 988 0 0 0 3 4 0 0 20 0 16 0 66782592 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728584608048 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9884] ppid=9864 vsize=10617796 memory=7222940 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9884/stat : 9884 (java) S 9864 9867 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66786683 10872623104 1805735 18446744073709551615 4194304 4196468 140726769974496 139728583553840 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 199.77 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7222940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+154.501 s]
/proc/loadavg: 2.41 2.99 3.28 3/211 9888
/proc/meminfo: memFree=21290828/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10617796 memory=7222988 CPUtime=252.01 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 141621 0 0 0 24612 589 0 0 20 0 16 0 66782575 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2654449 1805747 3149 1 0 2643902 0
[pid=9867/tid=9869] ppid=9864 vsize=10617796 memory=0 CPUtime=112.43 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) R 9864 9867 17093 0 -1 4202560 41037 0 0 0 11228 15 0 0 20 0 16 0 66782581 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139729034024120 139728663360853 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10617796 memory=7222988 CPUtime=30.97 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) S 9864 9867 17093 0 -1 1077944384 14871 0 0 0 2952 145 0 0 20 0 16 0 66782581 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728986753808 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10617796 memory=7222940 CPUtime=30.89 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 9998 0 0 0 2949 140 0 0 20 0 16 0 66782581 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10617796 memory=142979126194746 CPUtime=30.96 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 16325 0 0 0 2958 138 0 0 20 0 16 0 66782581 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10617796 memory=576461252103989788 CPUtime=31.06 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 14099 0 0 0 2969 137 0 0 20 0 16 0 66782581 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10617796 memory=7222940 CPUtime=10.63 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 21447 0 0 0 1062 1 0 0 20 0 16 0 66782583 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10617796 memory=7222940 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 66782583 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728591975392 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10617796 memory=7222940 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 66782583 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728590922752 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10617796 memory=7222940 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66782586 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10617796 memory=1708 CPUtime=2.16 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) S 9864 9867 17093 0 -1 1077944384 8877 0 0 0 215 1 0 0 20 0 16 0 66782586 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728588818928 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10617796 memory=1444 CPUtime=2.19 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) S 9864 9867 17093 0 -1 1077944384 7481 0 0 0 217 2 0 0 20 0 16 0 66782586 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728587766384 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10617796 memory=7222940 CPUtime=0.53 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) S 9864 9867 17093 0 -1 1077944384 4987 0 0 0 52 1 0 0 20 0 16 0 66782586 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728586713840 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9881] ppid=9864 vsize=10617796 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9881/stat : 9881 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 66782586 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728585661536 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9882] ppid=9864 vsize=10617796 memory=2420 CPUtime=0.1 cores=1,3,5,7
/proc/9867/task/9882/stat : 9882 (java) S 9864 9867 17093 0 -1 1077944384 1060 0 0 0 5 5 0 0 20 0 16 0 66782592 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728584608048 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9884] ppid=9864 vsize=10617796 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9884/stat : 9884 (java) S 9864 9867 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 66786683 10872623104 1805747 18446744073709551615 4194304 4196468 140726769974496 139728583553840 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 7222988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+154.755 s]
# the end of solver process 9867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.199 s, system=5.92893 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+154.605 s]
/proc/loadavg: 2.41 2.99 3.28 3/211 9888
/proc/meminfo: memFree=21290828/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10817488 memory=7223260 CPUtime=252.07 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 142898 0 0 0 24618 589 0 0 20 0 17 0 66782575 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2704372 1805815 3151 1 0 2693825 0
[pid=9867/tid=9869] ppid=9864 vsize=10817488 memory=1732 CPUtime=112.47 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) S 9864 9867 17093 0 -1 1077944384 41155 0 0 0 11232 15 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139729034030256 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10817488 memory=7680170660397595203 CPUtime=30.97 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) S 9864 9867 17093 0 -1 1077944384 14871 0 0 0 2952 145 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728986753808 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10817488 memory=7222988 CPUtime=30.89 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 9998 0 0 0 2949 140 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10817488 memory=2248 CPUtime=30.96 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 16325 0 0 0 2958 138 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10817488 memory=4300 CPUtime=31.06 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 14099 0 0 0 2969 137 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10817488 memory=932 CPUtime=10.63 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 21454 0 0 0 1062 1 0 0 20 0 17 0 66782583 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10817488 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 66782583 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728591975392 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10817488 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 66782583 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728590922752 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10817488 memory=844 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10817488 memory=16448 CPUtime=2.16 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) S 9864 9867 17093 0 -1 1077944384 8877 0 0 0 215 1 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728588818928 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10817488 memory=2752 CPUtime=2.2 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) S 9864 9867 17093 0 -1 1077944384 8031 0 0 0 218 2 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728587766384 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10817488 memory=2752 CPUtime=0.53 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) S 9864 9867 17093 0 -1 1077944384 5079 0 0 0 52 1 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728586713840 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9881] ppid=9864 vsize=10817488 memory=280941730763024 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9881/stat : 9881 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728585661536 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9882] ppid=9864 vsize=10817488 memory=6944652177228980320 CPUtime=0.1 cores=1,3,5,7
/proc/9867/task/9882/stat : 9882 (java) S 9864 9867 17093 0 -1 1077944384 1060 0 0 0 5 5 0 0 20 0 17 0 66782592 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728584608048 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 7223260 KiB
[startup+154.701 s]
/proc/loadavg: 2.41 2.99 3.28 3/211 9888
/proc/meminfo: memFree=21290828/32770624 swapFree=67108860/67108860
[pid=9867] ppid=9864 vsize=10817488 memory=7223260 CPUtime=252.07 cores=1,3,5,7
/proc/9867/stat : 9867 (java) S 9864 9867 17093 0 -1 1077944320 142898 0 0 0 24618 589 0 0 20 0 17 0 66782575 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 140726769957040 139729029787383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
/proc/9867/statm: 2704372 1805815 3151 1 0 2693825 0
[pid=9867/tid=9869] ppid=9864 vsize=10817488 memory=0 CPUtime=112.47 cores=1,3,5,7
/proc/9867/task/9869/stat : 9869 (java) S 9864 9867 17093 0 -1 1077944384 41155 0 0 0 11232 15 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139729034030256 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9870] ppid=9864 vsize=10817488 memory=142979126194746 CPUtime=30.97 cores=1,3,5,7
/proc/9867/task/9870/stat : 9870 (java) S 9864 9867 17093 0 -1 1077944384 14871 0 0 0 2952 145 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728986753808 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9871] ppid=9864 vsize=10817488 memory=576461252103989788 CPUtime=30.89 cores=1,3,5,7
/proc/9867/task/9871/stat : 9871 (java) S 9864 9867 17093 0 -1 1077944384 9998 0 0 0 2949 140 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728985701264 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9872] ppid=9864 vsize=10817488 memory=7222940 CPUtime=30.96 cores=1,3,5,7
/proc/9867/task/9872/stat : 9872 (java) S 9864 9867 17093 0 -1 1077944384 16325 0 0 0 2958 138 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728984648720 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9873] ppid=9864 vsize=10817488 memory=7222940 CPUtime=31.06 cores=1,3,5,7
/proc/9867/task/9873/stat : 9873 (java) S 9864 9867 17093 0 -1 1077944384 14099 0 0 0 2969 137 0 0 20 0 17 0 66782581 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728983596176 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9874] ppid=9864 vsize=10817488 memory=7222940 CPUtime=10.63 cores=1,3,5,7
/proc/9867/task/9874/stat : 9874 (java) S 9864 9867 17093 0 -1 1077944384 21454 0 0 0 1062 1 0 0 20 0 17 0 66782583 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728593029104 139729029798530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9875] ppid=9864 vsize=10817488 memory=7222940 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9875/stat : 9875 (java) S 9864 9867 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 66782583 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728591975392 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9876] ppid=9864 vsize=10817488 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9876/stat : 9876 (java) S 9864 9867 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 66782583 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728590922752 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9877] ppid=9864 vsize=10817488 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9877/stat : 9877 (java) S 9864 9867 17093 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728589871312 139729029805979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9878] ppid=9864 vsize=10817488 memory=7222940 CPUtime=2.16 cores=1,3,5,7
/proc/9867/task/9878/stat : 9878 (java) S 9864 9867 17093 0 -1 1077944384 8877 0 0 0 215 1 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728588818928 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9879] ppid=9864 vsize=10817488 memory=4612 CPUtime=2.2 cores=1,3,5,7
/proc/9867/task/9879/stat : 9879 (java) S 9864 9867 17093 0 -1 1077944384 8031 0 0 0 218 2 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728587766384 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9880] ppid=9864 vsize=10817488 memory=7222988 CPUtime=0.53 cores=1,3,5,7
/proc/9867/task/9880/stat : 9880 (java) S 9864 9867 17093 0 -1 1077944384 5079 0 0 0 52 1 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728586713840 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9881] ppid=9864 vsize=10817488 memory=7222940 CPUtime=0 cores=1,3,5,7
/proc/9867/task/9881/stat : 9881 (java) S 9864 9867 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 66782586 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728585661536 139729029797589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
[pid=9867/tid=9882] ppid=9864 vsize=10817488 memory=2420 CPUtime=0.1 cores=1,3,5,7
/proc/9867/task/9882/stat : 9882 (java) S 9864 9867 17093 0 -1 1077944384 1060 0 0 0 5 5 0 0 20 0 17 0 66782592 11077107712 1805815 18446744073709551615 4194304 4196468 140726769974496 139728584608048 139729029798530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140726769979797 140726769979950 140726769979950 140726769983439 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 7223260 KiB
Child status: 143
Real time (s): 154.755
CPU time (s): 252.128
CPU user time (s): 246.199
CPU system time (s): 5.92893
CPU usage (%): 162.92
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 7223260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.199
system time used= 5.92892
maximum resident set size= 7223472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6625
involuntary context switches= 1243
# summary of solver processes directly reported to runsolver:
# pid: 9867
# total CPU time (s): 252.128
# total CPU user time (s): 246.199
# total CPU system time (s): 5.92893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00582 second user time and 1.45177 second system time
The end