0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.19/0.27
0.19/0.27 configuration
0.19/0.27 name=mac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-2096789-1247410709.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.38/0.40 nbVariables=100 nbDomainTypes=1 minDomainSize=46 maxDomainSize=46 nbTotalValues=4600
0.38/0.40 => wckTime=0.127 cpuTime=0.1 mem=7M892
0.38/0.40
0.38/0.40 predicates being loaded...
0.47/0.54
0.47/0.54 constraints being loaded...
1.07/1.11 nbConstraints=80 nbUnbuiltConflictsStructures=80 nbSharedBinaryRepresentations=0 nbEvaluationManagers=80
1.07/1.11 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=12 minArity=3 avgArity=6.68 maxArity=10 nbGenerators=0
1.07/1.11 nbFusions=0 symmetryWckTime=0.069 symmetryCpuTime=0.04
1.07/1.11 => wckTime=0.84 cpuTime=0.68 mem=38M182
1.07/1.18
1.07/1.18 solver IterativeSystematicSolver being built...
1.16/1.27
1.16/1.27 INFO : Forward propagation technique limited
1.26/1.33 => wckTime=1.063 cpuTime=0.8 mem=23M394
1.65/1.70
1.65/1.70 preprocessing
1.65/1.70 nbConstraintChecks=874310 nbValidityChecks=636 nbPropagations=107 nbRevisions=34 nbUselessRevisions=6
1.65/1.70 nbRemovedValues=520 detectedInconsistency=no
1.65/1.70 => wckTime=0.362 cpuTime=0.36 mem=23M394
13.24/13.41
13.24/13.41 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M408)
288.89/291.78
288.89/291.78 search
288.89/291.78 run=13 nbConstraintChecks=498862269 nbValidityChecks=1555345 minDepth=0 maxDepth=100 nbPropagations=338113
288.89/291.78 nbRevisions=414174 nbUselessRevisions=84478 nbAssignments=15326 nbFailedAssignments=5806 nbBacktracks=9268
288.89/291.78 nbVisitedNodes=21134 nbRestartNogoods=70 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=57.88
288.89/291.78 nbIEliminables=37.59 nbDEliminables=0 nbPEliminables=0
288.89/291.78 => wckTime=290.441 cpuTime=287.57 mem=25M356
288.89/291.78
288.89/291.78 global
288.89/291.78 nbConstraintChecks=499736579 nbValidityChecks=1555981 nbPropagations=338220 nbRevisions=414208
288.89/291.78 nbUselessRevisions=84484 nbRestartNogoods=70 solvingWckTime=290.443 solvingCpuTime=287.57 expiredTime=no
288.89/291.78 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=288.37 globalCpuTime=288.42
288.89/291.78 => wckTime=291.507 cpuTime=288.38 mem=25M356
288.89/291.78
288.89/291.78 s SATISFIABLE
288.89/291.78 v 43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47
288.89/291.78 d NODES 15326
288.89/291.78 d CHECKS 499736579
288.89/291.78
288.89/291.78 totalWckTime=291.585 totalCpuTime=288.42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096789-1247410709/watcher-2096789-1247410709 -o /tmp/evaluation-result-2096789-1247410709/solver-2096789-1247410709 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096789-1247410709.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.02 2.00 3/80 28973
/proc/meminfo: memFree=1689496/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=18576 CPUtime=0
/proc/28973/stat : 28973 (runsolver) R 28971 28973 28067 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28134877 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28973/statm: 4644 284 249 26 0 2626 0
[startup+0.0639131 s]
/proc/loadavg: 2.12 2.02 2.00 3/80 28973
/proc/meminfo: memFree=1689496/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=864024 CPUtime=0.05
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 2790 0 1 0 3 2 0 0 18 0 9 0 28134877 884760576 2330 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216006 2330 1102 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.101917 s]
/proc/loadavg: 2.12 2.02 2.00 3/80 28973
/proc/meminfo: memFree=1689496/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=865984 CPUtime=0.09
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 3728 0 1 0 7 2 0 0 18 0 9 0 28134877 886767616 3196 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216496 3196 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.30196 s]
/proc/loadavg: 2.12 2.02 2.00 3/80 28973
/proc/meminfo: memFree=1689496/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=866300 CPUtime=0.28
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 5678 0 1 0 24 4 0 0 18 0 9 0 28134877 887091200 5090 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216575 5090 1916 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866300
[startup+0.701035 s]
/proc/loadavg: 2.12 2.02 2.00 3/80 28973
/proc/meminfo: memFree=1689496/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867180 CPUtime=0.67
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 9185 0 1 0 61 6 0 0 18 0 9 0 28134877 887992320 8539 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216795 8539 2035 9 0 211231 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867180
[startup+1.50218 s]
/proc/loadavg: 2.12 2.02 2.00 3/89 28982
/proc/meminfo: memFree=1647888/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=1.45
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22349 282 1 0 132 13 0 0 18 0 9 0 28134877 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14385 2656 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=1.16
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 17873 282 1 0 105 11 0 0 25 0 9 0 28134878 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4126938615 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2939 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.21
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 697 282 0 0 21 0 0 0 15 0 9 0 28134882 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 4 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867960
[startup+3.10248 s]
/proc/loadavg: 2.12 2.02 2.00 3/89 28986
/proc/meminfo: memFree=1642128/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=3.04
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22602 282 1 0 291 13 0 0 18 0 9 0 28134877 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14404 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=2.72
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18108 282 1 0 261 11 0 0 25 0 9 0 28134878 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4126933396 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 17 0 9 0 28134879 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.23
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 714 282 0 0 23 0 0 0 16 0 9 0 28134882 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 4 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14404 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867960
[startup+6.3011 s]
/proc/loadavg: 2.11 2.02 2.00 3/89 28986
/proc/meminfo: memFree=1641872/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=6.2
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22626 282 1 0 607 13 0 0 18 0 9 0 28134877 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14409 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=5.88
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18115 282 1 0 577 11 0 0 25 0 9 0 28134878 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4126930144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 17 0 9 0 28134879 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.24
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 719 282 0 0 24 0 0 0 16 0 9 0 28134882 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14409 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867960
[startup+12.7023 s]
/proc/loadavg: 2.10 2.02 2.00 3/89 28986
/proc/meminfo: memFree=1641744/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=12.54
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22656 282 1 0 1241 13 0 0 18 0 9 0 28134877 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14417 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=12.2
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18128 282 1 0 1209 11 0 0 25 0 9 0 28134878 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4126937107 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 17 0 9 0 28134879 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.25
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 736 282 0 0 25 0 0 0 16 0 9 0 28134882 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14417 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867960
[startup+25.5018 s]
/proc/loadavg: 2.08 2.02 2.00 3/89 28986
/proc/meminfo: memFree=1641680/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=25.22
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22665 282 1 0 2509 13 0 0 18 0 9 0 28134877 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14420 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=24.88
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18132 282 1 0 2477 11 0 0 25 0 9 0 28134878 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4126930144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.26
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 741 282 0 0 26 0 0 0 16 0 9 0 28134882 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867960
[startup+51.1016 s]
/proc/loadavg: 2.05 2.01 2.00 3/89 28986
/proc/meminfo: memFree=1641680/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=50.58
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22707 282 1 0 5044 14 0 0 18 0 9 0 28134877 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14433 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=50.2
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18135 282 1 0 5009 11 0 0 25 0 9 0 28134878 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4126943143 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 17 0 9 0 28134879 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 780 282 0 0 29 1 0 0 15 0 9 0 28134882 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=279.19
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18139 282 1 0 27908 11 0 0 25 0 9 0 28134878 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4126938692 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 782 282 0 0 29 1 0 0 17 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.58
Current children cumulated vsize (KiB) 867960
Solver just ended. Dumping a history of the last processes samples
[startup+287.903 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28992
/proc/meminfo: memFree=1641232/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=285.13
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22713 282 1 0 28499 14 0 0 18 0 9 0 28134877 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14434 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=284.74
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18139 282 1 0 28463 11 0 0 25 0 9 0 28134878 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4126931688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 782 282 0 0 29 1 0 0 17 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 285.13
Current children cumulated vsize (KiB) 867960
[startup+289.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28992
/proc/meminfo: memFree=1641296/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=286.71
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22713 282 1 0 28657 14 0 0 18 0 9 0 28134877 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14434 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=286.32
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18139 282 1 0 28621 11 0 0 25 0 9 0 28134878 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4126933377 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 782 282 0 0 29 1 0 0 17 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 286.71
Current children cumulated vsize (KiB) 867960
[startup+291.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28992
/proc/meminfo: memFree=1641296/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=288.29
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22713 282 1 0 28815 14 0 0 18 0 9 0 28134877 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14434 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=287.9
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18139 282 1 0 28779 11 0 0 25 0 9 0 28134878 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4126938608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 782 282 0 0 29 1 0 0 17 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.29
Current children cumulated vsize (KiB) 867960
[startup+291.506 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28992
/proc/meminfo: memFree=1641296/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=288.69
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22713 282 1 0 28855 14 0 0 18 0 9 0 28134877 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14434 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=288.3
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18139 282 1 0 28819 11 0 0 25 0 9 0 28134878 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4126931639 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 782 282 0 0 29 1 0 0 17 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.69
Current children cumulated vsize (KiB) 867960
[startup+291.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28992
/proc/meminfo: memFree=1641296/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=288.89
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22713 282 1 0 28875 14 0 0 18 0 9 0 28134877 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14434 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=288.5
/proc/28973/task/28975/stat : 28975 (java) R 28971 28973 28067 0 -1 64 18139 282 1 0 28839 11 0 0 25 0 9 0 28134878 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4126938615 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 782 282 0 0 29 1 0 0 17 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14434 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.89
Current children cumulated vsize (KiB) 867960
[startup+291.803 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28992
/proc/meminfo: memFree=1641296/2055920 swapFree=4192812/4192956
[pid=28973] ppid=28971 vsize=867960 CPUtime=288.97
/proc/28973/stat : 28973 (java) S 28971 28973 28067 0 -1 0 22802 282 1 0 28883 14 0 0 18 0 9 0 28134877 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28973/statm: 216990 14436 2657 9 0 211426 0
[pid=28973/tid=28975] ppid=28971 vsize=867960 CPUtime=288.58
/proc/28973/task/28975/stat : 28975 (java) S 28971 28973 28067 0 -1 64 18228 282 1 0 28847 11 0 0 23 0 9 0 28134878 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28976] ppid=28971 vsize=867960 CPUtime=0.05
/proc/28973/task/28976/stat : 28976 (java) S 28971 28973 28067 0 -1 64 2940 282 0 0 5 0 0 0 16 0 9 0 28134879 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28977] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28977/stat : 28977 (java) S 28971 28973 28067 0 -1 64 19 282 0 0 0 0 0 0 17 0 9 0 28134880 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28978] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28978/stat : 28978 (java) S 28971 28973 28067 0 -1 64 12 282 0 0 0 0 0 0 16 0 9 0 28134880 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28979] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28979/stat : 28979 (java) S 28971 28973 28067 0 -1 64 2 282 0 0 0 0 0 0 18 0 9 0 28134882 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28980] ppid=28971 vsize=867960 CPUtime=0.3
/proc/28973/task/28980/stat : 28980 (java) S 28971 28973 28067 0 -1 64 782 282 0 0 29 1 0 0 17 0 9 0 28134882 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28981] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28981/stat : 28981 (java) S 28971 28973 28067 0 -1 64 0 282 0 0 0 0 0 0 19 0 9 0 28134882 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28973/tid=28982] ppid=28971 vsize=867960 CPUtime=0
/proc/28973/task/28982/stat : 28982 (java) S 28971 28973 28067 0 -1 64 16 282 0 0 0 0 0 0 15 0 9 0 28134882 888791040 14436 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.97
Current children cumulated vsize (KiB) 867960
Child status: 0
Real time (s): 291.848
CPU time (s): 288.998
CPU user time (s): 288.835
CPU system time (s): 0.162975
CPU usage (%): 99.0236
Max. virtual memory (cumulated for all children) (KiB): 867960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.835
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23111
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7374
involuntary context switches= 13615
runsolver used 0.362944 second user time and 0.979851 second system time
The end
Begin job on node42 at 2009-07-12 16:58:30
IDJOB=2096789
IDBENCH=56658
IDSOLVER=773
FILE ID=node42/2096789-1247410709
PBS_JOBID= 9510559
Free space on /tmp= 66304 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/primes-15/normalized-primes-15-80-3-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2096789-1247410709/watcher-2096789-1247410709 -o /tmp/evaluation-result-2096789-1247410709/solver-2096789-1247410709 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2096789-1247410709.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f72bf44d4aefee958618dddc4fe21788
RANDOM SEED=756324160
node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.283
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.283
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1689976 kB
Buffers: 43272 kB
Cached: 165692 kB
SwapCached: 0 kB
Active: 196724 kB
Inactive: 115628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1689976 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2192 kB
Writeback: 0 kB
Mapped: 123884 kB
Slab: 38560 kB
Committed_AS: 1007368 kB
PageTables: 1960 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66304 MiB
End job on node42 at 2009-07-12 17:03:21