0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-1078316-1215206446.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.38 => wckTime=0.128 cpuTime=0.11 mem=7M919
0.28/0.38
0.28/0.38 relations being loaded...
0.68/0.74
0.68/0.74 constraints being loaded...
0.88/0.98 nbConstraints=59 nbRelationTypes=59 nbGlobalConstraints=59 nbExtensionStructures=59
0.88/0.98 nbSharedExtensionStructures=0 nbConflictsStructures=59 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.736 cpuTime=0.62 mem=48M192
1.06/1.11
1.06/1.12 solver IterativeSystematicSolver being built...
1.06/1.19
1.06/1.19 INFO : Forward propagation technique limited
1.16/1.25 => wckTime=1.007 cpuTime=0.74 mem=29M537
1.16/1.29
1.16/1.29 preprocessing
1.16/1.29 nbConstraintChecks=0 nbValidityChecks=171891 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
1.16/1.29 nbRemovedValues=0 detectedInconsistency=no
1.16/1.29 => wckTime=0.031 cpuTime=0.03 mem=29M537
1.97/2.00
1.97/2.00 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M488)
173.93/175.62
173.93/175.62 search
173.93/175.62 run=20 nbConstraintChecks=1080287 nbValidityChecks=2223404603 minDepth=0 maxDepth=20 nbPropagations=5619509
173.93/175.62 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131116 nbFailedAssignments=81164 nbBacktracks=49827
173.93/175.62 nbVisitedNodes=247628 nbRestartNogoods=204 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=3.14
173.93/175.62 nbIEliminables=11.51 nbDEliminables=0 nbPEliminables=0
173.93/175.62 => wckTime=174.362 cpuTime=172.61 mem=34M294
173.93/175.62
173.93/175.62 global
173.93/175.62 nbConstraintChecks=1080287 nbValidityChecks=2223576494 nbPropagations=5619529 nbRestartNogoods=204
173.93/175.62 solvingWckTime=174.365 solvingCpuTime=172.61 expiredTime=no totalExploration=no nbFoundSolutions=1
173.93/175.62 firstSolutionCpuTime=173.35 globalCpuTime=173.42
173.93/175.62 => wckTime=175.373 cpuTime=173.35 mem=34M294
173.93/175.62
173.93/175.62 s SATISFIABLE
173.93/175.62 v 3 19 3 7 18 13 3 16 16 7 8 4 2 14 2 6 15 10 6 13
173.93/175.62 d NODES 131116
173.93/175.62 d CHECKS 1080287
173.93/175.62
173.93/175.62 totalWckTime=175.438 totalCpuTime=173.43
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078316-1215206446/watcher-1078316-1215206446 -o /tmp/evaluation-result-1078316-1215206446/solver-1078316-1215206446 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1078316-1215206446.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.94 1.97 1.92 3/73 24783
/proc/meminfo: memFree=1415040/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=1616 CPUtime=0
/proc/24783/stat : 24783 (java) R 24781 24783 24559 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1308890534 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 7984058 0 0 4096 0 0 0 0 17 0 0 0
/proc/24783/statm: 404 148 122 9 0 46 0
[startup+0.094362 s]
/proc/loadavg: 1.94 1.97 1.92 3/73 24783
/proc/meminfo: memFree=1415040/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=865884 CPUtime=0.07
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 3672 0 1 0 6 1 0 0 18 0 9 0 1308890534 886665216 3147 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216471 3147 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865884
[startup+0.101361 s]
/proc/loadavg: 1.94 1.97 1.92 3/73 24783
/proc/meminfo: memFree=1415040/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=865884 CPUtime=0.08
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 3721 0 1 0 7 1 0 0 18 0 9 0 1308890534 886665216 3185 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216471 3185 1689 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301404 s]
/proc/loadavg: 1.94 1.97 1.92 3/73 24783
/proc/meminfo: memFree=1415040/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=866128 CPUtime=0.28
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 5694 0 1 0 24 4 0 0 18 0 9 0 1308890534 886915072 5071 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216532 5071 1947 9 0 211060 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866128
[startup+0.701483 s]
/proc/loadavg: 1.94 1.97 1.92 3/73 24783
/proc/meminfo: memFree=1415040/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=866504 CPUtime=0.68
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 10405 0 1 0 62 6 0 0 18 0 9 0 1308890534 887300096 9775 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216626 9775 1968 9 0 211154 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866504
[startup+1.50264 s]
/proc/loadavg: 1.94 1.97 1.92 5/84 24796
/proc/meminfo: memFree=1361120/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=1.47
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28036 146 1 0 133 14 0 0 18 0 10 0 1308890534 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 18988 2631 9 0 211349 0
[pid=24796] ppid=24783 vsize=44 CPUtime=0
/proc/24796/stat : 24796 (rm) R 24783 24783 24559 0 -1 4194304 23 0 0 0 0 0 0 0 25 0 1 0 1308890631 45056 2 996147200 0 0 548682069478 18446744073709551615 4294960144 0 4 0 0 0 0 0 17 1 0 0
/proc/24796/statm: 11 2 0 0 0 1 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=1.17
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19249 146 1 0 107 10 0 0 18 0 10 0 1308890535 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4126747586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.11
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 146 0 0 9 2 0 0 18 0 10 0 1308890536 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 146 0 0 0 0 0 0 16 0 10 0 1308890537 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 146 0 0 0 0 0 0 16 0 10 0 1308890537 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 146 0 0 0 0 0 0 18 0 10 0 1308890539 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.16
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 519 146 0 0 16 0 0 0 16 0 10 0 1308890539 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 146 0 0 0 0 0 0 19 0 10 0 1308890539 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 146 0 0 0 0 0 0 15 0 10 0 1308890539 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24795] ppid=24781 vsize=867372 CPUtime=0
/proc/24783/task/24795/stat : 24795 (java) S 24781 24783 24559 0 -1 64 46 146 0 0 0 0 0 0 16 0 10 0 1308890631 888188928 18988 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867416
[startup+3.10296 s]
/proc/loadavg: 1.94 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1348904/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=3.07
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28057 270 1 0 291 15 0 1 18 0 9 0 1308890534 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19007 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=2.73
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19253 270 1 0 261 11 0 1 25 0 9 0 1308890535 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126747403 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 17 0 9 0 1308890536 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.2
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 536 270 0 0 19 0 0 1 15 0 9 0 1308890539 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867372
[startup+6.30258 s]
/proc/loadavg: 1.95 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1348656/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=6.23
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28081 270 1 0 607 15 0 1 18 0 9 0 1308890534 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19020 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=5.87
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19263 270 1 0 575 11 0 1 25 0 9 0 1308890535 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4126747586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.23
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 550 270 0 0 22 0 0 1 16 0 9 0 1308890539 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19020 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19020 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) 867372
[startup+12.7028 s]
/proc/loadavg: 1.95 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1348464/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=12.57
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28115 270 1 0 1241 15 0 1 18 0 9 0 1308890534 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19022 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=12.2
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19293 270 1 0 1208 11 0 1 25 0 9 0 1308890535 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4126747586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.23
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 554 270 0 0 22 0 0 1 16 0 9 0 1308890539 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19022 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) 867372
[startup+25.5014 s]
/proc/loadavg: 1.96 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1348536/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=25.25
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28156 270 1 0 2509 15 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=24.88
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19333 270 1 0 2476 11 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126747586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867372
[startup+51.1014 s]
/proc/loadavg: 1.97 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1348536/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=50.6
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28250 270 1 0 5044 15 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=50.23
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19427 270 1 0 5011 11 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126747769 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28625 270 1 0 16455 16 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=164.35
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19802 270 1 0 16422 12 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126775105 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.72
Current children cumulated vsize (KiB) 867372
[startup+169.503 s]
/proc/loadavg: 1.99 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1342840/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=167.89
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28625 270 1 0 16772 16 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=167.52
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19802 270 1 0 16739 12 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126773266 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 167.89
Current children cumulated vsize (KiB) 867372
[startup+172.706 s]
/proc/loadavg: 1.99 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1342648/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=171.06
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28632 270 1 0 17089 16 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=170.69
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19809 270 1 0 17056 12 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126764103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.06
Current children cumulated vsize (KiB) 867372
[startup+174.303 s]
/proc/loadavg: 1.99 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1342584/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=172.64
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28638 270 1 0 17247 16 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=172.27
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19815 270 1 0 17214 12 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126736346 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 867372
[startup+175.103 s]
/proc/loadavg: 1.99 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1342456/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=173.44
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28641 270 1 0 17327 16 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=173.07
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19818 270 1 0 17294 12 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126736320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 173.44
Current children cumulated vsize (KiB) 867372
[startup+175.503 s]
/proc/loadavg: 1.99 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1342456/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=173.83
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28643 270 1 0 17366 16 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=173.46
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19820 270 1 0 17333 12 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126736346 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 173.83
Current children cumulated vsize (KiB) 867372
[startup+175.603 s]
/proc/loadavg: 1.99 1.97 1.92 3/82 24796
/proc/meminfo: memFree=1342456/2055920 swapFree=4122156/4192956
[pid=24783] ppid=24781 vsize=867372 CPUtime=173.93
/proc/24783/stat : 24783 (java) S 24781 24783 24559 0 -1 0 28643 270 1 0 17376 16 0 1 18 0 9 0 1308890534 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24783/statm: 216843 19023 2631 9 0 211349 0
[pid=24783/tid=24785] ppid=24781 vsize=867372 CPUtime=173.56
/proc/24783/task/24785/stat : 24785 (java) R 24781 24783 24559 0 -1 64 19820 270 1 0 17343 12 0 1 25 0 9 0 1308890535 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4126773141 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24786] ppid=24781 vsize=867372 CPUtime=0.12
/proc/24783/task/24786/stat : 24786 (java) S 24781 24783 24559 0 -1 64 7434 270 0 0 9 2 0 1 16 0 9 0 1308890536 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24787] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24787/stat : 24787 (java) S 24781 24783 24559 0 -1 64 16 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24788] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24788/stat : 24788 (java) S 24781 24783 24559 0 -1 64 9 270 0 0 0 0 0 1 16 0 9 0 1308890537 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24789] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24789/stat : 24789 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 18 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24790] ppid=24781 vsize=867372 CPUtime=0.24
/proc/24783/task/24790/stat : 24790 (java) S 24781 24783 24559 0 -1 64 555 270 0 0 23 0 0 1 16 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24791] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24791/stat : 24791 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 19 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24783/tid=24792] ppid=24781 vsize=867372 CPUtime=0.01
/proc/24783/task/24792/stat : 24792 (java) S 24781 24783 24559 0 -1 64 1 270 0 0 0 0 0 1 15 0 9 0 1308890539 888188928 19023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 173.93
Current children cumulated vsize (KiB) 867372
Child status: 0
Real time (s): 175.681
CPU time (s): 173.984
CPU user time (s): 173.795
CPU system time (s): 0.188971
CPU usage (%): 99.0338
Max. virtual memory (cumulated for all children) (KiB): 867416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.795
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29016
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= 4396
involuntary context switches= 8122
runsolver used 0.266959 second user time and 0.544917 second system time
The end
Begin job on node20 at 2008-07-04 23:20:46
IDJOB=1078316
IDBENCH=56776
IDSOLVER=363
FILE ID=node20/1078316-1215206446
PBS_JOBID= 7881729
Free space on /tmp= 66492 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078316-1215206446/watcher-1078316-1215206446 -o /tmp/evaluation-result-1078316-1215206446/solver-1078316-1215206446 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1078316-1215206446.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e841dd70b15a05b93c7551d2b9a5cabb
RANDOM SEED=332260010
node20.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.263
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.263
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: 1415520 kB
Buffers: 82372 kB
Cached: 290304 kB
SwapCached: 64700 kB
Active: 383028 kB
Inactive: 181348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1415520 kB
SwapTotal: 4192956 kB
SwapFree: 4122156 kB
Dirty: 3288 kB
Writeback: 0 kB
Mapped: 198072 kB
Slab: 61004 kB
Committed_AS: 2775988 kB
PageTables: 2196 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= 66488 MiB
End job on node20 at 2008-07-04 23:23:42