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 /var/tmp/evaluation-result-3500815-1308036326/watcher-3500815-1308036326 -o /var/tmp/evaluation-result-3500815-1308036326/solver-3500815-1308036326 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500815-1308036326.gcnf
running on 2 cores: 0,2
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.24 0.36 0.12 3/175 2765
/proc/meminfo: memFree=3183576/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=11804 CPUtime=0 cores=0,2
/proc/2765/stat : 2765 (runsolver) S 2763 2765 1667 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 915229842 12087296 50 33554432000 4194304 5436572 140736609222560 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 0 0 0 0
/proc/2765/statm: 2951 50 31 304 0 2643 0
[startup+0.010591 s]
/proc/loadavg: 1.24 0.36 0.12 3/175 2765
/proc/meminfo: memFree=3183576/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=11804 CPUtime=0 cores=0,2
/proc/2765/stat : 2765 (runsolver) S 2763 2765 1667 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 915229842 12087296 50 33554432000 4194304 5436572 140736609222560 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 0 0 0 0
/proc/2765/statm: 2951 50 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804
[startup+0.100577 s]
/proc/loadavg: 1.24 0.36 0.12 3/175 2765
/proc/meminfo: memFree=3183576/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=252 CPUtime=0 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4194304 78 0 0 0 0 0 0 0 20 0 1 0 915229842 258048 31 33554432000 1073741824 1073778376 140735066080640 18446744073709551615 239471771271 0 2147483391 4096 0 18446744071699207358 0 0 17 2 0 0 0
/proc/2765/statm: 63 31 24 9 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 252
[startup+0.300518 s]
/proc/loadavg: 1.24 0.36 0.12 3/175 2765
/proc/meminfo: memFree=3183576/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=9100 CPUtime=0 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 226 0 0 0 0 0 0 0 18 0 1 0 915229842 9318400 162 33554432000 1073741824 1073778376 140735066080640 18446744073709551615 239476695031 0 2147483391 4096 0 18446744071699207358 0 0 17 2 0 0 0
/proc/2765/statm: 2275 162 122 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100
[startup+0.700447 s]
/proc/loadavg: 1.24 0.36 0.12 3/175 2765
/proc/meminfo: memFree=3183576/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=36924 CPUtime=0 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 1372 0 1 0 0 0 0 0 16 0 2 0 915229842 37810176 1073 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/2765/statm: 9231 1073 833 9 0 387 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36924
[startup+1.50128 s]
/proc/loadavg: 1.24 0.36 0.12 1/214 2812
/proc/meminfo: memFree=3087512/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=6434408 CPUtime=0.64 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 26115 0 1 0 61 3 0 0 16 0 18 0 915229842 6588833792 25638 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2765/statm: 1608602 25640 2201 9 0 1599340 0
[pid=2765/tid=2767] ppid=2763 vsize=6434408 CPUtime=0.46 cores=0,2
/proc/2765/task/2767/stat : 2767 (java) R 2763 2765 1667 0 -1 4202560 23141 0 1 0 44 2 0 0 18 0 18 0 915229897 6588833792 25641 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 46912505510344 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=2765/tid=2768] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915229913 6588833792 25642 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2769] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 25643 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2771] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 25644 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 25645 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2773] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 25646 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2774] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2774/stat : 2774 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 25648 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2775] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2775/stat : 2775 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 25649 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2776] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2776/stat : 2776 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 25650 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2784] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2784/stat : 2784 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915229916 6588833792 25651 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 0 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2785] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2785/stat : 2785 (java) S 2763 2765 1667 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 915229917 6588833792 25652 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2786] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2786/stat : 2786 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 915229917 6588833792 25653 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2792] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2792/stat : 2792 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 915229927 6588833792 25655 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488518577 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2793] ppid=2763 vsize=6434408 CPUtime=0.11 cores=0,2
/proc/2765/task/2793/stat : 2793 (java) S 2763 2765 1667 0 -1 4202560 1002 0 0 0 11 0 0 0 15 0 18 0 915229927 6588833792 25656 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2794] ppid=2763 vsize=6434408 CPUtime=0.04 cores=0,2
/proc/2765/task/2794/stat : 2794 (java) S 2763 2765 1667 0 -1 4202560 822 0 0 0 4 0 0 0 16 0 18 0 915229927 6588833792 25657 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2795] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2795/stat : 2795 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 915229927 6588833792 25658 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2796] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2796/stat : 2796 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915229927 6588833792 25660 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 6434408
[startup+3.1157 s]
/proc/loadavg: 1.24 0.36 0.12 3/215 2815
/proc/meminfo: memFree=2689148/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=6434408 CPUtime=2.51 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 100608 0 1 0 238 13 0 0 16 0 18 0 915229842 6588833792 98906 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2765/statm: 1608602 98917 2225 9 0 1599340 0
[pid=2765/tid=2767] ppid=2763 vsize=6434408 CPUtime=2.01 cores=0,2
/proc/2765/task/2767/stat : 2767 (java) R 2763 2765 1667 0 -1 4202560 95544 0 1 0 189 12 0 0 21 0 18 0 915229897 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=2765/tid=2768] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2769] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2771] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2773] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2774] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2774/stat : 2774 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2775] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2775/stat : 2775 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2776] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2776/stat : 2776 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 915229913 6588833792 98918 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2784] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2784/stat : 2784 (java) S 2763 2765 1667 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 915229916 6588833792 98922 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 0 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2785] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2785/stat : 2785 (java) S 2763 2765 1667 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 915229917 6588833792 98937 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2786] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2786/stat : 2786 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 915229917 6588833792 98942 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2792] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2792/stat : 2792 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 915229927 6588833792 98942 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488518577 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2793] ppid=2763 vsize=6434408 CPUtime=0.23 cores=0,2
/proc/2765/task/2793/stat : 2793 (java) S 2763 2765 1667 0 -1 4202560 1082 0 0 0 23 0 0 0 15 0 18 0 915229927 6588833792 98942 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2794] ppid=2763 vsize=6434408 CPUtime=0.25 cores=0,2
/proc/2765/task/2794/stat : 2794 (java) S 2763 2765 1667 0 -1 4202560 2838 0 0 0 25 0 0 0 15 0 18 0 915229927 6588833792 98942 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2795] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2795/stat : 2795 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 915229927 6588833792 98942 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2796] ppid=2763 vsize=6434408 CPUtime=0 cores=0,2
/proc/2765/task/2796/stat : 2796 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 915229927 6588833792 98942 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 6434408
[startup+6.30135 s]
/proc/loadavg: 1.78 0.49 0.16 7/260 2944
/proc/meminfo: memFree=1916660/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=6434328 CPUtime=5.95 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 108927 0 1 0 581 14 0 0 16 0 19 0 915229842 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2765/statm: 1608582 106926 2232 9 0 1599320 0
[pid=2765/tid=2767] ppid=2763 vsize=6434328 CPUtime=5.13 cores=0,2
/proc/2765/task/2767/stat : 2767 (java) R 2763 2765 1667 0 -1 4202560 103754 0 1 0 500 13 0 0 18 0 19 0 915229897 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 46912505872651 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=2765/tid=2768] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2769] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2771] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2773] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2774] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2774/stat : 2774 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2775] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2775/stat : 2775 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2776] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2776/stat : 2776 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2784] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2784/stat : 2784 (java) S 2763 2765 1667 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 915229916 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 0 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2785] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2785/stat : 2785 (java) S 2763 2765 1667 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 915229917 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2786] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2786/stat : 2786 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 915229917 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2792] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2792/stat : 2792 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 915229927 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488518577 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2793] ppid=2763 vsize=6434328 CPUtime=0.34 cores=0,2
/proc/2765/task/2793/stat : 2793 (java) S 2763 2765 1667 0 -1 4202560 1139 0 0 0 34 0 0 0 15 0 19 0 915229927 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2794] ppid=2763 vsize=6434328 CPUtime=0.46 cores=0,2
/proc/2765/task/2794/stat : 2794 (java) S 2763 2765 1667 0 -1 4202560 2870 0 0 0 46 0 0 0 15 0 19 0 915229927 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2795] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2795/stat : 2795 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 915229927 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2796] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2796/stat : 2796 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 915229927 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2855] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2855/stat : 2855 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 915230161 6588751872 106926 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 6434328
[startup+12.7011 s]
/proc/loadavg: 1.96 0.55 0.18 5/262 3002
/proc/meminfo: memFree=2105476/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=6434328 CPUtime=12.35 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 108966 0 1 0 1221 14 0 0 16 0 19 0 915229842 6588751872 106965 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
################
# More data... #
################
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 1667 0 -1 4202560 7099 0 0 0 9 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2771] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 1667 0 -1 4202560 280 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2773] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2774] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2774/stat : 2774 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2775] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2775/stat : 2775 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2776] ppid=2763 vsize=6434328 CPUtime=0.11 cores=0,2
/proc/2765/task/2776/stat : 2776 (java) S 2763 2765 1667 0 -1 4202560 10850 0 0 0 10 1 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2784] ppid=2763 vsize=6434328 CPUtime=0.56 cores=0,2
/proc/2765/task/2784/stat : 2784 (java) S 2763 2765 1667 0 -1 4202560 42669 0 0 0 51 5 0 0 15 0 19 0 915229916 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 0 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2785] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2785/stat : 2785 (java) S 2763 2765 1667 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2786] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2786/stat : 2786 (java) S 2763 2765 1667 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2792] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2792/stat : 2792 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488518577 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2793] ppid=2763 vsize=6434328 CPUtime=0.37 cores=0,2
/proc/2765/task/2793/stat : 2793 (java) S 2763 2765 1667 0 -1 4202560 1144 0 0 0 37 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2794] ppid=2763 vsize=6434328 CPUtime=0.88 cores=0,2
/proc/2765/task/2794/stat : 2794 (java) S 2763 2765 1667 0 -1 4202560 9784 0 0 0 87 1 0 0 16 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2795] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2795/stat : 2795 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2796] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2796/stat : 2796 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=3991] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/3991/stat : 3991 (java) S 2763 2765 1667 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 915236837 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 6434328
Solver just ended. Dumping a history of the last processes samples
[startup+103.902 s]
/proc/loadavg: 3.72 1.50 0.55 5/262 5056
/proc/meminfo: memFree=533448/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=6434328 CPUtime=103.96 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 199345 0 1 0 10368 28 0 0 16 0 19 0 915229842 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2765/statm: 1608582 195275 2259 9 0 1599320 0
[pid=2765/tid=2767] ppid=2763 vsize=6434328 CPUtime=101.6 cores=0,2
/proc/2765/task/2767/stat : 2767 (java) R 2763 2765 1667 0 -1 4202560 109643 0 1 0 10145 15 0 0 25 0 19 0 915229897 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 46912505872108 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=2765/tid=2768] ppid=2763 vsize=6434328 CPUtime=0.26 cores=0,2
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 1667 0 -1 4202560 16712 0 0 0 24 2 0 0 16 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2769] ppid=2763 vsize=6434328 CPUtime=0.09 cores=0,2
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 1667 0 -1 4202560 7099 0 0 0 9 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2771] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 1667 0 -1 4202560 280 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2773] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2774] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2774/stat : 2774 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2775] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2775/stat : 2775 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2776] ppid=2763 vsize=6434328 CPUtime=0.11 cores=0,2
/proc/2765/task/2776/stat : 2776 (java) S 2763 2765 1667 0 -1 4202560 10850 0 0 0 10 1 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2784] ppid=2763 vsize=6434328 CPUtime=0.56 cores=0,2
/proc/2765/task/2784/stat : 2784 (java) S 2763 2765 1667 0 -1 4202560 42669 0 0 0 51 5 0 0 15 0 19 0 915229916 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 0 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2785] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2785/stat : 2785 (java) S 2763 2765 1667 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2786] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2786/stat : 2786 (java) S 2763 2765 1667 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2792] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2792/stat : 2792 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488518577 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2793] ppid=2763 vsize=6434328 CPUtime=0.37 cores=0,2
/proc/2765/task/2793/stat : 2793 (java) S 2763 2765 1667 0 -1 4202560 1144 0 0 0 37 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2794] ppid=2763 vsize=6434328 CPUtime=0.88 cores=0,2
/proc/2765/task/2794/stat : 2794 (java) S 2763 2765 1667 0 -1 4202560 9784 0 0 0 87 1 0 0 16 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2795] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2795/stat : 2795 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2796] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2796/stat : 2796 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=3991] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/3991/stat : 3991 (java) S 2763 2765 1667 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 915236837 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 103.96
Current children cumulated vsize (KiB) 6434328
[startup+104.302 s]
/proc/loadavg: 3.72 1.50 0.55 5/262 5056
/proc/meminfo: memFree=533448/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=6434328 CPUtime=104.36 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 199345 0 1 0 10408 28 0 0 16 0 19 0 915229842 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2765/statm: 1608582 195275 2259 9 0 1599320 0
[pid=2765/tid=2767] ppid=2763 vsize=6434328 CPUtime=102 cores=0,2
/proc/2765/task/2767/stat : 2767 (java) R 2763 2765 1667 0 -1 4202560 109643 0 1 0 10185 15 0 0 25 0 19 0 915229897 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 46912505872651 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=2765/tid=2768] ppid=2763 vsize=6434328 CPUtime=0.26 cores=0,2
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 1667 0 -1 4202560 16712 0 0 0 24 2 0 0 16 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2769] ppid=2763 vsize=6434328 CPUtime=0.09 cores=0,2
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 1667 0 -1 4202560 7099 0 0 0 9 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2771] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 1667 0 -1 4202560 280 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2773] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2774] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2774/stat : 2774 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2775] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2775/stat : 2775 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2776] ppid=2763 vsize=6434328 CPUtime=0.11 cores=0,2
/proc/2765/task/2776/stat : 2776 (java) S 2763 2765 1667 0 -1 4202560 10850 0 0 0 10 1 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2784] ppid=2763 vsize=6434328 CPUtime=0.56 cores=0,2
/proc/2765/task/2784/stat : 2784 (java) S 2763 2765 1667 0 -1 4202560 42669 0 0 0 51 5 0 0 15 0 19 0 915229916 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 0 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2785] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2785/stat : 2785 (java) S 2763 2765 1667 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2786] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2786/stat : 2786 (java) S 2763 2765 1667 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2792] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2792/stat : 2792 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488518577 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2793] ppid=2763 vsize=6434328 CPUtime=0.37 cores=0,2
/proc/2765/task/2793/stat : 2793 (java) S 2763 2765 1667 0 -1 4202560 1144 0 0 0 37 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2794] ppid=2763 vsize=6434328 CPUtime=0.88 cores=0,2
/proc/2765/task/2794/stat : 2794 (java) S 2763 2765 1667 0 -1 4202560 9784 0 0 0 87 1 0 0 16 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2795] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2795/stat : 2795 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2796] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2796/stat : 2796 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=3991] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/3991/stat : 3991 (java) S 2763 2765 1667 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 915236837 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 104.36
Current children cumulated vsize (KiB) 6434328
[startup+104.507 s]
/proc/loadavg: 3.72 1.50 0.55 5/262 5099
/proc/meminfo: memFree=527136/32950928 swapFree=67053956/67111528
[pid=2765] ppid=2763 vsize=6434328 CPUtime=104.56 cores=0,2
/proc/2765/stat : 2765 (java) S 2763 2765 1667 0 -1 4202496 199345 0 1 0 10428 28 0 0 16 0 19 0 915229842 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2765/statm: 1608582 195275 2259 9 0 1599320 0
[pid=2765/tid=2767] ppid=2763 vsize=6434328 CPUtime=102.2 cores=0,2
/proc/2765/task/2767/stat : 2767 (java) R 2763 2765 1667 0 -1 4202560 109643 0 1 0 10205 15 0 0 25 0 19 0 915229897 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 46912505689541 0 4 0 16800975 0 0 0 -1 0 0 0 10
[pid=2765/tid=2768] ppid=2763 vsize=6434328 CPUtime=0.26 cores=0,2
/proc/2765/task/2768/stat : 2768 (java) S 2763 2765 1667 0 -1 4202560 16712 0 0 0 24 2 0 0 16 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2769] ppid=2763 vsize=6434328 CPUtime=0.09 cores=0,2
/proc/2765/task/2769/stat : 2769 (java) S 2763 2765 1667 0 -1 4202560 7099 0 0 0 9 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2771] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2771/stat : 2771 (java) S 2763 2765 1667 0 -1 4202560 280 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2772] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2772/stat : 2772 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2773] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2773/stat : 2773 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2774] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2774/stat : 2774 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2775] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2775/stat : 2775 (java) S 2763 2765 1667 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2776] ppid=2763 vsize=6434328 CPUtime=0.11 cores=0,2
/proc/2765/task/2776/stat : 2776 (java) S 2763 2765 1667 0 -1 4202560 10850 0 0 0 10 1 0 0 18 0 19 0 915229913 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2784] ppid=2763 vsize=6434328 CPUtime=0.56 cores=0,2
/proc/2765/task/2784/stat : 2784 (java) S 2763 2765 1667 0 -1 4202560 42669 0 0 0 51 5 0 0 15 0 19 0 915229916 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 0 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2785] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2785/stat : 2785 (java) S 2763 2765 1667 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2786] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2786/stat : 2786 (java) S 2763 2765 1667 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 915229917 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2792] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2792/stat : 2792 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488518577 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2793] ppid=2763 vsize=6434328 CPUtime=0.37 cores=0,2
/proc/2765/task/2793/stat : 2793 (java) S 2763 2765 1667 0 -1 4202560 1144 0 0 0 37 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
[pid=2765/tid=2794] ppid=2763 vsize=6434328 CPUtime=0.89 cores=0,2
/proc/2765/task/2794/stat : 2794 (java) S 2763 2765 1667 0 -1 4202560 9784 0 0 0 88 1 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2795] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2795/stat : 2795 (java) S 2763 2765 1667 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488510873 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=2796] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/2796/stat : 2796 (java) S 2763 2765 1667 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 915229927 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 0 0 0 0
[pid=2765/tid=3991] ppid=2763 vsize=6434328 CPUtime=0 cores=0,2
/proc/2765/task/3991/stat : 3991 (java) S 2763 2765 1667 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 915236837 6588751872 195275 33554432000 1073741824 1073778376 140734220036240 18446744073709551615 239488511488 0 4 0 16800975 18446604441315320256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 104.56
Current children cumulated vsize (KiB) 6434328
Child status: 20
Real time (s): 104.597
CPU time (s): 104.658
CPU user time (s): 104.339
CPU system time (s): 0.318951
CPU usage (%): 100.059
Max. virtual memory (cumulated for all children) (KiB): 6435436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.339
system time used= 0.318951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199356
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= 2628
involuntary context switches= 1122
runsolver used 0.172973 second user time and 0.408937 second system time
The end