0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1044953-1215023615.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25 nbTotalValues=625
0.28/0.38 => wckTime=0.141 cpuTime=0.1 mem=7M919
0.28/0.38
0.28/0.38 relations being loaded...
0.48/0.59
0.48/0.59 constraints being loaded...
0.77/0.82 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.77/0.82 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=914 minDegree=24
0.77/0.82 maxDegree=24 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.059 symmetryCpuTime=0.04
0.77/0.82 => wckTime=0.58 cpuTime=0.42 mem=19M646
0.77/0.88
0.77/0.88 solver IterativeSystematicSolver being built...
0.96/1.02 => wckTime=0.786 cpuTime=0.54 mem=21M604
0.96/1.07
0.96/1.07 preprocessing
0.96/1.07 nbConstraintChecks=55714 nbPropagations=654 nbRevisions=6772 nbUselessRevisions=5944 nbSingletonTests=33
0.96/1.07 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.96/1.07 => wckTime=0.046 cpuTime=0.03 mem=21M604
1.06/1.20
1.06/1.20 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M612)
461.87/462.40
461.87/462.40 search
461.87/462.40 run=26 nbConstraintChecks=2856253548 minDepth=0 maxDepth=11 nbPropagations=101239771 nbRevisions=2144724007
461.87/462.40 nbUselessRevisions=1874150618 nbAssignments=1876334 nbFailedAssignments=923248 nbBacktracks=952940
461.87/462.40 nbVisitedNodes=3499652 nbRestartNogoods=317 nbSEliminables=6.05 nbREliminables=0 nbIEliminables=0
461.87/462.40 nbDEliminables=0 nbPEliminables=0
461.87/462.40 => wckTime=461.374 cpuTime=460.79 mem=22M612
461.87/462.40
461.87/462.40 global
461.87/462.40 nbConstraintChecks=2856309262 nbPropagations=101240425 nbRevisions=2144730779 nbUselessRevisions=1874156562
461.87/462.40 nbRestartNogoods=317 solvingWckTime=461.379 solvingCpuTime=460.79 expiredTime=no totalExploration=yes
461.87/462.40 nbFoundSolutions=0 globalCpuTime=461.39
461.87/462.40 => wckTime=462.167 cpuTime=461.34 mem=22M612
461.87/462.40
461.87/462.40 s UNSATISFIABLE
461.87/462.40 d NODES 1876334
461.87/462.40 d CHECKS 2856309262
461.87/462.41
461.87/462.41 totalWckTime=462.224 totalCpuTime=461.39
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044953-1215023615/watcher-1044953-1215023615 -o /tmp/evaluation-result-1044953-1215023615/solver-1044953-1215023615 -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-1044953-1215023615.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: 2.25 2.16 1.99 4/84 7379
/proc/meminfo: memFree=1757888/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=1616 CPUtime=0
/proc/7379/stat : 7379 (java) D 7377 7379 6716 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1981336157 1654784 148 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/7379/statm: 404 148 122 9 0 46 0
[startup+0.101078 s]
/proc/loadavg: 2.25 2.16 1.99 4/84 7379
/proc/meminfo: memFree=1757888/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=865884 CPUtime=0.08
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 3758 0 1 0 6 2 0 0 18 0 9 0 1981336157 886665216 3215 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216471 3215 1706 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.201087 s]
/proc/loadavg: 2.25 2.16 1.99 4/84 7379
/proc/meminfo: memFree=1757888/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=866048 CPUtime=0.18
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 4737 0 1 0 15 3 0 0 18 0 9 0 1981336157 886833152 4164 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216512 4164 1857 9 0 211060 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048
[startup+0.301097 s]
/proc/loadavg: 2.25 2.16 1.99 4/84 7379
/proc/meminfo: memFree=1757888/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=866196 CPUtime=0.28
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 5626 0 1 0 25 3 0 0 18 0 9 0 1981336157 886984704 5040 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216549 5040 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701131 s]
/proc/loadavg: 2.25 2.16 1.99 4/84 7379
/proc/meminfo: memFree=1757888/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867012 CPUtime=0.67
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 8348 0 1 0 62 5 0 0 18 0 9 0 1981336157 887820288 7708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216753 7708 1977 9 0 211281 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867012
[startup+1.5022 s]
/proc/loadavg: 2.25 2.16 1.99 4/93 7392
/proc/meminfo: memFree=1725304/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=1.46
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17313 285 1 0 138 8 0 0 18 0 9 0 1981336157 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10776 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=1.15
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11965 285 1 0 109 6 0 0 25 0 9 0 1981336159 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4126869511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.22
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 701 285 0 0 22 0 0 0 15 0 9 0 1981336162 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10776 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) 867868
[startup+3.10134 s]
/proc/loadavg: 2.25 2.16 1.99 3/93 7392
/proc/meminfo: memFree=1724920/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=3.03
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17336 285 1 0 295 8 0 0 18 0 9 0 1981336157 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10798 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=2.7
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11970 285 1 0 264 6 0 0 25 0 9 0 1981336159 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4126854489 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 17 0 9 0 1981336160 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.25
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 719 285 0 0 25 0 0 0 15 0 9 0 1981336162 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10798 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 867868
[startup+6.30162 s]
/proc/loadavg: 2.23 2.16 1.99 3/93 7392
/proc/meminfo: memFree=1724728/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=6.2
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17355 285 1 0 612 8 0 0 18 0 9 0 1981336157 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10801 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=5.86
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11974 285 1 0 580 6 0 0 25 0 9 0 1981336159 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4126855898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 720 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867868
[startup+12.703 s]
/proc/loadavg: 2.21 2.16 1.99 3/93 7392
/proc/meminfo: memFree=1724672/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=12.54
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17359 285 1 0 1246 8 0 0 18 0 9 0 1981336157 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10804 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=12.2
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11977 285 1 0 1214 6 0 0 25 0 9 0 1981336159 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4126859668 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867868
[startup+25.5023 s]
/proc/loadavg: 2.16 2.15 1.99 3/93 7392
/proc/meminfo: memFree=1724864/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=25.21
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17361 285 1 0 2513 8 0 0 18 0 9 0 1981336157 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10806 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=24.87
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11979 285 1 0 2481 6 0 0 25 0 9 0 1981336159 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4126867961 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10806 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867868
[startup+51.1048 s]
/proc/loadavg: 2.11 2.14 1.99 3/101 7403
/proc/meminfo: memFree=1667448/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=50.72
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17362 285 1 0 5064 8 0 0 18 0 9 0 1981336157 888696832 10807 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10807 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=50.38
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11980 285 1 0 5032 6 0 0 25 0 9 0 1981336159 888696832 10807 996147200 134512640 134550740 4294955968 18446744073709551615 4126880910 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10807 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10807 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10807 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10807 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10807 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
################
# More data... #
################
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=161.54
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11982 285 1 0 16148 6 0 0 25 0 9 0 1981336159 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4126095823 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10809 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.88
Current children cumulated vsize (KiB) 867868
[startup+222.308 s]
/proc/loadavg: 2.00 2.07 1.99 3/101 7405
/proc/meminfo: memFree=1666936/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=221.86
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17365 285 1 0 22178 8 0 0 18 0 9 0 1981336157 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10810 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=221.53
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11983 285 1 0 22147 6 0 0 25 0 9 0 1981336159 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4126853655 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10810 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (KiB) 867868
[startup+282.303 s]
/proc/loadavg: 2.00 2.06 1.99 3/101 7405
/proc/meminfo: memFree=1666616/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=281.84
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17366 285 1 0 28175 9 0 0 18 0 9 0 1981336157 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10811 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=281.5
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11984 285 1 0 28143 7 0 0 25 0 9 0 1981336159 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4126858093 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.84
Current children cumulated vsize (KiB) 867868
[startup+342.303 s]
/proc/loadavg: 2.00 2.04 1.99 3/101 7405
/proc/meminfo: memFree=1666552/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=341.82
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17366 285 1 0 34173 9 0 0 18 0 9 0 1981336157 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10811 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=341.48
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11984 285 1 0 34141 7 0 0 25 0 9 0 1981336159 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4126868002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10811 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.82
Current children cumulated vsize (KiB) 867868
[startup+402.302 s]
/proc/loadavg: 2.00 2.03 1.99 3/101 7405
/proc/meminfo: memFree=1666488/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=401.8
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17367 285 1 0 40171 9 0 0 18 0 9 0 1981336157 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10812 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=401.46
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11985 285 1 0 40139 7 0 0 25 0 9 0 1981336159 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4126859419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.8
Current children cumulated vsize (KiB) 867868
[startup+462.302 s]
/proc/loadavg: 2.00 2.02 1.99 3/101 7405
/proc/meminfo: memFree=1666424/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867868 CPUtime=461.77
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17367 285 1 0 46168 9 0 0 18 0 9 0 1981336157 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10812 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=461.43
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11985 285 1 0 46136 7 0 0 25 0 9 0 1981336159 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4126884366 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.77
Current children cumulated vsize (KiB) 867868
Solver just ended. Dumping a history of the last processes samples
[startup+462.402 s]
/proc/loadavg: 2.00 2.02 1.99 3/101 7405
/proc/meminfo: memFree=1666424/2055920 swapFree=4180972/4192956
[pid=7379] ppid=7377 vsize=867872 CPUtime=461.87
/proc/7379/stat : 7379 (java) S 7377 7379 6716 0 -1 0 17367 285 1 0 46178 9 0 0 18 0 9 0 1981336157 888700928 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7379/statm: 216967 10812 2633 9 0 211473 0
[pid=7379/tid=7381] ppid=7377 vsize=867868 CPUtime=461.53
/proc/7379/task/7381/stat : 7381 (java) R 7377 7379 6716 0 -1 64 11985 285 1 0 46146 7 0 0 25 0 9 0 1981336159 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7379/tid=7382] ppid=7377 vsize=867868 CPUtime=0.05
/proc/7379/task/7382/stat : 7382 (java) S 7377 7379 6716 0 -1 64 3809 285 0 0 5 0 0 0 16 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7383] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7383/stat : 7383 (java) S 7377 7379 6716 0 -1 64 15 285 0 0 0 0 0 0 16 0 9 0 1981336160 888696832 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7384] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7384/stat : 7384 (java) S 7377 7379 6716 0 -1 64 8 285 0 0 0 0 0 0 15 0 9 0 1981336160 888696832 10813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7385] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7385/stat : 7385 (java) S 7377 7379 6716 0 -1 64 0 285 0 0 0 0 0 0 18 0 9 0 1981336162 888696832 10813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7386] ppid=7377 vsize=867868 CPUtime=0.26
/proc/7379/task/7386/stat : 7386 (java) S 7377 7379 6716 0 -1 64 721 285 0 0 26 0 0 0 16 0 9 0 1981336162 888696832 10813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7387] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7387/stat : 7387 (java) S 7377 7379 6716 0 -1 64 2 285 0 0 0 0 0 0 19 0 9 0 1981336162 888696832 10813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7379/tid=7388] ppid=7377 vsize=867868 CPUtime=0
/proc/7379/task/7388/stat : 7388 (java) S 7377 7379 6716 0 -1 64 16 285 0 0 0 0 0 0 15 0 9 0 1981336162 888696832 10813 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.87
Current children cumulated vsize (KiB) 867872
Child status: 0
Real time (s): 462.431
CPU time (s): 461.901
CPU user time (s): 461.793
CPU system time (s): 0.107983
CPU usage (%): 99.8853
Max. virtual memory (cumulated for all children) (KiB): 867872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 461.793
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17768
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= 10478
involuntary context switches= 4528
runsolver used 0.551916 second user time and 1.59176 second system time
The end
Begin job on node15 at 2008-07-02 20:33:35
IDJOB=1044953
IDBENCH=53592
IDSOLVER=364
FILE ID=node15/1044953-1215023615
PBS_JOBID= 7874440
Free space on /tmp= 66528 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-2-25/normalized-rand-25-25-300-147-55021_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-1044953-1215023615/watcher-1044953-1215023615 -o /tmp/evaluation-result-1044953-1215023615/solver-1044953-1215023615 -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-1044953-1215023615.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8ac571a71e88b845bccc5fedbeb76d54
RANDOM SEED=1287116900
node15.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.229
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.229
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: 1758368 kB
Buffers: 20632 kB
Cached: 161300 kB
SwapCached: 6020 kB
Active: 170700 kB
Inactive: 55088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1758368 kB
SwapTotal: 4192956 kB
SwapFree: 4180972 kB
Dirty: 2788 kB
Writeback: 0 kB
Mapped: 61184 kB
Slab: 56480 kB
Committed_AS: 3453552 kB
PageTables: 2132 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= 66524 MiB
End job on node15 at 2008-07-02 20:41:18