2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
The dodo solver 2018-04-29	SAT (TO)	6	2520.08	2502.33
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (6808 MiB free)
  memory of node 1: 16384 MiB (10173 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298468-1532760198/watcher-4298468-1532760198 -o /tmp/evaluation-result-4298468-1532760198/solver-4298468-1532760198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23109 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298468-1532760198.xml --timelimit 2520 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25535, runsolver pid=25532
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 1.37 1.52 1.62 5/216 25550
/proc/meminfo: memFree=17372640/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10658972 memory=27756 CPUtime=0.12 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 5285 0 0 0 11 1 0 0 20 0 15 0 93582988 10914787328 6939 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2664743 6939 2838 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10658972 memory=-7254952165438285178 CPUtime=0.09 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 3154 0 0 0 9 0 0 0 20 0 15 0 93582988 10914787328 6939 33554432000 4194304 4196468 140726887790112 139782031471744 139782011286885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10658972 memory=5793855615946058169 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10658972 memory=140364936164992 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93582989 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93582990 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93582991 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781518370208 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93582991 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) S 25532 25535 23077 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 93582993 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781515212784 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582993 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781514160240 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10658972 memory=140364936164992 CPUtime=0.01 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) R 25532 25535 23077 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 93582993 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781513107696 139782019480382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10658972 memory=140364936164992 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582994 10914787328 6939 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27756 KiB

[startup+0.210663 s]*
/proc/loadavg: 1.37 1.52 1.62 4/216 25550
/proc/meminfo: memFree=17360736/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10661056 memory=40368 CPUtime=0.34 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 8209 0 0 0 32 2 0 0 20 0 15 0 93582988 10916921344 10092 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2665264 10092 2984 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 5148 0 0 0 19 1 0 0 20 0 15 0 93582988 10916921344 10092 33554432000 4194304 4196468 140726887790112 139782031482416 139782027265181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661056 memory=4211974091140955530 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661056 memory=140364936164992 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93582989 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661056 memory=140364936164992 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93582990 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93582991 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781518370208 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93582991 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) S 25532 25535 23077 0 -1 1077944384 601 0 0 0 2 0 0 0 20 0 15 0 93582993 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781515212784 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) S 25532 25535 23077 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 93582993 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781514160240 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10661056 memory=140364936164992 CPUtime=0.08 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) R 25532 25535 23077 0 -1 4202560 916 0 0 0 8 0 0 0 20 0 15 0 93582993 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781513103648 139782006201524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10661056 memory=140364936164992 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582994 10916921344 10092 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40368 KiB

[startup+0.311212 s]*
/proc/loadavg: 1.37 1.52 1.62 6/216 25550
/proc/meminfo: memFree=17347960/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10661132 memory=54976 CPUtime=0.67 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 10336 0 0 0 65 2 0 0 20 0 15 0 93582988 10916999168 13744 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2665283 13744 3061 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10661132 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 5423 0 0 0 29 1 0 0 20 0 15 0 93582988 10916999168 13744 33554432000 4194304 4196468 140726887790112 139782031481152 139781665003057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661132 memory=4211974091140955530 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661132 memory=280729769109888 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661132 memory=280729665917440 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661132 memory=140364832944911 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661132 memory=280729769119104 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93582990 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10661132 memory=140364832949519 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781518370208 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10661132 memory=140364832974933 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10661132 memory=140364832979036 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10661132 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) S 25532 25535 23077 0 -1 1077944384 1446 0 0 0 11 0 0 0 20 0 15 0 93582993 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781515204240 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10661132 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) R 25532 25535 23077 0 -1 1077944384 767 0 0 0 10 0 0 0 20 0 15 0 93582993 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781514150032 139782027253461 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10661132 memory=140364936164992 CPUtime=0.13 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) R 25532 25535 23077 0 -1 4202560 1329 0 0 0 13 0 0 0 20 0 15 0 93582993 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781513105488 139782019480382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10661132 memory=140364936192748 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582994 10916999168 13744 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 54976 KiB

