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-3731204-1338680504/watcher-3731204-1338680504 -o /tmp/evaluation-result-3731204-1338680504/solver-3731204-1338680504 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731204-1338680504.opb
running on 4 cores: 0,2,4,6
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.90 3.97 3.42 3/197 6817
/proc/meminfo: memFree=26625684/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/6817/stat : 6817 (java) R 6815 6817 5561 0 -1 4202496 866 0 0 0 0 0 0 0 20 0 1 0 334174697 23793664 594 33554432000 1073741824 1073778376 140733651889712 140733651878776 209874631233 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 5809 609 453 9 0 128 0
[startup+0.00965702 s]
/proc/loadavg: 3.90 3.97 3.42 3/197 6817
/proc/meminfo: memFree=26625684/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=97336 CPUtime=0 cores=0,2,4,6
/proc/6817/stat : 6817 (java) S 6815 6817 5561 0 -1 4202496 1291 0 0 0 0 0 0 0 20 0 2 0 334174697 99672064 991 33554432000 1073741824 1073778376 140733651889712 140733651880848 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 24334 995 759 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 97336
[startup+0.100207 s]
/proc/loadavg: 3.90 3.97 3.42 3/197 6817
/proc/meminfo: memFree=26625684/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/6817/stat : 6817 (java) S 6815 6817 5561 0 -1 4202496 5252 0 1 0 8 2 0 0 20 0 18 0 334174697 11864465408 13602 33554432000 1073741824 1073778376 140733651889712 140733651880848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 2896598 13602 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300148 s]
/proc/loadavg: 3.90 3.97 3.42 3/197 6817
/proc/meminfo: memFree=26625684/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/6817/stat : 6817 (java) S 6815 6817 5561 0 -1 4202496 15485 0 1 0 46 6 0 0 20 0 19 0 334174697 12137111552 21662 33554432000 1073741824 1073778376 140733651889712 140733651880848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 2963162 21662 2216 9 0 2953849 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11852648
[startup+0.700141 s]
/proc/loadavg: 3.90 3.97 3.42 3/197 6817
/proc/meminfo: memFree=26625684/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/6817/stat : 6817 (java) S 6815 6817 5561 0 -1 4202496 16734 0 1 0 70 8 0 0 20 0 19 0 334174697 12137111552 23621 33554432000 1073741824 1073778376 140733651889712 140733651880848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 2963162 23621 2218 9 0 2953849 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 11852648
[startup+1.50071 s]
/proc/loadavg: 3.90 3.97 3.42 3/216 6842
/proc/meminfo: memFree=26541120/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/6817/stat : 6817 (java) S 6815 6817 5561 0 -1 4202496 17199 0 1 0 76 8 0 0 20 0 19 0 334174697 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140733651880848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 2963162 24148 2221 9 0 2953849 0
[pid=6817/tid=6819] ppid=6815 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/6817/task/6819/stat : 6819 (java) S 6815 6817 5561 0 -1 4202560 3365 0 1 0 11 1 0 0 20 0 19 0 334174698 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140540001092760 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6820] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6820/stat : 6820 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174699 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539990154152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6821] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6821/stat : 6821 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174699 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539989101608 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6817/tid=6822] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6822/stat : 6822 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539988048552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6817/tid=6823] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6823/stat : 6823 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539835214632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6824] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6824/stat : 6824 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539834161576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6825] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6825/stat : 6825 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539833109032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6826] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6826/stat : 6826 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539832055976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6827] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6827/stat : 6827 (java) S 6815 6817 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539831003432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6828] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6828/stat : 6828 (java) S 6815 6817 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539818593128 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6829] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6829/stat : 6829 (java) S 6815 6817 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539817539448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6830] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6830/stat : 6830 (java) S 6815 6817 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539816486280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6831] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6831/stat : 6831 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174703 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539815435024 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6832] ppid=6815 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/6817/task/6832/stat : 6832 (java) S 6815 6817 5561 0 -1 4202560 4432 0 0 0 24 0 0 0 20 0 19 0 334174703 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539814381880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6817/tid=6833] ppid=6815 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/6817/task/6833/stat : 6833 (java) S 6815 6817 5561 0 -1 4202560 8078 0 0 0 25 2 0 0 20 0 19 0 334174703 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539813329336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6834] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6834/stat : 6834 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174704 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539812276472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6835] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6835/stat : 6835 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174704 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539811224136 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6839] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6839/stat : 6839 (java) S 6815 6817 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174713 12137111552 24148 33554432000 1073741824 1073778376 140733651889712 140539807012264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.90073 s]
/proc/loadavg: 3.90 3.97 3.42 3/216 6842
/proc/meminfo: memFree=26541120/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/6817/stat : 6817 (java) S 6815 6817 5561 0 -1 4202496 19118 0 1 0 114 10 0 0 20 0 19 0 334174697 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140733651880848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 2963162 27694 2235 9 0 2953849 0
[pid=6817/tid=6819] ppid=6815 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/6817/task/6819/stat : 6819 (java) S 6815 6817 5561 0 -1 4202560 3365 0 1 0 11 1 0 0 20 0 19 0 334174698 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140540001092760 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6820] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6820/stat : 6820 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174699 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539990154152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6821] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6821/stat : 6821 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174699 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539989101608 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6817/tid=6822] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6822/stat : 6822 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539988048552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6817/tid=6823] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6823/stat : 6823 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539835214632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6824] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6824/stat : 6824 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539834161576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6825] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6825/stat : 6825 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539833109032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6826] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6826/stat : 6826 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539832055976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6827] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6827/stat : 6827 (java) S 6815 6817 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539831003432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6828] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6828/stat : 6828 (java) S 6815 6817 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539818593128 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6829] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6829/stat : 6829 (java) S 6815 6817 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539817539448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6830] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6830/stat : 6830 (java) S 6815 6817 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539816486280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6831] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6831/stat : 6831 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174703 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539815435024 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6832] ppid=6815 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/6817/task/6832/stat : 6832 (java) S 6815 6817 5561 0 -1 4202560 6250 0 0 0 37 0 0 0 20 0 19 0 334174703 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539814381880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6817/tid=6833] ppid=6815 vsize=11852648 CPUtime=0.41 cores=0,2,4,6
/proc/6817/task/6833/stat : 6833 (java) S 6815 6817 5561 0 -1 4202560 8154 0 0 0 38 3 0 0 20 0 19 0 334174703 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539813329336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6834] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6834/stat : 6834 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174704 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539812276472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6835] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6835/stat : 6835 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174704 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539811224136 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6839] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6839/stat : 6839 (java) S 6815 6817 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174713 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539807012264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 11852648
[startup+2.1007 s]
/proc/loadavg: 3.75 3.93 3.42 3/216 6848
/proc/meminfo: memFree=26522504/32873844 swapFree=7632/7632
[pid=6817] ppid=6815 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/6817/stat : 6817 (java) S 6815 6817 5561 0 -1 4202496 19118 0 1 0 114 10 0 0 20 0 19 0 334174697 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140733651880848 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6817/statm: 2963162 27694 2235 9 0 2953849 0
[pid=6817/tid=6819] ppid=6815 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/6817/task/6819/stat : 6819 (java) S 6815 6817 5561 0 -1 4202560 3365 0 1 0 11 1 0 0 20 0 19 0 334174698 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140540001092760 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6820] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6820/stat : 6820 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174699 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539990154152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6821] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6821/stat : 6821 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174699 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539989101608 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6817/tid=6822] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6822/stat : 6822 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539988048552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6817/tid=6823] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6823/stat : 6823 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539835214632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6824] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6824/stat : 6824 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539834161576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6825] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6825/stat : 6825 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539833109032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6826] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6826/stat : 6826 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539832055976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6827] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6827/stat : 6827 (java) S 6815 6817 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334174700 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539831003432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6828] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6828/stat : 6828 (java) S 6815 6817 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539818593128 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6829] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6829/stat : 6829 (java) S 6815 6817 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539817539448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6830] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6830/stat : 6830 (java) S 6815 6817 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174701 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539816486280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6831] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6831/stat : 6831 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174703 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539815435024 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6832] ppid=6815 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/6817/task/6832/stat : 6832 (java) S 6815 6817 5561 0 -1 4202560 6250 0 0 0 37 0 0 0 20 0 19 0 334174703 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539814381880 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6817/tid=6833] ppid=6815 vsize=11852648 CPUtime=0.41 cores=0,2,4,6
/proc/6817/task/6833/stat : 6833 (java) S 6815 6817 5561 0 -1 4202560 8154 0 0 0 38 3 0 0 20 0 19 0 334174703 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539813329336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6834] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6834/stat : 6834 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174704 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539812276472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6817/tid=6835] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6835/stat : 6835 (java) S 6815 6817 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174704 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539811224136 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6817/tid=6839] ppid=6815 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6817/task/6839/stat : 6839 (java) S 6815 6817 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174713 12137111552 27694 33554432000 1073741824 1073778376 140733651889712 140539807012264 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 2.16903
CPU time (s): 1.2838
CPU user time (s): 1.15082
CPU system time (s): 0.132979
CPU usage (%): 59.1878
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.15082
system time used= 0.132979
maximum resident set size= 112840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19127
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= 330
involuntary context switches= 61
runsolver used 0 second user time and 0.026995 second system time
The end