0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1079897-1215211258.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.39 => wckTime=0.144 cpuTime=0.11 mem=7M919
0.28/0.39
0.28/0.39 relations being loaded...
0.68/0.74
0.68/0.74 constraints being loaded...
0.88/0.98 nbConstraints=60 nbRelationTypes=60 nbGlobalConstraints=60 nbExtensionStructures=60
0.88/0.98 nbSharedExtensionStructures=0 nbConflictsStructures=60 nbSharedConflictsStructures=0
0.88/0.98 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=14 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.88/0.98 symmetryWckTime=0.045 symmetryCpuTime=0.02
0.88/0.98 => wckTime=0.74 cpuTime=0.63 mem=48M758
0.99/1.09
0.99/1.09 solver IterativeSystematicSolver being built...
1.08/1.16
1.08/1.16 INFO : Forward propagation technique limited
1.18/1.23 => wckTime=0.986 cpuTime=0.75 mem=30M179
1.28/1.36
1.28/1.36 preprocessing
1.28/1.36 nbConstraintChecks=0 nbValidityChecks=1334297 nbPropagations=184 nbRevisions=0 nbUselessRevisions=0
1.28/1.36 nbSingletonTests=29 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.28/1.36 detectedInconsistency=no
1.28/1.36 => wckTime=0.126 cpuTime=0.11 mem=30M179
1.88/1.98
1.88/1.98 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M233)
347.78/348.03
347.78/348.03 search
347.78/348.03 run=21 nbConstraintChecks=2027323 nbValidityChecks=4877115877 minDepth=0 maxDepth=20 nbPropagations=8164929
347.78/348.03 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201359 nbFailedAssignments=117707 nbBacktracks=83533
347.78/348.03 nbVisitedNodes=376795 nbRestartNogoods=263 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=4.12
347.78/348.03 nbIEliminables=10.75 nbDEliminables=0 nbPEliminables=0
347.78/348.03 => wckTime=346.728 cpuTime=346.48 mem=36M11
347.78/348.03
347.78/348.03 global
347.78/348.03 nbConstraintChecks=2027323 nbValidityChecks=4878450174 nbPropagations=8165113 nbRestartNogoods=263
347.78/348.03 solvingWckTime=346.801 solvingCpuTime=346.48 expiredTime=no totalExploration=no nbFoundSolutions=1
347.78/348.03 firstSolutionCpuTime=347.23 globalCpuTime=347.28
347.78/348.03 => wckTime=347.79 cpuTime=347.23 mem=36M11
347.78/348.03
347.78/348.03 s SATISFIABLE
347.78/348.03 v 11 14 0 8 2 8 18 17 6 16 0 16 7 2 4 11 13 6 9 13
347.78/348.03 d NODES 201359
347.78/348.03 d CHECKS 2027323
347.78/348.03
347.78/348.03 totalWckTime=347.847 totalCpuTime=347.28
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079897-1215211258/watcher-1079897-1215211258 -o /tmp/evaluation-result-1079897-1215211258/solver-1079897-1215211258 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1079897-1215211258.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): 2200 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: 1.98 1.98 1.99 3/80 27749
/proc/meminfo: memFree=1724392/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=10616 CPUtime=0
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 426743214 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 2654 472 209 9 0 1184 0
[pid=27749/tid=27750] ppid=27747 vsize=10616 CPUtime=0
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 426743215 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4657112 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.044328 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 27749
/proc/meminfo: memFree=1724392/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=861876 CPUtime=0.02
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 2251 0 1 0 1 1 0 0 18 0 5 0 426743214 882561024 1862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 215469 1865 855 9 0 210448 0
[pid=27749/tid=27750] ppid=27747 vsize=861876 CPUtime=0.02
/proc/27749/task/27750/stat : 27750 (java) D 27747 27749 25825 0 -1 64 1562 0 1 0 1 1 0 0 17 0 5 0 426743215 882561024 1865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099937270 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.103707 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 27749
/proc/meminfo: memFree=1724392/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=865884 CPUtime=0.08
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 3740 0 1 0 6 2 0 0 18 0 9 0 426743214 886665216 3200 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216471 3200 1697 9 0 211026 0
[pid=27749/tid=27750] ppid=27747 vsize=865884 CPUtime=0.07
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 2837 0 1 0 6 1 0 0 18 0 9 0 426743215 886665216 3200 996147200 134512640 134550740 4294955968 18446744073709551615 102756401 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301737 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 27749
/proc/meminfo: memFree=1724392/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=866196 CPUtime=0.28
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 5619 0 1 0 24 4 0 0 18 0 9 0 426743214 886984704 5033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216549 5033 1902 9 0 211097 0
[pid=27749/tid=27750] ppid=27747 vsize=866196 CPUtime=0.24
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 4654 0 1 0 21 3 0 0 19 0 9 0 426743215 886984704 5033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701796 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 27749
/proc/meminfo: memFree=1724392/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=866408 CPUtime=0.68
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 10592 0 1 0 61 7 0 0 18 0 9 0 426743214 887201792 9962 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216602 9962 1968 9 0 211130 0
[pid=27749/tid=27750] ppid=27747 vsize=866408 CPUtime=0.59
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 9571 0 1 0 53 6 0 0 20 0 9 0 426743215 887201792 9962 996147200 134512640 134550740 4294955968 18446744073709551615 4126560983 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866408
[startup+1.50291 s]
/proc/loadavg: 1.98 1.98 1.99 4/89 27762
/proc/meminfo: memFree=1669600/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867264 CPUtime=1.48
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 28441 270 1 0 134 13 0 1 18 0 9 0 426743214 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216816 19296 2631 9 0 211322 0
[pid=27749/tid=27750] ppid=27747 vsize=867264 CPUtime=1.2
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 19524 270 1 0 110 9 0 1 25 0 9 0 426743215 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4126746467 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867264 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 18 0 9 0 426743217 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867264 CPUtime=0.15
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 505 270 0 0 14 0 0 1 15 0 9 0 426743219 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888078336 19296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867264
[startup+3.10213 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 27762
/proc/meminfo: memFree=1657248/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867264 CPUtime=3.08
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 28475 270 1 0 293 14 0 1 18 0 9 0 426743214 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216816 19315 2631 9 0 211322 0
[pid=27749/tid=27750] ppid=27747 vsize=867264 CPUtime=2.77
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 19539 270 1 0 266 10 0 1 25 0 9 0 426743215 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4125978292 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867264 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 17 0 9 0 426743217 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867264 CPUtime=0.19
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 524 270 0 0 18 0 0 1 16 0 9 0 426743219 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867264 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888078336 19315 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867264
[startup+6.30159 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 27762
/proc/meminfo: memFree=1656864/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=6.27
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 28493 270 1 0 612 14 0 1 18 0 9 0 426743214 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19329 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=5.94
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 19541 270 1 0 583 10 0 1 17 0 9 0 426743215 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4126772137 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.21
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 540 270 0 0 20 0 0 1 15 0 9 0 426743219 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19329 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867396
[startup+12.7025 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 27762
/proc/meminfo: memFree=1656736/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=12.67
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 28512 270 1 0 1252 14 0 1 18 0 9 0 426743214 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19333 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=12.33
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 19555 270 1 0 1222 10 0 1 25 0 9 0 426743215 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4126746705 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 15 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 867396
[startup+25.5013 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 27762
/proc/meminfo: memFree=1656736/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=25.46
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 28562 270 1 0 2531 14 0 1 18 0 9 0 426743214 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19333 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=25.12
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 19605 270 1 0 2501 10 0 1 25 0 9 0 426743215 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4126746267 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 867396
[startup+51.1019 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 27762
/proc/meminfo: memFree=1656736/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=51.05
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 28623 270 1 0 5089 15 0 1 18 0 9 0 426743214 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19333 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=50.71
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 19666 270 1 0 5059 11 0 1 25 0 9 0 426743215 888213504 19333 996147200 134512640 134550740 4294955968 18446744073709551615 4126746293 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
################
# More data... #
################
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=281.81
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 20241 270 1 0 28168 12 0 1 25 0 9 0 426743215 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4126746251 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 867396
[startup+342.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/89 27762
/proc/meminfo: memFree=1656488/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=342.13
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 29356 270 1 0 34196 16 0 1 18 0 9 0 426743214 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19335 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=341.79
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 20399 270 1 0 34166 12 0 1 25 0 9 0 426743215 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4126735613 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 867396
Solver just ended. Dumping a history of the last processes samples
[startup+345.503 s]
/proc/loadavg: 2.06 2.06 2.01 3/89 27762
/proc/meminfo: memFree=1656488/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=345.33
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 29356 270 1 0 34516 16 0 1 18 0 9 0 426743214 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19335 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=344.98
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 20399 270 1 0 34485 12 0 1 25 0 9 0 426743215 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4126746564 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 345.33
Current children cumulated vsize (KiB) 867396
[startup+347.103 s]
/proc/loadavg: 2.06 2.06 2.01 3/89 27762
/proc/meminfo: memFree=1656488/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=346.93
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 29356 270 1 0 34676 16 0 1 18 0 9 0 426743214 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19335 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=346.58
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 20399 270 1 0 34645 12 0 1 25 0 9 0 426743215 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4126746352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 346.93
Current children cumulated vsize (KiB) 867396
[startup+347.503 s]
/proc/loadavg: 2.06 2.05 2.01 3/89 27762
/proc/meminfo: memFree=1656488/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=347.33
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 29356 270 1 0 34716 16 0 1 18 0 9 0 426743214 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19335 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=346.99
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 20399 270 1 0 34686 12 0 1 25 0 9 0 426743215 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4126746434 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 347.33
Current children cumulated vsize (KiB) 867396
[startup+347.902 s]
/proc/loadavg: 2.06 2.05 2.01 3/89 27762
/proc/meminfo: memFree=1656488/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=347.73
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 29357 270 1 0 34756 16 0 1 18 0 9 0 426743214 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19335 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=347.38
/proc/27749/task/27750/stat : 27750 (java) R 27747 27749 25825 0 -1 64 20400 270 1 0 34725 12 0 1 25 0 9 0 426743215 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4126746273 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19335 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 347.73
Current children cumulated vsize (KiB) 867396
[startup+348.002 s]
/proc/loadavg: 2.06 2.05 2.01 3/89 27762
/proc/meminfo: memFree=1656488/2055920 swapFree=4180312/4192956
[pid=27749] ppid=27747 vsize=867396 CPUtime=347.78
/proc/27749/stat : 27749 (java) S 27747 27749 25825 0 -1 0 29365 270 1 0 34761 16 0 1 18 0 9 0 426743214 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27749/statm: 216849 19337 2631 9 0 211355 0
[pid=27749/tid=27750] ppid=27747 vsize=867396 CPUtime=347.44
/proc/27749/task/27750/stat : 27750 (java) D 27747 27749 25825 0 -1 64 20408 270 1 0 34731 12 0 1 25 0 9 0 426743215 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 18446744072099937270 0 0 -1 0 0 0
[pid=27749/tid=27752] ppid=27747 vsize=867396 CPUtime=0.1
/proc/27749/task/27752/stat : 27752 (java) S 27747 27749 25825 0 -1 64 7567 270 0 0 8 1 0 1 16 0 9 0 426743217 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27753] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27753/stat : 27753 (java) S 27747 27749 25825 0 -1 64 16 270 0 0 0 0 0 1 17 0 9 0 426743217 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27754] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27754/stat : 27754 (java) S 27747 27749 25825 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 426743217 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27755] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27755/stat : 27755 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 426743219 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27756] ppid=27747 vsize=867396 CPUtime=0.22
/proc/27749/task/27756/stat : 27756 (java) S 27747 27749 25825 0 -1 64 545 270 0 0 21 0 0 1 16 0 9 0 426743219 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27749/tid=27757] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27757/stat : 27757 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 426743219 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27749/tid=27758] ppid=27747 vsize=867396 CPUtime=0.01
/proc/27749/task/27758/stat : 27758 (java) S 27747 27749 25825 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 426743219 888213504 19337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 347.78
Current children cumulated vsize (KiB) 867396
Child status: 0
Real time (s): 348.074
CPU time (s): 347.809
CPU user time (s): 347.622
CPU system time (s): 0.186971
CPU usage (%): 99.924
Max. virtual memory (cumulated for all children) (KiB): 867396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 347.622
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29731
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= 8042
involuntary context switches= 1938
runsolver used 0.398939 second user time and 1.19782 second system time
The end
Begin job on node49 at 2008-07-05 00:40:58
IDJOB=1079897
IDBENCH=56920
IDSOLVER=364
FILE ID=node49/1079897-1215211258
PBS_JOBID= 7881717
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-24_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1079897-1215211258/watcher-1079897-1215211258 -o /tmp/evaluation-result-1079897-1215211258/solver-1079897-1215211258 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1079897-1215211258.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 039c5f33cee89cf9d5edc6224d685ccc
RANDOM SEED=2050425637
node49.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.249
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.249
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: 1724872 kB
Buffers: 32228 kB
Cached: 158116 kB
SwapCached: 5496 kB
Active: 223796 kB
Inactive: 55812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1724872 kB
SwapTotal: 4192956 kB
SwapFree: 4180312 kB
Dirty: 10676 kB
Writeback: 0 kB
Mapped: 102900 kB
Slab: 36300 kB
Committed_AS: 1651452 kB
PageTables: 1932 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66548 MiB
End job on node49 at 2008-07-05 00:46:47