[startup+0.703158 s]
/proc/loadavg: 1.37 1.52 1.62 5/216 25550
/proc/meminfo: memFree=17317056/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10661132 memory=124380 CPUtime=1.87 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 11298 0 0 0 183 4 0 0 20 0 15 0 93582988 10916999168 31095 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2665283 31095 3105 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10661132 memory=54 CPUtime=0.68 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 5603 0 0 0 65 3 0 0 20 0 15 0 93582988 10916999168 31095 33554432000 4194304 4196468 140726887790112 139782031472976 139782005254048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93582989 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661132 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93582990 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10661132 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781518370208 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10661132 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10661132 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10661132 memory=792 CPUtime=0.46 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) R 25532 25535 23077 0 -1 4202560 1557 0 0 0 46 0 0 0 20 0 15 0 93582993 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781515201376 139782011505865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10661132 memory=1716 CPUtime=0.43 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) R 25532 25535 23077 0 -1 4202560 1158 0 0 0 43 0 0 0 20 0 15 0 93582993 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781514148560 139782010742355 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10661132 memory=1952 CPUtime=0.27 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) R 25532 25535 23077 0 -1 1077944384 1609 0 0 0 27 0 0 0 20 0 15 0 93582993 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781513107696 139782027254402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10661132 memory=8580 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93582994 10916999168 31095 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 124380 KiB

[startup+1.50074 s]
/proc/loadavg: 1.37 1.52 1.62 3/216 25550
/proc/meminfo: memFree=17182824/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10661132 memory=333112 CPUtime=4.33 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 16660 0 0 0 411 22 0 0 20 0 15 0 93582988 10916999168 83278 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2665283 83278 3160 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10661132 memory=4140 CPUtime=1.39 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 5779 0 0 0 136 3 0 0 20 0 15 0 93582988 10916999168 83278 33554432000 4194304 4196468 140726887790112 139782031479808 139781669603664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661132 memory=27056 CPUtime=0.07 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 151 0 0 0 3 4 0 0 20 0 15 0 93582989 10916999168 83278 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661132 memory=1296 CPUtime=0.05 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 119 0 0 0 2 3 0 0 20 0 15 0 93582989 10916999168 83278 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 123 0 0 0 3 3 0 0 20 0 15 0 93582989 10916999168 83278 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661132 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 177 0 0 0 3 4 0 0 20 0 15 0 93582989 10916999168 83278 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661132 memory=7451293975509493075 CPUtime=0 cores=1,3,5,7

################
# More data... #
################

/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 79374 0 0 0 243762 76 0 0 20 0 15 0 93582988 10916999168 375906 33554432000 4194304 4196468 140726887790112 139782031482096 140726887978946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661132 memory=1512376 CPUtime=3.51 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 10512 0 0 0 334 17 0 0 20 0 15 0 93582989 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661132 memory=1509292 CPUtime=3.5 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 10299 0 0 0 334 16 0 0 20 0 15 0 93582989 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661132 memory=1521104 CPUtime=3.52 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 9476 0 0 0 335 17 0 0 20 0 15 0 93582989 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661132 memory=1510832 CPUtime=3.52 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 6868 0 0 0 337 15 0 0 20 0 15 0 93582989 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661132 memory=1507748 CPUtime=0.37 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 13632 0 0 0 26 11 0 0 20 0 15 0 93582990 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10661132 memory=1505184 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781518370272 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10661132 memory=1503624 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10661132 memory=1504652 CPUtime=2.48 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) S 25532 25535 23077 0 -1 1077944384 15237 0 0 0 246 2 0 0 20 0 15 0 93582993 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781515212784 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10661132 memory=6791534058613427641 CPUtime=1.91 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) S 25532 25535 23077 0 -1 1077944384 7595 0 0 0 190 1 0 0 20 0 15 0 93582993 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781514160240 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10661132 memory=1504652 CPUtime=0.49 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) S 25532 25535 23077 0 -1 1077944384 4317 0 0 0 48 1 0 0 20 0 15 0 93582993 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781513107696 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10661132 memory=1503624 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10661132 memory=1428 CPUtime=1.27 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 2388 0 0 0 59 68 0 0 20 0 15 0 93582994 10916999168 375906 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 2459.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1503624 KiB

