runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3744836-1338809010/watcher-3744836-1338809010 -o /tmp/evaluation-result-3744836-1338809010/solver-3744836-1338809010 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744836-1338809010.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.95 1.98 1.99 4/194 23962
/proc/meminfo: memFree=26419424/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/23962/stat : 23962 (java) R 23960 23962 21172 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 347026732 278528 33 33554432000 1073741824 1073778376 140737418606512 140737418603688 214360485159 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23962/statm: 68 33 25 9 0 25 0
[startup+0.0433449 s]
/proc/loadavg: 1.95 1.98 1.99 4/194 23962
/proc/meminfo: memFree=26419424/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=2414972 CPUtime=0.01 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 3214 0 1 0 1 0 0 0 20 0 10 0 347026732 2472931328 3914 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 603743 3914 1540 9 0 594444 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2414972
[startup+0.100215 s]
/proc/loadavg: 1.95 1.98 1.99 4/194 23962
/proc/meminfo: memFree=26419424/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 3669 0 1 0 5 1 0 0 20 0 18 0 347026732 3028844544 5388 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 739464 5388 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.300201 s]
/proc/loadavg: 1.95 1.98 1.99 4/194 23962
/proc/meminfo: memFree=26419424/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 5594 0 1 0 42 2 0 0 20 0 18 0 347026732 3028844544 11812 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 739464 11812 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700207 s]
/proc/loadavg: 1.95 1.98 1.99 4/194 23962
/proc/meminfo: memFree=26419424/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=2957856 CPUtime=1.07 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 8593 0 1 0 102 5 0 0 20 0 18 0 347026732 3028844544 46743 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 739464 46743 2250 9 0 729885 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 2957856
[startup+1.50076 s]
/proc/loadavg: 1.95 1.98 1.99 3/212 23980
/proc/meminfo: memFree=26096128/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=2957856 CPUtime=1.98 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 8796 0 1 0 185 13 0 0 20 0 18 0 347026732 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 739464 116915 2266 9 0 729885 0
[pid=23962/tid=23964] ppid=23960 vsize=2957856 CPUtime=1.4 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) R 23960 23962 21172 0 -1 4202560 2760 0 1 0 131 9 0 0 20 0 18 0 347026733 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500994740336 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23965] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23962 21172 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500860308264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23966] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23962 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500859255464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23967] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23962 21172 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500858203176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23968] ppid=23960 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23962 21172 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500857150376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23969] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23962 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500856097064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23970] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23962 21172 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500855044264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23971] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23962 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500853991976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23972] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347026735 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500852939176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23973] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23962 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 347026736 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500840741608 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23974] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23962 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347026737 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500839687672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23975] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347026737 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500838635272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23976] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500837583760 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23977] ppid=23960 vsize=2957856 CPUtime=0.2 cores=1,3,5,7
/proc/23962/task/23977/stat : 23977 (java) S 23960 23962 21172 0 -1 4202560 2437 0 0 0 20 0 0 0 20 0 18 0 347026740 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500836530360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23978] ppid=23960 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23962/task/23978/stat : 23978 (java) S 23960 23962 21172 0 -1 4202560 2343 0 0 0 21 0 0 0 20 0 18 0 347026740 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500835477560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23979] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23979/stat : 23979 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500834425464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23980] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23980/stat : 23980 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 116915 33554432000 1073741824 1073778376 140736841565040 140500833372872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2957856
[startup+3.10076 s]
/proc/loadavg: 1.95 1.98 1.99 3/212 23980
/proc/meminfo: memFree=25927448/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=2957856 CPUtime=3.87 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 8926 0 1 0 365 22 0 0 20 0 18 0 347026732 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 739464 129744 2266 9 0 729885 0
[pid=23962/tid=23964] ppid=23960 vsize=2957856 CPUtime=2.9 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) R 23960 23962 21172 0 -1 4202560 2762 0 1 0 281 9 0 0 20 0 18 0 347026733 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500994740336 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23965] ppid=23960 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23962 21172 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500860308264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23966] ppid=23960 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23962 21172 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500859255464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23967] ppid=23960 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23962 21172 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500858203176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23968] ppid=23960 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23962 21172 0 -1 4202560 33 0 0 0 6 1 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500857150376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23969] ppid=23960 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23962 21172 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500856097064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23970] ppid=23960 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23962 21172 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500855044264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23971] ppid=23960 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23962 21172 0 -1 4202560 21 0 0 0 4 2 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500853991976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23972] ppid=23960 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23962 21172 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 18 0 347026735 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500852939176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23973] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23962 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 347026736 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500840741608 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23974] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23962 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347026737 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500839687672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23975] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347026737 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500838635272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23976] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500837583760 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23977] ppid=23960 vsize=2957856 CPUtime=0.2 cores=1,3,5,7
/proc/23962/task/23977/stat : 23977 (java) S 23960 23962 21172 0 -1 4202560 2437 0 0 0 20 0 0 0 20 0 18 0 347026740 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500836530360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23978] ppid=23960 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23962/task/23978/stat : 23978 (java) S 23960 23962 21172 0 -1 4202560 2343 0 0 0 21 0 0 0 20 0 18 0 347026740 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500835477560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23979] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23979/stat : 23979 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500834425464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23980] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23980/stat : 23980 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 129744 33554432000 1073741824 1073778376 140736841565040 140500833372872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 2957856
[startup+6.30075 s]
/proc/loadavg: 1.95 1.98 1.99 3/212 23980
/proc/meminfo: memFree=25859120/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=2957856 CPUtime=7.84 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 9197 0 1 0 749 35 0 0 20 0 18 0 347026732 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 739464 150280 2266 9 0 729885 0
[pid=23962/tid=23964] ppid=23960 vsize=2957856 CPUtime=5.82 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) R 23960 23962 21172 0 -1 4202560 2767 0 1 0 571 11 0 0 20 0 18 0 347026733 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500994747928 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23965] ppid=23960 vsize=2957856 CPUtime=0.26 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23962 21172 0 -1 4202560 84 0 0 0 22 4 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500860308264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23966] ppid=23960 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23962 21172 0 -1 4202560 38 0 0 0 11 2 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500859255464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23967] ppid=23960 vsize=2957856 CPUtime=0.15 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23962 21172 0 -1 4202560 56 0 0 0 12 3 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500858203176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23968] ppid=23960 vsize=2957856 CPUtime=0.17 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23962 21172 0 -1 4202560 59 0 0 0 15 2 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500857150376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23969] ppid=23960 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23962 21172 0 -1 4202560 42 0 0 0 10 3 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500856097064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23970] ppid=23960 vsize=2957856 CPUtime=0.18 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23962 21172 0 -1 4202560 65 0 0 0 15 3 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500855044264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23971] ppid=23960 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23962 21172 0 -1 4202560 73 0 0 0 23 4 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500853991976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23972] ppid=23960 vsize=2957856 CPUtime=0.14 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23962 21172 0 -1 4202560 48 0 0 0 12 2 0 0 20 0 18 0 347026735 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500852939176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23973] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) S 23960 23962 21172 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 347026736 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500840741608 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23974] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23962 21172 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 347026737 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500839687672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23975] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 347026737 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500838635272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23976] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500837583760 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23977] ppid=23960 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23962/task/23977/stat : 23977 (java) S 23960 23962 21172 0 -1 4202560 2440 0 0 0 21 0 0 0 20 0 18 0 347026740 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500836530360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23978] ppid=23960 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/23962/task/23978/stat : 23978 (java) S 23960 23962 21172 0 -1 4202560 2344 0 0 0 21 0 0 0 20 0 18 0 347026740 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500835477560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23979] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23979/stat : 23979 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500834425464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23980] ppid=23960 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23980/stat : 23980 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 347026740 3028844544 150280 33554432000 1073741824 1073778376 140736841565040 140500833372872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 2957856
[startup+12.7008 s]
/proc/loadavg: 1.96 1.98 1.99 3/212 23981
/proc/meminfo: memFree=25793116/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=3024420 CPUtime=15.24 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 11075 0 1 0 1484 40 0 0 20 0 19 0 347026732 3097006080 158929 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 756105 158929 2294 9 0 746526 0
[pid=23962/tid=23964] ppid=23960 vsize=3024420 CPUtime=12.05 cores=1,3,5,7
################
# More data... #
################
/proc/23962/task/23976/stat : 23976 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500837583760 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23977] ppid=23960 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/23962/task/23977/stat : 23977 (java) S 23960 23962 21172 0 -1 4202560 2687 0 0 0 58 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500836530360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23978] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23978/stat : 23978 (java) S 23960 23962 21172 0 -1 4202560 3972 0 0 0 58 1 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500835477560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23979] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23979/stat : 23979 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500834425464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23980] ppid=23960 vsize=3090984 CPUtime=0.2 cores=1,3,5,7
/proc/23962/task/23980/stat : 23980 (java) S 23960 23962 21172 0 -1 4202560 45 0 0 0 10 10 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500833372872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23987] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23987/stat : 23987 (java) S 23960 23962 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347031163 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500831241384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23995] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23995/stat : 23995 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347106318 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500830188008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 801.87
Current children cumulated vsize (KiB) 3090984
[startup+797.101 s]
/proc/loadavg: 2.05 2.00 2.00 3/215 23995
/proc/meminfo: memFree=24234200/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=3090984 CPUtime=802.27 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 14313 0 1 0 80045 182 0 0 20 0 20 0 347026732 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 772746 419223 2304 9 0 763167 0
[pid=23962/tid=23964] ppid=23960 vsize=3090984 CPUtime=756.07 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23962 21172 0 -1 4202560 2843 0 1 0 75584 23 0 0 20 0 20 0 347026733 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500994749624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23965] ppid=23960 vsize=3090984 CPUtime=0.83 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23962 21172 0 -1 4202560 338 0 0 0 59 24 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500860308264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23966] ppid=23960 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23962 21172 0 -1 4202560 200 0 0 0 32 12 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500859255464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23967] ppid=23960 vsize=3090984 CPUtime=0.83 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23962 21172 0 -1 4202560 519 0 0 0 57 26 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500858203176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23968] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23962 21172 0 -1 4202560 471 0 0 0 42 17 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500857150376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23969] ppid=23960 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23962 21172 0 -1 4202560 654 0 0 0 43 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500856097064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23970] ppid=23960 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23962 21172 0 -1 4202560 474 0 0 0 47 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500855044264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23971] ppid=23960 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23962 21172 0 -1 4202560 464 0 0 0 56 22 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500853991976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23972] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23962 21172 0 -1 4202560 292 0 0 0 41 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500852939176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23973] ppid=23960 vsize=3090984 CPUtime=37.42 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) R 23960 23962 21172 0 -1 4202560 134 0 0 0 3738 4 0 0 20 0 20 0 347026736 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500840741608 140501001257064 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23974] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23962 21172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 347026737 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500839687672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23975] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23962 21172 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 347026737 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500838635272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23976] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500837583760 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23977] ppid=23960 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/23962/task/23977/stat : 23977 (java) S 23960 23962 21172 0 -1 4202560 2687 0 0 0 58 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500836530360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23978] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23978/stat : 23978 (java) S 23960 23962 21172 0 -1 4202560 3972 0 0 0 58 1 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500835477560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23979] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23979/stat : 23979 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500834425464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23980] ppid=23960 vsize=3090984 CPUtime=0.2 cores=1,3,5,7
/proc/23962/task/23980/stat : 23980 (java) S 23960 23962 21172 0 -1 4202560 45 0 0 0 10 10 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500833372872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23987] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23987/stat : 23987 (java) S 23960 23962 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347031163 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500831241384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23995] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23995/stat : 23995 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347106318 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500830188008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 802.27
Current children cumulated vsize (KiB) 3090984
[startup+797.508 s]
/proc/loadavg: 2.04 2.00 2.00 3/215 23995
/proc/meminfo: memFree=24234200/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=3090984 CPUtime=802.68 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 14313 0 1 0 80086 182 0 0 20 0 20 0 347026732 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 772746 419223 2304 9 0 763167 0
[pid=23962/tid=23964] ppid=23960 vsize=3090984 CPUtime=756.07 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23962 21172 0 -1 4202560 2843 0 1 0 75584 23 0 0 20 0 20 0 347026733 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500994749624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23965] ppid=23960 vsize=3090984 CPUtime=0.83 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23962 21172 0 -1 4202560 338 0 0 0 59 24 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500860308264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23966] ppid=23960 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23962 21172 0 -1 4202560 200 0 0 0 32 12 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500859255464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23967] ppid=23960 vsize=3090984 CPUtime=0.83 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23962 21172 0 -1 4202560 519 0 0 0 57 26 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500858203176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23968] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23962 21172 0 -1 4202560 471 0 0 0 42 17 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500857150376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23969] ppid=23960 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23962 21172 0 -1 4202560 654 0 0 0 43 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500856097064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23970] ppid=23960 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23962 21172 0 -1 4202560 474 0 0 0 47 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500855044264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23971] ppid=23960 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23962 21172 0 -1 4202560 464 0 0 0 56 22 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500853991976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23972] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23962 21172 0 -1 4202560 292 0 0 0 41 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500852939176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23973] ppid=23960 vsize=3090984 CPUtime=37.82 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) R 23960 23962 21172 0 -1 4202560 134 0 0 0 3778 4 0 0 20 0 20 0 347026736 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500840741768 214369321244 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23974] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23962 21172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 347026737 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500839687672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23975] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23962 21172 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 347026737 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500838635272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23976] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500837583760 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23977] ppid=23960 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/23962/task/23977/stat : 23977 (java) S 23960 23962 21172 0 -1 4202560 2687 0 0 0 58 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500836530360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23978] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23978/stat : 23978 (java) S 23960 23962 21172 0 -1 4202560 3972 0 0 0 58 1 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500835477560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23979] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23979/stat : 23979 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500834425464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23980] ppid=23960 vsize=3090984 CPUtime=0.2 cores=1,3,5,7
/proc/23962/task/23980/stat : 23980 (java) S 23960 23962 21172 0 -1 4202560 45 0 0 0 10 10 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500833372872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23987] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23987/stat : 23987 (java) S 23960 23962 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347031163 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500831241384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23995] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23995/stat : 23995 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347106318 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500830188008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 802.68
Current children cumulated vsize (KiB) 3090984
[startup+797.601 s]
/proc/loadavg: 2.04 2.00 2.00 3/215 23995
/proc/meminfo: memFree=24234200/32873844 swapFree=7632/7632
[pid=23962] ppid=23960 vsize=3090984 CPUtime=802.77 cores=1,3,5,7
/proc/23962/stat : 23962 (java) S 23960 23962 21172 0 -1 4202496 14313 0 1 0 80095 182 0 0 20 0 20 0 347026732 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140736841556176 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23962/statm: 772746 419223 2304 9 0 763167 0
[pid=23962/tid=23964] ppid=23960 vsize=3090984 CPUtime=756.07 cores=1,3,5,7
/proc/23962/task/23964/stat : 23964 (java) S 23960 23962 21172 0 -1 4202560 2843 0 1 0 75584 23 0 0 20 0 20 0 347026733 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500994749624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23962/tid=23965] ppid=23960 vsize=3090984 CPUtime=0.83 cores=1,3,5,7
/proc/23962/task/23965/stat : 23965 (java) S 23960 23962 21172 0 -1 4202560 338 0 0 0 59 24 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500860308264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23966] ppid=23960 vsize=3090984 CPUtime=0.44 cores=1,3,5,7
/proc/23962/task/23966/stat : 23966 (java) S 23960 23962 21172 0 -1 4202560 200 0 0 0 32 12 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500859255464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23967] ppid=23960 vsize=3090984 CPUtime=0.83 cores=1,3,5,7
/proc/23962/task/23967/stat : 23967 (java) S 23960 23962 21172 0 -1 4202560 519 0 0 0 57 26 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500858203176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23968] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23968/stat : 23968 (java) S 23960 23962 21172 0 -1 4202560 471 0 0 0 42 17 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500857150376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23969] ppid=23960 vsize=3090984 CPUtime=0.61 cores=1,3,5,7
/proc/23962/task/23969/stat : 23969 (java) S 23960 23962 21172 0 -1 4202560 654 0 0 0 43 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500856097064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23970] ppid=23960 vsize=3090984 CPUtime=0.65 cores=1,3,5,7
/proc/23962/task/23970/stat : 23970 (java) S 23960 23962 21172 0 -1 4202560 474 0 0 0 47 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500855044264 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23971] ppid=23960 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/23962/task/23971/stat : 23971 (java) S 23960 23962 21172 0 -1 4202560 464 0 0 0 56 22 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500853991976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23972] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23972/stat : 23972 (java) S 23960 23962 21172 0 -1 4202560 292 0 0 0 41 18 0 0 20 0 20 0 347026735 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500852939176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23973] ppid=23960 vsize=3090984 CPUtime=37.92 cores=1,3,5,7
/proc/23962/task/23973/stat : 23973 (java) R 23960 23962 21172 0 -1 4202560 134 0 0 0 3788 4 0 0 20 0 20 0 347026736 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500840741768 140500997318464 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23974] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23974/stat : 23974 (java) S 23960 23962 21172 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 347026737 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500839687672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23975] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23975/stat : 23975 (java) S 23960 23962 21172 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 347026737 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500838635272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23976] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23976/stat : 23976 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500837583760 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23977] ppid=23960 vsize=3090984 CPUtime=0.58 cores=1,3,5,7
/proc/23962/task/23977/stat : 23977 (java) S 23960 23962 21172 0 -1 4202560 2687 0 0 0 58 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500836530360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23978] ppid=23960 vsize=3090984 CPUtime=0.59 cores=1,3,5,7
/proc/23962/task/23978/stat : 23978 (java) S 23960 23962 21172 0 -1 4202560 3972 0 0 0 58 1 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500835477560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23979] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23979/stat : 23979 (java) S 23960 23962 21172 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500834425464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23962/tid=23980] ppid=23960 vsize=3090984 CPUtime=0.2 cores=1,3,5,7
/proc/23962/task/23980/stat : 23980 (java) S 23960 23962 21172 0 -1 4202560 45 0 0 0 10 10 0 0 20 0 20 0 347026740 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500833372872 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23962/tid=23987] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23987/stat : 23987 (java) S 23960 23962 21172 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347031163 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500831241384 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23962/tid=23995] ppid=23960 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/23962/task/23995/stat : 23995 (java) S 23960 23962 21172 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 347106318 3165167616 419223 33554432000 1073741824 1073778376 140736841565040 140500830188008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 802.77
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23962 and gives
# childrusage.ru_utime.tv_sec=798
# childrusage.ru_utime.tv_usec=870553
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=62686
# CPU time returned by wait4() is 800.933
# while last known CPU time is 802.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 797.612
CPU time (s): 802.77
CPU user time (s): 800.95
CPU system time (s): 1.82
CPU usage (%): 100.647
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 798.871
system time used= 2.06269
maximum resident set size= 1676892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14317
page faults= 1
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17714
involuntary context switches= 11106
runsolver used 3.48547 second user time and 7.56385 second system time
The end