0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=epfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/276823-1169247368/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.47 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.47 => wckTime=0.102 cpuTime=0.09 mem=6M887
0.47
0.47 relations being loaded...
0.57
0.57 constraints being loaded...
0.74 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.74 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11896 maxDegree=39
0.74 maxArity=2
0.74 => wckTime=0.381 cpuTime=0.25 mem=11M779
0.79
0.79 solver LocalSearchSolver being built...
0.84 => wckTime=0.473 cpuTime=0.3 mem=6M109
0.84
0.84 s SATISFIABLE
0.84 o 681
0.84 c 72
0.84 o 686
0.84 c 67
0.84 o 690
0.84 c 63
0.84 o 694
0.84 c 59
0.85 o 698
0.85 c 55
0.85 o 705
0.85 c 48
0.85 o 709
0.85 c 44
0.85 o 713
0.85 c 40
0.85 o 716
0.85 c 37
0.85 o 717
0.85 c 36
0.85 o 720
0.85 c 33
0.85 o 723
0.85 c 30
0.85 o 726
0.85 c 27
0.85 o 727
0.85 c 26
0.85 o 729
0.85 c 24
0.85 o 731
0.85 c 22
0.85 o 733
0.85 c 20
0.86 o 735
0.86 c 18
0.86 o 737
0.86 c 16
0.86 o 739
0.86 c 14
0.86 o 740
0.86 c 13
0.86 o 741
0.86 c 12
0.86 o 742
0.86 c 11
0.87 o 743
0.87 c 10
0.87 o 744
0.87 c 9
0.89 o 745
0.89 c 8
0.91 o 746
0.91 c 7
0.91 o 747
0.91 c 6
0.91 o 749
0.92 c 4
0.94 o 751
0.94 c 2
1.31 o 752
1.31 c 1
1.31
1.31 search
1.31 run=0 nbConstraintChecks=2456231 nbAssignments=1669
1.31 => wckTime=0.472 cpuTime=0.43 mem=6M109
1.31
1.31 global
1.31 nbConstraintChecks=2456231 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.31 solvingWckTime=0.471 solvingCpuTime=0.43 expiredTime=no totalExploration=no nbFoundSolutions=0
1.31 globalCpuTime=0.78
1.31 => wckTime=0.946 cpuTime=0.73 mem=6M109
1.31
1.31 solver IterativeSystematicSolver being built...
1.44 => wckTime=1.08 cpuTime=0.84 mem=17M49
1.55
1.55 preprocessing
1.55 nbConstraintChecks=61063 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.55 detectedInconsistency=no
1.55 => wckTime=0.102 cpuTime=0.07 mem=17M49
1.60
1.60 search
1.60 run=0 nbConstraintChecks=109311 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33
1.60 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
1.60 => wckTime=0.158 cpuTime=0.13 mem=17M49
1.69
1.69 search
1.69 run=1 nbConstraintChecks=293285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
1.69 nbFailedAssignments=47 nbBacktracks=25 nbVisitedNodes=158 nbRestartNogoods=3
1.69 => wckTime=0.242 cpuTime=0.21 mem=17M49
1.78
1.78 search
1.78 run=2 nbConstraintChecks=512836 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=150
1.78 nbFailedAssignments=81 nbBacktracks=48 nbVisitedNodes=277 nbRestartNogoods=16
1.78 => wckTime=0.335 cpuTime=0.3 mem=17M49
1.93
1.93 search
1.93 run=3 nbConstraintChecks=901312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=251
1.93 nbFailedAssignments=141 nbBacktracks=81 nbVisitedNodes=468 nbRestartNogoods=28
1.93 => wckTime=0.482 cpuTime=0.44 mem=17M49
2.13
2.13 search
2.13 run=4 nbConstraintChecks=1440817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=393
2.13 nbFailedAssignments=226 nbBacktracks=131 nbVisitedNodes=740 nbRestartNogoods=33
2.13 => wckTime=0.683 cpuTime=0.64 mem=17M49
2.46
2.46 search
2.46 run=5 nbConstraintChecks=2286031 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=612
2.46 nbFailedAssignments=364 nbBacktracks=206 nbVisitedNodes=1167 nbRestartNogoods=41
2.46 => wckTime=1.015 cpuTime=0.96 mem=17M49
2.94
2.94 search
2.94 run=6 nbConstraintChecks=3461580 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=906
2.94 nbFailedAssignments=541 nbBacktracks=319 nbVisitedNodes=1736 nbRestartNogoods=57
2.94 => wckTime=1.497 cpuTime=1.44 mem=17M49
3.63
3.63 search
3.63 run=7 nbConstraintChecks=5346723 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1380
3.63 nbFailedAssignments=837 nbBacktracks=489 nbVisitedNodes=2657 nbRestartNogoods=71
3.63 => wckTime=2.187 cpuTime=2.12 mem=17M49
4.56
4.56 search
4.56 run=8 nbConstraintChecks=7735650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1999
4.56 nbFailedAssignments=1192 nbBacktracks=745 nbVisitedNodes=3824 nbRestartNogoods=87
4.56 => wckTime=3.112 cpuTime=3.01 mem=17M49
5.81
5.81 search
5.81 run=9 nbConstraintChecks=11033132 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2880
5.81 nbFailedAssignments=1683 nbBacktracks=1129 nbVisitedNodes=5472 nbRestartNogoods=91
5.81 => wckTime=4.365 cpuTime=4.25 mem=17M49
7.51
7.51 search
7.51 run=10 nbConstraintChecks=15288138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4066
7.51 nbFailedAssignments=2287 nbBacktracks=1705 nbVisitedNodes=7594 nbRestartNogoods=94
7.51 => wckTime=6.066 cpuTime=5.94 mem=17M49
9.99
9.99 search
9.99 run=11 nbConstraintChecks=21451654 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5811
9.99 nbFailedAssignments=3162 nbBacktracks=2570 nbVisitedNodes=10636 nbRestartNogoods=111
9.99 => wckTime=8.541 cpuTime=8.39 mem=17M49
13.18
13.18 search
13.18 run=12 nbConstraintChecks=29309727 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8230
13.18 nbFailedAssignments=4277 nbBacktracks=3867 nbVisitedNodes=14563 nbRestartNogoods=116
13.18 => wckTime=11.74 cpuTime=11.56 mem=17M49
17.67
17.67 search
17.67 run=13 nbConstraintChecks=40343707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11722
17.67 nbFailedAssignments=5816 nbBacktracks=5814 nbVisitedNodes=20073 nbRestartNogoods=128
17.67 => wckTime=16.227 cpuTime=16.0 mem=17M49
23.83
23.83 search
23.83 run=14 nbConstraintChecks=55015191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16646
23.83 nbFailedAssignments=7817 nbBacktracks=8733 nbVisitedNodes=27645 nbRestartNogoods=140
23.83 => wckTime=22.382 cpuTime=22.1 mem=17M49
32.86
32.86 search
32.86 run=15 nbConstraintChecks=77367769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24027
32.86 nbFailedAssignments=10810 nbBacktracks=13111 nbVisitedNodes=38953 nbRestartNogoods=147
32.86 => wckTime=31.415 cpuTime=31.05 mem=17M49
46.12
46.12 search
46.12 run=16 nbConstraintChecks=109783897 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34850
46.12 nbFailedAssignments=15059 nbBacktracks=19679 nbVisitedNodes=55329 nbRestartNogoods=152
46.12 => wckTime=44.676 cpuTime=44.21 mem=17M49
66.39
66.39 search
66.39 run=17 nbConstraintChecks=158011917 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51059
66.39 nbFailedAssignments=21411 nbBacktracks=29531 nbVisitedNodes=79840 nbRestartNogoods=161
66.39 => wckTime=64.948 cpuTime=64.3 mem=17M49
96.29
96.29 search
96.29 run=18 nbConstraintChecks=230273038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=75485
96.29 nbFailedAssignments=31052 nbBacktracks=44309 nbVisitedNodes=116811 nbRestartNogoods=172
96.29 => wckTime=94.842 cpuTime=93.92 mem=17M49
140.41
140.41 search
140.41 run=19 nbConstraintChecks=340514901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112061
140.41 nbFailedAssignments=45453 nbBacktracks=66479 nbVisitedNodes=171861 nbRestartNogoods=190
140.41 => wckTime=138.965 cpuTime=137.65 mem=17M49
210.39
210.39 search
210.39 run=20 nbConstraintChecks=505511137 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=167254
210.39 nbFailedAssignments=67387 nbBacktracks=99731 nbVisitedNodes=256026 nbRestartNogoods=212
210.39 => wckTime=208.946 cpuTime=207.02 mem=17M49
301.23
301.23 search
301.23 run=21 nbConstraintChecks=748921681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=248884
301.23 nbFailedAssignments=99131 nbBacktracks=149610 nbVisitedNodes=378939 nbRestartNogoods=243
301.23 => wckTime=299.781 cpuTime=297.73 mem=17M49
438.91
438.91 search
438.91 run=22 nbConstraintChecks=1108795325 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=371058
438.91 nbFailedAssignments=146480 nbBacktracks=224430 nbVisitedNodes=562776 nbRestartNogoods=254
438.91 => wckTime=437.468 cpuTime=435.25 mem=17M49
643.44
643.44 search
643.44 run=23 nbConstraintChecks=1644751608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=553658
643.44 nbFailedAssignments=216849 nbBacktracks=336658 nbVisitedNodes=836037 nbRestartNogoods=270
643.44 => wckTime=641.995 cpuTime=639.62 mem=17M49
957.21
957.21 search
957.21 run=24 nbConstraintChecks=2459093405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=829678
957.21 nbFailedAssignments=324525 nbBacktracks=504999 nbVisitedNodes=1252507 nbRestartNogoods=277
957.21 => wckTime=955.768 cpuTime=953.16 mem=17M49
1405.52
1405.52 search
1405.52 run=25 nbConstraintChecks=3609670350 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1224603
1405.52 nbFailedAssignments=477123 nbBacktracks=747327 nbVisitedNodes=1843881 nbRestartNogoods=303
1405.52 => wckTime=1404.072 cpuTime=1401.12 mem=17M49
1405.52
1405.52 global
1405.52 nbConstraintChecks=3609731413 nbRestartNogoods=303 solvingWckTime=1404.074 solvingCpuTime=1401.12
1405.52 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1402.01
1405.52 => wckTime=1405.154 cpuTime=1401.96 mem=17M49
1405.52
1405.52 s OPTIMUM FOUND
1405.52 v 1 6 3 0 0 0 5 5 0 3 3 3 3 7 7 1 6 0 2 6 7 2 7 7 3 2 1 6 1 5 0 7 7 3 5 7 7 7 2 4
1405.52
1405.52 totalWckTime=1405.237 totalCpuTime=1402.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-276823-1169247368 -o ROOT/results/node16/solver-276823-1169247368 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276823-1169247368/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.07 2.04 2.00 4/94 19327
/proc/meminfo: memFree=1318496/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=18540 CPUtime=0
/proc/19326/stat : 19326 (runsolver) R 19324 19326 18352 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273131645 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19326/statm: 4635 279 244 17 0 2626 0
[startup+0.103295 s]
/proc/loadavg: 2.07 2.04 2.00 4/94 19327
/proc/meminfo: memFree=1318496/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=907808 CPUtime=0.06
/proc/19326/stat : 19326 (java) D 19324 19326 18352 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 273131645 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.511221 s]
/proc/loadavg: 2.07 2.04 2.00 4/94 19327
/proc/meminfo: memFree=1318496/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915332 CPUtime=0.43
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 6184 0 1 0 40 3 0 0 18 0 8 0 273131645 937299968 5923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228833 5923 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332
[startup+1.34206 s]
/proc/loadavg: 2.07 2.04 2.00 4/101 19334
/proc/meminfo: memFree=1296744/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1.25
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 8156 0 1 0 113 12 0 0 24 0 8 0 273131645 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 7894 2486 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.2
/proc/19326/task/19332/stat : 19332 (java) R 19324 19326 18352 0 -1 64 377 0 0 0 20 0 0 0 16 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153156258 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915580
[startup+2.98375 s]
/proc/loadavg: 2.07 2.04 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=2.89
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9235 0 1 0 275 14 0 0 25 0 8 0 273131645 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 8971 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273131651 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.27
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 415 0 0 0 26 1 0 0 16 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915580
[startup+6.26214 s]
/proc/loadavg: 2.07 2.04 2.00 3/101 19334
/proc/meminfo: memFree=1292264/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=6.13
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9256 0 1 0 599 14 0 0 25 0 8 0 273131645 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 8990 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 428 0 0 0 29 1 0 0 15 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915580
[startup+12.7569 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 19334
/proc/meminfo: memFree=1292328/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=12.57
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9264 0 1 0 1243 14 0 0 25 0 8 0 273131645 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 8996 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273131651 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 432 0 0 0 29 1 0 0 16 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915580
[startup+25.6185 s]
/proc/loadavg: 2.05 2.03 2.00 3/101 19334
/proc/meminfo: memFree=1292392/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=25.32
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9272 0 1 0 2517 15 0 0 25 0 8 0 273131645 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 9003 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 432 0 0 0 29 1 0 0 16 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915580
[startup+51.2227 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=50.69
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9277 0 1 0 5054 15 0 0 25 0 8 0 273131645 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 9008 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 432 0 0 0 29 1 0 0 16 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915580
[startup+102.431 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=101.46
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9285 0 1 0 10130 16 0 0 25 0 8 0 273131645 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 9014 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 433 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915580
[startup+162.482 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=160.97
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9287 0 1 0 16081 16 0 0 25 0 8 0 273131645 937553920 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 940.69
Current children cumulated vsize (KiB) 915580
[startup+1003.36 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 19606
/proc/meminfo: memFree=1294376/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1000.72
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 100043 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1000.72
Current children cumulated vsize (KiB) 915580
[startup+1063.42 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 19606
/proc/meminfo: memFree=1294376/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1060.75
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 106046 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1060.75
Current children cumulated vsize (KiB) 915580
[startup+1123.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19606
/proc/meminfo: memFree=1294376/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1120.78
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 112049 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939094 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1120.78
Current children cumulated vsize (KiB) 915580
[startup+1183.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19608
/proc/meminfo: memFree=1294184/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1180.81
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 118052 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1180.81
Current children cumulated vsize (KiB) 915580
[startup+1243.66 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19608
/proc/meminfo: memFree=1294184/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1240.85
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 124056 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.85
Current children cumulated vsize (KiB) 915580
[startup+1303.73 s]
/proc/loadavg: 2.00 2.00 2.00 4/101 19608
/proc/meminfo: memFree=1294248/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1300.86
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 130056 30 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.86
Current children cumulated vsize (KiB) 915580
[startup+1363.8 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 19608
/proc/meminfo: memFree=1294248/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1360.89
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 136059 30 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1360.89
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 1405.57
CPU time (s): 1402.59
CPU user time (s): 1402.28
CPU system time (s): 0.311952
CPU usage (%): 99.7886
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1402.28
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9398
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= 29770
involuntary context switches= 58120
runsolver used 1.57576 s user time and 4.72128 s system time
The end
Begin job on node16 on Fri Jan 19 22:56:08 UTC 2007
IDJOB= 276823
IDBENCH= 6043
IDSOLVER= 68
FILE ID= node16/276823-1169247368
PBS_JOBID= 3589025
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276823-1169247368/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-276823-1169247368 -o ROOT/results/node16/solver-276823-1169247368 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276823-1169247368/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bbc5696eb0d541204e78162136ebccd9
RANDOM SEED= 350863840
TIME LIMIT= 2400 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.220
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.220
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: 1318976 kB
Buffers: 44176 kB
Cached: 558376 kB
SwapCached: 268 kB
Active: 281580 kB
Inactive: 381576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1318976 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 86584 kB
Slab: 58260 kB
Committed_AS: 7446920 kB
PageTables: 2464 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= 66563 MiB
End job on node16 on Fri Jan 19 23:19:34 UTC 2007