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-3313213-1304181964/watcher-3313213-1304181964 -o /tmp/evaluation-result-3313213-1304181964/solver-3313213-1304181964 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313213-1304181964.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.11 8.05 7.66 6/198 13969
/proc/meminfo: memFree=14171572/32950928 swapFree=67111524/67111528
[pid=13969] ppid=13967 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13969/stat : 13969 (java) R 13967 13969 13200 0 -1 4202496 922 0 0 0 0 0 0 0 25 0 1 0 529796054 23580672 409 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274469005056 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13969/statm: 5757 422 326 9 0 124 0
[startup+0.060226 s]
/proc/loadavg: 8.11 8.05 7.66 6/198 13969
/proc/meminfo: memFree=14171572/32950928 swapFree=67111524/67111528
[pid=13969] ppid=13967 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/13969/stat : 13969 (java) S 13967 13969 13200 0 -1 4202496 4202 0 1 0 4 0 0 0 25 0 18 0 529796054 15984414720 3642 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13969/statm: 3902445 3642 1768 9 0 3893164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609780
[startup+0.100221 s]
/proc/loadavg: 8.11 8.05 7.66 6/198 13969
/proc/meminfo: memFree=14171572/32950928 swapFree=67111524/67111528
[pid=13969] ppid=13967 vsize=15677068 CPUtime=0.09 cores=1,3,5,7
/proc/13969/stat : 13969 (java) S 13967 13969 13200 0 -1 4202496 5602 0 1 0 9 0 0 0 25 0 18 0 529796054 16053317632 5011 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13969/statm: 3919267 5011 2117 9 0 3909986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15677068
[startup+0.354435 s]
/proc/loadavg: 8.11 8.05 7.66 6/198 13969
/proc/meminfo: memFree=14171572/32950928 swapFree=67111524/67111528
[pid=13969] ppid=13967 vsize=15686360 CPUtime=1.05 cores=1,3,5,7
/proc/13969/stat : 13969 (java) S 13967 13969 13200 0 -1 4202496 17076 0 1 0 103 2 0 0 25 0 22 0 529796054 16062832640 14643 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13969/statm: 3921590 14646 2233 9 0 3912309 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 15686360
[startup+0.710117 s]
/proc/loadavg: 8.11 8.05 7.66 6/198 13969
/proc/meminfo: memFree=14171572/32950928 swapFree=67111524/67111528
[pid=13969] ppid=13967 vsize=15687064 CPUtime=2.08 cores=1,3,5,7
/proc/13969/stat : 13969 (java) S 13967 13969 13200 0 -1 4202496 43639 0 1 0 203 5 0 0 25 0 22 0 529796054 16063553536 39678 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13969/statm: 3921766 39678 2264 9 0 3912485 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 15687064
[startup+1.50098 s]
/proc/loadavg: 8.11 8.05 7.66 10/220 13991
/proc/meminfo: memFree=13901952/32950928 swapFree=67111524/67111528
[pid=13969] ppid=13967 vsize=15687064 CPUtime=5.22 cores=1,3,5,7
/proc/13969/stat : 13969 (java) S 13967 13969 13200 0 -1 4202496 77984 0 1 0 512 10 0 0 25 0 22 0 529796054 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13969/statm: 3921766 72998 2282 9 0 3912485 0
[pid=13969/tid=13971] ppid=13967 vsize=15687064 CPUtime=0.17 cores=1,3,5,7
/proc/13969/task/13971/stat : 13971 (java) S 13967 13969 13200 0 -1 4202560 4517 0 1 0 17 0 0 0 25 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13972] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13972/stat : 13972 (java) S 13967 13969 13200 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13973] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13973/stat : 13973 (java) S 13967 13969 13200 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13974] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13974/stat : 13974 (java) S 13967 13969 13200 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 3 0 0 0
[pid=13969/tid=13975] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13975/stat : 13975 (java) S 13967 13969 13200 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13976] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13976/stat : 13976 (java) S 13967 13969 13200 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13977] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13977/stat : 13977 (java) S 13967 13969 13200 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13978] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13978/stat : 13978 (java) S 13967 13969 13200 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13979] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13979/stat : 13979 (java) S 13967 13969 13200 0 -1 4202560 388 0 0 0 0 0 0 0 16 0 22 0 529796055 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13980] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13980/stat : 13980 (java) S 13967 13969 13200 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 529796056 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485784064 0 0 0 16800975 18446604470188953664 0 0 -1 3 0 0 0
[pid=13969/tid=13981] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13981/stat : 13981 (java) S 13967 13969 13200 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 22 0 529796057 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13982] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13982/stat : 13982 (java) S 13967 13969 13200 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 529796057 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13983] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13983/stat : 13983 (java) S 13967 13969 13200 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529796059 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485791153 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13984] ppid=13967 vsize=15687064 CPUtime=0.5 cores=1,3,5,7
/proc/13969/task/13984/stat : 13984 (java) S 13967 13969 13200 0 -1 4202560 2885 0 0 0 50 0 0 0 24 0 22 0 529796059 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13985] ppid=13967 vsize=15687064 CPUtime=0.66 cores=1,3,5,7
/proc/13969/task/13985/stat : 13985 (java) S 13967 13969 13200 0 -1 4202560 5049 0 0 0 66 0 0 0 15 0 22 0 529796059 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 3 0 0 0
[pid=13969/tid=13986] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13986/stat : 13986 (java) S 13967 13969 13200 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529796059 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13987] ppid=13967 vsize=15687064 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13987/stat : 13987 (java) S 13967 13969 13200 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529796059 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485784064 0 4 0 16800975 18446604470188953664 0 0 -1 3 0 0 0
[pid=13969/tid=13988] ppid=13967 vsize=15687064 CPUtime=1.11 cores=1,3,5,7
/proc/13969/task/13988/stat : 13988 (java) R 13967 13969 13200 0 -1 4202560 17678 0 0 0 109 2 0 0 18 0 22 0 529796071 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 47364926330940 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13969/tid=13989] ppid=13967 vsize=15687064 CPUtime=0.89 cores=1,3,5,7
/proc/13969/task/13989/stat : 13989 (java) R 13967 13969 13200 0 -1 4202560 11330 0 0 0 88 1 0 0 25 0 22 0 529796071 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 46912505858644 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13969/tid=13990] ppid=13967 vsize=15687064 CPUtime=0.88 cores=1,3,5,7
/proc/13969/task/13990/stat : 13990 (java) R 13967 13969 13200 0 -1 4202560 15816 0 0 0 86 2 0 0 25 0 22 0 529796071 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 46912505637000 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13969/tid=13991] ppid=13967 vsize=15687064 CPUtime=0.94 cores=1,3,5,7
/proc/13969/task/13991/stat : 13991 (java) R 13967 13969 13200 0 -1 4202560 18006 0 0 0 92 2 0 0 25 0 22 0 529796071 16063553536 72998 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 46912505561506 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 15687064
Solver just ended. Dumping a history of the last processes samples
[startup+1.70095 s]
/proc/loadavg: 8.11 8.05 7.66 10/220 13991
/proc/meminfo: memFree=13901952/32950928 swapFree=67111524/67111528
[pid=13969] ppid=13967 vsize=15688092 CPUtime=6.02 cores=1,3,5,7
/proc/13969/stat : 13969 (java) S 13967 13969 13200 0 -1 4202496 79545 0 1 0 592 10 0 0 25 0 23 0 529796054 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13969/statm: 3922023 73542 2283 9 0 3912742 0
[pid=13969/tid=13971] ppid=13967 vsize=15688092 CPUtime=0.17 cores=1,3,5,7
/proc/13969/task/13971/stat : 13971 (java) S 13967 13969 13200 0 -1 4202560 4531 0 1 0 17 0 0 0 18 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13972] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13972/stat : 13972 (java) S 13967 13969 13200 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13973] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13973/stat : 13973 (java) S 13967 13969 13200 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13974] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13974/stat : 13974 (java) S 13967 13969 13200 0 -1 4202560 220 0 0 0 0 0 0 0 16 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 3 0 0 0
[pid=13969/tid=13975] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13975/stat : 13975 (java) S 13967 13969 13200 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13976] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13976/stat : 13976 (java) S 13967 13969 13200 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13977] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13977/stat : 13977 (java) S 13967 13969 13200 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13978] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13978/stat : 13978 (java) S 13967 13969 13200 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13979] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13979/stat : 13979 (java) S 13967 13969 13200 0 -1 4202560 413 0 0 0 0 0 0 0 16 0 23 0 529796055 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13980] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13980/stat : 13980 (java) S 13967 13969 13200 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 23 0 529796056 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485784064 0 0 0 16800975 18446604470188953664 0 0 -1 3 0 0 0
[pid=13969/tid=13981] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13981/stat : 13981 (java) S 13967 13969 13200 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 23 0 529796057 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 7 0 0 0
[pid=13969/tid=13982] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13982/stat : 13982 (java) S 13967 13969 13200 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 23 0 529796057 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13983] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13983/stat : 13983 (java) S 13967 13969 13200 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 23 0 529796059 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485791153 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13984] ppid=13967 vsize=15688092 CPUtime=0.56 cores=1,3,5,7
/proc/13969/task/13984/stat : 13984 (java) S 13967 13969 13200 0 -1 4202560 2963 0 0 0 56 0 0 0 22 0 23 0 529796059 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 1 0 0 0
[pid=13969/tid=13985] ppid=13967 vsize=15688092 CPUtime=0.83 cores=1,3,5,7
/proc/13969/task/13985/stat : 13985 (java) R 13967 13969 13200 0 -1 4202560 6279 0 0 0 83 0 0 0 16 0 23 0 529796059 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 47364921729910 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13969/tid=13986] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13986/stat : 13986 (java) S 13967 13969 13200 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 23 0 529796059 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485783449 0 4 0 16800975 18446604470188953664 0 0 -1 5 0 0 0
[pid=13969/tid=13987] ppid=13967 vsize=15688092 CPUtime=0 cores=1,3,5,7
/proc/13969/task/13987/stat : 13987 (java) S 13967 13969 13200 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 23 0 529796059 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485784064 0 4 0 16800975 18446604470188953664 0 0 -1 3 0 0 0
[pid=13969/tid=13988] ppid=13967 vsize=15688092 CPUtime=1.31 cores=1,3,5,7
/proc/13969/task/13988/stat : 13988 (java) R 13967 13969 13200 0 -1 4202560 17679 0 0 0 129 2 0 0 18 0 23 0 529796071 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13969/tid=13989] ppid=13967 vsize=15688092 CPUtime=1.03 cores=1,3,5,7
/proc/13969/task/13989/stat : 13989 (java) R 13967 13969 13200 0 -1 4202560 11331 0 0 0 102 1 0 0 25 0 23 0 529796071 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 46912505552211 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13969/tid=13990] ppid=13967 vsize=15688092 CPUtime=1.08 cores=1,3,5,7
/proc/13969/task/13990/stat : 13990 (java) R 13967 13969 13200 0 -1 4202560 15818 0 0 0 106 2 0 0 25 0 23 0 529796071 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 46912505623939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13969/tid=13991] ppid=13967 vsize=15688092 CPUtime=0.97 cores=1,3,5,7
/proc/13969/task/13991/stat : 13991 (java) R 13967 13969 13200 0 -1 4202560 18007 0 0 0 95 2 0 0 25 0 23 0 529796071 16064606208 73542 33554432000 1073741824 1073778376 140737168563536 18446744073709551615 274485793461 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 15688092
Child status: 10
Real time (s): 1.75825
CPU time (s): 6.21006
CPU user time (s): 6.08707
CPU system time (s): 0.122981
CPU usage (%): 353.194
Max. virtual memory (cumulated for all children) (KiB): 15688092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.08707
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79662
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= 660
involuntary context switches= 346
runsolver used 0.004999 second user time and 0.008998 second system time
The end