[startup+2502.3 s]
/proc/loadavg: 1.77 1.83 1.85 3/216 25724
/proc/meminfo: memFree=17851556/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10661132 memory=1446844 CPUtime=2520.03 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 164401 0 0 0 251787 216 0 0 20 0 15 0 93582988 10916999168 361711 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2665283 361711 3180 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10661132 memory=1446844 CPUtime=2498.04 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 80338 0 0 0 249727 77 0 0 20 0 15 0 93582988 10916999168 361711 33554432000 4194304 4196468 140726887790112 139782031481552 139781670955564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661132 memory=1489924 CPUtime=3.84 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 11064 0 0 0 366 18 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661132 memory=1483264 CPUtime=3.82 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 11274 0 0 0 365 17 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661132 memory=1465312 CPUtime=3.83 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 9770 0 0 0 366 17 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661132 memory=1456588 CPUtime=3.83 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 6990 0 0 0 368 15 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661132 memory=1450948 CPUtime=0.4 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 13999 0 0 0 28 12 0 0 20 0 15 0 93582990 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10661132 memory=4050482322358744095 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781518370272 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10661132 memory=1453000 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10661132 memory=27104 CPUtime=2.48 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) S 25532 25535 23077 0 -1 1077944384 15241 0 0 0 246 2 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781515212784 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10661132 memory=4104 CPUtime=1.92 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) S 25532 25535 23077 0 -1 1077944384 7599 0 0 0 191 1 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781514160240 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10661132 memory=1398720917958146503 CPUtime=0.49 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) S 25532 25535 23077 0 -1 1077944384 4321 0 0 0 48 1 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781513107696 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10661132 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10661132 memory=1446844 CPUtime=1.29 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 2414 0 0 0 60 69 0 0 20 0 15 0 93582994 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1446844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502.3 s]
/proc/loadavg: 1.77 1.83 1.85 3/216 25724
/proc/meminfo: memFree=17851556/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10661132 memory=1446844 CPUtime=2520.03 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 164401 0 0 0 251787 216 0 0 20 0 15 0 93582988 10916999168 361711 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2665283 361711 3180 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10661132 memory=1446844 CPUtime=2498.04 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 80338 0 0 0 249727 77 0 0 20 0 15 0 93582988 10916999168 361711 33554432000 4194304 4196468 140726887790112 139782031481552 139781670955564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661132 memory=1489924 CPUtime=3.84 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 11064 0 0 0 366 18 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661132 memory=1483264 CPUtime=3.82 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 11274 0 0 0 365 17 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661132 memory=1465312 CPUtime=3.83 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 9770 0 0 0 366 17 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661132 memory=1456588 CPUtime=3.83 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 6990 0 0 0 368 15 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661132 memory=1450948 CPUtime=0.4 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 13999 0 0 0 28 12 0 0 20 0 15 0 93582990 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10661132 memory=4050482322358744095 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781518370272 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10661132 memory=1453000 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10661132 memory=27104 CPUtime=2.48 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) S 25532 25535 23077 0 -1 1077944384 15241 0 0 0 246 2 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781515212784 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10661132 memory=4104 CPUtime=1.92 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) S 25532 25535 23077 0 -1 1077944384 7599 0 0 0 191 1 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781514160240 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10661132 memory=1398720917958146503 CPUtime=0.49 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) S 25532 25535 23077 0 -1 1077944384 4321 0 0 0 48 1 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781513107696 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10661132 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10661132 memory=1446844 CPUtime=1.29 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 2414 0 0 0 60 69 0 0 20 0 15 0 93582994 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1446844 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2502.33 s]
# the end of solver process 25535 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.9 s, system=2.1726 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2502.3 s]
/proc/loadavg: 1.77 1.83 1.85 3/216 25724
/proc/meminfo: memFree=17851556/32770624 swapFree=67108860/67108860
[pid=25535] ppid=25532 vsize=10661132 memory=1446844 CPUtime=2520.03 cores=1,3,5,7
/proc/25535/stat : 25535 (java) S 25532 25535 23077 0 -1 1077944320 164401 0 0 0 251787 216 0 0 20 0 15 0 93582988 10916999168 361711 33554432000 4194304 4196468 140726887790112 140726887772656 139782027243255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
/proc/25535/statm: 2665283 361711 3180 1 0 2627263 0
[pid=25535/tid=25537] ppid=25532 vsize=10661132 memory=1446844 CPUtime=2498.04 cores=1,3,5,7
/proc/25535/task/25537/stat : 25537 (java) R 25532 25535 23077 0 -1 4202560 80338 0 0 0 249727 77 0 0 20 0 15 0 93582988 10916999168 361711 33554432000 4194304 4196468 140726887790112 139782031481552 139781670955564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25538] ppid=25532 vsize=10661132 memory=1489924 CPUtime=3.84 cores=1,3,5,7
/proc/25535/task/25538/stat : 25538 (java) S 25532 25535 23077 0 -1 1077944384 11064 0 0 0 366 18 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781634369808 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25539] ppid=25532 vsize=10661132 memory=1483264 CPUtime=3.82 cores=1,3,5,7
/proc/25535/task/25539/stat : 25539 (java) S 25532 25535 23077 0 -1 1077944384 11274 0 0 0 365 17 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781633317264 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25540] ppid=25532 vsize=10661132 memory=1465312 CPUtime=3.83 cores=1,3,5,7
/proc/25535/task/25540/stat : 25540 (java) S 25532 25535 23077 0 -1 1077944384 9770 0 0 0 366 17 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781632264720 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25541] ppid=25532 vsize=10661132 memory=1456588 CPUtime=3.83 cores=1,3,5,7
/proc/25535/task/25541/stat : 25541 (java) S 25532 25535 23077 0 -1 1077944384 6990 0 0 0 368 15 0 0 20 0 15 0 93582989 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781631212176 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25542] ppid=25532 vsize=10661132 memory=1450948 CPUtime=0.4 cores=1,3,5,7
/proc/25535/task/25542/stat : 25542 (java) S 25532 25535 23077 0 -1 1077944384 13999 0 0 0 28 12 0 0 20 0 15 0 93582990 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781519423984 139782027254402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25543] ppid=25532 vsize=10661132 memory=4050482322358744095 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25543/stat : 25543 (java) S 25532 25535 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781518370272 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25544] ppid=25532 vsize=10661132 memory=1453000 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25544/stat : 25544 (java) S 25532 25535 23077 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 93582991 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781517317616 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25545] ppid=25532 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25545/stat : 25545 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781516266192 139782027261851 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25546] ppid=25532 vsize=10661132 memory=27104 CPUtime=2.48 cores=1,3,5,7
/proc/25535/task/25546/stat : 25546 (java) S 25532 25535 23077 0 -1 1077944384 15241 0 0 0 246 2 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781515212784 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25547] ppid=25532 vsize=10661132 memory=4104 CPUtime=1.92 cores=1,3,5,7
/proc/25535/task/25547/stat : 25547 (java) S 25532 25535 23077 0 -1 1077944384 7599 0 0 0 191 1 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781514160240 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25548] ppid=25532 vsize=10661132 memory=1398720917958146503 CPUtime=0.49 cores=1,3,5,7
/proc/25535/task/25548/stat : 25548 (java) S 25532 25535 23077 0 -1 1077944384 4321 0 0 0 48 1 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781513107696 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25549] ppid=25532 vsize=10661132 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/25535/task/25549/stat : 25549 (java) S 25532 25535 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93582993 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781512055392 139782027253461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
[pid=25535/tid=25550] ppid=25532 vsize=10661132 memory=1446844 CPUtime=1.29 cores=1,3,5,7
/proc/25535/task/25550/stat : 25550 (java) S 25532 25535 23077 0 -1 1077944384 2414 0 0 0 60 69 0 0 20 0 15 0 93582994 10916999168 361711 33554432000 4194304 4196468 140726887790112 139781511002928 139782027254402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12726272 140726887797880 140726887798025 140726887798025 140726887800783 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1446844 KiB

Child status: 143
Real time (s): 2502.33
CPU time (s): 2520.08
CPU user time (s): 2517.9
CPU system time (s): 2.1726
CPU usage (%): 100.709
Max. virtual memory (cumulated for all children) (KiB): 10663120
Max. memory (cumulated for all children) (KiB): 2683896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.9
system time used= 2.1726
maximum resident set size= 2686168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63341
involuntary context switches= 1061


# summary of solver processes directly reported to runsolver:
#   pid: 25535
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.9
#   total CPU system time (s): 2.1726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4525 second user time and 23.2681 second system time

The end
Name	GraphColoring/ GraphColoring-2-fullins-5_c18.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	354.284
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298468

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
