runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4250054-1500768568/watcher-4250054-1500768568 -o /tmp/evaluation-result-4250054-1500768568/solver-4250054-1500768568 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500751849-10644 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4250054-1500768568.xml
pid=13958
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.06 1.99 3/262 13961
/proc/meminfo: memFree=31326084/32770624 swapFree=5848/357744
[pid=13961] ppid=13958 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 2035 0 0 0 0 0 0 0 20 0 2 0 12124251 8550137856 2263 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2087436 2263 1198 1 0 2076347 0
[pid=13961/tid=13962] ppid=13958 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) R 13958 13961 10613 0 -1 4202560 911 0 0 0 0 0 0 0 20 0 2 0 12124251 8550137856 2461 33554432000 4194304 4196468 140737278190720 140448374004128 140448350871624 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[startup+0.100098 s]
/proc/loadavg: 2.23 2.06 1.99 3/262 13961
/proc/meminfo: memFree=31326084/32770624 swapFree=5848/357744
[pid=13961] ppid=13958 vsize=10900580 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 5072 0 0 0 9 1 0 0 20 0 20 0 12124251 11162193920 6635 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2725145 6635 2630 1 0 2713552 0
[pid=13961/tid=13962] ppid=13958 vsize=10900580 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) R 13958 13961 10613 0 -1 4202560 3155 0 0 0 7 0 0 0 20 0 20 0 12124251 11162193920 6635 33554432000 4194304 4196468 140737278190720 140448373996960 140448369783965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580
[startup+0.20039 s]
/proc/loadavg: 2.23 2.06 1.99 3/262 13961
/proc/meminfo: memFree=31326084/32770624 swapFree=5848/357744
[pid=13961] ppid=13958 vsize=10900580 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 7717 0 0 0 26 2 0 0 20 0 20 0 12124251 11162193920 9102 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2725145 9102 2901 1 0 2713552 0
[pid=13961/tid=13962] ppid=13958 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) R 13958 13961 10613 0 -1 4202560 4890 0 0 0 17 1 0 0 20 0 20 0 12124251 11162193920 9102 33554432000 4194304 4196468 140737278190720 140448374000944 140448353842526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.300376 s]
/proc/loadavg: 2.23 2.06 1.99 3/262 13961
/proc/meminfo: memFree=31326084/32770624 swapFree=5848/357744
[pid=13961] ppid=13958 vsize=10969228 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 8461 0 0 0 45 3 0 0 20 0 21 0 12124251 11232489472 13385 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2742307 13385 2997 1 0 2730193 0
[pid=13961/tid=13962] ppid=13958 vsize=10969228 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) S 13958 13961 10613 0 -1 1077944384 5186 0 0 0 22 2 0 0 20 0 21 0 12124251 11232489472 13385 33554432000 4194304 4196468 140737278190720 140448374004912 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700212 s]
/proc/loadavg: 2.23 2.06 1.99 3/262 13961
/proc/meminfo: memFree=31326084/32770624 swapFree=5848/357744
[pid=13961] ppid=13958 vsize=10971352 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 12484 0 0 0 167 4 0 0 20 0 21 0 12124251 11234664448 23943 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2742838 23943 3106 1 0 2730705 0
[pid=13961/tid=13962] ppid=13958 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) S 13958 13961 10613 0 -1 1077944384 5186 0 0 0 22 2 0 0 20 0 21 0 12124251 11234664448 23943 33554432000 4194304 4196468 140737278190720 140448374004912 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10971352
[startup+1.5008 s]
/proc/loadavg: 2.23 2.06 1.99 7/283 13982
/proc/meminfo: memFree=31129944/32770624 swapFree=5848/357824
[pid=13961] ppid=13958 vsize=10971352 CPUtime=4.56 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 17395 0 0 0 444 12 0 0 20 0 21 0 12124251 11234664448 53060 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2742838 53060 3142 1 0 2730705 0
[pid=13961/tid=13962] ppid=13958 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) S 13958 13961 10613 0 -1 1077944384 5186 0 0 0 22 2 0 0 20 0 21 0 12124251 11234664448 53060 33554432000 4194304 4196468 140737278190720 140448374004912 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13963] ppid=13958 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13963/stat : 13963 (java) S 13958 13961 10613 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140448322382864 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13965] ppid=13958 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13965/stat : 13965 (java) S 13958 13961 10613 0 -1 1077944384 6 0 0 0 1 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140448321330320 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13966] ppid=13958 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13966/stat : 13966 (java) S 13958 13961 10613 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140448320277264 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13967] ppid=13958 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13967/stat : 13967 (java) S 13958 13961 10613 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140448319224720 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13968] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13968/stat : 13968 (java) S 13958 13961 10613 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140448318171664 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13969] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13969/stat : 13969 (java) S 13958 13961 10613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447970941584 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13970] ppid=13958 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13970/stat : 13970 (java) S 13958 13961 10613 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447969888528 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13971] ppid=13958 vsize=10971352 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13971/stat : 13971 (java) S 13958 13961 10613 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 21 0 12124252 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447968835984 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13972] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13972/stat : 13972 (java) S 13958 13961 10613 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 12124254 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447845440240 140448369773186 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13973] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13973/stat : 13973 (java) S 13958 13961 10613 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 12124255 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447844386464 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13974] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13974/stat : 13974 (java) S 13958 13961 10613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 12124255 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447843333360 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13975] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13975/stat : 13975 (java) S 13958 13961 10613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 12124259 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447842281936 140448369780635 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13976] ppid=13958 vsize=10971352 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13976/stat : 13976 (java) S 13958 13961 10613 0 -1 1077944384 2377 0 0 0 76 0 0 0 20 0 21 0 12124259 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447841229040 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13977] ppid=13958 vsize=10971352 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13977/stat : 13977 (java) R 13958 13961 10613 0 -1 4202560 2016 0 0 0 86 0 0 0 20 0 21 0 12124259 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447840163120 140448351307546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13978] ppid=13958 vsize=10971352 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13978/stat : 13978 (java) S 13958 13961 10613 0 -1 1077944384 2289 0 0 0 75 0 0 0 20 0 21 0 12124259 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447839123440 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13979] ppid=13958 vsize=10971352 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13979/stat : 13979 (java) S 13958 13961 10613 0 -1 1077944384 1801 0 0 0 54 0 0 0 20 0 21 0 12124259 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447838070896 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13980] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13980/stat : 13980 (java) S 13958 13961 10613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 12124259 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447837019104 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13981] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13981/stat : 13981 (java) S 13958 13961 10613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 12124260 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447835966640 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13982] ppid=13958 vsize=10971352 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13982/stat : 13982 (java) R 13958 13961 10613 0 -1 4202560 2130 0 0 0 117 2 0 0 20 0 21 0 12124277 11234664448 53060 33554432000 4194304 4196468 140737278190720 140447832772976 140448002425204 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 10971352
[startup+3.10117 s]
/proc/loadavg: 2.22 2.06 1.99 6/283 13982
/proc/meminfo: memFree=31124612/32770624 swapFree=5848/357824
[pid=13961] ppid=13958 vsize=10971352 CPUtime=9.74 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 22581 0 0 0 947 27 0 0 20 0 21 0 12124251 11234664448 90674 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2742838 90674 3164 1 0 2730705 0
[pid=13961/tid=13962] ppid=13958 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) S 13958 13961 10613 0 -1 1077944384 5186 0 0 0 22 2 0 0 20 0 21 0 12124251 11234664448 90674 33554432000 4194304 4196468 140737278190720 140448374004912 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13963] ppid=13958 vsize=10971352 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13963/stat : 13963 (java) S 13958 13961 10613 0 -1 1077944384 130 0 0 0 3 2 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140448322382864 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13965] ppid=13958 vsize=10971352 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13965/stat : 13965 (java) S 13958 13961 10613 0 -1 1077944384 56 0 0 0 3 2 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140448321330320 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13966] ppid=13958 vsize=10971352 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13966/stat : 13966 (java) S 13958 13961 10613 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140448320277264 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13967] ppid=13958 vsize=10971352 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13967/stat : 13967 (java) S 13958 13961 10613 0 -1 1077944384 63 0 0 0 2 2 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140448319224720 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13968] ppid=13958 vsize=10971352 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13968/stat : 13968 (java) S 13958 13961 10613 0 -1 1077944384 55 0 0 0 2 2 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140448318171664 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13969] ppid=13958 vsize=10971352 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13969/stat : 13969 (java) S 13958 13961 10613 0 -1 1077944384 72 0 0 0 2 1 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140447970941584 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13970] ppid=13958 vsize=10971352 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13970/stat : 13970 (java) S 13958 13961 10613 0 -1 1077944384 130 0 0 0 2 1 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140447969888528 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13971] ppid=13958 vsize=10971352 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13971/stat : 13971 (java) S 13958 13961 10613 0 -1 1077944384 71 0 0 0 3 1 0 0 20 0 21 0 12124252 11234664448 90674 33554432000 4194304 4196468 140737278190720 140447968835984 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13972] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13972/stat : 13972 (java) S 13958 13961 10613 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 21 0 12124254 11234664448 90674 33554432000 4194304 4196468 140737278190720 140447845440240 140448369773186 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13973] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13973/stat : 13973 (java) S 13958 13961 10613 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 12124255 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447844386528 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13974] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13974/stat : 13974 (java) S 13958 13961 10613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 12124255 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447843333376 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13975] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13975/stat : 13975 (java) S 13958 13961 10613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 12124259 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447842281936 140448369780635 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13976] ppid=13958 vsize=10971352 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13976/stat : 13976 (java) R 13958 13961 10613 0 -1 4202560 5029 0 0 0 185 0 0 0 20 0 21 0 12124259 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447841214920 140448349949129 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13977] ppid=13958 vsize=10971352 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13977/stat : 13977 (java) R 13958 13961 10613 0 -1 4202560 2830 0 0 0 194 1 0 0 20 0 21 0 12124259 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447840157488 140448353258819 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13978] ppid=13958 vsize=10971352 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13978/stat : 13978 (java) R 13958 13961 10613 0 -1 4202560 3038 0 0 0 178 1 0 0 20 0 21 0 12124259 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447839104456 140448353172911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13979] ppid=13958 vsize=10971352 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13979/stat : 13979 (java) S 13958 13961 10613 0 -1 1077944384 2163 0 0 0 69 0 0 0 20 0 21 0 12124259 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447838070896 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13980] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13980/stat : 13980 (java) S 13958 13961 10613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 12124259 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447837019104 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13981] ppid=13958 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13981/stat : 13981 (java) S 13958 13961 10613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 12124260 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447835966640 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13982] ppid=13958 vsize=10971352 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13982/stat : 13982 (java) R 13958 13961 10613 0 -1 4202560 2279 0 0 0 272 3 0 0 20 0 21 0 12124277 11234664448 91186 33554432000 4194304 4196468 140737278190720 140447832771016 140448001222329 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (KiB) 10971352
[startup+6.30093 s]
/proc/loadavg: 2.22 2.06 1.99 3/283 13982
/proc/meminfo: memFree=30894140/32770624 swapFree=5848/357824
[pid=13961] ppid=13958 vsize=10973400 CPUtime=16.16 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 32759 0 0 0 1560 56 0 0 20 0 21 0 12124251 11236761600 111224 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2743350 111224 3170 1 0 2731217 0
[pid=13961/tid=13962] ppid=13958 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) S 13958 13961 10613 0 -1 1077944384 5186 0 0 0 22 2 0 0 20 0 21 0 12124251 11236761600 111224 33554432000 4194304 4196468 140737278190720 140448374004912 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13963] ppid=13958 vsize=10973400 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13963/stat : 13963 (java) S 13958 13961 10613 0 -1 1077944384 158 0 0 0 8 5 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140448322382864 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13965] ppid=13958 vsize=10973400 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13965/stat : 13965 (java) S 13958 13961 10613 0 -1 1077944384 79 0 0 0 8 4 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140448321330320 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13966] ppid=13958 vsize=10973400 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13966/stat : 13966 (java) S 13958 13961 10613 0 -1 1077944384 54 0 0 0 6 5 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140448320277264 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13967] ppid=13958 vsize=10973400 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13967/stat : 13967 (java) S 13958 13961 10613 0 -1 1077944384 95 0 0 0 7 6 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140448319224720 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13968] ppid=13958 vsize=10973400 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13968/stat : 13968 (java) S 13958 13961 10613 0 -1 1077944384 81 0 0 0 6 5 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140448318171664 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13969] ppid=13958 vsize=10973400 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13969/stat : 13969 (java) S 13958 13961 10613 0 -1 1077944384 104 0 0 0 7 5 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447970941584 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13970] ppid=13958 vsize=10973400 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13970/stat : 13970 (java) S 13958 13961 10613 0 -1 1077944384 158 0 0 0 4 4 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447969888528 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13971] ppid=13958 vsize=10973400 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13971/stat : 13971 (java) S 13958 13961 10613 0 -1 1077944384 102 0 0 0 9 4 0 0 20 0 21 0 12124252 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447968835984 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13972] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13972/stat : 13972 (java) S 13958 13961 10613 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 21 0 12124254 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447845440240 140448369773186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13973] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13973/stat : 13973 (java) S 13958 13961 10613 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 12124255 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447844386528 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13974] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13974/stat : 13974 (java) S 13958 13961 10613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 12124255 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447843333376 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13975] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13975/stat : 13975 (java) S 13958 13961 10613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 12124259 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447842281936 140448369780635 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13976] ppid=13958 vsize=10973400 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13976/stat : 13976 (java) S 13958 13961 10613 0 -1 1077944384 5881 0 0 0 263 0 0 0 20 0 21 0 12124259 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447841229040 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13977] ppid=13958 vsize=10973400 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13977/stat : 13977 (java) S 13958 13961 10613 0 -1 1077944384 7126 0 0 0 288 1 0 0 20 0 21 0 12124259 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447840176496 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13978] ppid=13958 vsize=10973400 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13978/stat : 13978 (java) S 13958 13961 10613 0 -1 1077944384 5041 0 0 0 256 1 0 0 20 0 21 0 12124259 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447839123440 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13979] ppid=13958 vsize=10973400 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13979/stat : 13979 (java) S 13958 13961 10613 0 -1 1077944384 2719 0 0 0 87 1 0 0 20 0 21 0 12124259 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447838070896 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13980] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13980/stat : 13980 (java) S 13958 13961 10613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 12124259 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447837019104 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13981] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13981/stat : 13981 (java) S 13958 13961 10613 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 21 0 12124260 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447835966640 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13982] ppid=13958 vsize=10973400 CPUtime=5.86 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13982/stat : 13982 (java) R 13958 13961 10613 0 -1 4202560 3858 0 0 0 582 4 0 0 20 0 21 0 12124277 11236761600 111224 33554432000 4194304 4196468 140737278190720 140447832773832 140448005898730 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 16.16
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13961 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40096 s]
/proc/loadavg: 2.22 2.06 1.99 3/283 13982
/proc/meminfo: memFree=30894140/32770624 swapFree=5848/357824
[pid=13961] ppid=13958 vsize=10973400 CPUtime=16.3 cores=0,2,4,6,8,10,12,14
/proc/13961/stat : 13961 (java) S 13958 13961 10613 0 -1 1077944320 34616 0 0 0 1574 56 0 0 20 0 21 0 12124251 11236761600 111259 33554432000 4194304 4196468 140737278190720 140737278173264 140448369762039 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
/proc/13961/statm: 2743350 111259 3170 1 0 2731217 0
[pid=13961/tid=13962] ppid=13958 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13962/stat : 13962 (java) S 13958 13961 10613 0 -1 1077944384 5186 0 0 0 22 2 0 0 20 0 21 0 12124251 11236761600 111259 33554432000 4194304 4196468 140737278190720 140448374004912 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13963] ppid=13958 vsize=10973400 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13963/stat : 13963 (java) S 13958 13961 10613 0 -1 1077944384 158 0 0 0 8 5 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140448322382864 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13965] ppid=13958 vsize=10973400 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13965/stat : 13965 (java) S 13958 13961 10613 0 -1 1077944384 79 0 0 0 8 4 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140448321330320 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13966] ppid=13958 vsize=10973400 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13966/stat : 13966 (java) S 13958 13961 10613 0 -1 1077944384 54 0 0 0 6 5 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140448320277264 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13967] ppid=13958 vsize=10973400 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13967/stat : 13967 (java) S 13958 13961 10613 0 -1 1077944384 95 0 0 0 7 6 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140448319224720 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13968] ppid=13958 vsize=10973400 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13968/stat : 13968 (java) S 13958 13961 10613 0 -1 1077944384 81 0 0 0 6 5 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140448318171664 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13969] ppid=13958 vsize=10973400 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13969/stat : 13969 (java) S 13958 13961 10613 0 -1 1077944384 104 0 0 0 7 5 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447970941584 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13970] ppid=13958 vsize=10973400 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13970/stat : 13970 (java) S 13958 13961 10613 0 -1 1077944384 158 0 0 0 4 4 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447969888528 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13971] ppid=13958 vsize=10973400 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13971/stat : 13971 (java) S 13958 13961 10613 0 -1 1077944384 102 0 0 0 9 4 0 0 20 0 21 0 12124252 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447968835984 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13972] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13972/stat : 13972 (java) S 13958 13961 10613 0 -1 1077944384 948 0 0 0 0 0 0 0 20 0 21 0 12124254 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447845440240 140448369773186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13973] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13973/stat : 13973 (java) S 13958 13961 10613 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 12124255 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447844386528 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13974] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13974/stat : 13974 (java) S 13958 13961 10613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 12124255 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447843333376 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13975] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13975/stat : 13975 (java) S 13958 13961 10613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 12124259 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447842281936 140448369780635 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13976] ppid=13958 vsize=10973400 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13976/stat : 13976 (java) R 13958 13961 10613 0 -1 4202560 5902 0 0 0 264 0 0 0 20 0 21 0 12124259 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447841229040 140448351079383 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13977] ppid=13958 vsize=10973400 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13977/stat : 13977 (java) S 13958 13961 10613 0 -1 1077944384 7143 0 0 0 289 1 0 0 20 0 21 0 12124259 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447840176496 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13978] ppid=13958 vsize=10973400 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13978/stat : 13978 (java) R 13958 13961 10613 0 -1 4202560 5060 0 0 0 257 1 0 0 20 0 21 0 12124259 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447839123440 140448353755106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13979] ppid=13958 vsize=10973400 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13979/stat : 13979 (java) R 13958 13961 10613 0 -1 4202560 3169 0 0 0 88 1 0 0 20 0 21 0 12124259 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447838070896 140448347877827 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13980] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13980/stat : 13980 (java) S 13958 13961 10613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 12124259 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447837019104 140448369772245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13981] ppid=13958 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13981/stat : 13981 (java) S 13958 13961 10613 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 21 0 12124260 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447835966640 140448369773186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
[pid=13961/tid=13982] ppid=13958 vsize=10973400 CPUtime=5.96 cores=0,2,4,6,8,10,12,14
/proc/13961/task/13982/stat : 13982 (java) R 13958 13961 10613 0 -1 4202560 4537 0 0 0 592 4 0 0 20 0 21 0 12124277 11236761600 111259 33554432000 4194304 4196468 140737278190720 140447832769936 140448006689158 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15568896 140737278194883 140737278195012 140737278195012 140737278197711 0
Current children cumulated CPU time (s) 16.3
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 6.42813
CPU time (s): 16.3432
CPU user time (s): 15.7672
CPU system time (s): 0.576088
CPU usage (%): 254.246
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.7672
system time used= 0.576088
maximum resident set size= 448472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3762
involuntary context switches= 1096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051821 second user time and 0.068932 second system time
The end