0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.26
0.19/0.26 configuration
0.19/0.26 name=esac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2095630-1247407881.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.38 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001 nbTotalValues=30116
0.28/0.38 => wckTime=0.127 cpuTime=0.11 mem=8M871
0.28/0.39
0.28/0.39 relations being loaded...
0.38/0.45
0.38/0.45 constraints being loaded...
0.67/0.71 nbConstraints=351 nbRelationTypes=28 nbGlobalConstraints=26 nbSingletonDomainVariables=2
0.67/0.71 nbExtensionStructures=29 nbSharedExtensionStructures=321 nbConflictsStructures=29
0.67/0.71 nbSharedConflictsStructures=321 nbSharedBinaryRepresentations=25493 minDegree=1 maxDegree=26 minArity=2
0.67/0.71 avgArity=2.14 maxArity=25 nbGenerators=0 nbFusions=0 symmetryWckTime=0.075 symmetryCpuTime=0.03 nbCliques=1
0.67/0.71 => wckTime=0.452 cpuTime=0.31 mem=22M414
0.67/0.78
0.67/0.78 solver IterativeSystematicSolver being built...
0.77/0.85
0.77/0.85 INFO : Forward propagation technique limited
0.87/0.92 => wckTime=0.661 cpuTime=0.43 mem=24M389
1.35/1.45
1.35/1.45 preprocessing
1.35/1.45 nbConstraintChecks=363667 nbValidityChecks=3863022 nbPropagations=11128 nbRevisions=11341
1.35/1.45 nbUselessRevisions=4184 nbSingletonTests=246 nbEffectiveSingletonTests=14 nbACRemovals=26370
1.35/1.45 nbFoundSingletons=0 nbRemovedValues=26471 detectedInconsistency=no
1.35/1.45 => wckTime=0.523 cpuTime=0.45 mem=25M430
1.85/1.90
1.85/1.90 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=26M422)
302.02/304.94
302.02/304.94 search
302.02/304.94 run=22 nbConstraintChecks=324435354 nbValidityChecks=687572275 minDepth=1 maxDepth=76 nbPropagations=81364803
302.02/304.94 nbRevisions=114390327 nbUselessRevisions=70215967 nbAssignments=412625 nbFailedAssignments=218730
302.02/304.94 nbBacktracks=193600 nbVisitedNodes=753512 nbRestartNogoods=470 nbFoundSolutions=1 nbSEliminables=0
302.02/304.94 nbREliminables=2 nbIEliminables=68.98 nbDEliminables=0 nbPEliminables=0
302.02/304.94 => wckTime=304.021 cpuTime=301.04 mem=36M173
302.02/304.95
302.02/304.95 global
302.02/304.95 nbConstraintChecks=324799021 nbValidityChecks=691435297 nbPropagations=81375931 nbRevisions=114401668
302.02/304.95 nbUselessRevisions=70220151 nbRestartNogoods=470 solvingWckTime=304.024 solvingCpuTime=301.06 expiredTime=no
302.02/304.95 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=301.48 globalCpuTime=301.53
302.02/304.95 => wckTime=304.688 cpuTime=301.49 mem=36M173
302.02/304.95
302.02/304.95 s SATISFIABLE
302.02/304.95 v 22 3 24 0 17 1 11 4 1 15 16 2 2 14 23 0 13 14 4 7 9 3 25 4 5 10 6 4 8 1 15 12 10 11 12 3 14 2 19 22 18 9 3 6 20 2 7 12 21 24 3 4 8 23 25 39 39 53 60 63 67 77 81 82 94 105 108 110 132 141 147 149 161 185 185 0
302.02/304.95 d NODES 412625
302.02/304.95 d CHECKS 324799021
302.02/304.95
302.02/304.95 totalWckTime=304.761 totalCpuTime=301.53
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095630-1247407881/watcher-2095630-1247407881 -o /tmp/evaluation-result-2095630-1247407881/solver-2095630-1247407881 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095630-1247407881.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.01 2.00 1.95 4/80 3172
/proc/meminfo: memFree=1746168/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=18576 CPUtime=0
/proc/3172/stat : 3172 (runsolver) R 3170 3172 2490 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27851757 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3172/statm: 4644 284 249 26 0 2626 0
[startup+0.00850898 s]
/proc/loadavg: 2.01 2.00 1.95 4/80 3172
/proc/meminfo: memFree=1746168/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=1612 CPUtime=0
/proc/3172/stat : 3172 (java) D 3170 3172 2490 0 -1 0 152 0 0 0 0 0 0 0 18 0 1 0 27851757 1650688 125 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3172/statm: 403 125 100 9 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1612
[startup+0.103829 s]
/proc/loadavg: 2.01 2.00 1.95 4/80 3172
/proc/meminfo: memFree=1746168/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=865984 CPUtime=0.09
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 3773 0 1 0 7 2 0 0 18 0 9 0 27851757 886767616 3229 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216496 3229 1703 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301846 s]
/proc/loadavg: 2.01 2.00 1.95 4/80 3172
/proc/meminfo: memFree=1746168/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=866380 CPUtime=0.28
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 5846 0 1 0 25 3 0 0 18 0 9 0 27851757 887173120 5212 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216595 5212 1981 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.70188 s]
/proc/loadavg: 2.01 2.00 1.95 4/80 3172
/proc/meminfo: memFree=1746168/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867732 CPUtime=0.67
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 10848 293 1 0 60 7 0 0 18 0 9 0 27851757 888557568 9357 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216933 9357 2027 9 0 211391 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867732
[startup+1.50296 s]
/proc/loadavg: 2.01 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1709808/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=1.45
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 18905 293 1 0 136 9 0 0 18 0 9 0 27851757 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 11721 2657 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=1.13
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 13262 293 1 0 107 6 0 0 25 0 9 0 27851758 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4126918866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.23
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 727 293 0 0 23 0 0 0 15 0 9 0 27851762 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 11721 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 3 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 11721 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) 867940
[startup+3.10209 s]
/proc/loadavg: 2.01 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1709296/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=3.05
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 18956 293 1 0 295 10 0 0 18 0 9 0 27851757 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 11770 2657 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=2.68
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 13286 293 1 0 261 7 0 0 25 0 9 0 27851758 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4126967589 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 17 0 9 0 27851760 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.28
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 754 293 0 0 28 0 0 0 15 0 9 0 27851762 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 3 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 11770 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867940
[startup+6.30137 s]
/proc/loadavg: 2.01 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1708976/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=6.21
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 19003 293 1 0 611 10 0 0 18 0 9 0 27851757 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 11802 2657 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=5.84
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 13313 293 1 0 577 7 0 0 25 0 9 0 27851758 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4126918683 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.29
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 762 293 0 0 29 0 0 0 15 0 9 0 27851762 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 11802 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867940
[startup+12.7029 s]
/proc/loadavg: 2.01 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1708656/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=12.55
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 19056 293 1 0 1245 10 0 0 18 0 9 0 27851757 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 11848 2657 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=12.17
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 13360 293 1 0 1210 7 0 0 25 0 9 0 27851758 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4126977427 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.29
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 768 293 0 0 29 0 0 0 16 0 9 0 27851762 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 11848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867940
[startup+25.5011 s]
/proc/loadavg: 2.01 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1708272/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=25.23
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 19171 293 1 0 2513 10 0 0 18 0 9 0 27851757 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 11962 2657 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=24.85
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 13475 293 1 0 2478 7 0 0 25 0 9 0 27851758 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4127031697 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.29
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 768 293 0 0 29 0 0 0 16 0 9 0 27851762 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 11962 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867940
[startup+51.1013 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1707440/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=50.59
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 19391 293 1 0 5049 10 0 0 18 0 9 0 27851757 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 12180 2657 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=50.21
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 13693 293 1 0 5014 7 0 0 25 0 9 0 27851758 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4126933216 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.29
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 770 293 0 0 29 0 0 0 16 0 9 0 27851762 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 12180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=279.24
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 15527 293 1 0 27916 8 0 0 25 0 9 0 27851758 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4126931286 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.3
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 783 293 0 0 30 0 0 0 16 0 9 0 27851762 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 14009 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 867940
Solver just ended. Dumping a history of the last processes samples
[startup+294.303 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1699632/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=291.52
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 21339 293 1 0 29141 11 0 0 18 0 9 0 27851757 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 14110 2658 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=291.13
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 15628 293 1 0 29105 8 0 0 25 0 9 0 27851758 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4126938858 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.3
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 783 293 0 0 30 0 0 0 16 0 9 0 27851762 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 14110 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 291.52
Current children cumulated vsize (KiB) 867940
[startup+300.702 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1699504/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=297.86
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 21391 293 1 0 29775 11 0 0 18 0 9 0 27851757 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 14162 2658 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=297.47
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 15680 293 1 0 29739 8 0 0 25 0 9 0 27851758 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4126918876 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.3
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 783 293 0 0 30 0 0 0 16 0 9 0 27851762 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 14162 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 297.86
Current children cumulated vsize (KiB) 867940
[startup+302.302 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1699376/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=299.44
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 21405 293 1 0 29933 11 0 0 18 0 9 0 27851757 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 14176 2658 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=299.06
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 15694 293 1 0 29898 8 0 0 25 0 9 0 27851758 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4126927813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.3
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 783 293 0 0 30 0 0 0 16 0 9 0 27851762 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 14176 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 299.44
Current children cumulated vsize (KiB) 867940
[startup+303.902 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1699312/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=301.02
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 21416 293 1 0 30091 11 0 0 18 0 9 0 27851757 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 14187 2658 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=300.64
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 15705 293 1 0 30056 8 0 0 25 0 9 0 27851758 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4126919190 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.3
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 783 293 0 0 30 0 0 0 16 0 9 0 27851762 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 14187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 301.02
Current children cumulated vsize (KiB) 867940
[startup+304.707 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1699248/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=301.82
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 21422 293 1 0 30171 11 0 0 18 0 9 0 27851757 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 14193 2658 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=301.44
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 15711 293 1 0 30136 8 0 0 25 0 9 0 27851758 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4126906939 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.3
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 783 293 0 0 30 0 0 0 16 0 9 0 27851762 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 14193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 301.82
Current children cumulated vsize (KiB) 867940
[startup+304.902 s]
/proc/loadavg: 2.00 2.00 1.95 3/89 3185
/proc/meminfo: memFree=1699248/2055920 swapFree=4192812/4192956
[pid=3172] ppid=3170 vsize=867940 CPUtime=302.02
/proc/3172/stat : 3172 (java) S 3170 3172 2490 0 -1 0 21424 293 1 0 30191 11 0 0 18 0 9 0 27851757 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3172/statm: 216985 14195 2658 9 0 211421 0
[pid=3172/tid=3174] ppid=3170 vsize=867940 CPUtime=301.63
/proc/3172/task/3174/stat : 3174 (java) R 3170 3172 2490 0 -1 64 15713 293 1 0 30155 8 0 0 25 0 9 0 27851758 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4126904910 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3175] ppid=3170 vsize=867940 CPUtime=0.05
/proc/3172/task/3175/stat : 3175 (java) S 3170 3172 2490 0 -1 64 4076 293 0 0 4 1 0 0 16 0 9 0 27851760 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3176] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3176/stat : 3176 (java) S 3170 3172 2490 0 -1 64 19 293 0 0 0 0 0 0 16 0 9 0 27851760 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3177] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3177/stat : 3177 (java) S 3170 3172 2490 0 -1 64 9 293 0 0 0 0 0 0 15 0 9 0 27851760 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3178] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3178/stat : 3178 (java) S 3170 3172 2490 0 -1 64 2 293 0 0 0 0 0 0 18 0 9 0 27851762 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3179] ppid=3170 vsize=867940 CPUtime=0.3
/proc/3172/task/3179/stat : 3179 (java) S 3170 3172 2490 0 -1 64 783 293 0 0 30 0 0 0 16 0 9 0 27851762 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3180] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3180/stat : 3180 (java) S 3170 3172 2490 0 -1 64 0 293 0 0 0 0 0 0 19 0 9 0 27851762 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3172/tid=3181] ppid=3170 vsize=867940 CPUtime=0
/proc/3172/task/3181/stat : 3181 (java) S 3170 3172 2490 0 -1 64 15 293 0 0 0 0 0 0 15 0 9 0 27851762 888770560 14195 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 302.02
Current children cumulated vsize (KiB) 867940
Child status: 0
Real time (s): 304.987
CPU time (s): 302.107
CPU user time (s): 301.972
CPU system time (s): 0.134979
CPU usage (%): 99.0558
Max. virtual memory (cumulated for all children) (KiB): 867940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.972
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21848
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= 7653
involuntary context switches= 13985
runsolver used 0.395939 second user time and 1.00085 second system time
The end
Begin job on node50 at 2009-07-12 16:11:21
IDJOB=2095630
IDBENCH=55488
IDSOLVER=774
FILE ID=node50/2095630-1247407881
PBS_JOBID= 9510546
Free space on /tmp= 66428 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/travellingSalesman-25/normalized-tsp-25-48_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095630-1247407881/watcher-2095630-1247407881 -o /tmp/evaluation-result-2095630-1247407881/solver-2095630-1247407881 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095630-1247407881.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= da13ba5a9bae10f8f78b88700e630ef7
RANDOM SEED=1247427643
node50.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.231
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.231
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: 1746648 kB
Buffers: 45020 kB
Cached: 136336 kB
SwapCached: 0 kB
Active: 160832 kB
Inactive: 86852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1746648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2496 kB
Writeback: 0 kB
Mapped: 86840 kB
Slab: 46736 kB
Committed_AS: 1026892 kB
PageTables: 1980 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= 66424 MiB
End job on node50 at 2009-07-12 16:16:27