2.54/2.85
2.54/2.85 AbsCon 2
2.54/2.86
2.93/3.06 Instance
2.93/3.06 name=instance-4390555-1568380515, framework=CSP
2.93/3.06
2.93/3.06 Loading variables...
2.93/3.10 Loading constraints...
3.32/3.28
3.32/3.28 Domains
3.32/3.28 nTypes=1, nValues=8100, sizes=[162#50]
3.32/3.28 Variables
3.32/3.28 count=50, degrees=[11#20,12#30]
3.32/3.28 Constraints
3.32/3.28 count=315, nSpecific=225, arities=[1#50,2#265]
3.32/3.28 distribution=[CtrExtensionSmart-TableSmart#225,CtrIntension#90]
3.32/3.28 tables=[2#225], nTotalTuples=450
3.32/3.28 nExtStructures=(225,shared:0), nIntStructures=(22,shared:68), nCftStructures=(12,shared:28,unbuilt:275)
3.32/3.28 wck=0.46, cpu=2.211, mem=26M513
3.32/3.29 Solver SolverBacktrack being built...
3.32/3.29
3.62/3.31
3.62/3.31 Solver
3.62/3.31 guaranteedGAC=true
3.62/3.31 wck=0.493, cpu=2.244, mem=39M798
3.62/3.36
3.62/3.36 Preprocessing
3.62/3.36 filters=166, revisions=(283,useless=92), ccks=646903, nACremovedValues=2610, nTotalRemovedValues=2610, inconcistency=false
3.62/3.36 wck=0.05, cpu=2.295, mem=39M798
3.62/3.36
3.97/3.40 num=0, depth=51..49, filters=444, revisions=(893,useless=571), ccks=814940, wck=0.087, mem=39M798
3.97/3.40 decisions=48, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1
3.97/3.40 nFilterCalls=2467, avgTableProportion=0.4955411430887718, avgTableSize=0.9910822861775436
3.97/3.40
3.97/3.40 Global
3.97/3.40 filters=444, revisions=(893,useless=571), ccks=814940
3.97/3.40 Stop=REACHED_GOAL, wrong=0, foundSolutions=1, firstSolCpu=2.323
3.97/3.40 wck=0.581, cpu=2.331, mem=39M798
3.97/3.40
3.97/3.40 v <instantiation id='sol1' type='solution'> <list> x[][] </list> <values> 12 20 24 36 46 0 9 36 48 51 8 17 48 59 66 1 14 59 74 82 22 32 74 86 93 32 38 86 96 99 24 51 96 109 115 11 35 109 120 141 62 72 120 130 141 19 71 130 148 153 </values> </instantiation>
3.97/3.40 s SATISFIABLE
3.97/3.40
3.97/3.40 d WRONG_DECISIONS 0
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14979 MiB free)
memory of node 1: 16384 MiB (15442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390555-1568380515/watcher-4390555-1568380515 -o /tmp/evaluation-result-4390555-1568380515/solver-4390555-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390555-1568380515.xml -cm
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5085, runsolver pid=5079
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 0.00 0.01 0.05 1/199 5089
/proc/meminfo: memFree=31151716/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=30188 memory=800 CPUtime=0 cores=1,3,5,7
/proc/5085/stat : 5085 (java) R 5079 5085 5027 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 414322958 30912512 200 33554432000 4194304 4196468 140724617944128 140724617924824 139862671793328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 7547 200 162 1 0 159 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 30188 KiB
Current children cumulated memory: 800 KiB
[startup+0.209747 s]*
/proc/loadavg: 0.00 0.01 0.05 2/201 5091
/proc/meminfo: memFree=31150156/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=111596 memory=5604 CPUtime=0 cores=1,3,5,7
/proc/5085/stat : 5085 (java) S 5079 5085 5027 0 -1 1077944320 1726 0 0 0 0 0 0 0 20 0 2 0 414322958 114274304 1401 33554432000 4194304 4196468 140724617944128 140724617926672 139862669516535 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 27899 1401 1062 1 0 16810 0
[pid=5085/tid=5091] ppid=5079 vsize=111596 memory=4788291373525856882 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (java) D 5079 5085 5027 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 414322969 114274304 1401 33554432000 4194304 4196468 140724617944128 139862673756392 139862662194549 0 4 0 16784584 18446744072101662244 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB
[startup+0.30968 s]*
/proc/loadavg: 0.00 0.01 0.05 2/215 5105
/proc/meminfo: memFree=31129004/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=10260324 memory=20316 CPUtime=0.04 cores=1,3,5,7
/proc/5085/stat : 5085 (java) S 5079 5085 5027 0 -1 1077944320 3988 0 0 0 3 1 0 0 20 0 9 0 414322958 10506571776 5079 33554432000 4194304 4196468 140724617944128 140724617926672 139862669516535 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 2565081 5079 2156 1 0 2527622 0
[pid=5085/tid=5091] ppid=5079 vsize=10260324 memory=4026531858 CPUtime=0.02 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (java) D 5079 5085 5027 0 -1 1077944384 2635 0 0 0 2 0 0 0 20 0 9 0 414322969 10506571776 5079 33554432000 4194304 4196468 140724617944128 139862673751848 139862662194549 0 4 0 16800971 18446744072101662244 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5096] ppid=5079 vsize=10260324 memory=2958334 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5096/stat : 5096 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414322985 10506571776 5079 33554432000 4194304 4196468 140724617944128 139862595590672 139862669526741 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5097] ppid=5079 vsize=10260324 memory=139799239769947 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5097/stat : 5097 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414322985 10506571776 5079 33554432000 4194304 4196468 140724617944128 139862594538128 139862669526741 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5098] ppid=5079 vsize=10260324 memory=288230377007612190 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5098/stat : 5098 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414322985 10506571776 5079 33554432000 4194304 4196468 140724617944128 139862593485072 139862669526741 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5099] ppid=5079 vsize=10260324 memory=1213 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5099/stat : 5099 (java) S 5079 5085 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414322985 10506571776 5079 33554432000 4194304 4196468 140724617944128 139862592432528 139862669526741 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5100] ppid=5079 vsize=10260324 memory=139799236486784 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5100/stat : 5100 (java) S 5079 5085 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414322986 10506571776 5079 33554432000 4194304 4196468 140724617944128 139861705042672 139862669527682 0 0 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5102] ppid=5079 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5102/stat : 5102 (java) S 5079 5085 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414322987 10506571776 5079 33554432000 4194304 4196468 140724617944128 139861703988896 139862669526741 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5104] ppid=5079 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5104/stat : 5104 (java) S 5079 5085 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414322987 10506571776 5079 33554432000 4194304 4196468 140724617944128 139861702935792 139862669526741 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20316 KiB
[startup+0.700706 s]
/proc/loadavg: 0.00 0.01 0.05 2/225 5115
/proc/meminfo: memFree=31128708/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=10659884 memory=34476 CPUtime=0.26 cores=1,3,5,7
/proc/5085/stat : 5085 (java) S 5079 5085 5027 0 -1 1077944320 6707 0 0 0 24 2 0 0 20 0 15 0 414322958 10915721216 8619 33554432000 4194304 4196468 140724617944128 140724617926672 139862669516535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 2664971 8619 2948 1 0 2627468 0
[pid=5085/tid=5091] ppid=5079 vsize=10659884 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (java) R 5079 5085 5027 0 -1 4202560 3859 0 0 0 15 1 0 0 20 0 15 0 414322969 10915721216 8619 33554432000 4194304 4196468 140724617944128 139862673742896 139862669538461 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5096] ppid=5079 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5096/stat : 5096 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322985 10915721216 8619 33554432000 4194304 4196468 140724617944128 139862595590672 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5097] ppid=5079 vsize=10659884 memory=2388 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5097/stat : 5097 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322985 10915721216 8619 33554432000 4194304 4196468 140724617944128 139862594538128 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5098] ppid=5079 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5098/stat : 5098 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322985 10915721216 8619 33554432000 4194304 4196468 140724617944128 139862593485072 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5099] ppid=5079 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5099/stat : 5099 (java) S 5079 5085 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322985 10915721216 8619 33554432000 4194304 4196468 140724617944128 139862592432528 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5100] ppid=5079 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5100/stat : 5100 (java) S 5079 5085 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322986 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861705042672 139862669527682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5102] ppid=5079 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5102/stat : 5102 (java) S 5079 5085 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414322987 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861703988896 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5104] ppid=5079 vsize=10659884 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5104/stat : 5104 (java) S 5079 5085 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414322987 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861702935792 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5106] ppid=5079 vsize=10659884 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5106/stat : 5106 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414323006 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861701884368 139862669535131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5107] ppid=5079 vsize=10659884 memory=6724 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5107/stat : 5107 (java) S 5079 5085 5027 0 -1 1077944384 712 0 0 0 1 0 0 0 20 0 15 0 414323006 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861700831472 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5108] ppid=5079 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5108/stat : 5108 (java) S 5079 5085 5027 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 15 0 414323006 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861699778928 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5109] ppid=5079 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5085/task/5109/stat : 5109 (java) S 5079 5085 5027 0 -1 1077944384 698 0 0 0 5 0 0 0 20 0 15 0 414323006 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861698725872 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5110] ppid=5079 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5110/stat : 5110 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414323006 10915721216 8619 33554432000 4194304 4196468 140724617944128 139861697673568 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34476 KiB
[startup+1.50074 s]
/proc/loadavg: 0.00 0.01 0.05 4/227 5117
/proc/meminfo: memFree=31074048/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=10663980 memory=68296 CPUtime=1.4 cores=1,3,5,7
/proc/5085/stat : 5085 (java) S 5079 5085 5027 0 -1 1077944320 13751 0 0 0 134 6 0 0 20 0 15 0 414322958 10919915520 17074 33554432000 4194304 4196468 140724617944128 140724617926672 139862669516535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 2665995 17074 3063 1 0 2628492 0
[pid=5085/tid=5091] ppid=5079 vsize=10663980 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (java) R 5079 5085 5027 0 -1 4202560 9445 0 0 0 90 4 0 0 20 0 15 0 414322969 10919915520 17074 33554432000 4194304 4196468 140724617944128 139862673744400 139862653597022 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5096] ppid=5079 vsize=10663980 memory=139799108400395 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5096/stat : 5096 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322985 10919915520 17074 33554432000 4194304 4196468 140724617944128 139862595590672 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5097] ppid=5079 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5097/stat : 5097 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322985 10919915520 17074 33554432000 4194304 4196468 140724617944128 139862594538128 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5098] ppid=5079 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5098/stat : 5098 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414322985 10919915520 17074 33554432000 4194304 4196468 140724617944128 139862593485072 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5099] ppid=5079 vsize=10663980 memory=11 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5099/stat : 5099 (java) S 5079 5085 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414322985 10919915520 17074 33554432000 4194304 4196468 140724617944128 139862592432528 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5100] ppid=5079 vsize=10663980 memory=12 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5100/stat : 5100 (java) S 5079 5085 5027 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414322986 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861705042672 139862669527682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5102] ppid=5079 vsize=10663980 memory=18 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5102/stat : 5102 (java) S 5079 5085 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414322987 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861703988896 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5104] ppid=5079 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5104/stat : 5104 (java) S 5079 5085 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414322987 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861702935792 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5106] ppid=5079 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5106/stat : 5106 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414323006 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861701884368 139862669535131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5107] ppid=5079 vsize=10663980 memory=984 CPUtime=0.11 cores=1,3,5,7
/proc/5085/task/5107/stat : 5107 (java) S 5079 5085 5027 0 -1 1077944384 1263 0 0 0 11 0 0 0 20 0 15 0 414323006 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861700831472 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5108] ppid=5079 vsize=10663980 memory=2032 CPUtime=0.12 cores=1,3,5,7
/proc/5085/task/5108/stat : 5108 (java) S 5079 5085 5027 0 -1 1077944384 514 0 0 0 12 0 0 0 20 0 15 0 414323006 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861699778928 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5109] ppid=5079 vsize=10663980 memory=1332 CPUtime=0.18 cores=1,3,5,7
/proc/5085/task/5109/stat : 5109 (java) S 5079 5085 5027 0 -1 1077944384 1167 0 0 0 18 0 0 0 20 0 15 0 414323006 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861698725872 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5110] ppid=5079 vsize=10663980 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5110/stat : 5110 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414323006 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861697673568 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5116] ppid=5079 vsize=10663980 memory=4639098309541128043 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5116/stat : 5116 (java) S 5079 5085 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414323013 10919915520 17074 33554432000 4194304 4196468 140724617944128 139861696621616 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 68296 KiB
[startup+3.11036 s]
/proc/loadavg: 0.00 0.01 0.05 5/229 5119
/proc/meminfo: memFree=30869976/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=10746276 memory=149760 CPUtime=3.05 cores=1,3,5,7
/proc/5085/stat : 5085 (java) S 5079 5085 5027 0 -1 1077944320 21938 0 6 0 292 13 0 0 20 0 16 0 414322958 11004186624 37440 33554432000 4194304 4196468 140724617944128 140724617926672 139862669516535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 2686569 37440 3335 1 0 2646705 0
[pid=5085/tid=5091] ppid=5079 vsize=10746276 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (java) S 5079 5085 5027 0 -1 1077944384 13739 0 6 0 179 7 0 0 20 0 16 0 414322969 11004186624 37440 33554432000 4194304 4196468 140724617944128 139862673759408 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5096] ppid=5079 vsize=10746276 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5096/stat : 5096 (java) S 5079 5085 5027 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 414322985 11004186624 37440 33554432000 4194304 4196468 140724617944128 139862595590672 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5097] ppid=5079 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5097/stat : 5097 (java) S 5079 5085 5027 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414322985 11004186624 37440 33554432000 4194304 4196468 140724617944128 139862594538128 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5098] ppid=5079 vsize=10746276 memory=279598210357984 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5098/stat : 5098 (java) S 5079 5085 5027 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414322985 11004186624 37440 33554432000 4194304 4196468 140724617944128 139862593485072 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5099] ppid=5079 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5099/stat : 5099 (java) S 5079 5085 5027 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414322985 11004186624 37440 33554432000 4194304 4196468 140724617944128 139862592432528 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5100] ppid=5079 vsize=10746276 memory=2958597 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5100/stat : 5100 (java) S 5079 5085 5027 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 16 0 414322986 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861705042672 139862669527682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5102] ppid=5079 vsize=10746276 memory=2965986 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5102/stat : 5102 (java) S 5079 5085 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414322987 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861703988960 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5104] ppid=5079 vsize=10746276 memory=279595995783108 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5104/stat : 5104 (java) S 5079 5085 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414322987 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861702935808 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5106] ppid=5079 vsize=10746276 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5106/stat : 5106 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323006 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861701884368 139862669535131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5107] ppid=5079 vsize=10746276 memory=7976406965554101975 CPUtime=0.28 cores=1,3,5,7
/proc/5085/task/5107/stat : 5107 (java) S 5079 5085 5027 0 -1 1077944384 1861 0 0 0 28 0 0 0 20 0 16 0 414323006 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861700831472 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5108] ppid=5079 vsize=10746276 memory=1414353297708861353 CPUtime=0.29 cores=1,3,5,7
/proc/5085/task/5108/stat : 5108 (java) S 5079 5085 5027 0 -1 1077944384 1333 0 0 0 29 0 0 0 20 0 16 0 414323006 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861699778928 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5109] ppid=5079 vsize=10746276 memory=8329294824090543255 CPUtime=0.33 cores=1,3,5,7
/proc/5085/task/5109/stat : 5109 (java) R 5079 5085 5027 0 -1 4202560 1639 0 0 0 33 0 0 0 20 0 16 0 414323006 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861698722240 139862648925213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5110] ppid=5079 vsize=10746276 memory=8041079860532773434 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5110/stat : 5110 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323006 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861697673568 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5116] ppid=5079 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5116/stat : 5116 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323013 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861696621616 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5118] ppid=5079 vsize=10746276 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5085/task/5118/stat : 5118 (java) R 5079 5085 5027 0 -1 4202560 1053 0 0 0 15 0 0 0 20 0 16 0 414323244 11004186624 37440 33554432000 4194304 4196468 140724617944128 139861679954832 139862669528470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 149760 KiB
[startup+3.41932 s]
# the end of solver process 5085 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.8503 s, system=0.14629 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20091 s]
/proc/loadavg: 0.00 0.01 0.05 5/229 5119
/proc/meminfo: memFree=30869976/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=10746276 memory=150568 CPUtime=3.32 cores=1,3,5,7
/proc/5085/stat : 5085 (java) S 5079 5085 5027 0 -1 1077944320 22203 0 6 0 319 13 0 0 20 0 16 0 414322958 11004186624 37642 33554432000 4194304 4196468 140724617944128 140724617926672 139862669516535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 2686569 37642 3337 1 0 2646705 0
[pid=5085/tid=5091] ppid=5079 vsize=10746276 memory=-7532994541643457728 CPUtime=1.86 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (java) S 5079 5085 5027 0 -1 1077944384 13739 0 6 0 179 7 0 0 20 0 16 0 414322969 11004186624 37642 33554432000 4194304 4196468 140724617944128 139862673759408 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5096] ppid=5079 vsize=10746276 memory=4638778398332704097 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5096/stat : 5096 (java) S 5079 5085 5027 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 414322985 11004186624 37642 33554432000 4194304 4196468 140724617944128 139862595590672 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5097] ppid=5079 vsize=10746276 memory=3053511329498284128 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5097/stat : 5097 (java) S 5079 5085 5027 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414322985 11004186624 37642 33554432000 4194304 4196468 140724617944128 139862594538128 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5098] ppid=5079 vsize=10746276 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5098/stat : 5098 (java) S 5079 5085 5027 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414322985 11004186624 37642 33554432000 4194304 4196468 140724617944128 139862593485072 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5099] ppid=5079 vsize=10746276 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5099/stat : 5099 (java) S 5079 5085 5027 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414322985 11004186624 37642 33554432000 4194304 4196468 140724617944128 139862592432528 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5100] ppid=5079 vsize=10746276 memory=916 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5100/stat : 5100 (java) S 5079 5085 5027 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 16 0 414322986 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861705042672 139862669527682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5102] ppid=5079 vsize=10746276 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5102/stat : 5102 (java) S 5079 5085 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414322987 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861703988960 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5104] ppid=5079 vsize=10746276 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5104/stat : 5104 (java) S 5079 5085 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414322987 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861702935808 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5106] ppid=5079 vsize=10746276 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5106/stat : 5106 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323006 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861701884368 139862669535131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5107] ppid=5079 vsize=10746276 memory=1408 CPUtime=0.33 cores=1,3,5,7
/proc/5085/task/5107/stat : 5107 (java) S 5079 5085 5027 0 -1 1077944384 1898 0 0 0 33 0 0 0 20 0 16 0 414323006 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861700831472 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5108] ppid=5079 vsize=10746276 memory=2384 CPUtime=0.35 cores=1,3,5,7
/proc/5085/task/5108/stat : 5108 (java) R 5079 5085 5027 0 -1 4202560 1366 0 0 0 35 0 0 0 20 0 16 0 414323006 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861699778928 139862653904242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5109] ppid=5079 vsize=10746276 memory=1408 CPUtime=0.4 cores=1,3,5,7
/proc/5085/task/5109/stat : 5109 (java) S 5079 5085 5027 0 -1 1077944384 1778 0 0 0 40 0 0 0 20 0 16 0 414323006 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861698725872 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5110] ppid=5079 vsize=10746276 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5110/stat : 5110 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323006 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861697673568 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5116] ppid=5079 vsize=10746276 memory=75976 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5116/stat : 5116 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323013 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861696621616 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5118] ppid=5079 vsize=10746276 memory=2241 CPUtime=0.24 cores=1,3,5,7
/proc/5085/task/5118/stat : 5118 (java) R 5079 5085 5027 0 -1 4202560 1109 0 0 0 24 0 0 0 20 0 16 0 414323244 11004186624 37642 33554432000 4194304 4196468 140724617944128 139861679956000 139862275951047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
Current children cumulated CPU time: 3.32 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 150568 KiB
[startup+3.40098 s]
/proc/loadavg: 0.00 0.01 0.05 5/229 5119
/proc/meminfo: memFree=30869976/32770624 swapFree=66934464/67108860
[pid=5085] ppid=5079 vsize=10748324 memory=153948 CPUtime=3.97 cores=1,3,5,7
/proc/5085/stat : 5085 (java) S 5079 5085 5027 0 -1 1077944320 23449 0 6 0 383 14 0 0 20 0 16 0 414322958 11006283776 38487 33554432000 4194304 4196468 140724617944128 140724617926672 139862669516535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
/proc/5085/statm: 2687081 38487 3339 1 0 2647217 0
[pid=5085/tid=5091] ppid=5079 vsize=10748324 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/5085/task/5091/stat : 5091 (java) S 5079 5085 5027 0 -1 1077944384 13739 0 6 0 179 7 0 0 20 0 16 0 414322969 11006283776 38487 33554432000 4194304 4196468 140724617944128 139862673759408 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5096] ppid=5079 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5096/stat : 5096 (java) S 5079 5085 5027 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 414322985 11006283776 38487 33554432000 4194304 4196468 140724617944128 139862595590672 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5097] ppid=5079 vsize=10748324 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5097/stat : 5097 (java) S 5079 5085 5027 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414322985 11006283776 38487 33554432000 4194304 4196468 140724617944128 139862594538128 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5098] ppid=5079 vsize=10748324 memory=14133350919046965 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5098/stat : 5098 (java) S 5079 5085 5027 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 414322985 11006283776 38487 33554432000 4194304 4196468 140724617944128 139862593485072 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5099] ppid=5079 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5099/stat : 5099 (java) S 5079 5085 5027 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414322985 11006283776 38487 33554432000 4194304 4196468 140724617944128 139862592432528 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5100] ppid=5079 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5085/task/5100/stat : 5100 (java) S 5079 5085 5027 0 -1 1077944384 704 0 0 0 1 0 0 0 20 0 16 0 414322986 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861705042672 139862669527682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5102] ppid=5079 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5102/stat : 5102 (java) S 5079 5085 5027 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414322987 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861703988960 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5104] ppid=5079 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5104/stat : 5104 (java) S 5079 5085 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414322987 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861702935808 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5106] ppid=5079 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5106/stat : 5106 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323006 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861701884368 139862669535131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5107] ppid=5079 vsize=10748324 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/5085/task/5107/stat : 5107 (java) R 5079 5085 5027 0 -1 4202560 2161 0 0 0 48 1 0 0 20 0 16 0 414323006 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861700817496 139862651038987 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5108] ppid=5079 vsize=10748324 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/5085/task/5108/stat : 5108 (java) R 5079 5085 5027 0 -1 4202560 1490 0 0 0 52 0 0 0 20 0 16 0 414323006 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861699779056 139862652927551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5109] ppid=5079 vsize=10748324 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/5085/task/5109/stat : 5109 (java) R 5079 5085 5027 0 -1 4202560 2083 0 0 0 52 0 0 0 20 0 16 0 414323006 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861698725872 139862669537882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5110] ppid=5079 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5110/stat : 5110 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323006 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861697673568 139862669526741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5116] ppid=5079 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5085/task/5116/stat : 5116 (java) S 5079 5085 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414323013 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861696621616 139862669527682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
[pid=5085/tid=5118] ppid=5079 vsize=10748324 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/5085/task/5118/stat : 5118 (java) R 5079 5085 5027 0 -1 4202560 1663 0 0 0 44 1 0 0 20 0 16 0 414323244 11006283776 38487 33554432000 4194304 4196468 140724617944128 139861679957584 139862669528470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15323136 140724617946123 140724617946226 140724617946226 140724617949135 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 153948 KiB
Child status: 0
Real time (s): 3.41938
CPU time (s): 3.99659
CPU user time (s): 3.8503
CPU system time (s): 0.14629
CPU usage (%): 116.881
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 153948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.8503
system time used= 0.14629
maximum resident set size= 154704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23484
page faults= 6
swaps= 0
block input operations= 10632
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2657
involuntary context switches= 68
# summary of solver processes directly reported to runsolver:
# pid: 5085
# total CPU time (s): 3.99659
# total CPU user time (s): 3.8503
# total CPU system time (s): 0.14629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045345 second user time and 0.072947 second system time
The end