runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742799-1338772723/watcher-3742799-1338772723 -o /tmp/evaluation-result-3742799-1338772723/solver-3742799-1338772723 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742799-1338772723.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.80 3.89 3.90 4/198 25727
/proc/meminfo: memFree=26389604/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/25727/stat : 25727 (java) R 25725 25727 24098 0 -1 4202496 1136 0 0 0 0 0 0 0 20 0 1 0 343396665 23793664 864 33554432000 1073741824 1073778376 140736405931616 140736405920680 140020049212176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 5793 858 647 9 0 128 0
[pid=25727/tid=25728] ppid=25725 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24098 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 343396666 24780800 867 33554432000 1073741824 1073778376 140736405931616 140736405920680 209883895985 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0882461 s]
/proc/loadavg: 3.80 3.89 3.90 4/198 25727
/proc/meminfo: memFree=26389604/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 4470 0 1 0 5 1 0 0 20 0 18 0 343396665 11864465408 12833 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2896598 12833 1779 9 0 2887285 0
[pid=25727/tid=25728] ppid=25725 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24098 0 -1 4202560 3261 0 1 0 4 2 0 0 20 0 18 0 343396666 11864465408 12833 33554432000 1073741824 1073778376 140736405931616 140020047657632 209887225101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.100272 s]
/proc/loadavg: 3.80 3.89 3.90 4/198 25727
/proc/meminfo: memFree=26389604/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 5182 0 1 0 7 1 0 0 20 0 18 0 343396665 11864465408 13532 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2896598 13532 2087 9 0 2887285 0
[pid=25727/tid=25728] ppid=25725 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24098 0 -1 4202560 3287 0 1 0 5 2 0 0 20 0 18 0 343396666 11864465408 13532 33554432000 1073741824 1073778376 140736405931616 140020047653808 209883840181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392
[startup+0.300222 s]
/proc/loadavg: 3.80 3.89 3.90 4/198 25727
/proc/meminfo: memFree=26389604/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11586392 CPUtime=0.54 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 8043 0 1 0 52 2 0 0 20 0 18 0 343396665 11864465408 17555 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2896598 17555 2224 9 0 2887285 0
[pid=25727/tid=25728] ppid=25725 vsize=11586392 CPUtime=0.27 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) R 25725 25727 24098 0 -1 4202560 3367 0 1 0 25 2 0 0 20 0 18 0 343396666 11864465408 17555 33554432000 1073741824 1073778376 140736405931616 140020047654776 140019910535132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 11586392
[startup+0.700256 s]
/proc/loadavg: 3.80 3.89 3.90 4/198 25727
/proc/meminfo: memFree=26389604/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11852648 CPUtime=1.96 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 12865 0 1 0 192 4 0 0 20 0 22 0 343396665 12137111552 26353 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2963162 26353 2261 9 0 2953849 0
[pid=25727/tid=25728] ppid=25725 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) S 25725 25727 24098 0 -1 4202560 3386 0 1 0 33 2 0 0 20 0 22 0 343396666 12137111552 26353 33554432000 1073741824 1073778376 140736405931616 140020047656088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 11852648
[startup+1.50089 s]
/proc/loadavg: 3.65 3.85 3.89 5/220 25749
/proc/meminfo: memFree=26214172/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11852648 CPUtime=4.03 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 15607 0 1 0 393 10 0 0 20 0 22 0 343396665 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2963162 86986 2289 9 0 2953849 0
[pid=25727/tid=25728] ppid=25725 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) S 25725 25727 24098 0 -1 4202560 3386 0 1 0 33 2 0 0 20 0 22 0 343396666 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020047656088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020036716712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020035664168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24098 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020034611624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24098 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020033559080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020032506536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020031453992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24098 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020030401448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140020029348904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24098 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 343396669 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019864377448 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343396670 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019863323768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396670 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019862271112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019861219856 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24098 0 -1 4202560 5003 0 0 0 66 2 0 0 20 0 22 0 343396672 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019860167224 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24098 0 -1 4202560 5742 0 0 0 74 0 0 0 20 0 22 0 343396672 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019859114680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019858062328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019857009992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) R 25725 25727 24098 0 -1 4202560 31 0 0 0 104 0 0 0 20 0 22 0 343396703 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019855954120 140019910115251 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25747] ppid=25725 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/25727/task/25747/stat : 25747 (java) R 25725 25727 24098 0 -1 4202560 179 0 0 0 100 4 0 0 20 0 22 0 343396703 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019854899496 140019910885899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25748] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25748/stat : 25748 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343396704 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019853849640 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25749] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25749/stat : 25749 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343396704 12137111552 86986 33554432000 1073741824 1073778376 140736405931616 140019852797096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 11852648
[startup+3.10086 s]
/proc/loadavg: 3.65 3.85 3.89 5/220 25749
/proc/meminfo: memFree=26022476/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11852648 CPUtime=7.38 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 16697 0 1 0 722 16 0 0 20 0 22 0 343396665 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2963162 144341 2289 9 0 2953849 0
[pid=25727/tid=25728] ppid=25725 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) S 25725 25727 24098 0 -1 4202560 3387 0 1 0 33 2 0 0 20 0 22 0 343396666 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020047656088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24098 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020036716712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24098 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020035664168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24098 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020034611624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24098 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020033559080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020032506536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020031453992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020030401448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140020029348904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24098 0 -1 4202560 36 0 0 0 6 0 0 0 20 0 22 0 343396669 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019864377448 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343396670 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019863323768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396670 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019862271112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019861219856 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24098 0 -1 4202560 5005 0 0 0 74 2 0 0 20 0 22 0 343396672 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019860167224 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24098 0 -1 4202560 6698 0 0 0 81 2 0 0 20 0 22 0 343396672 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019859114680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019858062328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019857009992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=11852648 CPUtime=2.58 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) R 25725 25727 24098 0 -1 4202560 31 0 0 0 258 0 0 0 20 0 22 0 343396703 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019855954000 140019910744837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25747] ppid=25725 vsize=11852648 CPUtime=2.58 cores=1,3,5,7
/proc/25727/task/25747/stat : 25747 (java) R 25725 25727 24098 0 -1 4202560 285 0 0 0 250 8 0 0 20 0 22 0 343396703 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019854899680 140019910889005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25748] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25748/stat : 25748 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343396704 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019853849640 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25749] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25749/stat : 25749 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343396704 12137111552 144341 33554432000 1073741824 1073778376 140736405931616 140019852797096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 11852648
[startup+6.30086 s]
/proc/loadavg: 3.68 3.86 3.89 5/220 25749
/proc/meminfo: memFree=25812712/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11852648 CPUtime=13.86 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 18383 0 1 0 1367 19 0 0 20 0 22 0 343396665 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2963162 161222 2289 9 0 2953849 0
[pid=25727/tid=25728] ppid=25725 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) S 25725 25727 24098 0 -1 4202560 3387 0 1 0 33 2 0 0 20 0 22 0 343396666 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020047656088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24098 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020036716712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24098 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020035664168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24098 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020034611624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24098 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020033559080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24098 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020032506536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020031453992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020030401448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343396668 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140020029348904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=11852648 CPUtime=0.11 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24098 0 -1 4202560 38 0 0 0 11 0 0 0 20 0 22 0 343396669 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019864377448 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343396670 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019863323768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343396670 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019862271112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019861219856 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24098 0 -1 4202560 5005 0 0 0 76 2 0 0 20 0 22 0 343396672 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019860167224 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24098 0 -1 4202560 8343 0 0 0 93 2 0 0 20 0 22 0 343396672 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019859114680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019858062328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343396672 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019857009992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25746] ppid=25725 vsize=11852648 CPUtime=5.7 cores=1,3,5,7
/proc/25727/task/25746/stat : 25746 (java) R 25725 25727 24098 0 -1 4202560 33 0 0 0 570 0 0 0 20 0 22 0 343396703 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019855952208 140019910702545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25747] ppid=25725 vsize=11852648 CPUtime=5.71 cores=1,3,5,7
/proc/25727/task/25747/stat : 25747 (java) R 25725 25727 24098 0 -1 4202560 317 0 0 0 561 10 0 0 20 0 22 0 343396703 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019854899752 140019910885844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25748] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25748/stat : 25748 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343396704 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019853849640 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25749] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25749/stat : 25749 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343396704 12137111552 161222 33554432000 1073741824 1073778376 140736405931616 140019852797096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.86
Current children cumulated vsize (KiB) 11852648
[startup+12.7008 s]
/proc/loadavg: 3.71 3.86 3.89 5/220 25749
/proc/meminfo: memFree=25312032/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11852648 CPUtime=26.22 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 18630 0 1 0 2593 29 0 0 20 0 19 0 343396665 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2963162 270291 2290 9 0 2953849 0
[pid=25727/tid=25728] ppid=25725 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) S 25725 25727 24098 0 -1 4202560 3387 0 1 0 33 2 0 0 20 0 19 0 343396666 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020047656088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24098 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020036716712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020035664168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24098 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020034611624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020033559080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24098 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020032506536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020031453992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24098 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020030401448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24098 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020029348904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24098 0 -1 4202560 55 0 0 0 31 0 0 0 20 0 19 0 343396669 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019864377448 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343396670 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019863323768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343396670 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019862271112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019861219856 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24098 0 -1 4202560 5010 0 0 0 76 2 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019860167224 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24098 0 -1 4202560 8343 0 0 0 104 2 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019859114680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019858062328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019857009992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25749] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25749/stat : 25749 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343396704 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019852797096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+12.9006 s]
/proc/loadavg: 3.71 3.86 3.89 5/220 25749
/proc/meminfo: memFree=25312032/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11852648 CPUtime=26.22 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 18630 0 1 0 2593 29 0 0 20 0 19 0 343396665 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2963162 270291 2290 9 0 2953849 0
[pid=25727/tid=25728] ppid=25725 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) S 25725 25727 24098 0 -1 4202560 3387 0 1 0 33 2 0 0 20 0 19 0 343396666 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020047656088 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24098 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020036716712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020035664168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24098 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020034611624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020033559080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24098 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020032506536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020031453992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24098 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020030401448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24098 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 343396668 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140020029348904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24098 0 -1 4202560 55 0 0 0 31 0 0 0 20 0 19 0 343396669 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019864377448 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343396670 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019863323768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343396670 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019862271112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019861219856 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) S 25725 25727 24098 0 -1 4202560 5010 0 0 0 76 2 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019860167224 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) S 25725 25727 24098 0 -1 4202560 8343 0 0 0 104 2 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019859114680 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019858062328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343396672 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019857009992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25749] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25749/stat : 25749 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343396704 12137111552 270291 33554432000 1073741824 1073778376 140736405931616 140019852797096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 26.22
Current children cumulated vsize (KiB) 11852648
[startup+13.0007 s]
/proc/loadavg: 3.71 3.86 3.89 5/220 25749
/proc/meminfo: memFree=25312032/32873844 swapFree=7632/7632
[pid=25727] ppid=25725 vsize=11852648 CPUtime=26.26 cores=1,3,5,7
/proc/25727/stat : 25727 (java) S 25725 25727 24098 0 -1 4202496 18642 0 1 0 2597 29 0 0 20 0 20 0 343396665 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140736405922752 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 2963162 270302 2293 9 0 2953849 0
[pid=25727/tid=25728] ppid=25725 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25727/task/25728/stat : 25728 (java) S 25725 25727 24098 0 -1 4202560 3388 0 1 0 33 2 0 0 20 0 20 0 343396666 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020047655640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25730] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25730/stat : 25730 (java) S 25725 25727 24098 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020036716712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25731] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25731/stat : 25731 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020035664168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25732] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25732/stat : 25732 (java) S 25725 25727 24098 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020034611624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25733] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020033559080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25734] ppid=25725 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (java) S 25725 25727 24098 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020032506536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25725 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020031453992 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25736] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (java) S 25725 25727 24098 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020030401448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25737] ppid=25725 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (java) S 25725 25727 24098 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 20 0 343396668 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140020029348904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25738] ppid=25725 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (java) S 25725 25727 24098 0 -1 4202560 55 0 0 0 31 0 0 0 20 0 20 0 343396669 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140019864377448 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25739] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (java) S 25725 25727 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 343396670 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140019863323768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25740] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25740/stat : 25740 (java) S 25725 25727 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 343396670 12137111552 270302 33554432000 1073741824 1073778376 140736405931616 140019862271112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25741] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25741/stat : 25741 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343396672 12137111552 270303 33554432000 1073741824 1073778376 140736405931616 140019861219856 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25742] ppid=25725 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/25727/task/25742/stat : 25742 (java) R 25725 25727 24098 0 -1 4202560 5017 0 0 0 77 2 0 0 20 0 20 0 343396672 12137111552 270303 33554432000 1073741824 1073778376 140736405931616 140019860167224 140020049548464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25743] ppid=25725 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/25727/task/25743/stat : 25743 (java) R 25725 25727 24098 0 -1 4202560 8346 0 0 0 105 2 0 0 20 0 20 0 343396672 12137111552 270303 33554432000 1073741824 1073778376 140736405931616 140019859114680 209887212604 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25744] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25744/stat : 25744 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343396672 12137111552 270303 33554432000 1073741824 1073778376 140736405931616 140019858062328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25745] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25745/stat : 25745 (java) S 25725 25727 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 343396672 12137111552 270303 33554432000 1073741824 1073778376 140736405931616 140019857009992 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25749] ppid=25725 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25727/task/25749/stat : 25749 (java) S 25725 25727 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 343396704 12137111552 270303 33554432000 1073741824 1073778376 140736405931616 140019852797096 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 26.26
Current children cumulated vsize (KiB) 11852648
Child status: 10
Real time (s): 13.0216
CPU time (s): 26.358
CPU user time (s): 25.9671
CPU system time (s): 0.39094
CPU usage (%): 202.417
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.9671
system time used= 0.39094
maximum resident set size= 1083280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18652
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 913
involuntary context switches= 777
runsolver used 0.06199 second user time and 0.136979 second system time
The end