0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-ddeg.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1126738-1216186684.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.37/0.41 nbVariables=76 nbDomainTypes=3 minDomainSize=1 maxDomainSize=25 nbTotalValues=1301
0.37/0.41 => wckTime=0.161 cpuTime=0.12 mem=7M908
0.37/0.41
0.37/0.41 relations being loaded...
0.37/0.42
0.37/0.42 constraints being loaded...
0.57/0.66 nbConstraints=1275 nbRelationTypes=27 nbSingletonDomainVariables=1 nbExtensionStructures=27
0.57/0.66 nbSharedExtensionStructures=1248 nbConflictsStructures=27 nbSharedConflictsStructures=1248
0.57/0.66 nbSharedBinaryRepresentations=673 minDegree=25 maxDegree=51 minArity=2 maxArity=2
0.57/0.66 => wckTime=0.414 cpuTime=0.28 mem=14M806
0.67/0.72
0.67/0.72 solver LocalSearchSolver being built...
0.67/0.77 => wckTime=0.52 cpuTime=0.33 mem=6M521
0.67/0.78
0.67/0.78 s SATISFIABLE
0.67/0.78 o 37
0.67/0.78 o 34
0.67/0.78 o 32
0.67/0.78 o 30
0.67/0.78 o 28
0.67/0.79 o 27
0.67/0.79 o 26
0.67/0.79 o 25
0.67/0.79 o 24
0.67/0.79 o 23
0.67/0.79 o 22
0.67/0.79 o 21
0.67/0.79 o 20
0.67/0.80 o 19
0.67/0.80 o 18
0.67/0.80 o 17
0.67/0.80 o 16
0.67/0.80 o 15
0.77/0.81 o 13
0.77/0.81 o 12
0.77/0.81 o 11
0.77/0.82 o 10
0.77/0.82 o 9
0.77/0.82 o 8
0.77/0.83 o 4
0.77/0.83 o 3
0.77/0.83 o 2
0.77/0.86 o 1
0.87/0.92 o 0
0.87/0.92 First solution found
16.89/17.10
16.89/17.10 search
16.89/17.10 run=0 nbConstraintChecks=115474934 nbAssignments=10000
16.89/17.10 => wckTime=16.329 cpuTime=16.2 mem=7M562
16.89/17.10
16.89/17.10 search
16.89/17.10 run=0 nbConstraintChecks=115474934 nbAssignments=10000
16.99/17.10 => wckTime=16.329 cpuTime=16.2 mem=7M562
16.99/17.10
16.99/17.10 global
16.99/17.10 nbConstraintChecks=115474934 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
16.99/17.10 solvingWckTime=16.327 solvingCpuTime=16.2 expiredTime=no totalExploration=yes nbFoundSolutions=2212
16.99/17.10 firstSolutionCpuTime=0.46 globalCpuTime=16.57
16.99/17.10 => wckTime=16.851 cpuTime=16.53 mem=7M562
16.99/17.10
16.99/17.10 solver DecomposerSolver being built...
17.09/17.20 => wckTime=16.956 cpuTime=16.62 mem=17M608
17.09/17.21 C50(V0,V75)
17.09/17.21 C50(V0,V75)
17.09/17.21 C101(V1,V75)
17.09/17.21 C101(V1,V75)
17.09/17.21 C152(V2,V75)
17.09/17.21 C152(V2,V75)
17.09/17.21 C203(V3,V75)
17.09/17.21 C203(V3,V75)
17.09/17.21 C254(V4,V75)
17.09/17.21 C254(V4,V75)
17.09/17.21 C305(V5,V75)
17.09/17.21 C305(V5,V75)
17.09/17.21 C356(V6,V75)
17.09/17.21 C356(V6,V75)
17.09/17.21 C407(V7,V75)
17.09/17.21 C407(V7,V75)
17.09/17.21 C458(V8,V75)
17.09/17.21 C458(V8,V75)
17.09/17.22 C509(V9,V75)
17.09/17.22 C509(V9,V75)
17.09/17.22 C610(V11,V75)
17.09/17.22 C610(V11,V75)
17.09/17.22 C661(V12,V75)
17.09/17.22 C661(V12,V75)
17.09/17.22 C712(V13,V75)
17.09/17.22 C712(V13,V75)
17.09/17.22 C763(V14,V75)
17.09/17.22 C763(V14,V75)
17.09/17.22 C814(V15,V75)
17.09/17.22 C814(V15,V75)
17.09/17.22 C865(V16,V75)
17.09/17.22 C865(V16,V75)
17.09/17.22 C916(V17,V75)
17.09/17.22 C916(V17,V75)
17.09/17.22 C967(V18,V75)
17.09/17.22 C967(V18,V75)
17.09/17.22 C1018(V19,V75)
17.09/17.22 C1018(V19,V75)
17.09/17.22 C1069(V20,V75)
17.09/17.22 C1069(V20,V75)
17.09/17.22 C1120(V21,V75)
17.09/17.22 C1120(V21,V75)
17.09/17.22 C1171(V22,V75)
17.09/17.22 C1171(V22,V75)
17.09/17.22 C1222(V23,V75)
17.09/17.22 C1222(V23,V75)
17.09/17.22 C1273(V24,V75)
17.09/17.22 C1273(V24,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22 C1274(V47,V75)
17.09/17.22
17.09/17.22 preprocessing
17.09/17.22 nbConstraintChecks=73 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.09/17.22 detectedInconsistency=yes
17.09/17.22 => wckTime=0.018 cpuTime=0.01 mem=17M608
17.09/17.23
17.09/17.23 global
17.09/17.23 nbConstraintChecks=73 solvingWckTime=0.02 solvingCpuTime=0.01 expiredTime=no totalExploration=yes
17.09/17.23 nbFoundSolutions=0 upperBound=0 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=16.67
17.09/17.23 => wckTime=16.978 cpuTime=16.63 mem=18M616
17.09/17.23
17.09/17.23 s OPTIMUM FOUND
17.09/17.23 v 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 -1
17.09/17.23 d NODES 0
17.09/17.23 d CHECKS 73
17.09/17.23
17.09/17.23 totalWckTime=17.03 totalCpuTime=16.68
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1126738-1216186684/watcher-1126738-1216186684 -o /tmp/evaluation-result-1126738-1216186684/solver-1126738-1216186684 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1126738-1216186684.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.29 2.55 2.70 4/81 2883
/proc/meminfo: memFree=1897312/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=10616 CPUtime=0
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 75371615 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 2654 472 209 9 0 1184 0
[pid=2883/tid=2884] ppid=2881 vsize=10616 CPUtime=0
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 75371616 10870784 472 996147200 134512640 134550740 4294955952 18446744073709551615 11263960 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0725751 s]
/proc/loadavg: 2.29 2.55 2.70 4/81 2883
/proc/meminfo: memFree=1897312/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=865856 CPUtime=0.06
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 3340 0 1 0 5 1 0 0 18 0 9 0 75371615 886636544 2859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216464 2859 1553 9 0 211026 0
[pid=2883/tid=2884] ppid=2881 vsize=865856 CPUtime=0.04
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 2440 0 1 0 4 0 0 0 18 0 9 0 75371616 886636544 2859 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101576 s]
/proc/loadavg: 2.29 2.55 2.70 4/81 2883
/proc/meminfo: memFree=1897312/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=865984 CPUtime=0.08
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 3793 0 1 0 7 1 0 0 18 0 9 0 75371615 886767616 3244 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216496 3244 1713 9 0 211051 0
[pid=2883/tid=2884] ppid=2881 vsize=865984 CPUtime=0.08
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 2890 0 1 0 7 1 0 0 18 0 9 0 75371616 886767616 3244 996147200 134512640 134550740 4294955952 18446744073709551615 4125978693 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301615 s]
/proc/loadavg: 2.29 2.55 2.70 4/81 2883
/proc/meminfo: memFree=1897312/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=866224 CPUtime=0.28
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 5595 0 2 0 25 3 0 0 18 0 9 0 75371615 887013376 5017 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216556 5017 1889 9 0 211104 0
[pid=2883/tid=2884] ppid=2881 vsize=866224 CPUtime=0.23
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 4641 0 2 0 20 3 0 0 18 0 9 0 75371616 887013376 5017 996147200 134512640 134550740 4294955952 18446744073709551615 4125973474 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866224
[startup+0.70169 s]
/proc/loadavg: 2.29 2.55 2.70 4/81 2883
/proc/meminfo: memFree=1897312/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867032 CPUtime=0.67
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 9182 0 2 0 62 5 0 0 18 0 9 0 75371615 887840768 8471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216758 8471 2465 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867032 CPUtime=0.49
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7423 0 2 0 45 4 0 0 19 0 9 0 75371616 887840768 8471 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867032
[startup+1.50283 s]
/proc/loadavg: 2.29 2.55 2.70 3/90 2892
/proc/meminfo: memFree=1870040/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=1.46
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10025 0 2 0 138 8 0 0 18 0 9 0 75371615 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9193 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=1.22
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7475 0 2 0 116 6 0 0 25 0 9 0 75371616 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4126811037 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.17
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 479 0 0 0 17 0 0 0 16 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867120
[startup+3.10113 s]
/proc/loadavg: 2.29 2.55 2.70 3/90 2892
/proc/meminfo: memFree=1869920/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=3.06
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10026 0 2 0 295 11 0 0 18 0 9 0 75371615 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9193 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=2.81
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7476 0 2 0 272 9 0 0 25 0 9 0 75371616 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4126809510 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.17
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 479 0 0 0 17 0 0 0 17 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9193 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867120
[startup+6.30272 s]
/proc/loadavg: 2.27 2.54 2.70 3/90 2892
/proc/meminfo: memFree=1869856/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=6.24
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10031 0 2 0 605 19 0 0 18 0 9 0 75371615 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9197 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=5.99
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7477 0 2 0 582 17 0 0 25 0 9 0 75371616 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4126817007 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.18
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 483 0 0 0 18 0 0 0 16 0 9 0 75371620 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9197 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867120
[startup+12.7019 s]
/proc/loadavg: 2.25 2.53 2.69 3/90 2892
/proc/meminfo: memFree=1870112/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=12.6
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10034 0 2 0 1225 35 0 0 18 0 9 0 75371615 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9200 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=12.35
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7477 0 2 0 1202 33 0 0 25 0 9 0 75371616 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4126809439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.18
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 486 0 0 0 18 0 0 0 16 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 867120
Solver just ended. Dumping a history of the last processes samples
[startup+14.3062 s]
/proc/loadavg: 2.25 2.53 2.69 3/90 2892
/proc/meminfo: memFree=1870240/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=14.2
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10034 0 2 0 1381 39 0 0 18 0 9 0 75371615 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9200 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=13.95
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7477 0 2 0 1358 37 0 0 25 0 9 0 75371616 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4126810976 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.18
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 486 0 0 0 18 0 0 0 16 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.2
Current children cumulated vsize (KiB) 867120
[startup+15.9025 s]
/proc/loadavg: 2.23 2.52 2.69 3/90 2892
/proc/meminfo: memFree=1870240/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=15.79
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10034 0 2 0 1536 43 0 0 18 0 9 0 75371615 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9200 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=15.54
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7477 0 2 0 1513 41 0 0 25 0 9 0 75371616 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4126836687 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.18
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 486 0 0 0 18 0 0 0 16 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (KiB) 867120
[startup+16.7026 s]
/proc/loadavg: 2.23 2.52 2.69 4/90 2892
/proc/meminfo: memFree=1870304/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=16.58
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10034 0 2 0 1614 44 0 0 18 0 9 0 75371615 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9200 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=16.33
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7477 0 2 0 1591 42 0 0 25 0 9 0 75371616 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4126809496 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.18
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 486 0 0 0 18 0 0 0 16 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) R 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.58
Current children cumulated vsize (KiB) 867120
[startup+17.1027 s]
/proc/loadavg: 2.23 2.52 2.69 4/90 2892
/proc/meminfo: memFree=1870304/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=16.99
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10034 0 2 0 1654 45 0 0 18 0 9 0 75371615 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9200 2634 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=16.73
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7477 0 2 0 1630 43 0 0 25 0 9 0 75371616 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.18
/proc/2883/task/2890/stat : 2890 (java) S 2881 2883 32292 0 -1 64 486 0 0 0 18 0 0 0 16 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9200 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.99
Current children cumulated vsize (KiB) 867120
[startup+17.2027 s]
/proc/loadavg: 2.23 2.52 2.69 4/90 2892
/proc/meminfo: memFree=1870304/2055920 swapFree=4192812/4192956
[pid=2883] ppid=2881 vsize=867120 CPUtime=17.09
/proc/2883/stat : 2883 (java) S 2881 2883 32292 0 -1 0 10243 0 2 0 1663 46 0 0 18 0 9 0 75371615 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2883/statm: 216780 9409 2635 9 0 211286 0
[pid=2883/tid=2884] ppid=2881 vsize=867120 CPUtime=16.82
/proc/2883/task/2884/stat : 2884 (java) R 2881 2883 32292 0 -1 64 7677 0 2 0 1638 44 0 0 25 0 9 0 75371616 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2886] ppid=2881 vsize=867120 CPUtime=0.04
/proc/2883/task/2886/stat : 2886 (java) S 2881 2883 32292 0 -1 64 1375 0 0 0 4 0 0 0 16 0 9 0 75371618 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2887] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2887/stat : 2887 (java) S 2881 2883 32292 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 75371618 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2888] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2888/stat : 2888 (java) S 2881 2883 32292 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 75371618 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2889] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2889/stat : 2889 (java) S 2881 2883 32292 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 75371620 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2890] ppid=2881 vsize=867120 CPUtime=0.2
/proc/2883/task/2890/stat : 2890 (java) R 2881 2883 32292 0 -1 64 495 0 0 0 20 0 0 0 16 0 9 0 75371620 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 101905333 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2891] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2891/stat : 2891 (java) S 2881 2883 32292 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 75371620 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2883/tid=2892] ppid=2881 vsize=867120 CPUtime=0
/proc/2883/task/2892/stat : 2892 (java) S 2881 2883 32292 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 75371620 887930880 9409 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.09
Current children cumulated vsize (KiB) 867120
Child status: 0
Real time (s): 17.2821
CPU time (s): 17.1294
CPU user time (s): 16.6575
CPU system time (s): 0.471928
CPU usage (%): 99.1164
Max. virtual memory (cumulated for all children) (KiB): 867124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.6575
system time used= 0.471928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10626
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1334
involuntary context switches= 2088
runsolver used 0.032994 second user time and 0.06299 second system time
The end