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-3479307-1307448390/watcher-3479307-1307448390 -o /tmp/evaluation-result-3479307-1307448390/solver-3479307-1307448390 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479307-1307448390.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: 2.04 2.04 1.94 2/499 7688
/proc/meminfo: memFree=26123476/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 1561 0 1 0 0 0 0 0 25 0 2 0 856441185 13833195520 1263 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3377245 1275 906 9 0 3368401 0
[pid=7688/tid=7689] ppid=7686 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 4996 0 1 0 0 0 0 0 25 0 2 0 856441186 13850947584 5812 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.034653 s]
/proc/loadavg: 2.04 2.04 1.94 2/499 7688
/proc/meminfo: memFree=26123476/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 13247 0 1 0 1 1 0 0 25 0 10 0 856441185 13861900288 12945 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3384253 12946 1515 9 0 3375001 0
[pid=7688/tid=7689] ppid=7686 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 12126 0 1 0 1 1 0 0 25 0 10 0 856441186 13861900288 12946 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092059083 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.100638 s]
/proc/loadavg: 2.04 2.04 1.94 2/499 7688
/proc/meminfo: memFree=26123476/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13622296 CPUtime=0.1 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 15479 0 1 0 9 1 0 0 25 0 18 0 856441185 13949231104 15175 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3405574 15176 2093 9 0 3396308 0
[pid=7688/tid=7689] ppid=7686 vsize=13622296 CPUtime=0.08 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 13586 0 1 0 7 1 0 0 25 0 18 0 856441186 13949231104 15178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622296
[startup+0.300554 s]
/proc/loadavg: 2.04 2.04 1.94 2/499 7688
/proc/meminfo: memFree=26123476/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13623468 CPUtime=0.37 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 86584 0 1 0 28 9 0 0 25 0 18 0 856441185 13950431232 86250 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3405867 86250 2185 9 0 3396601 0
[pid=7688/tid=7689] ppid=7686 vsize=13623468 CPUtime=0.28 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 84274 0 1 0 19 9 0 0 25 0 18 0 856441186 13950431232 86250 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 47782887143048 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 13623468
[startup+1.28036 s]
/proc/loadavg: 2.04 2.04 1.94 2/499 7688
/proc/meminfo: memFree=26123476/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624540 CPUtime=1.43 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 168720 0 1 0 125 18 0 0 25 0 18 0 856441185 13951528960 168148 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406135 168151 2200 9 0 3396869 0
[pid=7688/tid=7689] ppid=7686 vsize=13624540 CPUtime=1.26 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 165813 0 1 0 108 18 0 0 25 0 18 0 856441186 13951528960 168153 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 46912505580838 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13624540
[startup+1.50032 s]
/proc/loadavg: 2.04 2.04 1.94 2/499 7688
/proc/meminfo: memFree=26123476/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624540 CPUtime=1.65 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 189858 0 1 0 145 20 0 0 25 0 18 0 856441185 13951528960 189287 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406135 189290 2200 9 0 3396869 0
[pid=7688/tid=7689] ppid=7686 vsize=13624540 CPUtime=1.48 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 186951 0 1 0 128 20 0 0 25 0 18 0 856441186 13951528960 189291 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 46912505581134 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 13624540
[startup+3.10113 s]
/proc/loadavg: 2.04 2.04 1.94 3/517 7706
/proc/meminfo: memFree=24898020/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624540 CPUtime=3.26 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 324358 0 1 0 290 36 0 0 25 0 18 0 856441185 13951528960 323786 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406135 323789 2204 9 0 3396869 0
[pid=7688/tid=7689] ppid=7686 vsize=13624540 CPUtime=3.08 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 321447 0 1 0 273 35 0 0 25 0 18 0 856441186 13951528960 323791 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 46912505555739 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7691/stat : 7691 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323793 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7692/stat : 7692 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323795 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7693/stat : 7693 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323797 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7694/stat : 7694 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323799 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7695/stat : 7695 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323801 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7696] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7696/stat : 7696 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323803 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7697] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7697/stat : 7697 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323805 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7698] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7698/stat : 7698 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 323807 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7699] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7699/stat : 7699 (java) S 7686 7688 7149 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856441189 13951528960 323809 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 0 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7700] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7700/stat : 7700 (java) S 7686 7688 7149 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856441189 13951528960 323811 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7701] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7701/stat : 7701 (java) S 7686 7688 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856441189 13951528960 323813 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7702] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7702/stat : 7702 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951528960 323815 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092055985 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7703] ppid=7686 vsize=13624540 CPUtime=0.06 cores=0,2,4,6
/proc/7688/task/7703/stat : 7703 (java) S 7686 7688 7149 0 -1 4202560 477 0 0 0 6 0 0 0 24 0 18 0 856441192 13951528960 323817 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7704] ppid=7686 vsize=13624540 CPUtime=0.1 cores=0,2,4,6
/proc/7688/task/7704/stat : 7704 (java) S 7686 7688 7149 0 -1 4202560 1289 0 0 0 10 0 0 0 18 0 18 0 856441192 13951528960 323820 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7705] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7705/stat : 7705 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951528960 323821 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7706] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7706/stat : 7706 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856441192 13951528960 323824 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 13624540
[startup+6.31846 s]
/proc/loadavg: 2.04 2.04 1.94 3/517 7706
/proc/meminfo: memFree=23686840/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624540 CPUtime=6.5 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 621576 0 1 0 579 71 0 0 25 0 18 0 856441185 13951528960 620958 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406135 620961 2206 9 0 3396869 0
[pid=7688/tid=7689] ppid=7686 vsize=13624540 CPUtime=6.29 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 618617 0 1 0 559 70 0 0 25 0 18 0 856441186 13951528960 620963 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 46912505581037 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7691/stat : 7691 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620966 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7692/stat : 7692 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620966 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7693/stat : 7693 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620969 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7694/stat : 7694 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620971 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7695/stat : 7695 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620973 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7696] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7696/stat : 7696 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620976 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7697] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7697/stat : 7697 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620978 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7698] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7698/stat : 7698 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441188 13951528960 620980 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7699] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7699/stat : 7699 (java) S 7686 7688 7149 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 856441189 13951528960 620983 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 0 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7700] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7700/stat : 7700 (java) S 7686 7688 7149 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856441189 13951528960 620985 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7701] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7701/stat : 7701 (java) S 7686 7688 7149 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 856441189 13951528960 620987 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7702] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7702/stat : 7702 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951528960 620990 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092055985 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7703] ppid=7686 vsize=13624540 CPUtime=0.08 cores=0,2,4,6
/proc/7688/task/7703/stat : 7703 (java) S 7686 7688 7149 0 -1 4202560 523 0 0 0 8 0 0 0 17 0 18 0 856441192 13951528960 620992 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7704] ppid=7686 vsize=13624540 CPUtime=0.1 cores=0,2,4,6
/proc/7688/task/7704/stat : 7704 (java) S 7686 7688 7149 0 -1 4202560 1289 0 0 0 10 0 0 0 16 0 18 0 856441192 13951528960 620994 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7705] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7705/stat : 7705 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951528960 620997 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7706] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7706/stat : 7706 (java) S 7686 7688 7149 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 856441192 13951528960 620999 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 13624540
[startup+12.7012 s]
/proc/loadavg: 2.03 2.04 1.94 3/517 7706
/proc/meminfo: memFree=22000800/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624540 CPUtime=14.23 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 1029993 0 1 0 1301 122 0 0 25 0 18 0 856441185 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406135 1029177 2220 9 0 3396869 0
[pid=7688/tid=7689] ppid=7686 vsize=13624540 CPUtime=12.1 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 845477 0 1 0 1114 96 0 0 25 0 18 0 856441186 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 46912505502584 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=13624540 CPUtime=0.21 cores=0,2,4,6
/proc/7688/task/7691/stat : 7691 (java) S 7686 7688 7149 0 -1 4202560 12985 0 0 0 19 2 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=13624540 CPUtime=0.12 cores=0,2,4,6
/proc/7688/task/7692/stat : 7692 (java) S 7686 7688 7149 0 -1 4202560 8302 0 0 0 11 1 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=13624540 CPUtime=0.19 cores=0,2,4,6
/proc/7688/task/7693/stat : 7693 (java) S 7686 7688 7149 0 -1 4202560 13605 0 0 0 18 1 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=13624540 CPUtime=0.19 cores=0,2,4,6
/proc/7688/task/7694/stat : 7694 (java) S 7686 7688 7149 0 -1 4202560 11385 0 0 0 18 1 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=13624540 CPUtime=0.44 cores=0,2,4,6
/proc/7688/task/7695/stat : 7695 (java) S 7686 7688 7149 0 -1 4202560 51883 0 0 0 37 7 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7696] ppid=7686 vsize=13624540 CPUtime=0.35 cores=0,2,4,6
/proc/7688/task/7696/stat : 7696 (java) S 7686 7688 7149 0 -1 4202560 37567 0 0 0 31 4 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7697] ppid=7686 vsize=13624540 CPUtime=0.11 cores=0,2,4,6
/proc/7688/task/7697/stat : 7697 (java) S 7686 7688 7149 0 -1 4202560 12018 0 0 0 10 1 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7698] ppid=7686 vsize=13624540 CPUtime=0.21 cores=0,2,4,6
/proc/7688/task/7698/stat : 7698 (java) S 7686 7688 7149 0 -1 4202560 33649 0 0 0 17 4 0 0 18 0 18 0 856441188 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7699] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7699/stat : 7699 (java) S 7686 7688 7149 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 856441189 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 0 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7700] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7700/stat : 7700 (java) S 7686 7688 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 856441189 13951528960 1029177 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7701] ppid=7686 vsize=13624540 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7688/task/7696/stat : 7696 (java) S 7686 7688 7149 0 -1 4202560 107890 0 0 0 4077 37 0 0 16 0 18 0 856441188 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7697] ppid=7686 vsize=13624776 CPUtime=44.81 cores=0,2,4,6
/proc/7688/task/7697/stat : 7697 (java) S 7686 7688 7149 0 -1 4202560 96306 0 0 0 4446 35 0 0 16 0 18 0 856441188 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7698] ppid=7686 vsize=13624776 CPUtime=44.72 cores=0,2,4,6
/proc/7688/task/7698/stat : 7698 (java) S 7686 7688 7149 0 -1 4202560 112727 0 0 0 4431 41 0 0 16 0 18 0 856441188 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7699] ppid=7686 vsize=13624776 CPUtime=0.25 cores=0,2,4,6
/proc/7688/task/7699/stat : 7699 (java) S 7686 7688 7149 0 -1 4202560 116 0 0 0 15 10 0 0 15 0 18 0 856441189 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 0 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7700] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7700/stat : 7700 (java) S 7686 7688 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7701] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7701/stat : 7701 (java) S 7686 7688 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7702] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7702/stat : 7702 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092055985 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7703] ppid=7686 vsize=13624776 CPUtime=0.11 cores=0,2,4,6
/proc/7688/task/7703/stat : 7703 (java) S 7686 7688 7149 0 -1 4202560 1078 0 0 0 11 0 0 0 15 0 18 0 856441192 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7704] ppid=7686 vsize=13624776 CPUtime=0.26 cores=0,2,4,6
/proc/7688/task/7704/stat : 7704 (java) S 7686 7688 7149 0 -1 4202560 1349 0 0 0 26 0 0 0 15 0 18 0 856441192 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7705] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7705/stat : 7705 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7706] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7706/stat : 7706 (java) S 7686 7688 7149 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 18 0 856441192 13951770624 1465210 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1614.76
Current children cumulated vsize (KiB) 13624776
[startup+1422.32 s]
/proc/loadavg: 2.63 2.57 2.35 3/517 7792
/proc/meminfo: memFree=20136308/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624776 CPUtime=1685.69 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 1469716 0 1 0 168167 402 0 0 25 0 18 0 856441185 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406194 1466178 2228 9 0 3396928 0
[pid=7688/tid=7689] ppid=7686 vsize=13624776 CPUtime=1329.36 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 847324 0 1 0 132834 102 0 0 25 0 18 0 856441186 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 47782890781793 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=13624776 CPUtime=44.27 cores=0,2,4,6
/proc/7688/task/7691/stat : 7691 (java) S 7686 7688 7149 0 -1 4202560 30119 0 0 0 4396 31 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=13624776 CPUtime=49.23 cores=0,2,4,6
/proc/7688/task/7692/stat : 7692 (java) S 7686 7688 7149 0 -1 4202560 72278 0 0 0 4894 29 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=13624776 CPUtime=42.27 cores=0,2,4,6
/proc/7688/task/7693/stat : 7693 (java) S 7686 7688 7149 0 -1 4202560 34348 0 0 0 4196 31 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=13624776 CPUtime=38.47 cores=0,2,4,6
/proc/7688/task/7694/stat : 7694 (java) S 7686 7688 7149 0 -1 4202560 67474 0 0 0 3809 38 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=13624776 CPUtime=44.3 cores=0,2,4,6
/proc/7688/task/7695/stat : 7695 (java) S 7686 7688 7149 0 -1 4202560 97182 0 0 0 4393 37 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7696] ppid=7686 vsize=13624776 CPUtime=42.67 cores=0,2,4,6
/proc/7688/task/7696/stat : 7696 (java) S 7686 7688 7149 0 -1 4202560 108016 0 0 0 4229 38 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7697] ppid=7686 vsize=13624776 CPUtime=48.14 cores=0,2,4,6
/proc/7688/task/7697/stat : 7697 (java) S 7686 7688 7149 0 -1 4202560 96336 0 0 0 4778 36 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7698] ppid=7686 vsize=13624776 CPUtime=46.21 cores=0,2,4,6
/proc/7688/task/7698/stat : 7698 (java) S 7686 7688 7149 0 -1 4202560 112868 0 0 0 4579 42 0 0 16 0 18 0 856441188 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7699] ppid=7686 vsize=13624776 CPUtime=0.27 cores=0,2,4,6
/proc/7688/task/7699/stat : 7699 (java) S 7686 7688 7149 0 -1 4202560 121 0 0 0 16 11 0 0 15 0 18 0 856441189 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 0 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7700] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7700/stat : 7700 (java) S 7686 7688 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7701] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7701/stat : 7701 (java) S 7686 7688 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7702] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7702/stat : 7702 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092055985 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7703] ppid=7686 vsize=13624776 CPUtime=0.11 cores=0,2,4,6
/proc/7688/task/7703/stat : 7703 (java) S 7686 7688 7149 0 -1 4202560 1078 0 0 0 11 0 0 0 15 0 18 0 856441192 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7704] ppid=7686 vsize=13624776 CPUtime=0.26 cores=0,2,4,6
/proc/7688/task/7704/stat : 7704 (java) S 7686 7688 7149 0 -1 4202560 1349 0 0 0 26 0 0 0 15 0 18 0 856441192 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7705] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7705/stat : 7705 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7706] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7706/stat : 7706 (java) S 7686 7688 7149 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 18 0 856441192 13951770624 1466178 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1685.69
Current children cumulated vsize (KiB) 13624776
[startup+1482.3 s]
/proc/loadavg: 2.46 2.55 2.36 3/517 7794
/proc/meminfo: memFree=20126612/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624776 CPUtime=1756.33 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 1470789 0 1 0 175221 412 0 0 25 0 18 0 856441185 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406194 1467170 2228 9 0 3396928 0
[pid=7688/tid=7689] ppid=7686 vsize=13624776 CPUtime=1385.43 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 847400 0 1 0 138440 103 0 0 25 0 18 0 856441186 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 47782890781793 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=13624776 CPUtime=46.98 cores=0,2,4,6
/proc/7688/task/7691/stat : 7691 (java) S 7686 7688 7149 0 -1 4202560 30190 0 0 0 4666 32 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=13624776 CPUtime=50.79 cores=0,2,4,6
/proc/7688/task/7692/stat : 7692 (java) S 7686 7688 7149 0 -1 4202560 72398 0 0 0 5048 31 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=13624776 CPUtime=43.93 cores=0,2,4,6
/proc/7688/task/7693/stat : 7693 (java) S 7686 7688 7149 0 -1 4202560 34499 0 0 0 4360 33 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=13624776 CPUtime=40.15 cores=0,2,4,6
/proc/7688/task/7694/stat : 7694 (java) S 7686 7688 7149 0 -1 4202560 67616 0 0 0 3976 39 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=13624776 CPUtime=45.79 cores=0,2,4,6
/proc/7688/task/7695/stat : 7695 (java) S 7686 7688 7149 0 -1 4202560 97322 0 0 0 4541 38 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7696] ppid=7686 vsize=13624776 CPUtime=44.13 cores=0,2,4,6
/proc/7688/task/7696/stat : 7696 (java) S 7686 7688 7149 0 -1 4202560 108156 0 0 0 4374 39 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7697] ppid=7686 vsize=13624776 CPUtime=49.73 cores=0,2,4,6
/proc/7688/task/7697/stat : 7697 (java) S 7686 7688 7149 0 -1 4202560 96477 0 0 0 4936 37 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7698] ppid=7686 vsize=13624776 CPUtime=48.65 cores=0,2,4,6
/proc/7688/task/7698/stat : 7698 (java) S 7686 7688 7149 0 -1 4202560 112955 0 0 0 4822 43 0 0 16 0 18 0 856441188 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7699] ppid=7686 vsize=13624776 CPUtime=0.28 cores=0,2,4,6
/proc/7688/task/7699/stat : 7699 (java) S 7686 7688 7149 0 -1 4202560 124 0 0 0 17 11 0 0 15 0 18 0 856441189 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 0 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7700] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7700/stat : 7700 (java) S 7686 7688 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7701] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7701/stat : 7701 (java) S 7686 7688 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7702] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7702/stat : 7702 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092055985 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7703] ppid=7686 vsize=13624776 CPUtime=0.11 cores=0,2,4,6
/proc/7688/task/7703/stat : 7703 (java) S 7686 7688 7149 0 -1 4202560 1078 0 0 0 11 0 0 0 15 0 18 0 856441192 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7704] ppid=7686 vsize=13624776 CPUtime=0.26 cores=0,2,4,6
/proc/7688/task/7704/stat : 7704 (java) S 7686 7688 7149 0 -1 4202560 1349 0 0 0 26 0 0 0 15 0 18 0 856441192 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7705] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7705/stat : 7705 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7706] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7706/stat : 7706 (java) S 7686 7688 7149 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 18 0 856441192 13951770624 1467170 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1756.33
Current children cumulated vsize (KiB) 13624776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1519.12 s]
/proc/loadavg: 2.69 2.60 2.38 3/517 7795
/proc/meminfo: memFree=20123384/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=13624776 CPUtime=1800.03 cores=0,2,4,6
/proc/7688/stat : 7688 (java) S 7686 7688 7149 0 -1 4202496 1471443 0 1 0 179584 419 0 0 25 0 18 0 856441185 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 3406194 1467773 2228 9 0 3396928 0
[pid=7688/tid=7689] ppid=7686 vsize=13624776 CPUtime=1419.86 cores=0,2,4,6
/proc/7688/task/7689/stat : 7689 (java) R 7686 7688 7149 0 -1 4202560 847447 0 1 0 141883 103 0 0 25 0 18 0 856441186 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 47782890781783 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=13624776 CPUtime=48.98 cores=0,2,4,6
/proc/7688/task/7691/stat : 7691 (java) S 7686 7688 7149 0 -1 4202560 30212 0 0 0 4865 33 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=13624776 CPUtime=52.03 cores=0,2,4,6
/proc/7688/task/7692/stat : 7692 (java) S 7686 7688 7149 0 -1 4202560 72463 0 0 0 5171 32 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=13624776 CPUtime=44.85 cores=0,2,4,6
/proc/7688/task/7693/stat : 7693 (java) S 7686 7688 7149 0 -1 4202560 34585 0 0 0 4452 33 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=13624776 CPUtime=41.16 cores=0,2,4,6
/proc/7688/task/7694/stat : 7694 (java) S 7686 7688 7149 0 -1 4202560 67712 0 0 0 4076 40 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=13624776 CPUtime=46.79 cores=0,2,4,6
/proc/7688/task/7695/stat : 7695 (java) S 7686 7688 7149 0 -1 4202560 97412 0 0 0 4640 39 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7696] ppid=7686 vsize=13624776 CPUtime=45.27 cores=0,2,4,6
/proc/7688/task/7696/stat : 7696 (java) S 7686 7688 7149 0 -1 4202560 108232 0 0 0 4487 40 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7697] ppid=7686 vsize=13624776 CPUtime=50.63 cores=0,2,4,6
/proc/7688/task/7697/stat : 7697 (java) S 7686 7688 7149 0 -1 4202560 96567 0 0 0 5025 38 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7698] ppid=7686 vsize=13624776 CPUtime=49.68 cores=0,2,4,6
/proc/7688/task/7698/stat : 7698 (java) S 7686 7688 7149 0 -1 4202560 113032 0 0 0 4925 43 0 0 16 0 18 0 856441188 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7699] ppid=7686 vsize=13624776 CPUtime=0.3 cores=0,2,4,6
/proc/7688/task/7699/stat : 7699 (java) S 7686 7688 7149 0 -1 4202560 128 0 0 0 18 12 0 0 15 0 18 0 856441189 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 0 0 16800975 18446604441401878528 0 0 -1 4 0 0 0
[pid=7688/tid=7700] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7700/stat : 7700 (java) S 7686 7688 7149 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7701] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7701/stat : 7701 (java) S 7686 7688 7149 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 856441189 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7702] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7702/stat : 7702 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092055985 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7703] ppid=7686 vsize=13624776 CPUtime=0.11 cores=0,2,4,6
/proc/7688/task/7703/stat : 7703 (java) S 7686 7688 7149 0 -1 4202560 1078 0 0 0 11 0 0 0 15 0 18 0 856441192 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 6 0 0 0
[pid=7688/tid=7704] ppid=7686 vsize=13624776 CPUtime=0.26 cores=0,2,4,6
/proc/7688/task/7704/stat : 7704 (java) S 7686 7688 7149 0 -1 4202560 1349 0 0 0 26 0 0 0 15 0 18 0 856441192 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 0 0 0 0
[pid=7688/tid=7705] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7705/stat : 7705 (java) S 7686 7688 7149 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856441192 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048281 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
[pid=7688/tid=7706] ppid=7686 vsize=13624776 CPUtime=0 cores=0,2,4,6
/proc/7688/task/7706/stat : 7706 (java) S 7686 7688 7149 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 18 0 856441192 13951770624 1467773 33554432000 1073741824 1073778376 140736022851168 18446744073709551615 208092048896 0 4 0 16800975 18446604441401878528 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13624776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1519.3 s]
/proc/loadavg: 2.69 2.60 2.38 3/517 7795
/proc/meminfo: memFree=20123384/32950928 swapFree=39617324/67111528
[pid=7688] ppid=7686 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/7688/stat : 7688 (java) Z 7686 7688 7149 0 -1 4203548 1471477 0 1 0 179587 433 0 0 17 0 2 0 856441185 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7688/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1519.39
CPU time (s): 1800.3
CPU user time (s): 1795.88
CPU system time (s): 4.42233
CPU usage (%): 118.489
Max. virtual memory (cumulated for all children) (KiB): 13624776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.88
system time used= 4.42233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1471477
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= 91576
involuntary context switches= 2411470
runsolver used 7.34288 second user time and 18.9351 second system time
The end