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-4262628-1502412253/watcher-4262628-1502412253 -o /tmp/evaluation-result-4262628-1502412253/solver-4262628-1502412253 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502411413-16612 --watchdog 2580 bin/concrete HOME/instance-4262628-1502412253.xml
pid=16632
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 0.00 0.02 0.38 3/182 16636
/proc/meminfo: memFree=31407156/32770624 swapFree=0/289156
[pid=16636] ppid=16632 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16636/stat : 16636 (runsolver) D 16632 16636 16548 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 43420885 24240128 108 18446744073709551615 4194304 4338465 140737046740928 140737046738568 139793613935319 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 33341440 140737046745296 140737046745673 140737046745673 140737046749130 0
/proc/16636/statm: 5918 108 54 36 0 2156 0
[startup+0.100061 s]
/proc/loadavg: 0.00 0.02 0.38 3/182 16636
/proc/meminfo: memFree=31407156/32770624 swapFree=0/289156
[pid=16636] ppid=16632 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/16636/stat : 16636 (bash) S 16632 16636 16548 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 43420885 9736192 352 18446744073709551615 4194304 5098028 140722019878384 140722019876024 139843716217856 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 12075008 140722019885588 140722019885673 140722019885673 140722019889130 0
/proc/16636/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200156 s]
/proc/loadavg: 0.00 0.02 0.38 3/182 16636
/proc/meminfo: memFree=31407156/32770624 swapFree=0/289156
[pid=16636] ppid=16632 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/16636/stat : 16636 (bash) S 16632 16636 16548 0 -1 4202496 896 6470 0 1 0 0 0 1 20 0 1 0 43420885 9867264 377 18446744073709551615 4194304 5098028 140722019878384 140722019872392 139843716217856 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 12075008 140722019885588 140722019885673 140722019885673 140722019889130 0
/proc/16636/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300213 s]
/proc/loadavg: 0.00 0.02 0.38 3/182 16636
/proc/meminfo: memFree=31407156/32770624 swapFree=0/289156
[pid=16636] ppid=16632 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/16636/stat : 16636 (java) S 16632 16636 16548 0 -1 1077944320 5753 12478 0 1 5 1 4 3 20 0 14 0 43420885 14241083392 5418 18446744073709551615 4194304 4196468 140726437882000 140726437864544 140617226641143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
/proc/16636/statm: 3476827 5418 2564 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.704494 s]
/proc/loadavg: 0.00 0.02 0.38 3/182 16636
/proc/meminfo: memFree=31407156/32770624 swapFree=0/289156
[pid=16636] ppid=16632 vsize=13974784 CPUtime=0.63 cores=1,3,5,7
/proc/16636/stat : 16636 (java) S 16632 16636 16548 0 -1 1077944320 13736 12478 0 1 52 4 4 3 20 0 15 0 43420885 14310178816 14708 18446744073709551615 4194304 4196468 140726437882000 140726437864544 140617226641143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
/proc/16636/statm: 3493696 14708 3127 1 0 3482965 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784
[startup+1.5006 s]
/proc/loadavg: 0.00 0.02 0.38 3/216 16766
/proc/meminfo: memFree=31233164/32770624 swapFree=0/292032
[pid=16636] ppid=16632 vsize=13985408 CPUtime=1.72 cores=1,3,5,7
/proc/16636/stat : 16636 (java) S 16632 16636 16548 0 -1 1077944320 24936 12478 0 1 157 8 4 3 20 0 15 0 43420885 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140726437864544 140617226641143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
/proc/16636/statm: 3496352 33627 3337 1 0 3485525 0
[pid=16636/tid=16735] ppid=16632 vsize=13985408 CPUtime=1.2 cores=1,3,5,7
/proc/16636/task/16735/stat : 16735 (java) R 16632 16636 16548 0 -1 4202560 19904 12478 0 1 106 7 4 3 20 0 15 0 43420909 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140617230865488 140617210721630 0 4 1 16800974 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16736] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16736/stat : 16736 (java) S 16632 16636 16548 0 -1 1077944384 2 12478 0 1 0 0 4 3 20 0 15 0 43420909 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140617168587408 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16737] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16737/stat : 16737 (java) S 16632 16636 16548 0 -1 1077944384 1 12478 0 1 0 0 4 3 20 0 15 0 43420909 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140617167534608 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16738] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16738/stat : 16738 (java) S 16632 16636 16548 0 -1 1077944384 1 12478 0 1 0 0 4 3 20 0 15 0 43420909 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140617166481808 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16739] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16739/stat : 16739 (java) S 16632 16636 16548 0 -1 1077944384 2 12478 0 1 0 0 4 3 20 0 15 0 43420909 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140617165429008 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16740] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16740/stat : 16740 (java) S 16632 16636 16548 0 -1 1077944384 5 12478 0 1 0 0 4 3 20 0 15 0 43420911 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616772213616 140617226652290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16741] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16741/stat : 16741 (java) S 16632 16636 16548 0 -1 1077944384 33 12478 0 1 0 0 4 3 20 0 15 0 43420911 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616771159584 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16742] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16742/stat : 16742 (java) S 16632 16636 16548 0 -1 1077944384 21 12478 0 1 0 0 4 3 20 0 15 0 43420911 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616770106736 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16752] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16752/stat : 16752 (java) S 16632 16636 16548 0 -1 1077944384 3 12478 0 1 0 0 4 3 20 0 15 0 43420914 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616769055056 140617226659739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16753] ppid=16632 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/16636/task/16753/stat : 16753 (java) S 16632 16636 16548 0 -1 1077944384 993 12478 0 1 12 0 4 3 20 0 15 0 43420914 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616768002416 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16754] ppid=16632 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/16636/task/16754/stat : 16754 (java) S 16632 16636 16548 0 -1 1077944384 621 12478 0 1 15 0 4 3 20 0 15 0 43420914 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616766949616 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16755] ppid=16632 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/16636/task/16755/stat : 16755 (java) S 16632 16636 16548 0 -1 1077944384 1193 12478 0 1 21 0 4 3 20 0 15 0 43420914 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616765896816 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16756] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16756/stat : 16756 (java) S 16632 16636 16548 0 -1 1077944384 3 12478 0 1 0 0 4 3 20 0 15 0 43420914 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616764844256 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16765] ppid=16632 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16765/stat : 16765 (java) S 16632 16636 16548 0 -1 1077944384 1 12478 0 1 0 0 4 3 20 0 15 0 43420919 14321057792 33627 18446744073709551615 4194304 4196468 140726437882000 140616763792560 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 13985408
[startup+3.10108 s]
/proc/loadavg: 0.00 0.02 0.38 7/216 16766
/proc/meminfo: memFree=31062900/32770624 swapFree=0/294344
[pid=16636] ppid=16632 vsize=13997884 CPUtime=5.87 cores=1,3,5,7
/proc/16636/stat : 16636 (java) S 16632 16636 16548 0 -1 1077944320 34565 12478 0 1 565 15 4 3 20 0 15 0 43420885 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140726437864544 140617226641143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
/proc/16636/statm: 3499471 53430 3444 1 0 3488085 0
[pid=16636/tid=16735] ppid=16632 vsize=13997884 CPUtime=2.74 cores=1,3,5,7
/proc/16636/task/16735/stat : 16735 (java) R 16632 16636 16548 0 -1 4202560 24295 12478 0 1 258 9 4 3 20 0 15 0 43420909 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140617230867816 140616848606927 0 4 1 16800974 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16736] ppid=16632 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16736/stat : 16736 (java) S 16632 16636 16548 0 -1 1077944384 184 12478 0 1 0 0 4 3 20 0 15 0 43420909 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140617168587408 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16737] ppid=16632 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16737/stat : 16737 (java) S 16632 16636 16548 0 -1 1077944384 27 12478 0 1 1 0 4 3 20 0 15 0 43420909 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140617167534608 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16738] ppid=16632 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16738/stat : 16738 (java) S 16632 16636 16548 0 -1 1077944384 41 12478 0 1 1 0 4 3 20 0 15 0 43420909 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140617166481808 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16739] ppid=16632 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16739/stat : 16739 (java) S 16632 16636 16548 0 -1 1077944384 48 12478 0 1 1 0 4 3 20 0 15 0 43420909 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140617165429008 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16740] ppid=16632 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16740/stat : 16740 (java) S 16632 16636 16548 0 -1 1077944384 255 12478 0 1 1 0 4 3 20 0 15 0 43420911 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616772213616 140617226652290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16741] ppid=16632 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16741/stat : 16741 (java) S 16632 16636 16548 0 -1 1077944384 34 12478 0 1 0 0 4 3 20 0 15 0 43420911 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616771159648 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16742] ppid=16632 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16742/stat : 16742 (java) S 16632 16636 16548 0 -1 1077944384 24 12478 0 1 0 0 4 3 20 0 15 0 43420911 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616770106736 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16752] ppid=16632 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16752/stat : 16752 (java) S 16632 16636 16548 0 -1 1077944384 3 12478 0 1 0 0 4 3 20 0 15 0 43420914 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616769055056 140617226659739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16753] ppid=16632 vsize=13997884 CPUtime=1.18 cores=1,3,5,7
/proc/16636/task/16753/stat : 16753 (java) R 16632 16636 16548 0 -1 4202560 2826 12478 0 1 110 1 4 3 20 0 15 0 43420914 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616767990848 140617208162852 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16754] ppid=16632 vsize=13997884 CPUtime=0.99 cores=1,3,5,7
/proc/16636/task/16754/stat : 16754 (java) R 16632 16636 16548 0 -1 4202560 1564 12478 0 1 91 1 4 3 20 0 15 0 43420914 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616766932560 140617208184916 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16755] ppid=16632 vsize=13997884 CPUtime=1.05 cores=1,3,5,7
/proc/16636/task/16755/stat : 16755 (java) S 16632 16636 16548 0 -1 1077944384 3105 12478 0 1 97 1 4 3 20 0 15 0 43420914 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616765896816 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16756] ppid=16632 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16756/stat : 16756 (java) S 16632 16636 16548 0 -1 1077944384 3 12478 0 1 0 0 4 3 20 0 15 0 43420914 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616764844256 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16765] ppid=16632 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16765/stat : 16765 (java) S 16632 16636 16548 0 -1 1077944384 1 12478 0 1 0 0 4 3 20 0 15 0 43420919 14333833216 53430 18446744073709551615 4194304 4196468 140726437882000 140616763792560 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 13997884
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16636 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20156 s]
/proc/loadavg: 0.00 0.02 0.38 7/216 16766
/proc/meminfo: memFree=31062900/32770624 swapFree=0/294344
[pid=16636] ppid=16632 vsize=13999932 CPUtime=6.23 cores=1,3,5,7
/proc/16636/stat : 16636 (java) S 16632 16636 16548 0 -1 1077944320 34844 12478 0 1 600 16 4 3 20 0 15 0 43420885 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140726437864544 140617226641143 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
/proc/16636/statm: 3499983 54729 3444 1 0 3488597 0
[pid=16636/tid=16735] ppid=16632 vsize=13999932 CPUtime=2.84 cores=1,3,5,7
/proc/16636/task/16735/stat : 16735 (java) R 16632 16636 16548 0 -1 4202560 24354 12478 0 1 268 9 4 3 20 0 15 0 43420909 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140617230873984 140616853975626 0 4 1 16800974 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16736] ppid=16632 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16736/stat : 16736 (java) S 16632 16636 16548 0 -1 1077944384 184 12478 0 1 0 0 4 3 20 0 15 0 43420909 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140617168587408 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16737] ppid=16632 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16737/stat : 16737 (java) S 16632 16636 16548 0 -1 1077944384 27 12478 0 1 1 0 4 3 20 0 15 0 43420909 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140617167534608 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16738] ppid=16632 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16738/stat : 16738 (java) S 16632 16636 16548 0 -1 1077944384 41 12478 0 1 1 0 4 3 20 0 15 0 43420909 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140617166481808 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16739] ppid=16632 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16739/stat : 16739 (java) S 16632 16636 16548 0 -1 1077944384 48 12478 0 1 1 0 4 3 20 0 15 0 43420909 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140617165429008 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16740] ppid=16632 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16636/task/16740/stat : 16740 (java) S 16632 16636 16548 0 -1 1077944384 255 12478 0 1 1 0 4 3 20 0 15 0 43420911 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140616772213616 140617226652290 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16741] ppid=16632 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16741/stat : 16741 (java) S 16632 16636 16548 0 -1 1077944384 34 12478 0 1 0 0 4 3 20 0 15 0 43420911 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140616771159648 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16742] ppid=16632 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16742/stat : 16742 (java) S 16632 16636 16548 0 -1 1077944384 24 12478 0 1 0 0 4 3 20 0 15 0 43420911 14335930368 54729 18446744073709551615 4194304 4196468 140726437882000 140616770106736 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16752] ppid=16632 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16752/stat : 16752 (java) S 16632 16636 16548 0 -1 1077944384 3 12478 0 1 0 0 4 3 20 0 15 0 43420914 14335930368 54751 18446744073709551615 4194304 4196468 140726437882000 140616769055056 140617226659739 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16753] ppid=16632 vsize=13999932 CPUtime=1.27 cores=1,3,5,7
/proc/16636/task/16753/stat : 16753 (java) R 16632 16636 16548 0 -1 4202560 2864 12478 0 1 119 1 4 3 20 0 15 0 43420914 14335930368 54751 18446744073709551615 4194304 4196468 140726437882000 140616767980736 140617219737979 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16754] ppid=16632 vsize=13999932 CPUtime=1.09 cores=1,3,5,7
/proc/16636/task/16754/stat : 16754 (java) R 16632 16636 16548 0 -1 4202560 1585 12478 0 1 101 1 4 3 20 0 15 0 43420914 14335930368 54751 18446744073709551615 4194304 4196468 140726437882000 140616766931152 140617211562925 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16755] ppid=16632 vsize=13999932 CPUtime=1.12 cores=1,3,5,7
/proc/16636/task/16755/stat : 16755 (java) S 16632 16636 16548 0 -1 1077944384 3269 12478 0 1 104 1 4 3 20 0 15 0 43420914 14335930368 54751 18446744073709551615 4194304 4196468 140726437882000 140616765896816 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16756] ppid=16632 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16756/stat : 16756 (java) S 16632 16636 16548 0 -1 1077944384 3 12478 0 1 0 0 4 3 20 0 15 0 43420914 14335930368 54751 18446744073709551615 4194304 4196468 140726437882000 140616764844256 140617226651349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
[pid=16636/tid=16765] ppid=16632 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/16636/task/16765/stat : 16765 (java) S 16632 16636 16548 0 -1 1077944384 1 12478 0 1 0 0 4 3 20 0 15 0 43420919 14335930368 54751 18446744073709551615 4194304 4196468 140726437882000 140616763792560 140617226652290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35454976 140726437890000 140726437892785 140726437892785 140726437896143 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13999932
[startup+4.80063 s]
/proc/loadavg: 0.24 0.07 0.40 6/216 16766
/proc/meminfo: memFree=30746804/32770624 swapFree=0/295068
[pid=16636] ppid=16632 vsize=0 CPUtime=10.12 cores=1,3,5,7
/proc/16636/stat : 16636 (java) Z 16632 16636 16548 0 -1 4227084 66698 12478 0 1 981 24 4 3 20 0 2 0 43420885 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/16636/statm: 0 0 0 0 0 0 0
[pid=16636/tid=16738] ppid=16632 vsize=0 CPUtime=0.22 cores=1,3,5,7
/proc/16636/task/16738/stat : 16738 (java) D 16632 16636 16548 0 -1 4203588 61 12478 0 1 14 1 4 3 20 0 2 0 43420909 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 0
[startup+5.20028 s]
/proc/loadavg: 0.24 0.07 0.40 6/216 16766
/proc/meminfo: memFree=30746804/32770624 swapFree=0/295068
[pid=16636] ppid=16632 vsize=0 CPUtime=10.12 cores=1,3,5,7
/proc/16636/stat : 16636 (java) Z 16632 16636 16548 0 -1 4227084 66698 12478 0 1 981 24 4 3 20 0 2 0 43420885 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/16636/statm: 0 0 0 0 0 0 0
[pid=16636/tid=16738] ppid=16632 vsize=0 CPUtime=0.22 cores=1,3,5,7
/proc/16636/task/16738/stat : 16738 (java) D 16632 16636 16548 0 -1 4203588 61 12478 0 1 14 1 4 3 20 0 2 0 43420909 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 5 0 0 38 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 0
[startup+5.4003 s]
/proc/loadavg: 0.24 0.07 0.40 6/216 16766
/proc/meminfo: memFree=30746804/32770624 swapFree=0/295068
[pid=16636] ppid=16632 vsize=0 CPUtime=10.12 cores=1,3,5,7
/proc/16636/stat : 16636 (java) Z 16632 16636 16548 0 -1 4227084 66698 12478 0 1 981 24 4 3 20 0 2 0 43420885 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/16636/statm: 0 0 0 0 0 0 0
[pid=16636/tid=16738] ppid=16632 vsize=0 CPUtime=0.22 cores=1,3,5,7
/proc/16636/task/16738/stat : 16738 (java) D 16632 16636 16548 0 -1 4203588 61 12478 0 1 14 1 4 3 20 0 2 0 43420909 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 7 0 0 53 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 5.43779
CPU time (s): 10.1462
CPU user time (s): 9.86208
CPU system time (s): 0.284091
CPU usage (%): 186.586
Max. virtual memory (cumulated for all children) (KiB): 14138364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.86208
system time used= 0.284091
maximum resident set size= 343576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79176
page faults= 1
swaps= 0
block input operations= 8496
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6558
involuntary context switches= 166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027992 second user time and 0.033823 second system time
The end