runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3280484-1303771575/watcher-3280484-1303771575 -o /tmp/evaluation-result-3280484-1303771575/solver-3280484-1303771575 -C 2400 -W 1300 -M 7680 ./jMiniSat -sc-mode HOME/instance-3280484-1303771575.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.74 2.73 2.82 5/243 18785
/proc/meminfo: memFree=15662828/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
[startup+0.095056 s]
/proc/loadavg: 3.74 2.73 2.82 5/243 18785
/proc/meminfo: memFree=15662828/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.101019 s]
/proc/loadavg: 3.74 2.73 2.82 5/243 18785
/proc/meminfo: memFree=15662828/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300988 s]
/proc/loadavg: 3.74 2.73 2.82 5/243 18785
/proc/meminfo: memFree=15662828/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700951 s]
/proc/loadavg: 3.74 2.73 2.82 5/243 18785
/proc/meminfo: memFree=15662828/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50081 s]
/proc/loadavg: 3.74 2.73 2.82 5/262 18805
/proc/meminfo: memFree=15482220/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
[pid=18787] ppid=18785 vsize=7466692 CPUtime=1.86 cores=1,3
/proc/18787/stat : 18787 (java) S 18785 18785 15892 0 -1 4202496 13058 0 1 0 184 2 0 0 25 0 18 0 469573643 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18787/statm: 1866673 11657 2204 9 0 1857152 0
[pid=18787/tid=18789] ppid=18785 vsize=7466692 CPUtime=1.47 cores=1,3
/proc/18787/task/18789/stat : 18789 (java) R 18785 18785 15892 0 -1 4202560 7086 0 1 0 146 1 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 46912505579272 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18790/stat : 18790 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18791/stat : 18791 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18792/stat : 18792 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18793/stat : 18793 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18794/stat : 18794 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18795/stat : 18795 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18796/stat : 18796 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18797/stat : 18797 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18798/stat : 18798 (java) S 18785 18785 15892 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 469573645 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18799/stat : 18799 (java) S 18785 18785 15892 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 469573646 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18800/stat : 18800 (java) S 18785 18785 15892 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 469573646 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18801/stat : 18801 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 11657 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=7466692 CPUtime=0.22 cores=1,3
/proc/18787/task/18802/stat : 18802 (java) S 18785 18785 15892 0 -1 4202560 2849 0 0 0 22 0 0 0 24 0 18 0 469573648 7645892608 11658 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=7466692 CPUtime=0.14 cores=1,3
/proc/18787/task/18803/stat : 18803 (java) S 18785 18785 15892 0 -1 4202560 1977 0 0 0 14 0 0 0 23 0 18 0 469573648 7645892608 11658 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18804/stat : 18804 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 11658 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18805/stat : 18805 (java) S 18785 18785 15892 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 469573648 7645892608 11658 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 7475392
[startup+3.10153 s]
/proc/loadavg: 3.74 2.73 2.82 5/262 18805
/proc/meminfo: memFree=15459652/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
[pid=18787] ppid=18785 vsize=7466692 CPUtime=3.7 cores=1,3
/proc/18787/stat : 18787 (java) S 18785 18785 15892 0 -1 4202496 21838 0 1 0 366 4 0 0 25 0 18 0 469573643 7645892608 17980 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18787/statm: 1866673 17980 2205 9 0 1857152 0
[pid=18787/tid=18789] ppid=18785 vsize=7466692 CPUtime=3.08 cores=1,3
/proc/18787/task/18789/stat : 18789 (java) R 18785 18785 15892 0 -1 4202560 9919 0 1 0 306 2 0 0 25 0 18 0 469573644 7645892608 17980 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 46912505556539 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18790/stat : 18790 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17980 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18791/stat : 18791 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18792/stat : 18792 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18793/stat : 18793 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18794/stat : 18794 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18795/stat : 18795 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18796/stat : 18796 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18797/stat : 18797 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18798/stat : 18798 (java) S 18785 18785 15892 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 469573645 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18799/stat : 18799 (java) S 18785 18785 15892 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 469573646 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18800/stat : 18800 (java) S 18785 18785 15892 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 469573646 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18801/stat : 18801 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=7466692 CPUtime=0.24 cores=1,3
/proc/18787/task/18802/stat : 18802 (java) S 18785 18785 15892 0 -1 4202560 2850 0 0 0 24 0 0 0 16 0 18 0 469573648 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=7466692 CPUtime=0.36 cores=1,3
/proc/18787/task/18803/stat : 18803 (java) S 18785 18785 15892 0 -1 4202560 7923 0 0 0 35 1 0 0 15 0 18 0 469573648 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18804/stat : 18804 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18805/stat : 18805 (java) S 18785 18785 15892 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 469573648 7645892608 17981 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 7475392
[startup+6.30097 s]
/proc/loadavg: 3.76 2.75 2.82 5/262 18805
/proc/meminfo: memFree=15440632/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
[pid=18787] ppid=18785 vsize=7466692 CPUtime=6.96 cores=1,3
/proc/18787/stat : 18787 (java) S 18785 18785 15892 0 -1 4202496 26927 0 1 0 691 5 0 0 25 0 18 0 469573643 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18787/statm: 1866673 22294 2205 9 0 1857152 0
[pid=18787/tid=18789] ppid=18785 vsize=7466692 CPUtime=6.28 cores=1,3
/proc/18787/task/18789/stat : 18789 (java) R 18785 18785 15892 0 -1 4202560 14998 0 1 0 625 3 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 46912505525458 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18790/stat : 18790 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18791/stat : 18791 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18792/stat : 18792 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18793/stat : 18793 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18794/stat : 18794 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18795/stat : 18795 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18796/stat : 18796 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18797/stat : 18797 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573644 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18798/stat : 18798 (java) S 18785 18785 15892 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 469573645 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18799/stat : 18799 (java) S 18785 18785 15892 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 469573646 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18800/stat : 18800 (java) S 18785 18785 15892 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 469573646 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18801/stat : 18801 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=7466692 CPUtime=0.24 cores=1,3
/proc/18787/task/18802/stat : 18802 (java) S 18785 18785 15892 0 -1 4202560 2850 0 0 0 24 0 0 0 15 0 18 0 469573648 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=7466692 CPUtime=0.42 cores=1,3
/proc/18787/task/18803/stat : 18803 (java) S 18785 18785 15892 0 -1 4202560 7933 0 0 0 41 1 0 0 15 0 18 0 469573648 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18804/stat : 18804 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18805/stat : 18805 (java) S 18785 18785 15892 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 469573648 7645892608 22294 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.96
################
# More data... #
################
[pid=18787/tid=18791] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18791/stat : 18791 (java) S 18785 18785 15892 0 -1 4202560 2478 0 0 0 2 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18792/stat : 18792 (java) S 18785 18785 15892 0 -1 4202560 1501 0 0 0 4 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18793/stat : 18793 (java) S 18785 18785 15892 0 -1 4202560 1506 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18794/stat : 18794 (java) S 18785 18785 15892 0 -1 4202560 1493 0 0 0 4 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18795/stat : 18795 (java) S 18785 18785 15892 0 -1 4202560 863 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18796/stat : 18796 (java) S 18785 18785 15892 0 -1 4202560 731 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18797/stat : 18797 (java) S 18785 18785 15892 0 -1 4202560 2444 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18798/stat : 18798 (java) S 18785 18785 15892 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 18 0 469573645 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18799/stat : 18799 (java) S 18785 18785 15892 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18800/stat : 18800 (java) S 18785 18785 15892 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18801/stat : 18801 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=7466692 CPUtime=0.25 cores=1,3
/proc/18787/task/18802/stat : 18802 (java) S 18785 18785 15892 0 -1 4202560 2859 0 0 0 25 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=7466692 CPUtime=0.44 cores=1,3
/proc/18787/task/18803/stat : 18803 (java) S 18785 18785 15892 0 -1 4202560 7936 0 0 0 43 1 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18804/stat : 18804 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18805/stat : 18805 (java) S 18785 18785 15892 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 981.54
Current children cumulated vsize (KiB) 7475392
[startup+982.308 s]
/proc/loadavg: 4.00 3.97 3.58 5/262 18840
/proc/meminfo: memFree=10712624/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
[pid=18787] ppid=18785 vsize=7466692 CPUtime=983.15 cores=1,3
/proc/18787/stat : 18787 (java) S 18785 18785 15892 0 -1 4202496 104683 0 1 0 98293 22 0 0 25 0 18 0 469573643 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18787/statm: 1866673 97223 2224 9 0 1857152 0
[pid=18787/tid=18789] ppid=18785 vsize=7466692 CPUtime=982.16 cores=1,3
/proc/18787/task/18789/stat : 18789 (java) R 18785 18785 15892 0 -1 4202560 78993 0 1 0 98199 17 0 0 25 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 46912505638644 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18790/stat : 18790 (java) S 18785 18785 15892 0 -1 4202560 2654 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18791/stat : 18791 (java) S 18785 18785 15892 0 -1 4202560 2478 0 0 0 2 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18792/stat : 18792 (java) S 18785 18785 15892 0 -1 4202560 1501 0 0 0 4 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18793/stat : 18793 (java) S 18785 18785 15892 0 -1 4202560 1506 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18794/stat : 18794 (java) S 18785 18785 15892 0 -1 4202560 1493 0 0 0 4 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18795/stat : 18795 (java) S 18785 18785 15892 0 -1 4202560 863 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18796/stat : 18796 (java) S 18785 18785 15892 0 -1 4202560 731 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18797/stat : 18797 (java) S 18785 18785 15892 0 -1 4202560 2444 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18798/stat : 18798 (java) S 18785 18785 15892 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 18 0 469573645 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18799/stat : 18799 (java) S 18785 18785 15892 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18800/stat : 18800 (java) S 18785 18785 15892 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18801/stat : 18801 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=7466692 CPUtime=0.25 cores=1,3
/proc/18787/task/18802/stat : 18802 (java) S 18785 18785 15892 0 -1 4202560 2859 0 0 0 25 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=7466692 CPUtime=0.44 cores=1,3
/proc/18787/task/18803/stat : 18803 (java) S 18785 18785 15892 0 -1 4202560 7936 0 0 0 43 1 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18804/stat : 18804 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18805/stat : 18805 (java) S 18785 18785 15892 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 983.15
Current children cumulated vsize (KiB) 7475392
[startup+982.702 s]
/proc/loadavg: 4.00 3.97 3.58 5/262 18840
/proc/meminfo: memFree=10712624/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
[pid=18787] ppid=18785 vsize=7466692 CPUtime=983.54 cores=1,3
/proc/18787/stat : 18787 (java) S 18785 18785 15892 0 -1 4202496 104683 0 1 0 98332 22 0 0 25 0 18 0 469573643 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18787/statm: 1866673 97223 2224 9 0 1857152 0
[pid=18787/tid=18789] ppid=18785 vsize=7466692 CPUtime=982.55 cores=1,3
/proc/18787/task/18789/stat : 18789 (java) R 18785 18785 15892 0 -1 4202560 78993 0 1 0 98238 17 0 0 25 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 46912505605113 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18790/stat : 18790 (java) S 18785 18785 15892 0 -1 4202560 2654 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18791/stat : 18791 (java) S 18785 18785 15892 0 -1 4202560 2478 0 0 0 2 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18792/stat : 18792 (java) S 18785 18785 15892 0 -1 4202560 1501 0 0 0 4 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18793/stat : 18793 (java) S 18785 18785 15892 0 -1 4202560 1506 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18794/stat : 18794 (java) S 18785 18785 15892 0 -1 4202560 1493 0 0 0 4 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18795/stat : 18795 (java) S 18785 18785 15892 0 -1 4202560 863 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18796/stat : 18796 (java) S 18785 18785 15892 0 -1 4202560 731 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18797/stat : 18797 (java) S 18785 18785 15892 0 -1 4202560 2444 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18798/stat : 18798 (java) S 18785 18785 15892 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 18 0 469573645 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18799/stat : 18799 (java) S 18785 18785 15892 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18800/stat : 18800 (java) S 18785 18785 15892 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18801/stat : 18801 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=7466692 CPUtime=0.25 cores=1,3
/proc/18787/task/18802/stat : 18802 (java) S 18785 18785 15892 0 -1 4202560 2859 0 0 0 25 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=7466692 CPUtime=0.44 cores=1,3
/proc/18787/task/18803/stat : 18803 (java) S 18785 18785 15892 0 -1 4202560 7936 0 0 0 43 1 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18804/stat : 18804 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18805/stat : 18805 (java) S 18785 18785 15892 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 983.54
Current children cumulated vsize (KiB) 7475392
[startup+983.102 s]
/proc/loadavg: 4.00 3.97 3.58 5/262 18840
/proc/meminfo: memFree=10712624/32951124 swapFree=67111524/67111528
[pid=18785] ppid=18783 vsize=8700 CPUtime=0 cores=1,3
/proc/18785/stat : 18785 (jMiniSat) S 18783 18785 15892 0 -1 4202496 350 234 0 0 0 0 0 0 24 0 1 0 469573643 8908800 250 33554432000 4194304 4922060 140737405114048 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18785/statm: 2175 250 209 178 0 68 0
[pid=18787] ppid=18785 vsize=7466692 CPUtime=983.94 cores=1,3
/proc/18787/stat : 18787 (java) S 18785 18785 15892 0 -1 4202496 104683 0 1 0 98372 22 0 0 25 0 18 0 469573643 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18787/statm: 1866673 97223 2224 9 0 1857152 0
[pid=18787/tid=18789] ppid=18785 vsize=7466692 CPUtime=982.95 cores=1,3
/proc/18787/task/18789/stat : 18789 (java) R 18785 18785 15892 0 -1 4202560 78993 0 1 0 98278 17 0 0 25 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 46912505711071 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18790/stat : 18790 (java) S 18785 18785 15892 0 -1 4202560 2654 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18791/stat : 18791 (java) S 18785 18785 15892 0 -1 4202560 2478 0 0 0 2 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18792/stat : 18792 (java) S 18785 18785 15892 0 -1 4202560 1501 0 0 0 4 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18793/stat : 18793 (java) S 18785 18785 15892 0 -1 4202560 1506 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=7466692 CPUtime=0.04 cores=1,3
/proc/18787/task/18794/stat : 18794 (java) S 18785 18785 15892 0 -1 4202560 1493 0 0 0 4 0 0 0 16 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18795/stat : 18795 (java) S 18785 18785 15892 0 -1 4202560 863 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18796/stat : 18796 (java) S 18785 18785 15892 0 -1 4202560 731 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=7466692 CPUtime=0.02 cores=1,3
/proc/18787/task/18797/stat : 18797 (java) S 18785 18785 15892 0 -1 4202560 2444 0 0 0 2 0 0 0 15 0 18 0 469573644 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18798/stat : 18798 (java) S 18785 18785 15892 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 18 0 469573645 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 0 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18799/stat : 18799 (java) S 18785 18785 15892 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18800/stat : 18800 (java) S 18785 18785 15892 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 469573646 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18801/stat : 18801 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118592433 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=7466692 CPUtime=0.25 cores=1,3
/proc/18787/task/18802/stat : 18802 (java) S 18785 18785 15892 0 -1 4202560 2859 0 0 0 25 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=7466692 CPUtime=0.44 cores=1,3
/proc/18787/task/18803/stat : 18803 (java) S 18785 18785 15892 0 -1 4202560 7936 0 0 0 43 1 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18804/stat : 18804 (java) S 18785 18785 15892 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118584729 0 4 0 16800975 18446604471135232128 0 0 -1 1 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=7466692 CPUtime=0 cores=1,3
/proc/18787/task/18805/stat : 18805 (java) S 18785 18785 15892 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 18 0 469573648 7645892608 97223 33554432000 1073741824 1073778376 140734974596320 18446744073709551615 255118585344 0 4 0 16800975 18446604471135232128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 983.94
Current children cumulated vsize (KiB) 7475392
Child status: 20
Real time (s): 983.143
CPU time (s): 983.991
CPU user time (s): 983.748
CPU system time (s): 0.242963
CPU usage (%): 100.086
Max. virtual memory (cumulated for all children) (KiB): 7475392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 983.748
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105281
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= 20428
involuntary context switches= 2695
runsolver used 1.61175 second user time and 3.80042 second system time
The end