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-4255995-1501651910/watcher-4255995-1501651910 -o /tmp/evaluation-result-4255995-1501651910/solver-4255995-1501651910 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 631835562 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255995-1501651910.xml
pid=8980
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.49 1.90 1.97 3/199 8983
/proc/meminfo: memFree=31627340/32770624 swapFree=0/233544
[pid=8983] ppid=8980 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8983/stat : 8983 (runsolver) D 8980 8983 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13006329 24240128 106 18446744073709551615 4194304 4338465 140728058792912 140728058790552 139622548337367 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 7835648 140728058798183 140728058798662 140728058798662 140728058802122 0
/proc/8983/statm: 5918 106 53 36 0 2156 0
[startup+0.102667 s]
/proc/loadavg: 1.49 1.90 1.97 3/199 8983
/proc/meminfo: memFree=31627340/32770624 swapFree=0/233544
[pid=8983] ppid=8980 vsize=13375000 CPUtime=0.01 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 3668 0 0 0 1 0 0 0 20 0 7 0 13006329 13696000000 3857 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3343750 3857 1960 1 0 3333255 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13375000
[startup+0.203382 s]
/proc/loadavg: 1.49 1.90 1.97 3/199 8983
/proc/meminfo: memFree=31627340/32770624 swapFree=0/233544
[pid=8983] ppid=8980 vsize=13975920 CPUtime=0.09 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 7066 0 0 0 8 1 0 0 20 0 15 0 13006329 14311342080 7728 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3493980 7728 3363 1 0 3482767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13975920
[startup+0.300316 s]
/proc/loadavg: 1.49 1.90 1.97 3/199 8983
/proc/meminfo: memFree=31627340/32770624 swapFree=0/233544
[pid=8983] ppid=8980 vsize=13975920 CPUtime=0.25 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 10790 0 0 0 22 3 0 0 20 0 15 0 13006329 14311342080 10096 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3493980 10096 3530 1 0 3482767 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13975920
[startup+0.705215 s]
/proc/loadavg: 1.49 1.90 1.97 3/199 8983
/proc/meminfo: memFree=31627340/32770624 swapFree=0/233544
[pid=8983] ppid=8980 vsize=13977988 CPUtime=1.14 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 15041 0 0 0 108 6 0 0 20 0 15 0 13006329 14313459712 18348 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3494497 18348 3724 1 0 3483279 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13977988
[startup+1.50126 s]
/proc/loadavg: 1.49 1.90 1.97 3/214 8998
/proc/meminfo: memFree=31479324/32770624 swapFree=0/233568
[pid=8983] ppid=8980 vsize=13982084 CPUtime=3.43 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 28519 0 0 0 330 13 0 0 20 0 15 0 13006329 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3495521 54938 3770 1 0 3484303 0
[pid=8983/tid=8985] ppid=8980 vsize=13982084 CPUtime=1.35 cores=1,3,5,7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 5228 0 -1 4202560 14188 0 0 0 127 8 0 0 20 0 15 0 13006337 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370865735904 140370492387035 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8986] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 5228 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 13006338 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370818464016 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8987] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 5228 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 13006338 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370817411472 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8988] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 13006338 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370816358928 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8989] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 5228 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 13006338 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370815306384 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8990] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 5228 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370408086000 140370861509250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8991] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370407032224 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8992] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370405979632 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8993] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370404928208 140370861516699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8994] ppid=8980 vsize=13982084 CPUtime=0.76 cores=1,3,5,7
/proc/8983/task/8994/stat : 8994 (java) R 8980 8983 5228 0 -1 4202560 3945 0 0 0 75 1 0 0 20 0 15 0 13006343 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370335740248 140370839348288 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8995] ppid=8980 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/8983/task/8995/stat : 8995 (java) R 8980 8983 5228 0 -1 4202560 4151 0 0 0 73 1 0 0 20 0 15 0 13006343 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370334681392 140370840759551 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8996] ppid=8980 vsize=13982084 CPUtime=0.5 cores=1,3,5,7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 5228 0 -1 1077944384 3556 0 0 0 50 0 0 0 20 0 15 0 13006343 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370333649136 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8997] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370332596832 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8998] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 13006346 14317654016 54938 18446744073709551615 4194304 4196468 140735223405600 140370331544368 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 13982084
[startup+3.10065 s]
/proc/loadavg: 1.49 1.90 1.97 3/214 8998
/proc/meminfo: memFree=31406644/32770624 swapFree=0/233576
[pid=8983] ppid=8980 vsize=13982084 CPUtime=5.78 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 29486 0 0 0 563 15 0 0 20 0 15 0 13006329 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3495521 58509 3782 1 0 3484303 0
[pid=8983/tid=8985] ppid=8980 vsize=13982084 CPUtime=2.94 cores=1,3,5,7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 5228 0 -1 4202560 14298 0 0 0 285 9 0 0 20 0 15 0 13006337 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370865736400 140370492437954 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8986] ppid=8980 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 5228 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 15 0 13006338 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370818464016 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8987] ppid=8980 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 5228 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 15 0 13006338 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370817411472 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8988] ppid=8980 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 5228 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 13006338 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370816358928 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8989] ppid=8980 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 5228 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 13006338 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370815306384 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8990] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 5228 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370408086000 140370861509250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8991] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370407032288 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8992] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370405979648 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8993] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370404928208 140370861516699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8994] ppid=8980 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 5228 0 -1 1077944384 4394 0 0 0 109 1 0 0 20 0 15 0 13006343 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370335754224 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8995] ppid=8980 vsize=13982084 CPUtime=1.09 cores=1,3,5,7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 5228 0 -1 1077944384 4395 0 0 0 108 1 0 0 20 0 15 0 13006343 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370334701680 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8996] ppid=8980 vsize=13982084 CPUtime=0.52 cores=1,3,5,7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 5228 0 -1 1077944384 3582 0 0 0 52 0 0 0 20 0 15 0 13006343 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370333649136 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8997] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370332596832 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8998] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 13006346 14317654016 58509 18446744073709551615 4194304 4196468 140735223405600 140370331544368 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 13982084
[startup+6.30067 s]
/proc/loadavg: 1.53 1.90 1.97 3/214 8998
/proc/meminfo: memFree=31395920/32770624 swapFree=0/233576
[pid=8983] ppid=8980 vsize=13982084 CPUtime=9.1 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 29874 0 0 0 892 18 0 0 20 0 15 0 13006329 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3495521 61665 3782 1 0 3484303 0
[pid=8983/tid=8985] ppid=8980 vsize=13982084 CPUtime=6.1 cores=1,3,5,7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 5228 0 -1 4202560 14488 0 0 0 601 9 0 0 20 0 15 0 13006337 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370865736784 140370492388254 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8986] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 5228 0 -1 1077944384 430 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370818464016 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8987] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 5228 0 -1 1077944384 140 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370817411472 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8988] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 5228 0 -1 1077944384 91 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370816358928 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8989] ppid=8980 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 5228 0 -1 1077944384 499 0 0 0 2 1 0 0 20 0 15 0 13006338 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370815306384 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8990] ppid=8980 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 5228 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 13006340 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370408086000 140370861509250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8991] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370407032288 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8992] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370405979648 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8993] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370404928208 140370861516699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8994] ppid=8980 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 5228 0 -1 1077944384 4395 0 0 0 109 1 0 0 20 0 15 0 13006343 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370335754224 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8995] ppid=8980 vsize=13982084 CPUtime=1.13 cores=1,3,5,7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 5228 0 -1 1077944384 4406 0 0 0 112 1 0 0 20 0 15 0 13006343 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370334701680 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8996] ppid=8980 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 5228 0 -1 1077944384 3616 0 0 0 53 0 0 0 20 0 15 0 13006343 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370333649136 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8997] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370332596832 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8998] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 13006346 14317654016 61665 18446744073709551615 4194304 4196468 140735223405600 140370331544368 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8983 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40084 s]
/proc/loadavg: 1.53 1.90 1.97 3/214 8998
/proc/meminfo: memFree=31395920/32770624 swapFree=0/233576
[pid=8983] ppid=8980 vsize=13982084 CPUtime=9.21 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 29895 0 0 0 903 18 0 0 20 0 15 0 13006329 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3495521 62048 3782 1 0 3484303 0
[pid=8983/tid=8985] ppid=8980 vsize=13982084 CPUtime=6.2 cores=1,3,5,7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 5228 0 -1 4202560 14489 0 0 0 611 9 0 0 20 0 15 0 13006337 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370865736560 140370492798879 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8986] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 5228 0 -1 1077944384 447 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370818464016 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8987] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 5228 0 -1 1077944384 141 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370817411472 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8988] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 5228 0 -1 1077944384 92 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370816358928 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8989] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 5228 0 -1 1077944384 500 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370815306384 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8990] ppid=8980 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 5228 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 13006340 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370408086000 140370861509250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8991] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370407032288 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8992] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370405979648 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8993] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370404928208 140370861516699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8994] ppid=8980 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 5228 0 -1 1077944384 4395 0 0 0 109 1 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370335754224 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8995] ppid=8980 vsize=13982084 CPUtime=1.13 cores=1,3,5,7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 5228 0 -1 1077944384 4406 0 0 0 112 1 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370334701680 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8996] ppid=8980 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 5228 0 -1 1077944384 3616 0 0 0 53 0 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370333649136 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8997] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370332596832 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8998] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 13006346 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370331544368 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
Current children cumulated CPU time (s) 9.21
Current children cumulated vsize (KiB) 13982084
[startup+6.5007 s]
/proc/loadavg: 1.53 1.90 1.97 3/214 8998
/proc/meminfo: memFree=31395920/32770624 swapFree=0/233576
[pid=8983] ppid=8980 vsize=13982084 CPUtime=9.31 cores=1,3,5,7
/proc/8983/stat : 8983 (java) S 8980 8983 5228 0 -1 1077944320 29895 0 0 0 913 18 0 0 20 0 15 0 13006329 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140735223388144 140370861498103 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
/proc/8983/statm: 3495521 62048 3782 1 0 3484303 0
[pid=8983/tid=8985] ppid=8980 vsize=13982084 CPUtime=6.3 cores=1,3,5,7
/proc/8983/task/8985/stat : 8985 (java) R 8980 8983 5228 0 -1 4202560 14489 0 0 0 621 9 0 0 20 0 15 0 13006337 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370865736560 140370492436895 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8986] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8986/stat : 8986 (java) S 8980 8983 5228 0 -1 1077944384 447 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370818464016 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8987] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8987/stat : 8987 (java) S 8980 8983 5228 0 -1 1077944384 141 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370817411472 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8988] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8988/stat : 8988 (java) S 8980 8983 5228 0 -1 1077944384 92 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370816358928 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8989] ppid=8980 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/8983/task/8989/stat : 8989 (java) S 8980 8983 5228 0 -1 1077944384 500 0 0 0 3 1 0 0 20 0 15 0 13006338 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370815306384 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8990] ppid=8980 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/8983/task/8990/stat : 8990 (java) S 8980 8983 5228 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 13006340 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370408086000 140370861509250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8991] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8991/stat : 8991 (java) S 8980 8983 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370407032288 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8992] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8992/stat : 8992 (java) S 8980 8983 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 13006340 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370405979648 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8993] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8993/stat : 8993 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370404928208 140370861516699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8994] ppid=8980 vsize=13982084 CPUtime=1.1 cores=1,3,5,7
/proc/8983/task/8994/stat : 8994 (java) S 8980 8983 5228 0 -1 1077944384 4395 0 0 0 109 1 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370335754224 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8995] ppid=8980 vsize=13982084 CPUtime=1.13 cores=1,3,5,7
/proc/8983/task/8995/stat : 8995 (java) S 8980 8983 5228 0 -1 1077944384 4406 0 0 0 112 1 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370334701680 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8996] ppid=8980 vsize=13982084 CPUtime=0.53 cores=1,3,5,7
/proc/8983/task/8996/stat : 8996 (java) S 8980 8983 5228 0 -1 1077944384 3616 0 0 0 53 0 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370333649136 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8997] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8997/stat : 8997 (java) S 8980 8983 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13006343 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370332596832 140370861508309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
[pid=8983/tid=8998] ppid=8980 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8983/task/8998/stat : 8998 (java) S 8980 8983 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 13006346 14317654016 62048 18446744073709551615 4194304 4196468 140735223405600 140370331544368 140370861509250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16048128 140735223411090 140735223411275 140735223411275 140735223414735 0
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 6.59018
CPU time (s): 9.39782
CPU user time (s): 9.21204
CPU system time (s): 0.185775
CPU usage (%): 142.603
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.21204
system time used= 0.185775
maximum resident set size= 248756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2776
involuntary context switches= 31
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036304 second user time and 0.044186 second system time
The end