0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1051576-1215054017.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.33
0.29/0.33 variables being loaded...
0.29/0.39 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001 nbTotalValues=29996
0.29/0.39 => wckTime=0.157 cpuTime=0.16 mem=8M894
0.29/0.39
0.29/0.40 relations being loaded...
0.59/0.65
0.59/0.65 constraints being loaded...
0.87/0.92 nbConstraints=351 nbRelationTypes=28 nbGlobalConstraints=26 nbSingletonDomainVariables=2
0.87/0.92 nbExtensionStructures=29 nbSharedExtensionStructures=321 nbConflictsStructures=29
0.87/0.92 nbSharedConflictsStructures=321 nbSharedBinaryRepresentations=25491 minDegree=1 maxDegree=26 minArity=2
0.87/0.92 avgArity=2.14 maxArity=25 nbGenerators=0 nbFusions=0 symmetryWckTime=0.074 symmetryCpuTime=0.05 nbCliques=1
0.87/0.92 => wckTime=0.678 cpuTime=0.51 mem=21M956
0.87/0.98
0.87/0.98 solver IterativeSystematicSolver being built...
0.98/1.07
0.98/1.07 INFO : Forward propagation technique limited
1.07/1.14 => wckTime=0.905 cpuTime=0.63 mem=24M303
2.65/2.76
2.65/2.76 preprocessing
2.65/2.76 nbConstraintChecks=1744003 nbValidityChecks=13151265 nbPropagations=47494 nbRevisions=62513
2.65/2.76 nbUselessRevisions=27332 nbSingletonTests=1012 nbEffectiveSingletonTests=100 nbACRemovals=26297
2.65/2.76 nbFoundSingletons=0 nbRemovedValues=26449 detectedInconsistency=no
2.65/2.76 => wckTime=1.615 cpuTime=1.55 mem=25M279
3.16/3.30
3.16/3.30 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=26M270)
271.44/273.86
271.44/273.86 search
271.44/273.86 run=22 nbConstraintChecks=283134921 nbValidityChecks=679443873 minDepth=2 maxDepth=76 nbPropagations=83328225
271.44/273.86 nbRevisions=113905381 nbUselessRevisions=66337842 nbAssignments=338824 nbFailedAssignments=181920
271.44/273.86 nbBacktracks=156655 nbVisitedNodes=609452 nbRestartNogoods=529 nbFoundSolutions=1 nbSEliminables=0
271.44/273.86 nbREliminables=2 nbIEliminables=68.25 nbDEliminables=0 nbPEliminables=0
271.44/273.86 => wckTime=272.713 cpuTime=270.25 mem=34M72
271.44/273.86
271.44/273.86 global
271.44/273.86 nbConstraintChecks=284878924 nbValidityChecks=692595138 nbPropagations=83375719 nbRevisions=113967894
271.44/273.86 nbUselessRevisions=66365174 nbRestartNogoods=529 solvingWckTime=272.716 solvingCpuTime=270.25 expiredTime=no
271.44/273.86 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=270.88 globalCpuTime=270.93
271.44/273.86 => wckTime=273.624 cpuTime=270.88 mem=34M72
271.44/273.86
271.44/273.86 s SATISFIABLE
271.44/273.87 v 8 14 23 8 15 2 10 8 3 18 16 9 6 8 14 0 7 8 4 2 12 11 19 5 25 1 13 10 17 14 5 19 9 5 20 1 1 1 2 1 11 0 21 11 24 17 22 6 18 1 22 24 32 50 59 67 67 75 77 88 93 94 104 118 137 142 143 144 145 145 156 173 179 180 180 0
271.44/273.87 d NODES 338824
271.44/273.87 d CHECKS 284878924
271.44/273.87
271.44/273.87 totalWckTime=273.685 totalCpuTime=270.94
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1051576-1215054017/watcher-1051576-1215054017 -o /tmp/evaluation-result-1051576-1215054017/solver-1051576-1215054017 -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-1051576-1215054017.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.92 1.98 1.99 3/72 19752
/proc/meminfo: memFree=1748816/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=1616 CPUtime=0
/proc/19752/stat : 19752 (java) R 19750 19752 17941 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 1535075763 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/19752/statm: 404 145 119 9 0 46 0
[startup+0.0276051 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 19752
/proc/meminfo: memFree=1748816/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=861228 CPUtime=0.01
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 1709 0 1 0 0 1 0 0 18 0 3 0 1535075763 881897472 1406 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 215307 1406 563 9 0 210286 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861228
[startup+0.10242 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 19752
/proc/meminfo: memFree=1748816/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=865884 CPUtime=0.09
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 3758 0 1 0 7 2 0 0 18 0 9 0 1535075763 886665216 3214 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216471 3214 1705 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301458 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 19752
/proc/meminfo: memFree=1748816/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=866128 CPUtime=0.29
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 5807 0 1 0 25 4 0 0 18 0 9 0 1535075763 886915072 5181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216532 5181 1947 9 0 211060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866128
[startup+0.702524 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 19752
/proc/meminfo: memFree=1748816/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=866532 CPUtime=0.69
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 7562 0 1 0 64 5 0 0 18 0 9 0 1535075763 887328768 6932 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216633 6932 1970 9 0 211161 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866532
[startup+1.50267 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 19765
/proc/meminfo: memFree=1713464/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=1.46
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 18534 291 1 0 137 9 0 0 18 0 9 0 1535075763 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 11494 2632 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=1.14
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 12969 291 1 0 108 6 0 0 25 0 9 0 1535075765 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4126947249 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 17 0 9 0 1535075766 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.23
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 730 291 0 0 23 0 0 0 15 0 9 0 1535075768 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 7 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 11494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867864
[startup+3.10194 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 19765
/proc/meminfo: memFree=1712832/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=3.06
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 18704 291 1 0 295 11 0 0 18 0 9 0 1535075763 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 11634 2632 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=2.71
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 13129 291 1 0 264 7 0 0 25 0 9 0 1535075765 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4126864080 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 17 0 9 0 1535075766 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.25
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 740 291 0 0 25 0 0 0 15 0 9 0 1535075768 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 7 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 11634 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867864
[startup+6.30249 s]
/proc/loadavg: 1.93 1.98 1.99 3/81 19765
/proc/meminfo: memFree=1712000/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=6.23
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 18777 291 1 0 612 11 0 0 18 0 9 0 1535075763 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 11684 2632 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=5.84
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 13160 291 1 0 577 7 0 0 25 0 9 0 1535075765 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4126880203 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 17 0 9 0 1535075766 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.29
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 770 291 0 0 29 0 0 0 16 0 9 0 1535075768 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 11684 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867864
[startup+12.7016 s]
/proc/loadavg: 1.93 1.98 1.99 3/81 19765
/proc/meminfo: memFree=1711552/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=12.57
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 18826 291 1 0 1246 11 0 0 18 0 9 0 1535075763 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 11730 2632 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=12.19
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 13207 291 1 0 1212 7 0 0 25 0 9 0 1535075765 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4126919783 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.29
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 772 291 0 0 29 0 0 0 15 0 9 0 1535075768 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 11730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867864
[startup+25.5028 s]
/proc/loadavg: 1.95 1.98 1.99 3/81 19765
/proc/meminfo: memFree=1711232/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=25.26
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 18915 291 1 0 2515 11 0 0 18 0 9 0 1535075763 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 11818 2632 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=24.88
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 13296 291 1 0 2480 8 0 0 25 0 9 0 1535075765 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4126865567 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.29
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 772 291 0 0 29 0 0 0 16 0 9 0 1535075768 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 11818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 867864
[startup+51.1023 s]
/proc/loadavg: 1.96 1.98 1.99 3/81 19771
/proc/meminfo: memFree=1710456/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=50.62
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 19105 291 1 0 5051 11 0 0 18 0 9 0 1535075763 888692736 12000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 12000 2632 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=50.24
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 13477 291 1 0 5016 8 0 0 25 0 9 0 1535075765 888692736 12000 996147200 134512640 134550740 4294955968 18446744073709551615 4126880153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 17 0 9 0 1535075766 888692736 12000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 12000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 12000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 12000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.29
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 781 291 0 0 29 0 0 0 16 0 9 0 1535075768 888692736 12000 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
################
# More data... #
################
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 20664 291 1 0 25356 12 0 0 18 0 9 0 1535075763 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 13536 2633 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=253.29
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 15019 291 1 0 25320 9 0 0 25 0 9 0 1535075765 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4126889793 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.31
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 798 291 0 0 30 1 0 0 16 0 9 0 1535075768 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 13536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 253.68
Current children cumulated vsize (KiB) 867864
[startup+262.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 19771
/proc/meminfo: memFree=1704064/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=260.03
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 20709 291 1 0 25990 13 0 0 18 0 9 0 1535075763 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 13581 2633 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=259.63
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 15064 291 1 0 25954 9 0 0 25 0 9 0 1535075765 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4126940250 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.31
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 798 291 0 0 30 1 0 0 16 0 9 0 1535075768 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 13581 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 260.03
Current children cumulated vsize (KiB) 867864
[startup+268.703 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 19771
/proc/meminfo: memFree=1703872/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=266.37
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 20755 291 1 0 26624 13 0 0 18 0 9 0 1535075763 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 13627 2633 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=265.98
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 15110 291 1 0 26589 9 0 0 25 0 9 0 1535075765 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4126690153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.31
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 798 291 0 0 30 1 0 0 16 0 9 0 1535075768 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 13627 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 266.37
Current children cumulated vsize (KiB) 867864
[startup+271.902 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 19771
/proc/meminfo: memFree=1703744/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=269.55
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 20777 291 1 0 26942 13 0 0 18 0 9 0 1535075763 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 13649 2633 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=269.15
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 15132 291 1 0 26906 9 0 0 25 0 9 0 1535075765 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4126912482 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.31
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 798 291 0 0 30 1 0 0 16 0 9 0 1535075768 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 13649 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 269.55
Current children cumulated vsize (KiB) 867864
[startup+272.702 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 19771
/proc/meminfo: memFree=1703744/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=270.34
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 20784 291 1 0 27021 13 0 0 18 0 9 0 1535075763 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 13656 2633 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=269.95
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 15139 291 1 0 26986 9 0 0 25 0 9 0 1535075765 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4126912466 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.31
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 798 291 0 0 30 1 0 0 16 0 9 0 1535075768 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 13656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 270.34
Current children cumulated vsize (KiB) 867864
[startup+273.503 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 19771
/proc/meminfo: memFree=1703744/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=271.14
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 20790 291 1 0 27101 13 0 0 18 0 9 0 1535075763 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 13662 2633 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=270.74
/proc/19752/task/19754/stat : 19754 (java) R 19750 19752 17941 0 -1 64 15145 291 1 0 27065 9 0 0 25 0 9 0 1535075765 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4126889547 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.31
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 798 291 0 0 30 1 0 0 16 0 9 0 1535075768 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 13662 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 271.14
Current children cumulated vsize (KiB) 867864
[startup+273.907 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 19771
/proc/meminfo: memFree=1703680/2055920 swapFree=4120948/4192956
[pid=19752] ppid=19750 vsize=867864 CPUtime=271.5
/proc/19752/stat : 19752 (java) S 19750 19752 17941 0 -1 0 20898 291 1 0 27137 13 0 0 18 0 9 0 1535075763 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19752/statm: 216966 13762 2633 9 0 211472 0
[pid=19752/tid=19754] ppid=19750 vsize=867864 CPUtime=271.1
/proc/19752/task/19754/stat : 19754 (java) S 19750 19752 17941 0 -1 64 15250 291 1 0 27101 9 0 0 23 0 9 0 1535075765 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19755] ppid=19750 vsize=867864 CPUtime=0.05
/proc/19752/task/19755/stat : 19755 (java) S 19750 19752 17941 0 -1 64 3997 291 0 0 4 1 0 0 16 0 9 0 1535075766 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19756] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19756/stat : 19756 (java) S 19750 19752 17941 0 -1 64 14 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19757] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19757/stat : 19757 (java) S 19750 19752 17941 0 -1 64 8 291 0 0 0 0 0 0 16 0 9 0 1535075766 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19758] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19758/stat : 19758 (java) S 19750 19752 17941 0 -1 64 1 291 0 0 0 0 0 0 18 0 9 0 1535075768 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19759] ppid=19750 vsize=867864 CPUtime=0.31
/proc/19752/task/19759/stat : 19759 (java) S 19750 19752 17941 0 -1 64 801 291 0 0 30 1 0 0 16 0 9 0 1535075768 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19760] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19760/stat : 19760 (java) S 19750 19752 17941 0 -1 64 2 291 0 0 0 0 0 0 19 0 9 0 1535075768 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19752/tid=19761] ppid=19750 vsize=867864 CPUtime=0
/proc/19752/task/19761/stat : 19761 (java) S 19750 19752 17941 0 -1 64 19 291 0 0 0 0 0 0 15 0 9 0 1535075769 888692736 13762 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 271.5
Current children cumulated vsize (KiB) 867864
Child status: 0
Real time (s): 273.934
CPU time (s): 271.525
CPU user time (s): 271.375
CPU system time (s): 0.149977
CPU usage (%): 99.1205
Max. virtual memory (cumulated for all children) (KiB): 867908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 271.375
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21215
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= 6819
involuntary context switches= 12688
runsolver used 0.358945 second user time and 0.899863 second system time
The end
Begin job on node14 at 2008-07-03 05:00:17
IDJOB=1051576
IDBENCH=55492
IDSOLVER=364
FILE ID=node14/1051576-1215054017
PBS_JOBID= 7875146
Free space on /tmp= 66532 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/travellingSalesman-25/normalized-tsp-25-715_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-1051576-1215054017/watcher-1051576-1215054017 -o /tmp/evaluation-result-1051576-1215054017/solver-1051576-1215054017 -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-1051576-1215054017.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b519bb92666070ed6acb140047f88391
RANDOM SEED=1801509099
node14.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.267
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 : 5931.00
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.267
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: 1749296 kB
Buffers: 16584 kB
Cached: 122360 kB
SwapCached: 66144 kB
Active: 164608 kB
Inactive: 79604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749296 kB
SwapTotal: 4192956 kB
SwapFree: 4120948 kB
Dirty: 2204 kB
Writeback: 0 kB
Mapped: 112784 kB
Slab: 47568 kB
Committed_AS: 2958596 kB
PageTables: 1968 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= 66532 MiB
End job on node14 at 2008-07-03 05:04:51