0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/233263-1168325162/unknown.xml
0.37
0.37 domains being loaded...
0.43
0.43 variables being loaded...
0.55 nbVariables=400 nbDomainTypes=400 minDomainSize=1186 maxDomainSize=1284
0.55 => wckTime=0.246 cpuTime=0.18 mem=20M632
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
204.71
204.71 INFO : Stopping converting binary constraints (cpu=200.09, mem = 257M666)
205.87 nbConstraints=7600 nbConvertedConstraints=545 nbConvertConstraintsChecks=830942237 nbExtensionStructures=545
205.87 nbSharedExtensionStructures=0 nbConflictsStructures=545 nbSharedConflictsStructures=0
205.87 nbSharedBinaryRepresentations=360188 nbEvaluationManagers=7055 nbSharedEvaluationManagers=0 maxDegree=38
205.87 maxArity=2
205.87 => wckTime=205.563 cpuTime=200.88 mem=286M764
206.79
206.79 solver IterativeSystematicSolver being built...
207.31 => wckTime=207.008 cpuTime=201.2 mem=338M683
358.00
358.00 INFO : Stopping ESAC
358.00
358.00 preprocessing
358.00 nbConstraintChecks=379695592 nbValidityChecks=228495005 nbPropagations=10406 nbRevisions=291939
358.00 nbUselessRevisions=282239 nbSingletonTests=448 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
358.00 detectedInconsistency=no
358.00 => wckTime=150.663 cpuTime=149.52 mem=338M683
409.71
409.71 search
409.71 run=0 nbConstraintChecks=117021519 nbValidityChecks=126009768 nbPropagations=16856 nbRevisions=463942
409.71 nbUselessRevisions=446271 nbAssignments=304 nbFailedAssignments=78 nbBacktracks=10 nbVisitedNodes=393
409.71 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=64
409.71 => wckTime=202.377 cpuTime=200.96 mem=347M668
455.73
455.73 search
455.73 run=1 nbConstraintChecks=229691104 nbValidityChecks=251833586 nbPropagations=39878 nbRevisions=1093505
455.73 nbUselessRevisions=1049995 nbAssignments=640 nbFailedAssignments=165 nbBacktracks=25 nbVisitedNodes=831
455.73 nbRestartNogoods=10 mapSize=25 nbInferences=0 nbTooLargeKeys=127
455.73 => wckTime=248.396 cpuTime=246.75 mem=353M995
516.97
516.97 search
516.97 run=2 nbConstraintChecks=375816178 nbValidityChecks=421667606 nbPropagations=76521 nbRevisions=2054643
516.97 nbUselessRevisions=1940676 nbAssignments=1823 nbFailedAssignments=1101 nbBacktracks=47 nbVisitedNodes=2972
516.97 nbRestartNogoods=25 mapSize=47 nbInferences=0 nbTooLargeKeys=190
516.97 => wckTime=309.634 cpuTime=307.66 mem=360M466
697.70
697.70 search
697.70 run=3 nbConstraintChecks=614496419 nbValidityChecks=2314053753 nbPropagations=194495 nbRevisions=5375302
697.70 nbUselessRevisions=5110602 nbAssignments=5210 nbFailedAssignments=1107 nbBacktracks=47 nbVisitedNodes=3384
697.70 nbRestartNogoods=35 mapSize=47 nbInferences=0 nbTooLargeKeys=248
697.70 => wckTime=490.364 cpuTime=487.48 mem=344M508
697.70
697.70 global
697.70 nbConstraintChecks=994192011 nbValidityChecks=2542548758 nbPropagations=204901 nbRevisions=5667241
697.70 nbUselessRevisions=5392841 nbRestartNogoods=35 solvingWckTime=490.366 solvingCpuTime=487.48 expiredTime=no
697.70 totalExploration=no nbFoundSolutions=1 globalCpuTime=688.76
697.70 => wckTime=697.397 cpuTime=688.7 mem=344M508
697.70
697.70 s SATISFIABLE
697.70 v 0 1038 1023 404 761 306 839 697 545 752 960 890 251 496 138 634 902 945 98 238 955 419 343 1052 251 53 1033 511 818 1257 157 605 859 751 1005 682 0 1156 98 864 47 508 219 453 470 708 630 120 361 1244 1110 150 0 805 1000 477 959 494 259 325 123 927 247 1251 688 855 0 742 1165 971 47 758 159 413 500 592 995 315 1085 398 562 117 592 839 277 1201 404 1046 0 1160 793 852 490 701 200 938 987 375 142 1038 0 947 894 197 1209 639 377 286 180 98 541 1226 838 464 618 981 703 1245 764 921 709 588 1033 951 849 338 217 1180 68 817 775 662 92 0 207 508 32 1107 421 885 338 875 1071 731 219 976 1238 96 0 1118 479 1053 247 572 190 662 87 894 404 742 1081 897 53 717 775 1119 398 951 343 662 217 501 801 830 0 123 574 997 61 335 708 0 387 763 1003 838 266 464 805 967 924 634 441 157 197 354 32 1162 1126 547 680 248 758 501 402 159 971 1053 806 847 80 133 0 1000 421 899 938 588 345 1144 545 328 996 691 766 305 110 900 369 407 468 0 97 1171 120 197 277 625 710 676 1249 1020 98 0 804 829 180 1067 593 328 1103 875 47 398 717 984 261 68 354 494 0 314 660 1154 1077 621 447 1005 279 894 398 157 92 547 238 682 271 818 425 976 200 1071 0 786 236 346 84 574 746 373 164 662 187 839 1087 383 325 935 470 674 847 251 949 746 375 671 653 570 459 705 316 921 157 476 1054 511 84 0 997 1160 1054 298 248 402 998 1107 899 217 1210 680 182 465 633 962 95 1046 555 0 815 764 1201 142 900 180 1085 847 662 593 995 955 279 1154 80 377 490 75 758 572 346 0 32 634 959 1126 0 345 763 45 1067 516 703 259 1003 1238 1160 543 182 138 863 419 1124 235 154 286 1103 0 1004 373 186 625 751 804 75 404 537 516 890 1023 955 1169
697.70 d NODES 5210
697.70 d CHECKS 994192011
697.70
697.70 totalWckTime=697.48 totalCpuTime=688.76
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-233263-1168325162 -o ROOT/results/node33/solver-233263-1168325162 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233263-1168325162/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.46 2.36 2.06 3/81 22210
/proc/meminfo: memFree=1051408/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=18540 CPUtime=0
/proc/22209/stat : 22209 (runsolver) R 22207 22209 22142 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 180910073 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 210824129831 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/22209/statm: 4635 279 244 17 0 2626 0
[startup+0.102547 s]
/proc/loadavg: 2.46 2.36 2.06 3/81 22210
/proc/meminfo: memFree=1051408/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=914988 CPUtime=0.08
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 2996 0 1 0 7 1 0 0 25 0 8 0 180910073 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514638 s]
/proc/loadavg: 2.46 2.36 2.06 3/81 22210
/proc/meminfo: memFree=1051408/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915328 CPUtime=0.48
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 8241 0 1 0 44 4 0 0 25 0 8 0 180910073 937295872 7980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228832 7980 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33479 s]
/proc/loadavg: 2.46 2.36 2.06 3/88 22217
/proc/meminfo: memFree=980504/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=1.3
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 20045 0 1 0 117 13 0 0 25 0 8 0 180910073 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 19783 2178 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=0.04
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 3455 0 0 0 3 1 0 0 17 0 8 0 180910077 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.16
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 402 0 0 0 16 0 0 0 16 0 8 0 180910081 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632
[startup+2.97214 s]
/proc/loadavg: 2.46 2.36 2.06 4/88 22217
/proc/meminfo: memFree=974104/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=2.93
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 20051 0 1 0 280 13 0 0 25 0 8 0 180910073 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801149 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 19788 2178 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=0.04
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 3455 0 0 0 3 1 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.16
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632
[startup+6.26881 s]
/proc/loadavg: 2.51 2.37 2.07 3/88 22217
/proc/meminfo: memFree=948192/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=6.2
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 20051 0 1 0 607 13 0 0 25 0 8 0 180910073 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 19788 2178 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=0.04
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 3455 0 0 0 3 1 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.16
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915632
[startup+12.7381 s]
/proc/loadavg: 2.55 2.38 2.07 4/88 22217
/proc/meminfo: memFree=918000/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=12.61
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 20051 0 1 0 1247 14 0 0 25 0 8 0 180910073 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 19788 2178 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=0.04
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 3455 0 0 0 3 1 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.16
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 405 0 0 0 16 0 0 0 16 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 19788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915632
[startup+25.5898 s]
/proc/loadavg: 2.57 2.39 2.08 4/88 22217
/proc/meminfo: memFree=835376/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=25.36
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 28496 0 1 0 2518 18 0 0 25 0 8 0 180910073 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791520 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 28232 2178 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=0.34
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 11898 0 0 0 29 5 0 0 16 0 8 0 180910077 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.17
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 406 0 0 0 17 0 0 0 17 0 8 0 180910081 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 28232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915632
[startup+51.2251 s]
/proc/loadavg: 2.64 2.42 2.10 4/88 22217
/proc/meminfo: memFree=733808/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=50.75
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 28509 0 1 0 5056 19 0 0 25 0 8 0 180910073 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 28245 2178 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=0.34
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 11898 0 0 0 29 5 0 0 16 0 8 0 180910077 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.18
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 419 0 0 0 18 0 0 0 16 0 8 0 180910081 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 28245 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915632
[startup+102.481 s]
/proc/loadavg: 2.77 2.49 2.14 4/88 22217
/proc/meminfo: memFree=549808/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=101.53
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 47767 0 1 0 10122 31 0 0 25 0 8 0 180910073 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789916 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 47500 2179 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=1.17
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 31148 0 0 0 101 16 0 0 16 0 8 0 180910077 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.19
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 423 0 0 0 19 0 0 0 16 0 8 0 180910081 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 47500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915632
[startup+162.523 s]
/proc/loadavg: 2.62 2.49 2.16 3/88 22290
/proc/meminfo: memFree=879408/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=161.06
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 64516 0 1 0 16064 42 0 0 25 0 8 0 180910073 937607168 64247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.29
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 482 0 0 0 28 1 0 0 16 0 8 0 180910081 937607168 95302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.52
Current children cumulated vsize (KiB) 915632
[startup+282.622 s]
/proc/loadavg: 2.61 2.53 2.21 2/75 22335
/proc/meminfo: memFree=1068560/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=280
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 95596 0 1 0 27943 57 0 0 25 0 8 0 180910073 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22209/statm: 228908 95307 2545 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=3.7
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 78460 0 0 0 333 37 0 0 16 0 8 0 180910077 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180910077 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.31
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 491 0 0 0 30 1 0 0 15 0 8 0 180910081 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280
Current children cumulated vsize (KiB) 915632
[startup+342.681 s]
/proc/loadavg: 2.22 2.43 2.19 3/87 22380
/proc/meminfo: memFree=946352/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=339.79
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 95604 0 1 0 33920 59 0 0 25 0 8 0 180910073 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074039890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 95313 2547 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=3.7
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 78460 0 0 0 333 37 0 0 16 0 8 0 180910077 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180910077 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.31
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 495 0 0 0 30 1 0 0 17 0 8 0 180910081 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.79
Current children cumulated vsize (KiB) 915632
[startup+402.736 s]
/proc/loadavg: 2.08 2.35 2.18 3/87 22380
/proc/meminfo: memFree=868912/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=399.53
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 95616 0 1 0 39894 59 0 0 25 0 8 0 180910073 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032109 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 95321 2547 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=3.7
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 78460 0 0 0 333 37 0 0 16 0 8 0 180910077 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180910077 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.33
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 504 0 0 0 32 1 0 0 15 0 8 0 180910081 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) R 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.53
Current children cumulated vsize (KiB) 915632
[startup+462.816 s]
/proc/loadavg: 2.07 2.30 2.17 4/87 22380
/proc/meminfo: memFree=791216/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=459.3
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 95621 0 1 0 45871 59 0 0 25 0 8 0 180910073 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 95324 2548 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=3.7
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 78460 0 0 0 333 37 0 0 16 0 8 0 180910077 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180910077 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.33
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 506 0 0 0 32 1 0 0 15 0 8 0 180910081 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 459.3
Current children cumulated vsize (KiB) 915632
[startup+522.88 s]
/proc/loadavg: 2.02 2.24 2.16 3/87 22380
/proc/meminfo: memFree=754800/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=519.07
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 95633 0 1 0 51848 59 0 0 25 0 8 0 180910073 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 95331 2548 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=3.7
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 78460 0 0 0 333 37 0 0 16 0 8 0 180910077 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180910077 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.35
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 517 0 0 0 34 1 0 0 16 0 8 0 180910081 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 519.07
Current children cumulated vsize (KiB) 915632
[startup+582.944 s]
/proc/loadavg: 2.01 2.20 2.15 3/80 22606
/proc/meminfo: memFree=1054488/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=578.83
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 95637 0 1 0 57822 61 0 0 25 0 8 0 180910073 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047583 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 95333 2548 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=3.7
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 78460 0 0 0 333 37 0 0 16 0 8 0 180910077 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180910077 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.36
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 519 0 0 0 35 1 0 0 16 0 8 0 180910081 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 578.83
Current children cumulated vsize (KiB) 915632
[startup+643.015 s]
/proc/loadavg: 2.00 2.16 2.14 3/80 22606
/proc/meminfo: memFree=1054552/2055920 swapFree=4192224/4192956
[pid=22209] ppid=22207 vsize=915632 CPUtime=638.64
/proc/22209/stat : 22209 (java) R 22207 22209 22142 0 -1 0 95641 0 1 0 63802 62 0 0 25 0 8 0 180910073 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074042791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22209/statm: 228908 95335 2548 14 0 215378 0
[pid=22209/tid=22211] ppid=22207 vsize=915632 CPUtime=3.7
/proc/22209/task/22211/stat : 22211 (java) S 22207 22209 22142 0 -1 64 78460 0 0 0 333 37 0 0 16 0 8 0 180910077 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22212] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22212/stat : 22212 (java) S 22207 22209 22142 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180910077 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22213] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22213/stat : 22213 (java) S 22207 22209 22142 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180910077 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22214] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22214/stat : 22214 (java) S 22207 22209 22142 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180910080 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22215] ppid=22207 vsize=915632 CPUtime=0.36
/proc/22209/task/22215/stat : 22215 (java) S 22207 22209 22142 0 -1 64 521 0 0 0 35 1 0 0 16 0 8 0 180910081 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22216] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22216/stat : 22216 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180910081 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22209/tid=22217] ppid=22207 vsize=915632 CPUtime=0
/proc/22209/task/22217/stat : 22217 (java) S 22207 22209 22142 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180910081 937607168 95335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 638.64
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 697.78
CPU time (s): 693.154
CPU user time (s): 692.447
CPU system time (s): 0.706892
CPU usage (%): 99.337
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 692.447
system time used= 0.706892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101459
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= 15833
involuntary context switches= 29409
runsolver used 0.738887 s user time and 1.9647 s system time
The end
Begin job on node33 on Tue Jan 9 06:46:02 UTC 2007
IDJOB= 233263
IDBENCH= 6590
FILE ID= node33/233263-1168325162
PBS_JOBID= 3502981
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-100-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233263-1168325162/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-233263-1168325162 -o ROOT/results/node33/solver-233263-1168325162 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233263-1168325162/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7bcc6ec8aa0f71b96754283e8b08b1cc
RANDOM SEED= 729032197
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.281
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.281
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: 1051888 kB
Buffers: 4664 kB
Cached: 542332 kB
SwapCached: 268 kB
Active: 445508 kB
Inactive: 506860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1051888 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 2852 kB
Writeback: 0 kB
Mapped: 423728 kB
Slab: 36308 kB
Committed_AS: 4197832 kB
PageTables: 2624 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= 66558 MiB
End job on node33 on Tue Jan 9 06:57:40 UTC 2007