0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=pfc.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/275922-1169229264/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.51 nbVariables=66 nbDomainTypes=2 minDomainSize=55 maxDomainSize=56
0.51 => wckTime=0.115 cpuTime=0.1 mem=6M910
0.51
0.51 predicates being loaded...
0.51
0.51 constraints being loaded...
0.93 nbConstraints=1595 nbConvertedConstraints=1540 nbConvertConstraintsChecks=6161 nbExtensionStructures=2
0.93 nbSharedExtensionStructures=1538 nbConflictsStructures=2 nbSharedConflictsStructures=1538
0.93 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=57 nbEvaluationManagers=1
0.93 nbSharedEvaluationManagers=54 maxDegree=55 maxArity=3
0.93 => wckTime=0.537 cpuTime=0.4 mem=12M777
0.98
0.98 solver LocalSearchSolver being built...
1.02 => wckTime=0.627 cpuTime=0.44 mem=6M191
1.04
1.04 s SATISFIABLE
1.04 o 1491
1.04 c 104
1.04 o 1497
1.04 c 98
1.04 o 1504
1.04 c 91
1.05 o 1509
1.05 c 86
1.05 o 1513
1.05 c 82
1.06 o 1516
1.06 c 79
1.06 o 1519
1.06 c 76
1.06 o 1522
1.06 c 73
1.06 o 1524
1.06 c 71
1.07 o 1526
1.07 c 69
1.07 o 1528
1.07 c 67
1.07 o 1531
1.07 c 64
1.07 o 1533
1.07 c 62
1.08 o 1535
1.08 c 60
1.08 o 1537
1.08 c 58
1.08 o 1539
1.08 c 56
1.09 o 1541
1.09 c 54
1.09 o 1543
1.09 c 52
1.09 o 1544
1.09 c 51
1.10 o 1545
1.10 c 50
1.10 o 1546
1.10 c 49
1.11 o 1547
1.11 c 48
1.11 o 1549
1.11 c 46
1.11 o 1550
1.11 c 45
1.12 o 1551
1.12 c 44
1.12 o 1552
1.12 c 43
1.13 o 1553
1.13 c 42
1.13 o 1554
1.13 c 41
1.13 o 1555
1.13 c 40
1.13 o 1558
1.13 c 37
1.14 o 1559
1.14 c 36
1.14 o 1560
1.14 c 35
1.15 o 1561
1.15 c 34
1.15 o 1562
1.15 c 33
1.15 o 1563
1.15 c 32
1.15 o 1564
1.15 c 31
1.16 o 1565
1.16 c 30
1.16 o 1566
1.16 c 29
1.17 o 1567
1.17 c 28
1.18 o 1568
1.18 c 27
1.18 o 1569
1.18 c 26
1.19 o 1570
1.19 c 25
1.19 o 1571
1.19 c 24
1.47 o 1572
1.47 c 23
1.48 o 1573
1.48 c 22
27.86
27.86 search
27.86 run=0 nbConstraintChecks=133479805 nbAssignments=10000
27.86 => wckTime=26.842 cpuTime=26.7 mem=6M191
28.40 o 1574
28.40 c 21
28.41 o 1575
28.41 c 20
28.72 o 1576
28.72 c 19
53.53
53.53 search
53.53 run=1 nbConstraintChecks=268775584 nbAssignments=20000
53.53 => wckTime=52.508 cpuTime=52.23 mem=6M191
58.87
58.87 search
58.87 run=2 nbConstraintChecks=295346146 nbAssignments=22194
58.87 => wckTime=57.85 cpuTime=57.55 mem=6M191
58.87
58.87 global
58.87 nbConstraintChecks=295346146 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
58.87 solvingWckTime=57.848 solvingCpuTime=57.55 expiredTime=no totalExploration=no nbFoundSolutions=0
58.87 globalCpuTime=58.03
58.87 => wckTime=58.477 cpuTime=57.99 mem=6M191
58.87
58.87 solver IterativeSystematicSolver being built...
59.02 => wckTime=58.622 cpuTime=58.1 mem=18M222
60.54
60.54 preprocessing
60.54 nbConstraintChecks=5094100 nbValidityChecks=3080 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
60.54 nbRemovedValues=1 detectedInconsistency=no
60.54 => wckTime=1.524 cpuTime=1.5 mem=18M222
66.61
66.62 search
66.62 run=0 nbConstraintChecks=21551294 nbValidityChecks=568558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
66.62 nbAssignments=57 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=81 nbRestartNogoods=0
66.62 => wckTime=7.597 cpuTime=7.52 mem=18M222
74.13
74.13 search
74.13 run=1 nbConstraintChecks=47886651 nbValidityChecks=1409899 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
74.13 nbAssignments=133 nbFailedAssignments=49 nbBacktracks=25 nbVisitedNodes=208 nbRestartNogoods=4
74.13 => wckTime=15.112 cpuTime=14.98 mem=18M222
87.38
87.38 search
87.38 run=2 nbConstraintChecks=96218342 nbValidityChecks=3086433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
87.38 nbAssignments=282 nbFailedAssignments=151 nbBacktracks=47 nbVisitedNodes=481 nbRestartNogoods=17
87.38 => wckTime=28.358 cpuTime=28.16 mem=18M222
100.91
100.91 search
100.91 run=3 nbConstraintChecks=139694854 nbValidityChecks=4327270 nbPropagations=0 nbRevisions=0
100.91 nbUselessRevisions=0 nbAssignments=361 nbFailedAssignments=190 nbBacktracks=80 nbVisitedNodes=632
100.91 nbRestartNogoods=21
100.91 => wckTime=41.896 cpuTime=41.63 mem=18M222
119.99
119.99 search
119.99 run=4 nbConstraintChecks=200859396 nbValidityChecks=6095772 nbPropagations=0 nbRevisions=0
119.99 nbUselessRevisions=0 nbAssignments=471 nbFailedAssignments=243 nbBacktracks=130 nbVisitedNodes=845
119.99 nbRestartNogoods=59
119.99 => wckTime=60.978 cpuTime=60.63 mem=18M222
174.37
174.37 search
174.37 run=5 nbConstraintChecks=380867940 nbValidityChecks=10169550 nbPropagations=0 nbRevisions=0
174.37 nbUselessRevisions=0 nbAssignments=788 nbFailedAssignments=475 nbBacktracks=205 nbVisitedNodes=1469
174.37 nbRestartNogoods=96
174.37 => wckTime=115.351 cpuTime=114.75 mem=18M222
211.70
211.70 search
211.70 run=6 nbConstraintChecks=502781076 nbValidityChecks=15081123 nbPropagations=0 nbRevisions=0
211.70 nbUselessRevisions=0 nbAssignments=1136 nbFailedAssignments=704 nbBacktracks=318 nbVisitedNodes=2159
211.70 nbRestartNogoods=117
211.70 => wckTime=152.681 cpuTime=151.9 mem=18M222
259.40
259.40 search
259.40 run=7 nbConstraintChecks=647566730 nbValidityChecks=20348021 nbPropagations=0 nbRevisions=0
259.40 nbUselessRevisions=0 nbAssignments=1554 nbFailedAssignments=944 nbBacktracks=488 nbVisitedNodes=2987
259.40 nbRestartNogoods=133
259.40 => wckTime=200.387 cpuTime=199.35 mem=18M222
374.15
374.15 search
374.15 run=8 nbConstraintChecks=976771383 nbValidityChecks=36442858 nbPropagations=0 nbRevisions=0
374.15 nbUselessRevisions=0 nbAssignments=2841 nbFailedAssignments=1963 nbBacktracks=744 nbVisitedNodes=5549
374.15 nbRestartNogoods=165
374.15 => wckTime=315.134 cpuTime=313.56 mem=18M222
525.11
525.11 search
525.11 run=9 nbConstraintChecks=1435111985 nbValidityChecks=52450461 nbPropagations=0 nbRevisions=0
525.11 nbUselessRevisions=0 nbAssignments=4031 nbFailedAssignments=2763 nbBacktracks=1129 nbVisitedNodes=7922
525.11 nbRestartNogoods=229
525.11 => wckTime=466.094 cpuTime=463.64 mem=18M222
642.39
642.39 search
642.39 run=10 nbConstraintChecks=1753032780 nbValidityChecks=69869205 nbPropagations=0 nbRevisions=0
642.39 nbUselessRevisions=0 nbAssignments=5837 nbFailedAssignments=3984 nbBacktracks=1705 nbVisitedNodes=11491
642.39 nbRestartNogoods=256
642.39 => wckTime=583.372 cpuTime=580.36 mem=18M222
981.97
981.97 search
981.97 run=11 nbConstraintChecks=2672964799 nbValidityChecks=126083273 nbPropagations=0 nbRevisions=0
981.97 nbUselessRevisions=0 nbAssignments=12353 nbFailedAssignments=9627 nbBacktracks=2569 nbVisitedNodes=24514
981.97 nbRestartNogoods=287
981.97 => wckTime=922.951 cpuTime=919.05 mem=18M222
1685.38
1685.38 search
1685.38 run=12 nbConstraintChecks=4840001194 nbValidityChecks=223314172 nbPropagations=0 nbRevisions=0
1685.38 nbUselessRevisions=0 nbAssignments=21312 nbFailedAssignments=17284 nbBacktracks=3866 nbVisitedNodes=42425
1685.38 nbRestartNogoods=356
1685.38 => wckTime=1626.364 cpuTime=1621.72 mem=18M222
2139.88
2139.88 search
2139.88 run=13 nbConstraintChecks=6266307165 nbValidityChecks=303580420 nbPropagations=0 nbRevisions=0
2139.88 nbUselessRevisions=0 nbAssignments=29000 nbFailedAssignments=23016 nbBacktracks=5812 nbVisitedNodes=57782
2139.88 nbRestartNogoods=411
2139.88 => wckTime=2080.859 cpuTime=2075.72 mem=18M222
2405.80 v 0 3 7 9 11 12 14 15 44 30 54 53 7 9 11 25 14 15 44 30 54 52 6 8 9 11 12 41 27 51 17 4 5 7 8 37 23 47 2 3 5 22 35 21 45 1 3 4 33 19 43 2 50 32 18 42 1 30 16 40 29 20 39 31 10 24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-275922-1169229264 -o ROOT/results/node7/solver-275922-1169229264 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275922-1169229264/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: 1.92 1.98 1.99 2/93 12477
/proc/meminfo: memFree=1328104/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=18540 CPUtime=0
/proc/12476/stat : 12476 (runsolver) R 12474 12476 11385 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271321900 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12476/statm: 4635 279 244 17 0 2626 0
[startup+0.101815 s]
/proc/loadavg: 1.92 1.98 1.99 2/93 12477
/proc/meminfo: memFree=1328104/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=47416 CPUtime=0
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 1032 0 1 0 0 0 0 0 17 0 1 0 271321900 48553984 781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151971221 0 4 0 7368 0 0 0 17 1 0 0
/proc/12476/statm: 11854 781 629 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416
[startup+0.509865 s]
/proc/loadavg: 1.92 1.98 1.99 2/93 12477
/proc/meminfo: memFree=1328104/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915332 CPUtime=0.41
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 6154 0 1 0 38 3 0 0 18 0 8 0 271321900 937299968 5893 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228833 5893 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.33094 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 12484
/proc/meminfo: memFree=1305392/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=1.22
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 8387 0 1 0 110 12 0 0 24 0 8 0 271321900 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228864 8125 2496 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.2
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915456
[startup+2.96811 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 12484
/proc/meminfo: memFree=1305328/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2.84
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 8388 0 1 0 271 13 0 0 25 0 8 0 271321900 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228864 8125 2496 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 271321912 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.2
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 8125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915456
[startup+6.26646 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 12484
/proc/meminfo: memFree=1305264/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=6.13
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 8390 0 1 0 594 19 0 0 25 0 8 0 271321900 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228864 8127 2496 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.21
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 8127 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) 915456
[startup+12.7361 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 12484
/proc/meminfo: memFree=1305264/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=12.57
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 8390 0 1 0 1228 29 0 0 25 0 8 0 271321900 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228864 8127 2496 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.21
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 8127 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) 915456
[startup+25.6055 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 12484
/proc/meminfo: memFree=1305392/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=25.38
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 8390 0 1 0 2491 47 0 0 25 0 8 0 271321900 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228864 8127 2496 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.21
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 8127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915456
[startup+51.2152 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 12484
/proc/meminfo: memFree=1305392/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=50.87
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 8393 0 1 0 4996 91 0 0 25 0 8 0 271321900 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759746 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228864 8130 2496 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.21
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 391 0 0 0 20 1 0 0 17 0 8 0 271321916 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915456
[startup+102.45 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 12484
/proc/meminfo: memFree=1301104/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=101.86
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9526 0 1 0 10081 105 0 0 25 0 8 0 271321900 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759045 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12476/statm: 228864 9255 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.3
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 271321916 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 915456
[startup+162.526 s]
/proc/loadavg: 2.05 2.00 2.00 3/100 12484
/proc/meminfo: memFree=1301168/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=161.66
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9530 0 1 0 16060 106 0 0 25 0 8 0 271321900 937426944 9259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.01
Current children cumulated vsize (KiB) 915456
[startup+2084.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12814
/proc/meminfo: memFree=1319520/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2079.05
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9577 0 1 0 207790 115 0 0 25 0 8 0 271321900 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12476/statm: 228864 9296 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.35
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 465 0 0 0 33 2 0 0 16 0 8 0 271321916 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2079.05
Current children cumulated vsize (KiB) 915456
[startup+2144.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12814
/proc/meminfo: memFree=1319520/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2139.09
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9581 0 1 0 213794 115 0 0 25 0 8 0 271321900 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12476/statm: 228864 9300 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.35
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 465 0 0 0 33 2 0 0 16 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2139.09
Current children cumulated vsize (KiB) 915456
[startup+2204.6 s]
/proc/loadavg: 1.94 1.98 1.99 3/101 12888
/proc/meminfo: memFree=1317856/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2199.1
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9581 0 1 0 219793 117 0 0 25 0 8 0 271321900 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12476/statm: 228864 9300 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.35
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 465 0 0 0 33 2 0 0 16 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2199.1
Current children cumulated vsize (KiB) 915456
[startup+2264.61 s]
/proc/loadavg: 1.97 1.98 1.99 3/101 12888
/proc/meminfo: memFree=1317664/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2259.05
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9581 0 1 0 225788 117 0 0 25 0 8 0 271321900 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12476/statm: 228864 9300 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.35
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 465 0 0 0 33 2 0 0 16 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2259.05
Current children cumulated vsize (KiB) 915456
[startup+2324.63 s]
/proc/loadavg: 1.99 1.98 1.99 3/101 12888
/proc/meminfo: memFree=1317664/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2319.02
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9581 0 1 0 231785 117 0 0 25 0 8 0 271321900 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757946 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12476/statm: 228864 9300 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.35
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 465 0 0 0 33 2 0 0 16 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2319.02
Current children cumulated vsize (KiB) 915456
[startup+2384.68 s]
/proc/loadavg: 1.99 1.98 1.99 3/101 12888
/proc/meminfo: memFree=1317600/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2378.99
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9581 0 1 0 237781 118 0 0 25 0 8 0 271321900 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878887 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12476/statm: 228864 9300 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.35
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 465 0 0 0 33 2 0 0 16 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2378.99
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.79 s]
/proc/loadavg: 1.99 1.98 1.99 3/101 12888
/proc/meminfo: memFree=1317536/2055920 swapFree=4192812/4192956
[pid=12476] ppid=12474 vsize=915456 CPUtime=2400.1
/proc/12476/stat : 12476 (java) R 12474 12476 11385 0 -1 0 9581 0 1 0 239892 118 0 0 25 0 8 0 271321900 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12476/statm: 228864 9300 2546 14 0 215334 0
[pid=12476/tid=12478] ppid=12474 vsize=915456 CPUtime=0.03
/proc/12476/task/12478/stat : 12478 (java) S 12474 12476 11385 0 -1 64 325 0 0 0 3 0 0 0 16 0 8 0 271321912 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12479] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12479/stat : 12479 (java) S 12474 12476 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12480] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12480/stat : 12480 (java) S 12474 12476 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271321913 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12481] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12481/stat : 12481 (java) S 12474 12476 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12482] ppid=12474 vsize=915456 CPUtime=0.35
/proc/12476/task/12482/stat : 12482 (java) S 12474 12476 11385 0 -1 64 465 0 0 0 33 2 0 0 16 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12476/tid=12483] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12483/stat : 12483 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12476/tid=12484] ppid=12474 vsize=915456 CPUtime=0
/proc/12476/task/12484/stat : 12484 (java) S 12474 12476 11385 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271321916 937426944 9300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.85
CPU time (s): 2400.15
CPU user time (s): 2398.97
CPU system time (s): 1.18582
CPU usage (%): 99.7632
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.97
system time used= 1.18582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9609
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= 50169
involuntary context switches= 107676
runsolver used 3.47147 s user time and 7.2209 s system time
The end
Begin job on node7 on Fri Jan 19 17:54:25 UTC 2007
IDJOB= 275922
IDBENCH= 5169
IDSOLVER= 69
FILE ID= node7/275922-1169229264
PBS_JOBID= 3588941
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-55-11-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275922-1169229264/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-275922-1169229264 -o ROOT/results/node7/solver-275922-1169229264 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275922-1169229264/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6caf16780145de405cd4e27ecb1d3953
RANDOM SEED= 909052817
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: 1328584 kB
Buffers: 51744 kB
Cached: 500892 kB
SwapCached: 0 kB
Active: 221900 kB
Inactive: 423852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1328584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1952 kB
Writeback: 0 kB
Mapped: 122128 kB
Slab: 66128 kB
Committed_AS: 8600776 kB
PageTables: 2484 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 node7 on Fri Jan 19 18:34:31 UTC 2007