runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455351-1307193239/watcher-3455351-1307193239 -o /tmp/evaluation-result-3455351-1307193239/solver-3455351-1307193239 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455351-1307193239.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.28 3.12 3.21 3/485 17975
/proc/meminfo: memFree=28640184/32950928 swapFree=45617076/67111528
[pid=17975] ppid=17973 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17975/stat : 17975 (java) S 17973 17975 13462 0 -1 4202496 3152 0 1 0 0 0 0 0 25 0 2 0 830923680 10694979584 2853 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17975/statm: 2611079 2866 917 9 0 2602235 0
[pid=17975/tid=17976] ppid=17973 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17976/stat : 17976 (java) R 17973 17975 13462 0 -1 4202560 6466 0 1 0 0 0 0 0 25 0 2 0 830923680 10694979584 7282 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.081236 s]
/proc/loadavg: 3.28 3.12 3.21 3/485 17975
/proc/meminfo: memFree=28640184/32950928 swapFree=45617076/67111528
[pid=17975] ppid=17973 vsize=10539056 CPUtime=0.07 cores=0,2,4,6
/proc/17975/stat : 17975 (java) S 17973 17975 13462 0 -1 4202496 12328 0 1 0 6 1 0 0 25 0 18 0 830923680 10791993344 12024 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17975/statm: 2634764 12037 1934 9 0 2625498 0
[pid=17975/tid=17976] ppid=17973 vsize=10539056 CPUtime=0.07 cores=0,2,4,6
/proc/17975/task/17976/stat : 17976 (java) R 17973 17975 13462 0 -1 4202560 10916 0 1 0 6 1 0 0 25 0 18 0 830923680 10791993344 12039 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101523828 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539056
[startup+0.105287 s]
/proc/loadavg: 3.28 3.12 3.21 3/485 17975
/proc/meminfo: memFree=28640184/32950928 swapFree=45617076/67111528
[pid=17975] ppid=17973 vsize=10539952 CPUtime=0.1 cores=0,2,4,6
/proc/17975/stat : 17975 (java) S 17973 17975 13462 0 -1 4202496 13186 0 1 0 9 1 0 0 25 0 18 0 830923680 10792910848 12843 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17975/statm: 2634988 12844 2107 9 0 2625722 0
[pid=17975/tid=17976] ppid=17973 vsize=10539952 CPUtime=0.09 cores=0,2,4,6
/proc/17975/task/17976/stat : 17976 (java) R 17973 17975 13462 0 -1 4202560 11216 0 1 0 8 1 0 0 25 0 18 0 830923680 10792910848 12844 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101524939 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539952
[startup+0.300251 s]
/proc/loadavg: 3.28 3.12 3.21 3/485 17975
/proc/meminfo: memFree=28640184/32950928 swapFree=45617076/67111528
[pid=17975] ppid=17973 vsize=10541360 CPUtime=0.48 cores=0,2,4,6
/proc/17975/stat : 17975 (java) S 17973 17975 13462 0 -1 4202496 16091 0 1 0 46 2 0 0 25 0 18 0 830923680 10794352640 15405 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17975/statm: 2635340 15405 2200 9 0 2626074 0
[pid=17975/tid=17976] ppid=17973 vsize=10541360 CPUtime=0.28 cores=0,2,4,6
/proc/17975/task/17976/stat : 17976 (java) R 17973 17975 13462 0 -1 4202560 13025 0 1 0 27 1 0 0 25 0 18 0 830923680 10794352640 15405 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 46912505220100 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541360
[startup+0.7002 s]
/proc/loadavg: 3.28 3.12 3.21 3/485 17975
/proc/meminfo: memFree=28640184/32950928 swapFree=45617076/67111528
[pid=17975] ppid=17973 vsize=10557724 CPUtime=0.84 cores=0,2,4,6
/proc/17975/stat : 17975 (java) S 17973 17975 13462 0 -1 4202496 23153 0 1 0 81 3 0 0 25 0 19 0 830923680 10811109376 19805 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17975/statm: 2639431 19805 2215 9 0 2630165 0
[pid=17975/tid=17976] ppid=17973 vsize=10557724 CPUtime=0.29 cores=0,2,4,6
/proc/17975/task/17976/stat : 17976 (java) S 17973 17975 13462 0 -1 4202560 13182 0 1 0 28 1 0 0 25 0 19 0 830923680 10811109376 19805 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 4 0 16800975 18446604449460339008 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 10557724
Solver just ended. Dumping a history of the last processes samples
[startup+1.11813 s]
/proc/loadavg: 3.28 3.12 3.21 3/504 17999
/proc/meminfo: memFree=28567952/32950928 swapFree=45617076/67111528
[pid=17975] ppid=17973 vsize=10557724 CPUtime=0.85 cores=0,2,4,6
/proc/17975/stat : 17975 (java) S 17973 17975 13462 0 -1 4202496 23208 0 1 0 82 3 0 0 25 0 19 0 830923680 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17975/statm: 2639431 19860 2215 9 0 2630165 0
[pid=17975/tid=17976] ppid=17973 vsize=10557724 CPUtime=0.29 cores=0,2,4,6
/proc/17975/task/17976/stat : 17976 (java) S 17973 17975 13462 0 -1 4202560 13194 0 1 0 28 1 0 0 21 0 19 0 830923680 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17978] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17978/stat : 17978 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17979] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17979/stat : 17979 (java) S 17973 17975 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17980] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17980/stat : 17980 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17981] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17981/stat : 17981 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17982] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17982/stat : 17982 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17983] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17983/stat : 17983 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17984] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17984/stat : 17984 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17985] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17985/stat : 17985 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17986] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17986/stat : 17986 (java) S 17973 17975 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830923683 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 0 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17987] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17987/stat : 17987 (java) S 17973 17975 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830923683 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17988] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17988/stat : 17988 (java) S 17973 17975 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830923683 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17989] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17989/stat : 17989 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101521841 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17990] ppid=17973 vsize=10557724 CPUtime=0.27 cores=0,2,4,6
/proc/17975/task/17990/stat : 17990 (java) S 17973 17975 13462 0 -1 4202560 5018 0 0 0 27 0 0 0 22 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17991] ppid=17973 vsize=10557724 CPUtime=0.21 cores=0,2,4,6
/proc/17975/task/17991/stat : 17991 (java) S 17973 17975 13462 0 -1 4202560 3697 0 0 0 21 0 0 0 22 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17992] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17992/stat : 17992 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17993] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17993/stat : 17993 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17996] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17996/stat : 17996 (java) S 17973 17975 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830923712 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10557724
[startup+1.3011 s]
/proc/loadavg: 3.28 3.12 3.21 3/504 17999
/proc/meminfo: memFree=28567952/32950928 swapFree=45617076/67111528
[pid=17975] ppid=17973 vsize=10557724 CPUtime=0.85 cores=0,2,4,6
/proc/17975/stat : 17975 (java) S 17973 17975 13462 0 -1 4202496 23208 0 1 0 82 3 0 0 25 0 19 0 830923680 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17975/statm: 2639431 19860 2215 9 0 2630165 0
[pid=17975/tid=17976] ppid=17973 vsize=10557724 CPUtime=0.29 cores=0,2,4,6
/proc/17975/task/17976/stat : 17976 (java) S 17973 17975 13462 0 -1 4202560 13194 0 1 0 28 1 0 0 21 0 19 0 830923680 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17978] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17978/stat : 17978 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17979] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17979/stat : 17979 (java) S 17973 17975 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17980] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17980/stat : 17980 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17981] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17981/stat : 17981 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17982] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17982/stat : 17982 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17983] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17983/stat : 17983 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17984] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17984/stat : 17984 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17985] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17985/stat : 17985 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923682 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17986] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17986/stat : 17986 (java) S 17973 17975 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830923683 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 0 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17987] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17987/stat : 17987 (java) S 17973 17975 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830923683 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17988] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17988/stat : 17988 (java) S 17973 17975 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830923683 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17989] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17989/stat : 17989 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101521841 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17990] ppid=17973 vsize=10557724 CPUtime=0.27 cores=0,2,4,6
/proc/17975/task/17990/stat : 17990 (java) S 17973 17975 13462 0 -1 4202560 5018 0 0 0 27 0 0 0 22 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
[pid=17975/tid=17991] ppid=17973 vsize=10557724 CPUtime=0.21 cores=0,2,4,6
/proc/17975/task/17991/stat : 17991 (java) S 17973 17975 13462 0 -1 4202560 3697 0 0 0 21 0 0 0 22 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17992] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17992/stat : 17992 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514137 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17993] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17993/stat : 17993 (java) S 17973 17975 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830923685 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 4 0 16800975 18446604449460339008 0 0 -1 6 0 0 0
[pid=17975/tid=17996] ppid=17973 vsize=10557724 CPUtime=0 cores=0,2,4,6
/proc/17975/task/17996/stat : 17996 (java) S 17973 17975 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830923712 10811109376 19860 33554432000 1073741824 1073778376 140735798155376 18446744073709551615 248101514752 0 4 0 16800975 18446604449460339008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 10557724
Child status: 30
Real time (s): 1.34902
CPU time (s): 0.869867
CPU user time (s): 0.830873
CPU system time (s): 0.038994
CPU usage (%): 64.4813
Max. virtual memory (cumulated for all children) (KiB): 10557724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.830873
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23232
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= 196
involuntary context switches= 50
runsolver used 0.009998 second user time and 0.026995 second system time
The end