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-3459259-1307633556/watcher-3459259-1307633556 -o /tmp/evaluation-result-3459259-1307633556/solver-3459259-1307633556 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459259-1307633556.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 1.29 0.78 2/192 1106
/proc/meminfo: memFree=32155500/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/1106/stat : 1106 (java) R 1104 1106 787 0 -1 4202496 235 0 0 0 0 0 0 0 25 0 1 0 874956047 9318400 171 33554432000 1073741824 1073778376 140734216571536 18446744073709551615 253640680439 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1106/statm: 1 1 0 0 0 1 0
[startup+0.0630559 s]
/proc/loadavg: 1.98 1.29 0.78 2/192 1106
/proc/meminfo: memFree=32155500/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/1106/stat : 1106 (java) S 1104 1106 787 0 -1 4202496 14037 0 1 0 4 1 0 0 25 0 13 0 874956047 13874806784 13734 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652662245 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 3387404 13734 1691 9 0 3378152 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616
[startup+0.101049 s]
/proc/loadavg: 1.98 1.29 0.78 2/192 1106
/proc/meminfo: memFree=32155500/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=13622156 CPUtime=0.09 cores=1,3,5,7
/proc/1106/stat : 1106 (java) S 1104 1106 787 0 -1 4202496 15513 0 1 0 8 1 0 0 25 0 18 0 874956047 13949087744 15188 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 3405539 15189 2093 9 0 3396273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622156
[startup+0.309056 s]
/proc/loadavg: 1.98 1.29 0.78 2/192 1106
/proc/meminfo: memFree=32155500/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=13624120 CPUtime=0.49 cores=1,3,5,7
/proc/1106/stat : 1106 (java) S 1104 1106 787 0 -1 4202496 18660 0 1 0 47 2 0 0 25 0 19 0 874956047 13951098880 17863 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 3406030 17863 2210 9 0 3396764 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13624120
[startup+0.700951 s]
/proc/loadavg: 1.98 1.29 0.78 2/192 1106
/proc/meminfo: memFree=32155500/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=13626076 CPUtime=1.19 cores=1,3,5,7
/proc/1106/stat : 1106 (java) S 1104 1106 787 0 -1 4202496 21597 0 1 0 116 3 0 0 25 0 19 0 874956047 13953101824 19402 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 3406519 19402 2252 9 0 3397253 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13626076
[startup+1.50079 s]
/proc/loadavg: 2.14 1.33 0.80 3/211 1125
/proc/meminfo: memFree=32085128/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=13626076 CPUtime=2.03 cores=1,3,5,7
/proc/1106/stat : 1106 (java) S 1104 1106 787 0 -1 4202496 22088 0 1 0 200 3 0 0 25 0 19 0 874956047 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 3406519 19891 2252 9 0 3397253 0
[pid=1106/tid=1108] ppid=1104 vsize=13626076 CPUtime=1.44 cores=1,3,5,7
/proc/1106/task/1108/stat : 1108 (java) R 1104 1106 787 0 -1 4202560 15783 0 1 0 142 2 0 0 18 0 19 0 874956047 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 46912505619147 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 787 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 787 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 7 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 787 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 7 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 7 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 787 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 787 0 -1 4202560 151 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1115] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1115/stat : 1115 (java) S 1104 1106 787 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1116] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1116/stat : 1116 (java) S 1104 1106 787 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1117] ppid=1104 vsize=13626076 CPUtime=0.03 cores=1,3,5,7
/proc/1106/task/1117/stat : 1117 (java) S 1104 1106 787 0 -1 4202560 459 0 0 0 3 0 0 0 16 0 19 0 874956050 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 0 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1118] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1118/stat : 1118 (java) S 1104 1106 787 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 874956051 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1119] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1119/stat : 1119 (java) S 1104 1106 787 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 874956051 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1120] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1120/stat : 1120 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874956053 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652683185 0 4 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1121] ppid=1104 vsize=13626076 CPUtime=0.27 cores=1,3,5,7
/proc/1106/task/1121/stat : 1121 (java) S 1104 1106 787 0 -1 4202560 2220 0 0 0 27 0 0 0 15 0 19 0 874956053 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1122] ppid=1104 vsize=13626076 CPUtime=0.25 cores=1,3,5,7
/proc/1106/task/1122/stat : 1122 (java) S 1104 1106 787 0 -1 4202560 1928 0 0 0 25 0 0 0 15 0 19 0 874956053 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1123] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1123/stat : 1123 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874956053 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1124] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1124/stat : 1124 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874956053 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1125] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1125/stat : 1125 (java) S 1104 1106 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874956077 13953101824 19891 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13626076
Solver just ended. Dumping a history of the last processes samples
[startup+1.90073 s]
/proc/loadavg: 2.14 1.33 0.80 3/211 1125
/proc/meminfo: memFree=32085128/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=13626076 CPUtime=2.46 cores=1,3,5,7
/proc/1106/stat : 1106 (java) S 1104 1106 787 0 -1 4202496 22458 0 1 0 243 3 0 0 25 0 19 0 874956047 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 3406519 19984 2252 9 0 3397253 0
[pid=1106/tid=1108] ppid=1104 vsize=13626076 CPUtime=1.82 cores=1,3,5,7
/proc/1106/task/1108/stat : 1108 (java) R 1104 1106 787 0 -1 4202560 15784 0 1 0 180 2 0 0 18 0 19 0 874956047 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 46912505631666 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 787 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 787 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 787 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 787 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 7 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 787 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 787 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1115] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1115/stat : 1115 (java) S 1104 1106 787 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1116] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1116/stat : 1116 (java) S 1104 1106 787 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1117] ppid=1104 vsize=13626076 CPUtime=0.05 cores=1,3,5,7
/proc/1106/task/1117/stat : 1117 (java) S 1104 1106 787 0 -1 4202560 459 0 0 0 5 0 0 0 16 0 19 0 874956050 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 0 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1118] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1118/stat : 1118 (java) S 1104 1106 787 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 874956051 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1119] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1119/stat : 1119 (java) S 1104 1106 787 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 874956051 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1120] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1120/stat : 1120 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652683185 0 4 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1121] ppid=1104 vsize=13626076 CPUtime=0.27 cores=1,3,5,7
/proc/1106/task/1121/stat : 1121 (java) S 1104 1106 787 0 -1 4202560 2221 0 0 0 27 0 0 0 15 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1122] ppid=1104 vsize=13626076 CPUtime=0.27 cores=1,3,5,7
/proc/1106/task/1122/stat : 1122 (java) S 1104 1106 787 0 -1 4202560 2210 0 0 0 27 0 0 0 15 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1123] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1123/stat : 1123 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1124] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1124/stat : 1124 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1125] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1125/stat : 1125 (java) S 1104 1106 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874956077 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13626076
[startup+2.10069 s]
/proc/loadavg: 2.14 1.33 0.80 3/211 1125
/proc/meminfo: memFree=32083516/32951124 swapFree=67060628/67111528
[pid=1106] ppid=1104 vsize=13626076 CPUtime=2.66 cores=1,3,5,7
/proc/1106/stat : 1106 (java) S 1104 1106 787 0 -1 4202496 22458 0 1 0 263 3 0 0 25 0 19 0 874956047 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1106/statm: 3406519 19984 2252 9 0 3397253 0
[pid=1106/tid=1108] ppid=1104 vsize=13626076 CPUtime=2.02 cores=1,3,5,7
/proc/1106/task/1108/stat : 1108 (java) R 1104 1106 787 0 -1 4202560 15784 0 1 0 200 2 0 0 18 0 19 0 874956047 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 46912505643212 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1106/tid=1109] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1109/stat : 1109 (java) S 1104 1106 787 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1110] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1110/stat : 1110 (java) S 1104 1106 787 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1111] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1111/stat : 1111 (java) S 1104 1106 787 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1112] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1112/stat : 1112 (java) S 1104 1106 787 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 7 0 0 0
[pid=1106/tid=1113] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1113/stat : 1113 (java) S 1104 1106 787 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1114] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1114/stat : 1114 (java) S 1104 1106 787 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1115] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1115/stat : 1115 (java) S 1104 1106 787 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1116] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1116/stat : 1116 (java) S 1104 1106 787 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 874956049 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1117] ppid=1104 vsize=13626076 CPUtime=0.05 cores=1,3,5,7
/proc/1106/task/1117/stat : 1117 (java) S 1104 1106 787 0 -1 4202560 459 0 0 0 5 0 0 0 16 0 19 0 874956050 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 0 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1118] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1118/stat : 1118 (java) S 1104 1106 787 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 874956051 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1119] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1119/stat : 1119 (java) S 1104 1106 787 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 874956051 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1120] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1120/stat : 1120 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652683185 0 4 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1121] ppid=1104 vsize=13626076 CPUtime=0.27 cores=1,3,5,7
/proc/1106/task/1121/stat : 1121 (java) S 1104 1106 787 0 -1 4202560 2221 0 0 0 27 0 0 0 15 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1122] ppid=1104 vsize=13626076 CPUtime=0.27 cores=1,3,5,7
/proc/1106/task/1122/stat : 1122 (java) S 1104 1106 787 0 -1 4202560 2210 0 0 0 27 0 0 0 15 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
[pid=1106/tid=1123] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1123/stat : 1123 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652675481 0 4 0 16800975 18446604456134458048 0 0 -1 5 0 0 0
[pid=1106/tid=1124] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1124/stat : 1124 (java) S 1104 1106 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 874956053 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 4 0 16800975 18446604456134458048 0 0 -1 3 0 0 0
[pid=1106/tid=1125] ppid=1104 vsize=13626076 CPUtime=0 cores=1,3,5,7
/proc/1106/task/1125/stat : 1125 (java) S 1104 1106 787 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 874956077 13953101824 19984 33554432000 1073741824 1073778376 140733635039936 18446744073709551615 253652676096 0 4 0 16800975 18446604456134458048 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 13626076
Child status: 10
Real time (s): 2.20028
CPU time (s): 2.77258
CPU user time (s): 2.73458
CPU system time (s): 0.037994
CPU usage (%): 126.01
Max. virtual memory (cumulated for all children) (KiB): 13626076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.73458
system time used= 0.037994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22488
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= 374
involuntary context switches= 65
runsolver used 0.004999 second user time and 0.014997 second system time
The end