runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455365-1307196267/watcher-3455365-1307196267 -o /tmp/evaluation-result-3455365-1307196267/solver-3455365-1307196267 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455365-1307196267.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: 1.00 1.02 1.40 2/478 18853
/proc/meminfo: memFree=26995860/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 1316 0 0 0 0 0 0 0 23 0 2 0 831229057 36646912 1018 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 8947 1018 782 9 0 386 0
[pid=18853/tid=18854] ppid=18851 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) R 18851 18853 13859 0 -1 4202560 2665 0 1 0 0 0 0 0 24 0 2 0 831229057 10694979584 3481 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.084924 s]
/proc/loadavg: 1.00 1.02 1.40 2/478 18853
/proc/meminfo: memFree=26995860/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 11879 0 1 0 4 1 0 0 23 0 18 0 831229057 10724442112 11576 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 2618272 11577 1754 9 0 2609006 0
[pid=18853/tid=18854] ppid=18851 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) R 18851 18853 13859 0 -1 4202560 10705 0 1 0 4 1 0 0 18 0 18 0 831229057 10724442112 11577 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 47090070105562 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.104231 s]
/proc/loadavg: 1.00 1.02 1.40 2/478 18853
/proc/meminfo: memFree=26995860/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=10540252 CPUtime=0.09 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 12969 0 1 0 8 1 0 0 23 0 18 0 831229057 10793218048 12637 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 2635063 12642 2083 9 0 2625797 0
[pid=18853/tid=18854] ppid=18851 vsize=10540252 CPUtime=0.07 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) R 18851 18853 13859 0 -1 4202560 11029 0 1 0 6 1 0 0 18 0 18 0 831229057 10793218048 12642 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 47090070104915 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540252
[startup+0.300886 s]
/proc/loadavg: 1.00 1.02 1.40 2/478 18853
/proc/meminfo: memFree=26995860/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=10544776 CPUtime=0.24 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 14027 0 1 0 22 2 0 0 23 0 19 0 831229057 10797850624 13695 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 2636194 13695 2175 9 0 2626928 0
[pid=18853/tid=18854] ppid=18851 vsize=10544776 CPUtime=0.16 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) S 18851 18853 13859 0 -1 4202560 11789 0 1 0 15 1 0 0 19 0 19 0 831229057 10797850624 13695 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10544776
[startup+0.721776 s]
/proc/loadavg: 1.00 1.02 1.40 2/478 18853
/proc/meminfo: memFree=26995860/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=10544776 CPUtime=0.27 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 14152 0 1 0 25 2 0 0 23 0 22 0 831229057 10797850624 13820 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 2636194 13820 2200 9 0 2626928 0
[pid=18853/tid=18854] ppid=18851 vsize=10544776 CPUtime=0.16 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) S 18851 18853 13859 0 -1 4202560 11841 0 1 0 15 1 0 0 15 0 22 0 831229057 10797850624 13820 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10544776
[startup+1.50072 s]
/proc/loadavg: 1.00 1.02 1.40 2/517 18901
/proc/meminfo: memFree=26780644/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=10557312 CPUtime=0.72 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 23052 0 1 0 69 3 0 0 23 0 20 0 831229057 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 2639328 20152 2210 9 0 2630062 0
[pid=18853/tid=18854] ppid=18851 vsize=10557312 CPUtime=0.16 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) S 18851 18853 13859 0 -1 4202560 11878 0 1 0 15 1 0 0 16 0 20 0 831229057 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 5 0 0 0
[pid=18853/tid=18856] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18856/stat : 18856 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18857] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18857/stat : 18857 (java) S 18851 18853 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18858] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18858/stat : 18858 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18859] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18859/stat : 18859 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18860] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18860/stat : 18860 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18861] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18861/stat : 18861 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18862] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18862/stat : 18862 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18863] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18863/stat : 18863 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229059 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18864] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18864/stat : 18864 (java) S 18851 18853 13859 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831229060 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 0 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18865] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18865/stat : 18865 (java) S 18851 18853 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831229061 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18866] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18866/stat : 18866 (java) S 18851 18853 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831229061 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18867] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18867/stat : 18867 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229064 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447840689 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18868] ppid=18851 vsize=10557312 CPUtime=0.28 cores=1,3,5,7
/proc/18853/task/18868/stat : 18868 (java) S 18851 18853 13859 0 -1 4202560 5134 0 0 0 28 0 0 0 16 0 20 0 831229064 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18869] ppid=18851 vsize=10557312 CPUtime=0.11 cores=1,3,5,7
/proc/18853/task/18869/stat : 18869 (java) S 18851 18853 13859 0 -1 4202560 1579 0 0 0 11 0 0 0 15 0 20 0 831229064 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18870] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18870/stat : 18870 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831229064 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18871] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18871/stat : 18871 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831229064 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18874] ppid=18851 vsize=10557312 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18874/stat : 18874 (java) S 18851 18853 13859 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 831229076 10810687488 20152 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10557312
Solver just ended. Dumping a history of the last processes samples
[startup+2.30588 s]
/proc/loadavg: 1.00 1.02 1.40 2/518 18907
/proc/meminfo: memFree=26289720/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=10558340 CPUtime=0.97 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 24446 0 1 0 94 3 0 0 23 0 22 0 831229057 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 2639585 21293 2221 9 0 2630319 0
[pid=18853/tid=18854] ppid=18851 vsize=10558340 CPUtime=0.17 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) S 18851 18853 13859 0 -1 4202560 11952 0 1 0 16 1 0 0 16 0 22 0 831229057 10811740160 21293 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18856] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18856/stat : 18856 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18857] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18857/stat : 18857 (java) S 18851 18853 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18858] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18858/stat : 18858 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18859] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18859/stat : 18859 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18860] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18860/stat : 18860 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18861] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18861/stat : 18861 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18862] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18862/stat : 18862 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18863] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18863/stat : 18863 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229059 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18864] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18864/stat : 18864 (java) S 18851 18853 13859 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831229060 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 0 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18865] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18865/stat : 18865 (java) S 18851 18853 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831229061 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18866] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18866/stat : 18866 (java) S 18851 18853 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831229061 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18867] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18867/stat : 18867 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229064 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447840689 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18868] ppid=18851 vsize=10558340 CPUtime=0.36 cores=1,3,5,7
/proc/18853/task/18868/stat : 18868 (java) S 18851 18853 13859 0 -1 4202560 5191 0 0 0 36 0 0 0 15 0 22 0 831229064 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18869] ppid=18851 vsize=10558340 CPUtime=0.19 cores=1,3,5,7
/proc/18853/task/18869/stat : 18869 (java) R 18851 18853 13859 0 -1 4202560 1884 0 0 0 19 0 0 0 15 0 22 0 831229064 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212436060519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18853/tid=18870] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18870/stat : 18870 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831229064 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18871] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18871/stat : 18871 (java) R 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831229064 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18853/tid=18874] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18874/stat : 18874 (java) S 18851 18853 13859 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831229076 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 5 0 0 0
[pid=18853/tid=18907] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18907/stat : 18907 (java) S 18851 18853 13859 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831229231 10811740160 21288 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10558340
[startup+2.70144 s]
/proc/loadavg: 1.00 1.02 1.40 2/518 18907
/proc/meminfo: memFree=26289720/32951124 swapFree=38422276/67111528
[pid=18853] ppid=18851 vsize=10558340 CPUtime=0.99 cores=1,3,5,7
/proc/18853/stat : 18853 (java) S 18851 18853 13859 0 -1 4202496 25275 0 1 0 96 3 0 0 23 0 19 0 831229057 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18853/statm: 2639585 22062 2221 9 0 2630319 0
[pid=18853/tid=18854] ppid=18851 vsize=10558340 CPUtime=0.17 cores=1,3,5,7
/proc/18853/task/18854/stat : 18854 (java) S 18851 18853 13859 0 -1 4202560 11952 0 1 0 16 1 0 0 16 0 19 0 831229057 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18856] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18856/stat : 18856 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18857] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18857/stat : 18857 (java) S 18851 18853 13859 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18858] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18858/stat : 18858 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18859] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18859/stat : 18859 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18860] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18860/stat : 18860 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18861] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18861/stat : 18861 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18862] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18862/stat : 18862 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18863] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18863/stat : 18863 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229059 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18864] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18864/stat : 18864 (java) S 18851 18853 13859 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831229060 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 0 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18865] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18865/stat : 18865 (java) S 18851 18853 13859 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831229061 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18866] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18866/stat : 18866 (java) S 18851 18853 13859 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831229061 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18867] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18867/stat : 18867 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229064 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447840689 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18868] ppid=18851 vsize=10558340 CPUtime=0.36 cores=1,3,5,7
/proc/18853/task/18868/stat : 18868 (java) S 18851 18853 13859 0 -1 4202560 5191 0 0 0 36 0 0 0 15 0 19 0 831229064 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 7 0 0 0
[pid=18853/tid=18869] ppid=18851 vsize=10558340 CPUtime=0.19 cores=1,3,5,7
/proc/18853/task/18869/stat : 18869 (java) S 18851 18853 13859 0 -1 4202560 1935 0 0 0 19 0 0 0 15 0 19 0 831229064 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18870] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18870/stat : 18870 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831229064 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447832985 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18871] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18871/stat : 18871 (java) S 18851 18853 13859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831229064 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 3 0 0 0
[pid=18853/tid=18874] ppid=18851 vsize=10558340 CPUtime=0 cores=1,3,5,7
/proc/18853/task/18874/stat : 18874 (java) S 18851 18853 13859 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831229076 10811740160 22062 33554432000 1073741824 1073778376 140736231634240 18446744073709551615 212447833600 0 4 0 16800975 18446604460415339584 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10558340
Child status: 30
Real time (s): 2.75694
CPU time (s): 1.02584
CPU user time (s): 0.98185
CPU system time (s): 0.043993
CPU usage (%): 37.2095
Max. virtual memory (cumulated for all children) (KiB): 10560112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.98185
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25291
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309
involuntary context switches= 57
runsolver used 0.016997 second user time and 0.039993 second system time
The end