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 (1626 MiB free)
memory of node 1: 16384 MiB (2172 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304136-1534040758/watcher-4304136-1534040758 -o /tmp/evaluation-result-4304136-1534040758/solver-4304136-1534040758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=769883425 -superng HOME/instance-4304136-1534040758.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13612, runsolver pid=13605
Current StackSize limit: 8192 KiB
[startup+0.100196 s]*
/proc/loadavg: 1.00 1.03 1.32 4/211 13685
/proc/meminfo: memFree=3864884/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/13612/stat : 13612 (bash) S 13605 13612 11630 0 -1 4202496 886 5673 0 0 0 0 0 1 20 0 1 0 221639025 115974144 403 33554432000 4194304 5098028 140723468395712 140723468389720 139737407056896 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 35033088 140723468403875 140723468404008 140723468404008 140723468406766 0
/proc/13612/statm: 28314 403 319 221 0 119 0
[pid=13665] ppid=13612 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/13665/stat : 13665 (bash) S 13612 13612 11630 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 1 0 221639030 115974144 178 33554432000 4194304 5098028 140723468395712 140723468388392 139737406882428 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35033088 140723468403875 140723468404008 140723468404008 140723468406766 0
/proc/13665/statm: 28314 178 94 221 0 119 0
[pid=13668] ppid=13665 vsize=10659708 memory=23704 CPUtime=0.05 cores=0,2,4,6
/proc/13668/stat : 13668 (java) S 13665 13612 11630 0 -1 1077944320 4768 0 0 0 4 1 0 0 20 0 15 0 221639030 10915540992 5926 33554432000 4194304 4196468 140721817924160 140721817906704 140347282214647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
/proc/13668/statm: 2664927 5926 2597 1 0 2627468 0
[pid=13668/tid=13671] ppid=13665 vsize=10659708 memory=7823760261131367955 CPUtime=0.04 cores=0,2,4,6
/proc/13668/task/13671/stat : 13671 (java) S 13665 13612 11630 0 -1 1077944384 2883 0 0 0 4 0 0 0 20 0 13 0 221639030 10915540992 5931 33554432000 4194304 4196468 140721817924160 140347286457488 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13672] ppid=13665 vsize=10659708 memory=664964232733811010 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13672/stat : 13672 (java) S 13665 13612 11630 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 221639031 10915540992 5931 33554432000 4194304 4196468 140721817924160 140347251927696 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13673] ppid=13665 vsize=10659708 memory=139914386921088 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13673/stat : 13673 (java) S 13665 13612 11630 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 221639031 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346887899664 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13675] ppid=13665 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13675/stat : 13675 (java) S 13665 13612 11630 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 221639031 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346886846864 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13677] ppid=13665 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13677/stat : 13677 (java) S 13665 13612 11630 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 221639031 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346885794064 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13681] ppid=13665 vsize=10659708 memory=139914386921088 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13681/stat : 13681 (java) R 13665 13612 11630 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 221639032 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346586549104 140347282225794 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13683] ppid=13665 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13683/stat : 13683 (java) S 13665 13612 11630 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 221639033 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346585495072 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13685] ppid=13665 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13685/stat : 13685 (java) S 13665 13612 11630 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 221639033 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346584442224 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13687] ppid=13665 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13687/stat : 13687 (java) S 13665 13612 11630 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 13 0 221639035 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346582337904 140347282225794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13689] ppid=13665 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13689/stat : 13689 (java) S 13665 13612 11630 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 13 0 221639035 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346581285104 140347282225794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13690] ppid=13665 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13690/stat : 13690 (java) S 13665 13612 11630 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 13 0 221639035 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346377889904 140347282225794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13668/tid=13694] ppid=13665 vsize=10659708 memory=139914386921088 CPUtime=0 cores=0,2,4,6
/proc/13668/task/13694/stat : 13694 (java) S 13665 13612 11630 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 221639036 10915540992 5931 33554432000 4194304 4196468 140721817924160 140346376837344 140347282224853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16130048 140721817928995 140721817929009 140721817929009 140721817931727 0
[pid=13669] ppid=13665 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/13669/stat : 13669 (awk) S 13665 13612 11630 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 221639030 116215808 308 33554432000 4194304 4609284 140727936439504 140727936438680 140018830560256 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 35270656 140727936447827 140727936447857 140727936447857 140727936450543 0
/proc/13669/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10999712 KiB
Current children cumulated memory: 27260 KiB
[startup+0.211223 s]*
/proc/loadavg: 1.00 1.03 1.32 9/217 13743
/proc/meminfo: memFree=3840468/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=10982744 memory=38292 CPUtime=0.22 cores=0,2,4,6
/proc/13612/stat : 13612 (java) S 13605 13612 11630 0 -1 1077944320 6708 13167 0 0 13 1 5 3 20 0 15 0 221639025 11246329856 9573 33554432000 4194304 4196468 140729373257648 140729373240192 140295842840311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
/proc/13612/statm: 2745686 9573 2972 1 0 2708109 0
[pid=13612/tid=13717] ppid=13605 vsize=10982744 memory=7022364594140610616 CPUtime=0.16 cores=0,2,4,6
/proc/13612/task/13717/stat : 13717 (java) R 13605 13612 11630 0 -1 4202560 3273 13167 0 0 8 0 5 3 20 0 15 0 221639037 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295814654272 140295826920798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295847082640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=10982744 memory=139914388083177 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295712418320 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13723/stat : 13723 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295381313936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13724] ppid=13605 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13724/stat : 13724 (java) S 13605 13612 11630 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295380261136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13727] ppid=13605 vsize=10982744 memory=139914386921088 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13727/stat : 13727 (java) S 13605 13612 11630 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 221639039 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295268723568 140295842851458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13729] ppid=13605 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13729/stat : 13729 (java) S 13605 13612 11630 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 221639040 11246329856 9573 33554432000 4194304 4196468 140729373257648 140294650586656 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13731] ppid=13605 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13731/stat : 13731 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639040 11246329856 9573 33554432000 4194304 4196468 140729373257648 140294502737264 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13736] ppid=13605 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13736/stat : 13736 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246329856 9573 33554432000 4194304 4196468 140729373257648 140294195337552 140295842858907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13737] ppid=13605 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13612/task/13737/stat : 13737 (java) S 13605 13612 11630 0 -1 1077944384 346 13167 0 0 1 0 5 3 20 0 15 0 221639043 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295267670384 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13738] ppid=13605 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13612/task/13738/stat : 13738 (java) S 13605 13612 11630 0 -1 1077944384 270 13167 0 0 1 0 5 3 20 0 15 0 221639043 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295266617584 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13739] ppid=13605 vsize=10982744 memory=139914386921088 CPUtime=0.1 cores=0,2,4,6
/proc/13612/task/13739/stat : 13739 (java) S 13605 13612 11630 0 -1 1077944384 599 13167 0 0 2 0 5 3 20 0 15 0 221639043 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295265564784 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13741] ppid=13605 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13741/stat : 13741 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246329856 9573 33554432000 4194304 4196468 140729373257648 140293764540640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13743] ppid=13605 vsize=10982744 memory=139914386921088 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13743/stat : 13743 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246329856 9573 33554432000 4194304 4196468 140729373257648 140295264513200 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 38292 KiB
[startup+0.310656 s]*
/proc/loadavg: 1.00 1.03 1.32 5/217 13743
/proc/meminfo: memFree=3809044/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=10983192 memory=51836 CPUtime=0.35 cores=0,2,4,6
/proc/13612/stat : 13612 (java) S 13605 13612 11630 0 -1 1077944320 9830 13167 0 0 25 2 5 3 20 0 15 0 221639025 11246788608 12959 33554432000 4194304 4196468 140729373257648 140729373240192 140295842840311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
/proc/13612/statm: 2745798 12959 3093 1 0 2708109 0
[pid=13612/tid=13717] ppid=13605 vsize=10983192 memory=7307211785887766633 CPUtime=0.26 cores=0,2,4,6
/proc/13612/task/13717/stat : 13717 (java) S 13605 13612 11630 0 -1 1077944384 6368 13167 0 0 17 1 5 3 20 0 15 0 221639037 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295814663136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=10983192 memory=3760850081665851443 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295847082640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=10983192 memory=3540028815064042656 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295712418320 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=10983192 memory=288355116380323867 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13723/stat : 13723 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295381313936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13724] ppid=13605 vsize=10983192 memory=288230604640891171 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13724/stat : 13724 (java) S 13605 13612 11630 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295380261136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13727] ppid=13605 vsize=10983192 memory=14418120187121440 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13727/stat : 13727 (java) S 13605 13612 11630 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 221639039 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295268723568 140295842851458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13729] ppid=13605 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13729/stat : 13729 (java) S 13605 13612 11630 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 221639040 11246788608 12959 33554432000 4194304 4196468 140729373257648 140294650586656 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13731] ppid=13605 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13731/stat : 13731 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639040 11246788608 12959 33554432000 4194304 4196468 140729373257648 140294502737264 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13736] ppid=13605 vsize=10983192 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13736/stat : 13736 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246788608 12959 33554432000 4194304 4196468 140729373257648 140294195337552 140295842858907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13737] ppid=13605 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13612/task/13737/stat : 13737 (java) S 13605 13612 11630 0 -1 1077944384 349 13167 0 0 1 0 5 3 20 0 15 0 221639043 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295267670384 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13738] ppid=13605 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13612/task/13738/stat : 13738 (java) S 13605 13612 11630 0 -1 1077944384 272 13167 0 0 1 0 5 3 20 0 15 0 221639043 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295266617584 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13739] ppid=13605 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13612/task/13739/stat : 13739 (java) R 13605 13612 11630 0 -1 4202560 617 13167 0 0 4 0 5 3 20 0 15 0 221639043 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295265564784 140295391936633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13741] ppid=13605 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13741/stat : 13741 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246788608 12959 33554432000 4194304 4196468 140729373257648 140293764540640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13743] ppid=13605 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13743/stat : 13743 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246788608 12959 33554432000 4194304 4196468 140729373257648 140295264513200 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 51836 KiB
[startup+0.700658 s]
/proc/loadavg: 1.00 1.03 1.32 4/217 13743
/proc/meminfo: memFree=3785024/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=10983192 memory=88196 CPUtime=0.96 cores=0,2,4,6
/proc/13612/stat : 13612 (java) S 13605 13612 11630 0 -1 1077944320 16686 13167 0 0 84 4 5 3 20 0 15 0 221639025 11246788608 22049 33554432000 4194304 4196468 140729373257648 140729373240192 140295842840311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
/proc/13612/statm: 2745798 22049 3246 1 0 2708109 0
[pid=13612/tid=13717] ppid=13605 vsize=10983192 memory=60192 CPUtime=0.64 cores=0,2,4,6
/proc/13612/task/13717/stat : 13717 (java) R 13605 13612 11630 0 -1 4202560 12195 13167 0 0 53 3 5 3 20 0 15 0 221639037 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295814633824 140295823115633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=10983192 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295847082640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=10983192 memory=3472328296227679313 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295712418320 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=10983192 memory=-7082918048272507482 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13723/stat : 13723 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295381313936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13724] ppid=13605 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13724/stat : 13724 (java) S 13605 13612 11630 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 221639038 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295380261136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13727] ppid=13605 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13727/stat : 13727 (java) S 13605 13612 11630 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 221639039 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295268723568 140295842851458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13729] ppid=13605 vsize=10983192 memory=279828527845104 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13729/stat : 13729 (java) S 13605 13612 11630 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 221639040 11246788608 22049 33554432000 4194304 4196468 140729373257648 140294650586656 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13731] ppid=13605 vsize=10983192 memory=2471015483137 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13731/stat : 13731 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639040 11246788608 22049 33554432000 4194304 4196468 140729373257648 140294502737264 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13736] ppid=13605 vsize=10983192 memory=2561209796353 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13736/stat : 13736 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246788608 22049 33554432000 4194304 4196468 140729373257648 140294195337552 140295842858907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13737] ppid=13605 vsize=10983192 memory=2565504763393 CPUtime=0.18 cores=0,2,4,6
/proc/13612/task/13737/stat : 13737 (java) R 13605 13612 11630 0 -1 4202560 909 13167 0 0 10 0 5 3 20 0 15 0 221639043 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295267657936 140295827762248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13738] ppid=13605 vsize=10983192 memory=2582684632577 CPUtime=0.15 cores=0,2,4,6
/proc/13612/task/13738/stat : 13738 (java) S 13605 13612 11630 0 -1 1077944384 669 13167 0 0 7 0 5 3 20 0 15 0 221639043 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295266617584 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13739] ppid=13605 vsize=10983192 memory=2621339338241 CPUtime=0.21 cores=0,2,4,6
/proc/13612/task/13739/stat : 13739 (java) S 13605 13612 11630 0 -1 1077944384 686 13167 0 0 13 0 5 3 20 0 15 0 221639043 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295265564784 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13741] ppid=13605 vsize=10983192 memory=139918681888383 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13741/stat : 13741 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246788608 22049 33554432000 4194304 4196468 140729373257648 140293764540640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13743] ppid=13605 vsize=10983192 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13743/stat : 13743 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639043 11246788608 22049 33554432000 4194304 4196468 140729373257648 140295264513200 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88196 KiB
[startup+1.50789 s]
/proc/loadavg: 1.00 1.03 1.32 4/217 13743
/proc/meminfo: memFree=3702316/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=10996044 memory=153104 CPUtime=2.72 cores=0,2,4,6
/proc/13612/stat : 13612 (java) S 13605 13612 11630 0 -1 1077944320 26076 13167 0 0 257 7 5 3 20 0 15 0 221639025 11259949056 38276 33554432000 4194304 4196468 140729373257648 140729373240192 140295842840311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
/proc/13612/statm: 2749011 38276 3442 1 0 2710669 0
[pid=13612/tid=13717] ppid=13605 vsize=10996044 memory=2404 CPUtime=1.41 cores=0,2,4,6
/proc/13612/task/13717/stat : 13717 (java) S 13605 13612 11630 0 -1 1077944384 17216 13167 0 0 128 5 5 3 20 0 15 0 221639037 11259949056 38276 33554432000 4194304 4196468 140729373257648 140295814653936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=10996044 memory=65844 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) R 13605 13612 11630 0 -1 4202560 9 13167 0 0 0 0 5 3 20 0 15 0 221639038 11259949056 38276 33554432000 4194304 4196468 140729373257648 140295847082640 140295827196752 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=10996044 memory=3472328296227679313 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) R 13605 13612 11630 0 -1 4202560 38 13167 0 0 0 0 5 3 20 0 15 0 221639038 11259949056 38276 33554432000 4194304 4196468 140729373257648 140295712418320 140295824466256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=10996044 memory=-7082918048272507482 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/13612/task/13717/stat : 13717 (java) R 13605 13612 11630 0 -1 4202560 851434 13167 0 0 235668 134 5 3 20 0 15 0 221639037 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295814675632 140295413889314 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=11082080 memory=0 CPUtime=15.34 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) S 13605 13612 11630 0 -1 1077944384 77763 13167 0 0 1452 74 5 3 20 0 15 0 221639038 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295847082640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=11082080 memory=1800904 CPUtime=15.36 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) S 13605 13612 11630 0 -1 1077944384 77456 13167 0 0 1456 72 5 3 20 0 15 0 221639038 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295712418320 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=11082080 memory=1800904 CPUtime=15.38 cores=0,2,4,6
/proc/13612/task/13723/stat : 13723 (java) S 13605 13612 11630 0 -1 1077944384 84755 13167 0 0 1455 75 5 3 20 0 15 0 221639038 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295381313936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13724] ppid=13605 vsize=11082080 memory=1800904 CPUtime=15.4 cores=0,2,4,6
/proc/13612/task/13724/stat : 13724 (java) S 13605 13612 11630 0 -1 1077944384 72416 13167 0 0 1463 69 5 3 20 0 15 0 221639038 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295380261136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13727] ppid=13605 vsize=11082080 memory=1800904 CPUtime=6.12 cores=0,2,4,6
/proc/13612/task/13727/stat : 13727 (java) S 13605 13612 11630 0 -1 1077944384 31294 13167 0 0 562 42 5 3 20 0 15 0 221639039 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295268723568 140295842851458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13729] ppid=13605 vsize=11082080 memory=1813216 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13729/stat : 13729 (java) S 13605 13612 11630 0 -1 1077944384 23 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450226 33554432000 4194304 4196468 140729373257648 140294650586720 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13731] ppid=13605 vsize=11082080 memory=1800904 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13731/stat : 13731 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450226 33554432000 4194304 4196468 140729373257648 140294502737280 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13736] ppid=13605 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13736/stat : 13736 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450226 33554432000 4194304 4196468 140729373257648 140294195337552 140295842858907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13737] ppid=13605 vsize=11082080 memory=1800904 CPUtime=10.33 cores=0,2,4,6
/proc/13612/task/13737/stat : 13737 (java) S 13605 13612 11630 0 -1 1077944384 44527 13167 0 0 1013 12 5 3 20 0 15 0 221639043 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295267670384 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13738] ppid=13605 vsize=11082080 memory=1815268 CPUtime=9.14 cores=0,2,4,6
/proc/13612/task/13738/stat : 13738 (java) S 13605 13612 11630 0 -1 1077944384 37583 13167 0 0 901 5 5 3 20 0 15 0 221639043 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295266617584 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13739] ppid=13605 vsize=11082080 memory=1800904 CPUtime=4.21 cores=0,2,4,6
/proc/13612/task/13739/stat : 13739 (java) S 13605 13612 11630 0 -1 1077944384 41702 13167 0 0 405 8 5 3 20 0 15 0 221639043 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295265564784 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13741] ppid=13605 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13741/stat : 13741 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450226 33554432000 4194304 4196468 140729373257648 140293764540640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13743] ppid=13605 vsize=11082080 memory=3296 CPUtime=1.45 cores=0,2,4,6
/proc/13612/task/13743/stat : 13743 (java) S 13605 13612 11630 0 -1 1077944384 2322 13167 0 0 65 72 5 3 20 0 15 0 221639043 11348049920 450226 33554432000 4194304 4196468 140729373257648 140295264513200 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
Current children cumulated CPU time: 2450.21 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1800904 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.44 1.40 4/215 13840
/proc/meminfo: memFree=1950980/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=11082080 memory=1801296 CPUtime=2511.43 cores=0,2,4,6
/proc/13612/stat : 13612 (java) S 13605 13612 11630 0 -1 1077944320 1329556 13167 0 0 250606 529 5 3 20 0 15 0 221639025 11348049920 450324 33554432000 4194304 4196468 140729373257648 140729373240192 140295842840311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
/proc/13612/statm: 2770520 450324 3530 1 0 2732173 0
[pid=13612/tid=13717] ppid=13605 vsize=11082080 memory=1801296 CPUtime=2417.42 cores=0,2,4,6
/proc/13612/task/13717/stat : 13717 (java) R 13605 13612 11630 0 -1 4202560 853323 13167 0 0 241600 134 5 3 20 0 15 0 221639037 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295814675664 140295413910719 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.76 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) S 13605 13612 11630 0 -1 1077944384 78613 13167 0 0 1493 75 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295847082640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.79 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) S 13605 13612 11630 0 -1 1077944384 77773 13167 0 0 1498 73 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295712418320 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.8 cores=0,2,4,6
/proc/13612/task/13723/stat : 13723 (java) S 13605 13612 11630 0 -1 1077944384 85047 13167 0 0 1497 75 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295381313936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13724] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.82 cores=0,2,4,6
/proc/13612/task/13724/stat : 13724 (java) S 13605 13612 11630 0 -1 1077944384 73310 13167 0 0 1505 69 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295380261136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13727] ppid=13605 vsize=11082080 memory=1801296 CPUtime=6.28 cores=0,2,4,6
/proc/13612/task/13727/stat : 13727 (java) S 13605 13612 11630 0 -1 1077944384 31968 13167 0 0 577 43 5 3 20 0 15 0 221639039 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295268723568 140295842851458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13729] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13729/stat : 13729 (java) S 13605 13612 11630 0 -1 1077944384 23 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294650586720 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13731] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13731/stat : 13731 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294502737280 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13736] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13736/stat : 13736 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294195337552 140295842858907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13737] ppid=13605 vsize=11082080 memory=1801296 CPUtime=10.33 cores=0,2,4,6
/proc/13612/task/13737/stat : 13737 (java) S 13605 13612 11630 0 -1 1077944384 44532 13167 0 0 1013 12 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295267670384 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13738] ppid=13605 vsize=11082080 memory=4128 CPUtime=9.14 cores=0,2,4,6
/proc/13612/task/13738/stat : 13738 (java) S 13605 13612 11630 0 -1 1077944384 38692 13167 0 0 901 5 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295266617584 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13739] ppid=13605 vsize=11082080 memory=6791534058613427641 CPUtime=4.21 cores=0,2,4,6
/proc/13612/task/13739/stat : 13739 (java) S 13605 13612 11630 0 -1 1077944384 41708 13167 0 0 405 8 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295265564784 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13741] ppid=13605 vsize=11082080 memory=1788 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13741/stat : 13741 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140293764540640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13743] ppid=13605 vsize=11082080 memory=3296 CPUtime=1.49 cores=0,2,4,6
/proc/13612/task/13743/stat : 13743 (java) S 13605 13612 11630 0 -1 1077944384 2364 13167 0 0 67 74 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295264513200 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
Current children cumulated CPU time: 2511.43 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1801296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.7 s]
/proc/loadavg: 1.43 1.42 1.39 4/215 13840
/proc/meminfo: memFree=1951096/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=11082080 memory=1801296 CPUtime=2520 cores=0,2,4,6
/proc/13612/stat : 13612 (java) S 13605 13612 11630 0 -1 1077944320 1329695 13167 0 0 251463 529 5 3 20 0 15 0 221639025 11348049920 450324 33554432000 4194304 4196468 140729373257648 140729373240192 140295842840311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
/proc/13612/statm: 2770520 450324 3530 1 0 2732173 0
[pid=13612/tid=13717] ppid=13605 vsize=11082080 memory=10824 CPUtime=2425.72 cores=0,2,4,6
/proc/13612/task/13717/stat : 13717 (java) R 13605 13612 11630 0 -1 4202560 853433 13167 0 0 242430 134 5 3 20 0 15 0 221639037 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295814675392 140295413496052 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.82 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) S 13605 13612 11630 0 -1 1077944384 78623 13167 0 0 1499 75 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295847082640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.85 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) S 13605 13612 11630 0 -1 1077944384 77774 13167 0 0 1504 73 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295712418320 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.86 cores=0,2,4,6
/proc/13612/task/13723/stat : 13723 (java) S 13605 13612 11630 0 -1 1077944384 85055 13167 0 0 1503 75 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295381313936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13724] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.88 cores=0,2,4,6
/proc/13612/task/13724/stat : 13724 (java) S 13605 13612 11630 0 -1 1077944384 73314 13167 0 0 1511 69 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295380261136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13727] ppid=13605 vsize=11082080 memory=1801296 CPUtime=6.3 cores=0,2,4,6
/proc/13612/task/13727/stat : 13727 (java) S 13605 13612 11630 0 -1 1077944384 31974 13167 0 0 579 43 5 3 20 0 15 0 221639039 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295268723568 140295842851458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13729] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13729/stat : 13729 (java) S 13605 13612 11630 0 -1 1077944384 23 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294650586720 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13731] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13731/stat : 13731 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294502737280 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13736] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13736/stat : 13736 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294195337552 140295842858907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13737] ppid=13605 vsize=11082080 memory=1801296 CPUtime=10.33 cores=0,2,4,6
/proc/13612/task/13737/stat : 13737 (java) S 13605 13612 11630 0 -1 1077944384 44532 13167 0 0 1013 12 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295267670384 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13738] ppid=13605 vsize=11082080 memory=1801296 CPUtime=9.14 cores=0,2,4,6
/proc/13612/task/13738/stat : 13738 (java) S 13605 13612 11630 0 -1 1077944384 38692 13167 0 0 901 5 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295266617584 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13739] ppid=13605 vsize=11082080 memory=1801296 CPUtime=4.21 cores=0,2,4,6
/proc/13612/task/13739/stat : 13739 (java) S 13605 13612 11630 0 -1 1077944384 41708 13167 0 0 405 8 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295265564784 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13741] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13741/stat : 13741 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140293764540640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13743] ppid=13605 vsize=11082080 memory=4128 CPUtime=1.5 cores=0,2,4,6
/proc/13612/task/13743/stat : 13743 (java) S 13605 13612 11630 0 -1 1077944384 2364 13167 0 0 67 75 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295264513200 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1801296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.74 s]
# the end of solver process 13612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.72 s, system=5.34685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2450.7 s]
/proc/loadavg: 1.43 1.42 1.39 4/215 13840
/proc/meminfo: memFree=1951096/32770624 swapFree=67108860/67108860
[pid=13612] ppid=13605 vsize=11082080 memory=1801296 CPUtime=2520 cores=0,2,4,6
/proc/13612/stat : 13612 (java) S 13605 13612 11630 0 -1 1077944320 1329695 13167 0 0 251463 529 5 3 20 0 15 0 221639025 11348049920 450324 33554432000 4194304 4196468 140729373257648 140729373240192 140295842840311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
/proc/13612/statm: 2770520 450324 3530 1 0 2732173 0
[pid=13612/tid=13717] ppid=13605 vsize=11082080 memory=10824 CPUtime=2425.72 cores=0,2,4,6
/proc/13612/task/13717/stat : 13717 (java) R 13605 13612 11630 0 -1 4202560 853433 13167 0 0 242430 134 5 3 20 0 15 0 221639037 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295814675392 140295413496052 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13720] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.82 cores=0,2,4,6
/proc/13612/task/13720/stat : 13720 (java) S 13605 13612 11630 0 -1 1077944384 78623 13167 0 0 1499 75 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295847082640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13722] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.85 cores=0,2,4,6
/proc/13612/task/13722/stat : 13722 (java) S 13605 13612 11630 0 -1 1077944384 77774 13167 0 0 1504 73 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295712418320 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13723] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.86 cores=0,2,4,6
/proc/13612/task/13723/stat : 13723 (java) S 13605 13612 11630 0 -1 1077944384 85055 13167 0 0 1503 75 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295381313936 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13724] ppid=13605 vsize=11082080 memory=1801296 CPUtime=15.88 cores=0,2,4,6
/proc/13612/task/13724/stat : 13724 (java) S 13605 13612 11630 0 -1 1077944384 73314 13167 0 0 1511 69 5 3 20 0 15 0 221639038 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295380261136 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13727] ppid=13605 vsize=11082080 memory=1801296 CPUtime=6.3 cores=0,2,4,6
/proc/13612/task/13727/stat : 13727 (java) S 13605 13612 11630 0 -1 1077944384 31974 13167 0 0 579 43 5 3 20 0 15 0 221639039 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295268723568 140295842851458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13729] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13729/stat : 13729 (java) S 13605 13612 11630 0 -1 1077944384 23 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294650586720 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13731] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13731/stat : 13731 (java) S 13605 13612 11630 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 221639040 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294502737280 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13736] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13736/stat : 13736 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140294195337552 140295842858907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13737] ppid=13605 vsize=11082080 memory=1801296 CPUtime=10.33 cores=0,2,4,6
/proc/13612/task/13737/stat : 13737 (java) S 13605 13612 11630 0 -1 1077944384 44532 13167 0 0 1013 12 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295267670384 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13738] ppid=13605 vsize=11082080 memory=1801296 CPUtime=9.14 cores=0,2,4,6
/proc/13612/task/13738/stat : 13738 (java) S 13605 13612 11630 0 -1 1077944384 38692 13167 0 0 901 5 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295266617584 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13739] ppid=13605 vsize=11082080 memory=1801296 CPUtime=4.21 cores=0,2,4,6
/proc/13612/task/13739/stat : 13739 (java) S 13605 13612 11630 0 -1 1077944384 41708 13167 0 0 405 8 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295265564784 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13741] ppid=13605 vsize=11082080 memory=1801296 CPUtime=0.08 cores=0,2,4,6
/proc/13612/task/13741/stat : 13741 (java) S 13605 13612 11630 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140293764540640 140295842850517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
[pid=13612/tid=13743] ppid=13605 vsize=11082080 memory=4128 CPUtime=1.5 cores=0,2,4,6
/proc/13612/task/13743/stat : 13743 (java) S 13605 13612 11630 0 -1 1077944384 2364 13167 0 0 67 75 5 3 20 0 15 0 221639043 11348049920 450324 33554432000 4194304 4196468 140729373257648 140295264513200 140295842851458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140729373260388 140729373263196 140729373263196 140729373265871 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1801296 KiB
Child status: 143
Real time (s): 2450.74
CPU time (s): 2520.06
CPU user time (s): 2514.72
CPU system time (s): 5.34685
CPU usage (%): 102.829
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3053896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.72
system time used= 5.34685
maximum resident set size= 3056444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1347259
page faults= 0
swaps= 0
block input operations= 1528
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187320
involuntary context switches= 8147
# summary of solver processes directly reported to runsolver:
# pid: 13612
# total CPU time (s): 2520.06
# total CPU user time (s): 2514.72
# total CPU system time (s): 5.34685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4901 second user time and 23.3457 second system time
The end