runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458253-1307158492/watcher-3458253-1307158492 -o /tmp/evaluation-result-3458253-1307158492/solver-3458253-1307158492 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458253-1307158492.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 1.94 2/579 2641
/proc/meminfo: memFree=30029396/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 1310 0 0 0 0 0 0 0 25 0 2 0 827447932 36646912 1011 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 8947 1016 780 9 0 386 0
[pid=2641/tid=2642] ppid=2639 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 9201 0 1 0 0 0 0 0 25 0 2 0 827447932 13850947584 10017 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0773899 s]
/proc/loadavg: 2.00 2.01 1.94 2/579 2641
/proc/meminfo: memFree=30029396/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 14449 0 1 0 6 1 0 0 25 0 18 0 827447932 13880410112 14145 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3388772 14145 1755 9 0 3379506 0
[pid=2641/tid=2642] ppid=2639 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 13273 0 1 0 6 0 0 0 25 0 18 0 827447932 13880410112 14145 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826066891 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100384 s]
/proc/loadavg: 2.00 2.01 1.94 2/579 2641
/proc/meminfo: memFree=30029396/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13621968 CPUtime=0.1 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 15544 0 1 0 9 1 0 0 25 0 18 0 827447932 13948895232 15240 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3405492 15244 2092 9 0 3396226 0
[pid=2641/tid=2642] ppid=2639 vsize=13621968 CPUtime=0.09 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 13665 0 1 0 8 1 0 0 18 0 18 0 827447932 13948895232 15246 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621968
[startup+0.30535 s]
/proc/loadavg: 2.00 2.01 1.94 2/579 2641
/proc/meminfo: memFree=30029396/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13628104 CPUtime=0.54 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 18281 0 1 0 53 1 0 0 25 0 19 0 827447932 13955178496 17228 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3407026 17228 2200 9 0 3397760 0
[pid=2641/tid=2642] ppid=2639 vsize=13628104 CPUtime=0.29 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 14255 0 1 0 28 1 0 0 19 0 19 0 827447932 13955178496 17228 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912505217871 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13628104
[startup+0.700375 s]
/proc/loadavg: 2.00 2.01 1.94 2/579 2641
/proc/meminfo: memFree=30029396/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13628104 CPUtime=1.02 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 19758 0 1 0 101 1 0 0 25 0 19 0 827447932 13955178496 18396 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3407026 18396 2236 9 0 3397760 0
[pid=2641/tid=2642] ppid=2639 vsize=13628104 CPUtime=0.67 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 14601 0 1 0 66 1 0 0 19 0 19 0 827447932 13955178496 18396 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912505614311 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13628104
[startup+1.50115 s]
/proc/loadavg: 2.00 2.01 1.94 3/598 2660
/proc/meminfo: memFree=29960124/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13643712 CPUtime=2.02 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 26081 0 1 0 200 2 0 0 25 0 19 0 827447932 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3410928 22609 2238 9 0 3401662 0
[pid=2641/tid=2642] ppid=2639 vsize=13643712 CPUtime=1.44 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 14607 0 1 0 143 1 0 0 20 0 19 0 827447932 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912505567709 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2641/tid=2644] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2644/stat : 2644 (java) S 2639 2641 31166 0 -1 4202560 255 0 0 0 0 0 0 0 15 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2645] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2645/stat : 2645 (java) S 2639 2641 31166 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2646] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2646/stat : 2646 (java) S 2639 2641 31166 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2647] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2647/stat : 2647 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2648] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2648/stat : 2648 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2649] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2649/stat : 2649 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2650] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2650/stat : 2650 (java) S 2639 2641 31166 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2651] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2651/stat : 2651 (java) S 2639 2641 31166 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 827447934 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2652] ppid=2639 vsize=13643712 CPUtime=0.03 cores=0,2,4,6
/proc/2641/task/2652/stat : 2652 (java) S 2639 2641 31166 0 -1 4202560 721 0 0 0 3 0 0 0 16 0 19 0 827447935 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 0 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2653] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2653/stat : 2653 (java) S 2639 2641 31166 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827447936 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2654] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2654/stat : 2654 (java) S 2639 2641 31166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827447936 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2655] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2655/stat : 2655 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827447938 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826063793 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2656] ppid=2639 vsize=13643712 CPUtime=0.19 cores=0,2,4,6
/proc/2641/task/2656/stat : 2656 (java) S 2639 2641 31166 0 -1 4202560 2131 0 0 0 19 0 0 0 16 0 19 0 827447938 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2657] ppid=2639 vsize=13643712 CPUtime=0.31 cores=0,2,4,6
/proc/2641/task/2657/stat : 2657 (java) R 2639 2641 31166 0 -1 4202560 6773 0 0 0 31 0 0 0 16 0 19 0 827447938 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46990775105620 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2641/tid=2658] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2658/stat : 2658 (java) S 2639 2641 31166 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 827447938 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2659] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2659/stat : 2659 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447938 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2660] ppid=2639 vsize=13643712 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2660/stat : 2660 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827447948 13971161088 22609 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 13643712
[startup+3.10095 s]
/proc/loadavg: 2.00 2.01 1.94 4/598 2660
/proc/meminfo: memFree=29930984/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13645844 CPUtime=4.82 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 38270 0 1 0 479 3 0 0 25 0 19 0 827447932 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3411461 26359 2248 9 0 3402195 0
[pid=2641/tid=2642] ppid=2639 vsize=13645844 CPUtime=2.99 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 14618 0 1 0 298 1 0 0 25 0 19 0 827447932 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912505587008 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2641/tid=2644] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2644/stat : 2644 (java) S 2639 2641 31166 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2645] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2645/stat : 2645 (java) S 2639 2641 31166 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2646] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2646/stat : 2646 (java) S 2639 2641 31166 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2647] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2647/stat : 2647 (java) S 2639 2641 31166 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2648] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2648/stat : 2648 (java) S 2639 2641 31166 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2649] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2649/stat : 2649 (java) S 2639 2641 31166 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2650] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2650/stat : 2650 (java) S 2639 2641 31166 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2651] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2651/stat : 2651 (java) S 2639 2641 31166 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 827447934 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2652] ppid=2639 vsize=13645844 CPUtime=0.07 cores=0,2,4,6
/proc/2641/task/2652/stat : 2652 (java) S 2639 2641 31166 0 -1 4202560 1003 0 0 0 7 0 0 0 16 0 19 0 827447935 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 0 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2653] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2653/stat : 2653 (java) S 2639 2641 31166 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827447936 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2654] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2654/stat : 2654 (java) S 2639 2641 31166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827447936 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2655] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2655/stat : 2655 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827447938 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826063793 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2656] ppid=2639 vsize=13645844 CPUtime=1.15 cores=0,2,4,6
/proc/2641/task/2656/stat : 2656 (java) R 2639 2641 31166 0 -1 4202560 12962 0 0 0 114 1 0 0 16 0 19 0 827447938 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46990776317327 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2641/tid=2657] ppid=2639 vsize=13645844 CPUtime=0.56 cores=0,2,4,6
/proc/2641/task/2657/stat : 2657 (java) S 2639 2641 31166 0 -1 4202560 7636 0 0 0 56 0 0 0 15 0 19 0 827447938 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2658] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2658/stat : 2658 (java) S 2639 2641 31166 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 827447938 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2659] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2659/stat : 2659 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447938 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2660] ppid=2639 vsize=13645844 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2660/stat : 2660 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827447948 13973344256 26359 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 13645844
[startup+6.30136 s]
/proc/loadavg: 2.08 2.03 1.94 3/598 2660
/proc/meminfo: memFree=29935176/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13642144 CPUtime=8.16 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 38642 0 1 0 813 3 0 0 25 0 19 0 827447932 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3410536 24264 2248 9 0 3401270 0
[pid=2641/tid=2642] ppid=2639 vsize=13642144 CPUtime=6.07 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 14626 0 1 0 606 1 0 0 25 0 19 0 827447932 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912505521504 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2641/tid=2644] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2644/stat : 2644 (java) S 2639 2641 31166 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2645] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2645/stat : 2645 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2646] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2646/stat : 2646 (java) S 2639 2641 31166 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2647] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2647/stat : 2647 (java) S 2639 2641 31166 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2648] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2648/stat : 2648 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2649] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2649/stat : 2649 (java) S 2639 2641 31166 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2650] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2650/stat : 2650 (java) S 2639 2641 31166 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2651] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2651/stat : 2651 (java) S 2639 2641 31166 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2652] ppid=2639 vsize=13642144 CPUtime=0.18 cores=0,2,4,6
/proc/2641/task/2652/stat : 2652 (java) S 2639 2641 31166 0 -1 4202560 1120 0 0 0 18 0 0 0 16 0 19 0 827447935 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 0 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2653] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2653/stat : 2653 (java) S 2639 2641 31166 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827447936 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2654] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2654/stat : 2654 (java) S 2639 2641 31166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827447936 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2655] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2655/stat : 2655 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826063793 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2656] ppid=2639 vsize=13642144 CPUtime=1.27 cores=0,2,4,6
/proc/2641/task/2656/stat : 2656 (java) S 2639 2641 31166 0 -1 4202560 13199 0 0 0 126 1 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2657] ppid=2639 vsize=13642144 CPUtime=0.56 cores=0,2,4,6
/proc/2641/task/2657/stat : 2657 (java) S 2639 2641 31166 0 -1 4202560 7636 0 0 0 56 0 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2658] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2658/stat : 2658 (java) S 2639 2641 31166 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2659] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2659/stat : 2659 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2660] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2660/stat : 2660 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827447948 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 13642144
Solver just ended. Dumping a history of the last processes samples
[startup+7.10116 s]
/proc/loadavg: 2.08 2.03 1.94 3/598 2660
/proc/meminfo: memFree=29934060/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13642144 CPUtime=8.96 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 38643 0 1 0 893 3 0 0 25 0 19 0 827447932 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3410536 24264 2248 9 0 3401270 0
[pid=2641/tid=2642] ppid=2639 vsize=13642144 CPUtime=6.86 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 14627 0 1 0 685 1 0 0 25 0 19 0 827447932 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912505521673 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2641/tid=2644] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2644/stat : 2644 (java) S 2639 2641 31166 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2645] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2645/stat : 2645 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2646] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2646/stat : 2646 (java) S 2639 2641 31166 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2647] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2647/stat : 2647 (java) S 2639 2641 31166 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2648] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2648/stat : 2648 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2649] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2649/stat : 2649 (java) S 2639 2641 31166 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2650] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2650/stat : 2650 (java) S 2639 2641 31166 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2651] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2651/stat : 2651 (java) S 2639 2641 31166 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2652] ppid=2639 vsize=13642144 CPUtime=0.19 cores=0,2,4,6
/proc/2641/task/2652/stat : 2652 (java) S 2639 2641 31166 0 -1 4202560 1120 0 0 0 19 0 0 0 16 0 19 0 827447935 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 0 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2653] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2653/stat : 2653 (java) S 2639 2641 31166 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827447936 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2654] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2654/stat : 2654 (java) S 2639 2641 31166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827447936 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2655] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2655/stat : 2655 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826063793 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2656] ppid=2639 vsize=13642144 CPUtime=1.27 cores=0,2,4,6
/proc/2641/task/2656/stat : 2656 (java) S 2639 2641 31166 0 -1 4202560 13199 0 0 0 126 1 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2657] ppid=2639 vsize=13642144 CPUtime=0.56 cores=0,2,4,6
/proc/2641/task/2657/stat : 2657 (java) S 2639 2641 31166 0 -1 4202560 7636 0 0 0 56 0 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2658] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2658/stat : 2658 (java) S 2639 2641 31166 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2659] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2659/stat : 2659 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2660] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2660/stat : 2660 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827447948 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 13642144
[startup+7.30112 s]
/proc/loadavg: 2.08 2.03 1.94 3/598 2660
/proc/meminfo: memFree=29934060/32950928 swapFree=41528364/67111528
[pid=2641] ppid=2639 vsize=13642144 CPUtime=9.16 cores=0,2,4,6
/proc/2641/stat : 2641 (java) S 2639 2641 31166 0 -1 4202496 38643 0 1 0 913 3 0 0 25 0 19 0 827447932 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2641/statm: 3410536 24264 2248 9 0 3401270 0
[pid=2641/tid=2642] ppid=2639 vsize=13642144 CPUtime=7.06 cores=0,2,4,6
/proc/2641/task/2642/stat : 2642 (java) R 2639 2641 31166 0 -1 4202560 14627 0 1 0 705 1 0 0 25 0 19 0 827447932 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 46912505511185 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2641/tid=2644] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2644/stat : 2644 (java) S 2639 2641 31166 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2645] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2645/stat : 2645 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2646] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2646/stat : 2646 (java) S 2639 2641 31166 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2647] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2647/stat : 2647 (java) S 2639 2641 31166 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2648] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2648/stat : 2648 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2649] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2649/stat : 2649 (java) S 2639 2641 31166 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2650] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2650/stat : 2650 (java) S 2639 2641 31166 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2651] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2651/stat : 2651 (java) S 2639 2641 31166 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 827447934 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2652] ppid=2639 vsize=13642144 CPUtime=0.19 cores=0,2,4,6
/proc/2641/task/2652/stat : 2652 (java) S 2639 2641 31166 0 -1 4202560 1120 0 0 0 19 0 0 0 16 0 19 0 827447935 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 0 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2653] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2653/stat : 2653 (java) S 2639 2641 31166 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827447936 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2654] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2654/stat : 2654 (java) S 2639 2641 31166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 827447936 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2655] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2655/stat : 2655 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826063793 0 4 0 16800975 18446604447148156992 0 0 -1 4 0 0 0
[pid=2641/tid=2656] ppid=2639 vsize=13642144 CPUtime=1.27 cores=0,2,4,6
/proc/2641/task/2656/stat : 2656 (java) S 2639 2641 31166 0 -1 4202560 13199 0 0 0 126 1 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2657] ppid=2639 vsize=13642144 CPUtime=0.56 cores=0,2,4,6
/proc/2641/task/2657/stat : 2657 (java) S 2639 2641 31166 0 -1 4202560 7636 0 0 0 56 0 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2658] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2658/stat : 2658 (java) S 2639 2641 31166 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056089 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
[pid=2641/tid=2659] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2659/stat : 2659 (java) S 2639 2641 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827447938 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 0 0 0 0
[pid=2641/tid=2660] ppid=2639 vsize=13642144 CPUtime=0 cores=0,2,4,6
/proc/2641/task/2660/stat : 2660 (java) S 2639 2641 31166 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827447948 13969555456 24264 33554432000 1073741824 1073778376 140735359900992 18446744073709551615 251826056704 0 4 0 16800975 18446604447148156992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 13642144
Child status: 30
Real time (s): 7.36949
CPU time (s): 9.24859
CPU user time (s): 9.2046
CPU system time (s): 0.043993
CPU usage (%): 125.498
Max. virtual memory (cumulated for all children) (KiB): 13645844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.2046
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38669
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 744
involuntary context switches= 391
runsolver used 0.039993 second user time and 0.105983 second system time
The end