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-3458005-1307164557/watcher-3458005-1307164557 -o /tmp/evaluation-result-3458005-1307164557/solver-3458005-1307164557 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458005-1307164557.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.04 1.58 1.82 2/454 14993
/proc/meminfo: memFree=26320776/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 1244 0 0 0 0 0 0 0 22 0 2 0 828053860 31268864 964 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 7634 964 736 9 0 385 0
[pid=14993/tid=14998] ppid=14991 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 5189 0 1 0 0 0 0 0 17 0 2 0 828053861 13850947584 6006 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0293409 s]
/proc/loadavg: 1.04 1.58 1.82 2/454 14993
/proc/meminfo: memFree=26320776/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13535028 CPUtime=0.02 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 12497 0 1 0 1 1 0 0 22 0 10 0 828053860 13859868672 12200 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3383757 12200 982 9 0 3374913 0
[pid=14993/tid=14998] ppid=14991 vsize=13535028 CPUtime=0.01 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 11375 0 1 0 0 1 0 0 20 0 10 0 828053861 13859868672 12200 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 46912505098361 0 4 0 16784584 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13535028
[startup+0.100375 s]
/proc/loadavg: 1.04 1.58 1.82 2/454 14993
/proc/meminfo: memFree=26320776/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13556944 CPUtime=0.1 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 15410 0 1 0 8 2 0 0 22 0 18 0 828053860 13882310656 15087 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3389236 15087 2083 9 0 3379970 0
[pid=14993/tid=14998] ppid=14991 vsize=13556944 CPUtime=0.07 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 13463 0 1 0 6 1 0 0 22 0 18 0 828053861 13882310656 15087 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347718987 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13556944
[startup+0.300295 s]
/proc/loadavg: 1.04 1.58 1.82 2/454 14993
/proc/meminfo: memFree=26320776/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13624248 CPUtime=0.42 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 18588 0 1 0 40 2 0 0 22 0 18 0 828053860 13951229952 17742 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3406062 17743 2213 9 0 3396796 0
[pid=14993/tid=14998] ppid=14991 vsize=13624248 CPUtime=0.25 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 14998 0 1 0 24 1 0 0 22 0 18 0 828053861 13951229952 17743 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 47218705697619 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13624248
[startup+0.700266 s]
/proc/loadavg: 1.04 1.58 1.82 2/454 14993
/proc/meminfo: memFree=26320776/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13625584 CPUtime=1.05 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 20278 0 1 0 103 2 0 0 22 0 19 0 828053860 13952598016 18627 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3406396 18627 2234 9 0 3397130 0
[pid=14993/tid=14998] ppid=14991 vsize=13625584 CPUtime=0.65 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 15709 0 1 0 64 1 0 0 25 0 19 0 828053861 13952598016 18627 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 46912505581983 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13625584
[startup+1.50112 s]
/proc/loadavg: 1.04 1.58 1.82 5/495 15035
/proc/meminfo: memFree=26108600/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13648872 CPUtime=2.06 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 29659 0 1 0 203 3 0 0 22 0 19 0 828053860 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3412218 25325 2263 9 0 3402952 0
[pid=14993/tid=14998] ppid=14991 vsize=13648872 CPUtime=1.43 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 15979 0 1 0 142 1 0 0 25 0 19 0 828053861 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 46912505700103 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14993/tid=15002] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15002/stat : 15002 (java) S 14991 14993 14960 0 -1 4202560 459 0 0 0 0 0 0 0 18 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15003] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15003/stat : 15003 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15004] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15004/stat : 15004 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15005] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15005/stat : 15005 (java) S 14991 14993 14960 0 -1 4202560 133 0 0 0 0 0 0 0 18 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15006] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15006/stat : 15006 (java) S 14991 14993 14960 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15007] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15007/stat : 15007 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15008] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15008/stat : 15008 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15009] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15009/stat : 15009 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828053863 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15018] ppid=14991 vsize=13648872 CPUtime=0.01 cores=1,3,5,7
/proc/14993/task/15018/stat : 15018 (java) S 14991 14993 14960 0 -1 4202560 637 0 0 0 1 0 0 0 17 0 19 0 828053864 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 0 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15020] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15020/stat : 15020 (java) S 14991 14993 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15021] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15021/stat : 15021 (java) S 14991 14993 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15024] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15024/stat : 15024 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828053866 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347716017 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15025] ppid=14991 vsize=13648872 CPUtime=0.36 cores=1,3,5,7
/proc/14993/task/15025/stat : 15025 (java) S 14991 14993 14960 0 -1 4202560 9533 0 0 0 36 0 0 0 15 0 19 0 828053866 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15028] ppid=14991 vsize=13648872 CPUtime=0.21 cores=1,3,5,7
/proc/14993/task/15028/stat : 15028 (java) S 14991 14993 14960 0 -1 4202560 1720 0 0 0 21 0 0 0 16 0 19 0 828053866 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15029] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15029/stat : 15029 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828053866 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15032] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15032/stat : 15032 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053866 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15034] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15034/stat : 15034 (java) S 14991 14993 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 828053892 13976444928 25325 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 13648872
[startup+3.10084 s]
/proc/loadavg: 1.04 1.58 1.82 4/495 15035
/proc/meminfo: memFree=26077104/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13648872 CPUtime=3.71 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 30680 0 1 0 367 4 0 0 22 0 19 0 828053860 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3412218 26344 2263 9 0 3402952 0
[pid=14993/tid=14998] ppid=14991 vsize=13648872 CPUtime=2.99 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 15982 0 1 0 298 1 0 0 25 0 19 0 828053861 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 46912505648674 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14993/tid=15002] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15002/stat : 15002 (java) S 14991 14993 14960 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15003] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15003/stat : 15003 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15004] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15004/stat : 15004 (java) S 14991 14993 14960 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15005] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15005/stat : 15005 (java) S 14991 14993 14960 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15006] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15006/stat : 15006 (java) S 14991 14993 14960 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15007] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15007/stat : 15007 (java) S 14991 14993 14960 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15008] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15008/stat : 15008 (java) S 14991 14993 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15009] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15009/stat : 15009 (java) S 14991 14993 14960 0 -1 4202560 389 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15018] ppid=14991 vsize=13648872 CPUtime=0.04 cores=1,3,5,7
/proc/14993/task/15018/stat : 15018 (java) S 14991 14993 14960 0 -1 4202560 1112 0 0 0 4 0 0 0 16 0 19 0 828053864 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 0 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15020] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15020/stat : 15020 (java) S 14991 14993 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15021] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15021/stat : 15021 (java) S 14991 14993 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15024] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15024/stat : 15024 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347716017 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15025] ppid=14991 vsize=13648872 CPUtime=0.38 cores=1,3,5,7
/proc/14993/task/15025/stat : 15025 (java) S 14991 14993 14960 0 -1 4202560 9534 0 0 0 38 0 0 0 15 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15028] ppid=14991 vsize=13648872 CPUtime=0.23 cores=1,3,5,7
/proc/14993/task/15028/stat : 15028 (java) S 14991 14993 14960 0 -1 4202560 1723 0 0 0 23 0 0 0 15 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15029] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15029/stat : 15029 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15032] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15032/stat : 15032 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15034] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15034/stat : 15034 (java) S 14991 14993 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 828053892 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 13648872
Solver just ended. Dumping a history of the last processes samples
[startup+3.9007 s]
/proc/loadavg: 1.12 1.58 1.82 3/495 15035
/proc/meminfo: memFree=26070548/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13648872 CPUtime=4.51 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 30680 0 1 0 447 4 0 0 22 0 19 0 828053860 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3412218 26344 2263 9 0 3402952 0
[pid=14993/tid=14998] ppid=14991 vsize=13648872 CPUtime=3.79 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 15982 0 1 0 378 1 0 0 25 0 19 0 828053861 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14993/tid=15002] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15002/stat : 15002 (java) S 14991 14993 14960 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15003] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15003/stat : 15003 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15004] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15004/stat : 15004 (java) S 14991 14993 14960 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15005] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15005/stat : 15005 (java) S 14991 14993 14960 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15006] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15006/stat : 15006 (java) S 14991 14993 14960 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15007] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15007/stat : 15007 (java) S 14991 14993 14960 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15008] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15008/stat : 15008 (java) S 14991 14993 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15009] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15009/stat : 15009 (java) S 14991 14993 14960 0 -1 4202560 389 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15018] ppid=14991 vsize=13648872 CPUtime=0.04 cores=1,3,5,7
/proc/14993/task/15018/stat : 15018 (java) S 14991 14993 14960 0 -1 4202560 1112 0 0 0 4 0 0 0 16 0 19 0 828053864 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 0 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15020] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15020/stat : 15020 (java) S 14991 14993 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15021] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15021/stat : 15021 (java) S 14991 14993 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15024] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15024/stat : 15024 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347716017 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15025] ppid=14991 vsize=13648872 CPUtime=0.38 cores=1,3,5,7
/proc/14993/task/15025/stat : 15025 (java) S 14991 14993 14960 0 -1 4202560 9534 0 0 0 38 0 0 0 15 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15028] ppid=14991 vsize=13648872 CPUtime=0.23 cores=1,3,5,7
/proc/14993/task/15028/stat : 15028 (java) S 14991 14993 14960 0 -1 4202560 1723 0 0 0 23 0 0 0 15 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15029] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15029/stat : 15029 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15032] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15032/stat : 15032 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053866 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15034] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15034/stat : 15034 (java) S 14991 14993 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 828053892 13976444928 26344 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 13648872
[startup+4.30063 s]
/proc/loadavg: 1.12 1.58 1.82 3/495 15035
/proc/meminfo: memFree=26065836/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13648872 CPUtime=4.94 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 30895 0 1 0 490 4 0 0 22 0 19 0 828053860 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3412218 26557 2263 9 0 3402952 0
[pid=14993/tid=14998] ppid=14991 vsize=13648872 CPUtime=4.19 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) R 14991 14993 14960 0 -1 4202560 15983 0 1 0 418 1 0 0 25 0 19 0 828053861 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 46912505621389 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14993/tid=15002] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15002/stat : 15002 (java) S 14991 14993 14960 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15003] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15003/stat : 15003 (java) S 14991 14993 14960 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15004] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15004/stat : 15004 (java) S 14991 14993 14960 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15005] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15005/stat : 15005 (java) S 14991 14993 14960 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15006] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15006/stat : 15006 (java) S 14991 14993 14960 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15007] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15007/stat : 15007 (java) S 14991 14993 14960 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15008] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15008/stat : 15008 (java) S 14991 14993 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15009] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15009/stat : 15009 (java) S 14991 14993 14960 0 -1 4202560 474 0 0 0 0 0 0 0 16 0 19 0 828053863 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15018] ppid=14991 vsize=13648872 CPUtime=0.06 cores=1,3,5,7
/proc/14993/task/15018/stat : 15018 (java) S 14991 14993 14960 0 -1 4202560 1112 0 0 0 6 0 0 0 16 0 19 0 828053864 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 0 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15020] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15020/stat : 15020 (java) S 14991 14993 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15021] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15021/stat : 15021 (java) S 14991 14993 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828053864 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15024] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15024/stat : 15024 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828053866 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347716017 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15025] ppid=14991 vsize=13648872 CPUtime=0.41 cores=1,3,5,7
/proc/14993/task/15025/stat : 15025 (java) S 14991 14993 14960 0 -1 4202560 9543 0 0 0 41 0 0 0 15 0 19 0 828053866 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15028] ppid=14991 vsize=13648872 CPUtime=0.23 cores=1,3,5,7
/proc/14993/task/15028/stat : 15028 (java) S 14991 14993 14960 0 -1 4202560 1723 0 0 0 23 0 0 0 15 0 19 0 828053866 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15029] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15029/stat : 15029 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828053866 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15032] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15032/stat : 15032 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828053866 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15034] ppid=14991 vsize=13648872 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15034/stat : 15034 (java) S 14991 14993 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 828053892 13976444928 26557 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 13648872
[startup+4.50058 s]
/proc/loadavg: 1.12 1.58 1.82 3/495 15035
/proc/meminfo: memFree=26065836/32951124 swapFree=60688864/67111528
[pid=14993] ppid=14991 vsize=13649900 CPUtime=5.14 cores=1,3,5,7
/proc/14993/stat : 14993 (java) S 14991 14993 14960 0 -1 4202496 30910 0 1 0 510 4 0 0 22 0 20 0 828053860 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14993/statm: 3412475 26571 2263 9 0 3403209 0
[pid=14993/tid=14998] ppid=14991 vsize=13649900 CPUtime=4.37 cores=1,3,5,7
/proc/14993/task/14998/stat : 14998 (java) S 14991 14993 14960 0 -1 4202560 15987 0 1 0 436 1 0 0 25 0 20 0 828053861 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15002] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15002/stat : 15002 (java) S 14991 14993 14960 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15003] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15003/stat : 15003 (java) S 14991 14993 14960 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15004] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15004/stat : 15004 (java) S 14991 14993 14960 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
[pid=14993/tid=15005] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15005/stat : 15005 (java) S 14991 14993 14960 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15006] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15006/stat : 15006 (java) S 14991 14993 14960 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15007] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15007/stat : 15007 (java) S 14991 14993 14960 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15008] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15008/stat : 15008 (java) S 14991 14993 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15009] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15009/stat : 15009 (java) S 14991 14993 14960 0 -1 4202560 474 0 0 0 0 0 0 0 16 0 20 0 828053863 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15018] ppid=14991 vsize=13649900 CPUtime=0.06 cores=1,3,5,7
/proc/14993/task/15018/stat : 15018 (java) S 14991 14993 14960 0 -1 4202560 1112 0 0 0 6 0 0 0 16 0 20 0 828053864 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 0 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15020] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15020/stat : 15020 (java) S 14991 14993 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 828053864 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15021] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15021/stat : 15021 (java) S 14991 14993 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 828053864 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15024] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15024/stat : 15024 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 828053866 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347716017 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15025] ppid=14991 vsize=13649900 CPUtime=0.41 cores=1,3,5,7
/proc/14993/task/15025/stat : 15025 (java) R 14991 14993 14960 0 -1 4202560 9543 0 0 0 41 0 0 0 15 0 20 0 828053866 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 47218701335227 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14993/tid=15028] ppid=14991 vsize=13649900 CPUtime=0.23 cores=1,3,5,7
/proc/14993/task/15028/stat : 15028 (java) R 14991 14993 14960 0 -1 4202560 1723 0 0 0 23 0 0 0 15 0 20 0 828053866 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347718004 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14993/tid=15029] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15029/stat : 15029 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 828053866 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708313 0 4 0 16800975 18446604460500631744 0 0 -1 7 0 0 0
[pid=14993/tid=15032] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15032/stat : 15032 (java) S 14991 14993 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 828053866 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 5 0 0 0
[pid=14993/tid=15034] ppid=14991 vsize=13649900 CPUtime=0 cores=1,3,5,7
/proc/14993/task/15034/stat : 15034 (java) S 14991 14993 14960 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 20 0 828053892 13977497600 26571 33554432000 1073741824 1073778376 140735641710016 18446744073709551615 232347708928 0 4 0 16800975 18446604460500631744 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 13649900
Child status: 10
Real time (s): 4.51135
CPU time (s): 5.16421
CPU user time (s): 5.11822
CPU system time (s): 0.045993
CPU usage (%): 114.472
Max. virtual memory (cumulated for all children) (KiB): 13649900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.11822
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30922
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= 528
involuntary context switches= 278
runsolver used 0.020996 second user time and 0.065989 second system time
The end