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-3459544-1307148032/watcher-3459544-1307148032 -o /tmp/evaluation-result-3459544-1307148032/solver-3459544-1307148032 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459544-1307148032.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: 1.00 1.02 1.22 3/590 29916
/proc/meminfo: memFree=31805016/32950928 swapFree=43925852/67111528
[pid=29916] ppid=29914 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/29916/stat : 29916 (java) S 29914 29916 24211 0 -1 4202496 10190 0 1 0 0 1 0 0 25 0 2 0 826401963 13850947584 9892 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/29916/statm: 3381579 9906 917 9 0 3372735 0
[pid=29916/tid=29917] ppid=29914 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29917/stat : 29917 (java) R 29914 29916 24211 0 -1 4202560 9412 0 1 0 0 0 0 0 25 0 2 0 826401964 13850947584 10228 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0456411 s]
/proc/loadavg: 1.00 1.02 1.22 3/590 29916
/proc/meminfo: memFree=31805016/32950928 swapFree=43925852/67111528
[pid=29916] ppid=29914 vsize=13549480 CPUtime=0.04 cores=0,2,4,6
/proc/29916/stat : 29916 (java) S 29914 29916 24211 0 -1 4202496 13771 0 1 0 3 1 0 0 25 0 13 0 826401963 13874667520 13468 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/29916/statm: 3387370 13470 1673 9 0 3378118 0
[pid=29916/tid=29917] ppid=29914 vsize=13549480 CPUtime=0.04 cores=0,2,4,6
/proc/29916/task/29917/stat : 29917 (java) R 29914 29916 24211 0 -1 4202560 12628 0 1 0 3 1 0 0 25 0 13 0 826401964 13874667520 13472 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 47348684219928 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.100606 s]
/proc/loadavg: 1.00 1.02 1.22 3/590 29916
/proc/meminfo: memFree=31805016/32950928 swapFree=43925852/67111528
[pid=29916] ppid=29914 vsize=13622056 CPUtime=0.1 cores=0,2,4,6
/proc/29916/stat : 29916 (java) S 29914 29916 24211 0 -1 4202496 15564 0 1 0 9 1 0 0 25 0 18 0 826401963 13948985344 15255 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29916/statm: 3405514 15256 2093 9 0 3396248 0
[pid=29916/tid=29917] ppid=29914 vsize=13622056 CPUtime=0.09 cores=0,2,4,6
/proc/29916/task/29917/stat : 29917 (java) R 29914 29916 24211 0 -1 4202560 13650 0 1 0 8 1 0 0 18 0 18 0 826401964 13948985344 15256 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 47348685654836 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) 13622056
[startup+0.314462 s]
/proc/loadavg: 1.00 1.02 1.22 3/590 29916
/proc/meminfo: memFree=31805016/32950928 swapFree=43925852/67111528
[pid=29916] ppid=29914 vsize=13626008 CPUtime=0.61 cores=0,2,4,6
/proc/29916/stat : 29916 (java) S 29914 29916 24211 0 -1 4202496 20711 0 1 0 59 2 0 0 25 0 18 0 826401963 13953032192 19259 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29916/statm: 3406502 19260 2213 9 0 3397236 0
[pid=29916/tid=29917] ppid=29914 vsize=13626008 CPUtime=0.3 cores=0,2,4,6
/proc/29916/task/29917/stat : 29917 (java) R 29914 29916 24211 0 -1 4202560 15838 0 1 0 29 1 0 0 18 0 18 0 826401964 13953032192 19260 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13626008
[startup+0.700449 s]
/proc/loadavg: 1.00 1.02 1.22 3/590 29916
/proc/meminfo: memFree=31805016/32950928 swapFree=43925852/67111528
[pid=29916] ppid=29914 vsize=13627036 CPUtime=1.35 cores=0,2,4,6
/proc/29916/stat : 29916 (java) S 29914 29916 24211 0 -1 4202496 23423 0 1 0 133 2 0 0 25 0 19 0 826401963 13954084864 19907 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29916/statm: 3406759 19907 2229 9 0 3397493 0
[pid=29916/tid=29917] ppid=29914 vsize=13627036 CPUtime=0.68 cores=0,2,4,6
/proc/29916/task/29917/stat : 29917 (java) R 29914 29916 24211 0 -1 4202560 16384 0 1 0 67 1 0 0 18 0 19 0 826401964 13954084864 19907 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 46912505715136 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13627036
Solver just ended. Dumping a history of the last processes samples
[startup+1.12237 s]
/proc/loadavg: 1.16 1.05 1.23 3/609 29935
/proc/meminfo: memFree=31725428/32950928 swapFree=43925852/67111528
[pid=29916] ppid=29914 vsize=13627036 CPUtime=1.9 cores=0,2,4,6
/proc/29916/stat : 29916 (java) S 29914 29916 24211 0 -1 4202496 24611 0 1 0 187 3 0 0 25 0 19 0 826401963 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29916/statm: 3406759 21089 2261 9 0 3397493 0
[pid=29916/tid=29917] ppid=29914 vsize=13627036 CPUtime=1.08 cores=0,2,4,6
/proc/29916/task/29917/stat : 29917 (java) R 29914 29916 24211 0 -1 4202560 16706 0 1 0 107 1 0 0 18 0 19 0 826401964 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 46912505693187 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29916/tid=29919] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29919/stat : 29919 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29920] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29920/stat : 29920 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29921] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29921/stat : 29921 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29922] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29922/stat : 29922 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29923] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29923/stat : 29923 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29924] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29924/stat : 29924 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29925] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29925/stat : 29925 (java) S 29914 29916 24211 0 -1 4202560 175 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29926] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29926/stat : 29926 (java) S 29914 29916 24211 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29927] ppid=29914 vsize=13627036 CPUtime=0.01 cores=0,2,4,6
/proc/29916/task/29927/stat : 29927 (java) S 29914 29916 24211 0 -1 4202560 423 0 0 0 1 0 0 0 16 0 19 0 826401967 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284505600 0 0 0 16800975 18446604453708259648 0 0 -1 4 0 0 0
[pid=29916/tid=29928] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29928/stat : 29928 (java) S 29914 29916 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826401967 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29929] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29929/stat : 29929 (java) S 29914 29916 24211 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826401967 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29930] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29930/stat : 29930 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284512689 0 4 0 16800975 18446604453708259648 0 0 -1 4 0 0 0
[pid=29916/tid=29931] ppid=29914 vsize=13627036 CPUtime=0.35 cores=0,2,4,6
/proc/29916/task/29931/stat : 29931 (java) S 29914 29916 24211 0 -1 4202560 3680 0 0 0 35 0 0 0 21 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29932] ppid=29914 vsize=13627036 CPUtime=0.41 cores=0,2,4,6
/proc/29916/task/29932/stat : 29932 (java) S 29914 29916 24211 0 -1 4202560 2229 0 0 0 41 0 0 0 16 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29933] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29933/stat : 29933 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 4 0 0 0
[pid=29916/tid=29934] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29934/stat : 29934 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284505600 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29935] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29935/stat : 29935 (java) S 29914 29916 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826401995 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284505600 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13627036
[startup+1.20136 s]
/proc/loadavg: 1.16 1.05 1.23 3/609 29935
/proc/meminfo: memFree=31725428/32950928 swapFree=43925852/67111528
[pid=29916] ppid=29914 vsize=13627036 CPUtime=1.99 cores=0,2,4,6
/proc/29916/stat : 29916 (java) S 29914 29916 24211 0 -1 4202496 24611 0 1 0 196 3 0 0 25 0 19 0 826401963 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29916/statm: 3406759 21089 2261 9 0 3397493 0
[pid=29916/tid=29917] ppid=29914 vsize=13627036 CPUtime=1.16 cores=0,2,4,6
/proc/29916/task/29917/stat : 29917 (java) R 29914 29916 24211 0 -1 4202560 16706 0 1 0 115 1 0 0 18 0 19 0 826401964 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 46912505801472 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29916/tid=29919] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29919/stat : 29919 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29920] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29920/stat : 29920 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29921] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29921/stat : 29921 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29922] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29922/stat : 29922 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29923] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29923/stat : 29923 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29924] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29924/stat : 29924 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29925] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29925/stat : 29925 (java) S 29914 29916 24211 0 -1 4202560 175 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29926] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29926/stat : 29926 (java) S 29914 29916 24211 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 19 0 826401966 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29927] ppid=29914 vsize=13627036 CPUtime=0.01 cores=0,2,4,6
/proc/29916/task/29927/stat : 29927 (java) S 29914 29916 24211 0 -1 4202560 423 0 0 0 1 0 0 0 16 0 19 0 826401967 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284505600 0 0 0 16800975 18446604453708259648 0 0 -1 4 0 0 0
[pid=29916/tid=29928] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29928/stat : 29928 (java) S 29914 29916 24211 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826401967 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29929] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29929/stat : 29929 (java) S 29914 29916 24211 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826401967 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29930] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29930/stat : 29930 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284512689 0 4 0 16800975 18446604453708259648 0 0 -1 4 0 0 0
[pid=29916/tid=29931] ppid=29914 vsize=13627036 CPUtime=0.35 cores=0,2,4,6
/proc/29916/task/29931/stat : 29931 (java) S 29914 29916 24211 0 -1 4202560 3680 0 0 0 35 0 0 0 21 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29932] ppid=29914 vsize=13627036 CPUtime=0.42 cores=0,2,4,6
/proc/29916/task/29932/stat : 29932 (java) S 29914 29916 24211 0 -1 4202560 2229 0 0 0 42 0 0 0 15 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
[pid=29916/tid=29933] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29933/stat : 29933 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284504985 0 4 0 16800975 18446604453708259648 0 0 -1 4 0 0 0
[pid=29916/tid=29934] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29934/stat : 29934 (java) S 29914 29916 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826401969 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284505600 0 4 0 16800975 18446604453708259648 0 0 -1 0 0 0 0
[pid=29916/tid=29935] ppid=29914 vsize=13627036 CPUtime=0 cores=0,2,4,6
/proc/29916/task/29935/stat : 29935 (java) S 29914 29916 24211 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826401995 13954084864 21089 33554432000 1073741824 1073778376 140736255220864 18446744073709551615 268284505600 0 4 0 16800975 18446604453708259648 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 13627036
Child status: 30
Real time (s): 1.29967
CPU time (s): 2.09168
CPU user time (s): 2.05669
CPU system time (s): 0.034994
CPU usage (%): 160.94
Max. virtual memory (cumulated for all children) (KiB): 13627036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.05669
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24641
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= 251
involuntary context switches= 43
runsolver used 0.018997 second user time and 0.026995 second system time
The end