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 (8939 MiB free)
memory of node 1: 16384 MiB (10364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292654-1532450799/watcher-4292654-1532450799 -o /tmp/evaluation-result-4292654-1532450799/solver-4292654-1532450799 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22097 --watchdog 2560 HOME/xcsp3-exec -seed 1079118414 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292654-1532450799.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22293, runsolver pid=22290
[startup+0.100132 s]*
/proc/loadavg: 1.46 1.41 1.40 3/217 22309
/proc/meminfo: memFree=19750476/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
[pid=22295] ppid=22293 vsize=14082840 memory=29012 CPUtime=0.12 cores=1,3,5,7
/proc/22295/stat : 22295 (java) S 22293 22293 22065 0 -1 1077944320 5674 0 0 0 10 2 0 0 20 0 15 0 62643121 14420828160 7253 33554432000 4194304 4196468 140734476259504 140734476242048 140447248170743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
/proc/22295/statm: 3520710 7253 2976 1 0 3483008 0
[pid=22295/tid=22296] ppid=22293 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/22295/task/22296/stat : 22296 (java) R 22293 22293 22065 0 -1 4202560 3691 0 0 0 8 1 0 0 20 0 15 0 62643121 14420828160 7253 33554432000 4194304 4196468 140734476259504 140447252402032 140447248182678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22297] ppid=22293 vsize=14082840 memory=3472468628474897616 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14420828160 7253 33554432000 4194304 4196468 140734476259504 140447178258704 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22298] ppid=22293 vsize=14082840 memory=140499579745920 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22298/stat : 22298 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14420828160 7253 33554432000 4194304 4196468 140734476259504 140447177206160 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22299] ppid=22293 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22299/stat : 22299 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446841616912 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22300] ppid=22293 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22300/stat : 22300 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446840564368 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22301] ppid=22293 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22301/stat : 22301 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643124 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446789519856 140447248181890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22302] ppid=22293 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22302/stat : 22302 (java) S 22293 22293 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62643124 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446788466080 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22303] ppid=22293 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62643124 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 62643127 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 62643127 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14082840 memory=140499579745920 CPUtime=0.01 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) R 22293 22293 22065 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 62643127 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446783203568 140447232418285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14082840 memory=140499579745920 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643127 14420828160 7253 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30464 KiB
[startup+0.21062 s]*
/proc/loadavg: 1.46 1.41 1.40 4/217 22309
/proc/meminfo: memFree=19739684/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
[pid=22295] ppid=22293 vsize=14084956 memory=40612 CPUtime=0.34 cores=1,3,5,7
/proc/22295/stat : 22295 (java) S 22293 22293 22065 0 -1 1077944320 8184 0 0 0 31 3 0 0 20 0 15 0 62643121 14422994944 10153 33554432000 4194304 4196468 140734476259504 140734476242048 140447248170743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
/proc/22295/statm: 3521239 10153 3166 1 0 3483008 0
[pid=22295/tid=22296] ppid=22293 vsize=14084956 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/22295/task/22296/stat : 22296 (java) D 22293 22293 22065 0 -1 1077944384 5444 0 0 0 18 2 0 0 20 0 15 0 62643121 14422994944 10153 33554432000 4194304 4196468 140734476259504 140447252391736 140447250446023 0 4 0 16800975 18446744072101625380 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22297] ppid=22293 vsize=14084956 memory=3472468628474897616 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14422994944 10153 33554432000 4194304 4196468 140734476259504 140447178258704 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22298] ppid=22293 vsize=14084956 memory=140499579745920 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22298/stat : 22298 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14422994944 10153 33554432000 4194304 4196468 140734476259504 140447177206160 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22299] ppid=22293 vsize=14084956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22299/stat : 22299 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14422994944 10153 33554432000 4194304 4196468 140734476259504 140446841616912 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22300] ppid=22293 vsize=14084956 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22300/stat : 22300 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14422994944 10153 33554432000 4194304 4196468 140734476259504 140446840564368 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22301] ppid=22293 vsize=14084956 memory=140499579745920 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22301/stat : 22301 (java) S 22293 22293 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62643124 14422994944 10153 33554432000 4194304 4196468 140734476259504 140446789519856 140447248181890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22302] ppid=22293 vsize=14084956 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22302/stat : 22302 (java) S 22293 22293 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62643124 14422994944 10153 33554432000 4194304 4196468 140734476259504 140446788466080 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22303] ppid=22293 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62643124 14425186304 10156 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14425186304 10156 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 511 0 0 0 3 0 0 0 20 0 15 0 62643127 14425186304 10156 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14087096 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 62643127 14425186304 10156 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14087096 memory=140499579745920 CPUtime=0.07 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) S 22293 22293 22065 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 15 0 62643127 14425186304 10156 33554432000 4194304 4196468 140734476259504 140446783203568 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14425186304 10156 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14087096 memory=140499579745920 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643127 14425186304 10156 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14198084 KiB
Current children cumulated memory: 42064 KiB
[startup+0.310659 s]*
/proc/loadavg: 1.46 1.41 1.40 3/217 22309
/proc/meminfo: memFree=19733108/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
[pid=22295] ppid=22293 vsize=14087096 memory=47612 CPUtime=0.51 cores=1,3,5,7
/proc/22295/stat : 22295 (java) S 22293 22293 22065 0 -1 1077944320 9056 0 0 0 47 4 0 0 20 0 15 0 62643121 14425186304 11903 33554432000 4194304 4196468 140734476259504 140734476242048 140447248170743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
/proc/22295/statm: 3521774 11903 3201 1 0 3483008 0
[pid=22295/tid=22296] ppid=22293 vsize=14087096 memory=-8540663193526752614 CPUtime=0.29 cores=1,3,5,7
/proc/22295/task/22296/stat : 22296 (java) R 22293 22293 22065 0 -1 4202560 6152 0 0 0 27 2 0 0 20 0 15 0 62643121 14425186304 11903 33554432000 4194304 4196468 140734476259504 140447252407904 140447232251230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22297] ppid=22293 vsize=14087096 memory=3472468628474897616 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14425186304 11903 33554432000 4194304 4196468 140734476259504 140447178258704 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22298] ppid=22293 vsize=14087096 memory=140499579767985 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22298/stat : 22298 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14425186304 11903 33554432000 4194304 4196468 140734476259504 140447177206160 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22299] ppid=22293 vsize=14087096 memory=140499453348187 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22299/stat : 22299 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14425186304 11903 33554432000 4194304 4196468 140734476259504 140446841616912 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22300] ppid=22293 vsize=14087096 memory=140499453328335 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22300/stat : 22300 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446840564368 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22301] ppid=22293 vsize=14087096 memory=140499579768016 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22301/stat : 22301 (java) S 22293 22293 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62643124 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446789519856 140447248181890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22302] ppid=22293 vsize=14087096 memory=140499453337551 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22302/stat : 22302 (java) S 22293 22293 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62643124 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446788466080 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22303] ppid=22293 vsize=14087096 memory=280998906672752 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62643124 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14087096 memory=140499453359735 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 520 0 0 0 5 0 0 0 20 0 15 0 62643127 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14087096 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 62643127 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14087096 memory=140499579745920 CPUtime=0.12 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) S 22293 22293 22065 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 15 0 62643127 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446783203568 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14087096 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14087096 memory=140499579745920 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643127 14425186304 11912 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49064 KiB
[startup+0.700783 s]
/proc/loadavg: 1.46 1.41 1.40 5/217 22309
/proc/meminfo: memFree=19717784/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
[pid=22295] ppid=22293 vsize=14089220 memory=68492 CPUtime=1.41 cores=1,3,5,7
/proc/22295/stat : 22295 (java) S 22293 22293 22065 0 -1 1077944320 10810 0 0 0 136 5 0 0 20 0 15 0 62643121 14427361280 17123 33554432000 4194304 4196468 140734476259504 140734476242048 140447248170743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
/proc/22295/statm: 3522305 17123 3343 1 0 3483520 0
[pid=22295/tid=22296] ppid=22293 vsize=14089220 memory=792 CPUtime=0.67 cores=1,3,5,7
/proc/22295/task/22296/stat : 22296 (java) R 22293 22293 22065 0 -1 4202560 6841 0 0 0 64 3 0 0 20 0 15 0 62643121 14427361280 17123 33554432000 4194304 4196468 140734476259504 140447252409648 140446860450021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22297] ppid=22293 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14427361280 17123 33554432000 4194304 4196468 140734476259504 140447178258704 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22298] ppid=22293 vsize=14089220 memory=280998906754368 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22298/stat : 22298 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14427361280 17123 33554432000 4194304 4196468 140734476259504 140447177206160 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22299] ppid=22293 vsize=14089220 memory=140499453381392 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22299/stat : 22299 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643122 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446841616912 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22300] ppid=22293 vsize=14089220 memory=8392 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22300/stat : 22300 (java) S 22293 22293 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62643122 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446840564368 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22301] ppid=22293 vsize=14089220 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22301/stat : 22301 (java) S 22293 22293 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446789519856 140447248181890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22302] ppid=22293 vsize=14089220 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22302/stat : 22302 (java) S 22293 22293 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446788466080 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22303] ppid=22293 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14089220 memory=8392 CPUtime=0.21 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 794 0 0 0 21 0 0 0 20 0 15 0 62643127 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14089220 memory=15872 CPUtime=0.19 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 520 0 0 0 19 0 0 0 20 0 15 0 62643127 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14089220 memory=4012 CPUtime=0.31 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) S 22293 22293 22065 0 -1 1077944384 1347 0 0 0 31 0 0 0 20 0 15 0 62643127 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446783203568 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14089220 memory=11572 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14089220 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 17123 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 69944 KiB
[startup+1.50084 s]
/proc/loadavg: 1.46 1.41 1.40 5/217 22309
/proc/meminfo: memFree=19668704/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14089220 memory=6209040 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14089220 memory=6209040 CPUtime=1.39 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 11576 0 0 0 137 2 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14089220 memory=1452 CPUtime=1.48 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 10606 0 0 0 146 2 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14089220 memory=6209040 CPUtime=0.47 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) S 22293 22293 22065 0 -1 1077944384 7045 0 0 0 46 1 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446783203568 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14089220 memory=1008 CPUtime=0.74 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1814 0 0 0 35 39 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 2227.98 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 6210492 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 1.83 3/218 22481
/proc/meminfo: memFree=12277996/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
[pid=22295] ppid=22293 vsize=14089220 memory=6209040 CPUtime=2289.23 cores=1,3,5,7
/proc/22295/stat : 22295 (java) S 22293 22293 22065 0 -1 1077944320 351116 0 0 0 228032 891 0 0 20 0 15 0 62643121 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140734476242048 140447248170743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
/proc/22295/statm: 3522305 1552260 3410 1 0 3483520 0
[pid=22295/tid=22296] ppid=22293 vsize=14089220 memory=6209040 CPUtime=2252.32 cores=1,3,5,7
/proc/22295/task/22296/stat : 22296 (java) R 22293 22293 22065 0 -1 4202560 219348 0 0 0 224489 743 0 0 20 0 15 0 62643121 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140447252409904 140446860903033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22297] ppid=22293 vsize=14089220 memory=6209040 CPUtime=7.76 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (java) S 22293 22293 22065 0 -1 1077944384 19349 0 0 0 756 20 0 0 20 0 15 0 62643122 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140447178258704 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22298] ppid=22293 vsize=14089220 memory=1452 CPUtime=7.77 cores=1,3,5,7
/proc/22295/task/22298/stat : 22298 (java) S 22293 22293 22065 0 -1 1077944384 17302 0 0 0 757 20 0 0 20 0 15 0 62643122 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140447177206160 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22299] ppid=22293 vsize=14089220 memory=6209040 CPUtime=7.74 cores=1,3,5,7
/proc/22295/task/22299/stat : 22299 (java) S 22293 22293 22065 0 -1 1077944384 23941 0 0 0 755 19 0 0 20 0 15 0 62643122 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446841616912 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22300] ppid=22293 vsize=14089220 memory=6209040 CPUtime=7.78 cores=1,3,5,7
/proc/22295/task/22300/stat : 22300 (java) S 22293 22293 22065 0 -1 1077944384 22198 0 0 0 758 20 0 0 20 0 15 0 62643122 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446840564368 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22301] ppid=22293 vsize=14089220 memory=6209040 CPUtime=1.66 cores=1,3,5,7
/proc/22295/task/22301/stat : 22301 (java) S 22293 22293 22065 0 -1 1077944384 16540 0 0 0 132 34 0 0 20 0 15 0 62643124 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446789519856 140447248181890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22302] ppid=22293 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22302/stat : 22302 (java) S 22293 22293 22065 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446788466080 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22303] ppid=22293 vsize=14089220 memory=6209040 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14089220 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 11578 0 0 0 137 2 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14089220 memory=4616 CPUtime=1.48 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 10609 0 0 0 146 2 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14089220 memory=1452 CPUtime=0.47 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) S 22293 22293 22065 0 -1 1077944384 7047 0 0 0 46 1 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446783203568 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14089220 memory=6209040 CPUtime=0.76 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1833 0 0 0 36 40 0 0 20 0 15 0 62643127 14427361280 1552260 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 2289.23 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 6210492 KiB
[startup+2322.3 s]
/proc/loadavg: 1.86 1.96 1.82 3/217 22483
/proc/meminfo: memFree=12276348/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
[pid=22295] ppid=22293 vsize=14089220 memory=6211088 CPUtime=2350.44 cores=1,3,5,7
/proc/22295/stat : 22295 (java) S 22293 22293 22065 0 -1 1077944320 359814 0 0 0 234152 892 0 0 20 0 15 0 62643121 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140734476242048 140447248170743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
/proc/22295/statm: 3522305 1552772 3410 1 0 3483520 0
[pid=22295/tid=22296] ppid=22293 vsize=14089220 memory=6211088 CPUtime=2311.9 cores=1,3,5,7
/proc/22295/task/22296/stat : 22296 (java) R 22293 22293 22065 0 -1 4202560 222345 0 0 0 230447 743 0 0 20 0 15 0 62643121 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140447252409904 140446860903432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22297] ppid=22293 vsize=14089220 memory=6211088 CPUtime=8.15 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (java) S 22293 22293 22065 0 -1 1077944384 21571 0 0 0 795 20 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140447178258704 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22298] ppid=22293 vsize=14089220 memory=6211088 CPUtime=8.18 cores=1,3,5,7
/proc/22295/task/22298/stat : 22298 (java) S 22293 22293 22065 0 -1 1077944384 18546 0 0 0 797 21 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140447177206160 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22299] ppid=22293 vsize=14089220 memory=6211088 CPUtime=8.14 cores=1,3,5,7
/proc/22295/task/22299/stat : 22299 (java) S 22293 22293 22065 0 -1 1077944384 25146 0 0 0 795 19 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446841616912 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22300] ppid=22293 vsize=14089220 memory=6211088 CPUtime=8.18 cores=1,3,5,7
/proc/22295/task/22300/stat : 22300 (java) S 22293 22293 22065 0 -1 1077944384 23070 0 0 0 798 20 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446840564368 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22301] ppid=22293 vsize=14089220 memory=1452 CPUtime=1.68 cores=1,3,5,7
/proc/22295/task/22301/stat : 22301 (java) S 22293 22293 22065 0 -1 1077944384 16672 0 0 0 134 34 0 0 20 0 15 0 62643124 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446789519856 140447248181890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22302] ppid=22293 vsize=14089220 memory=6211088 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22302/stat : 22302 (java) S 22293 22293 22065 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446788466080 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22303] ppid=22293 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14089220 memory=1452 CPUtime=1.39 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 11580 0 0 0 137 2 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14089220 memory=1452 CPUtime=1.48 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 10611 0 0 0 146 2 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14089220 memory=1452 CPUtime=0.47 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) S 22293 22293 22065 0 -1 1077944384 7050 0 0 0 46 1 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446783203568 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14089220 memory=6211088 CPUtime=0.77 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1852 0 0 0 36 41 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 2350.44 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 6212540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2371.4 s]
/proc/loadavg: 1.94 1.97 1.83 3/217 22484
/proc/meminfo: memFree=12275944/32770624 swapFree=67108860/67108860
[pid=22293] ppid=22290 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22293/stat : 22293 (xcsp3-exec) S 22290 22293 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 62643121 115843072 363 33554432000 4194304 5098028 140733396033648 140733396031752 140052843348604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33423360 140733396038714 140733396038916 140733396038916 140733396041674 0
/proc/22293/statm: 28282 363 305 221 0 87 0
[pid=22295] ppid=22293 vsize=14089220 memory=6211088 CPUtime=2400 cores=1,3,5,7
/proc/22295/stat : 22295 (java) S 22293 22293 22065 0 -1 1077944320 367683 0 0 0 239107 893 0 0 20 0 15 0 62643121 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140734476242048 140447248170743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
/proc/22295/statm: 3522305 1552772 3410 1 0 3483520 0
[pid=22295/tid=22296] ppid=22293 vsize=14089220 memory=912 CPUtime=2360.85 cores=1,3,5,7
/proc/22295/task/22296/stat : 22296 (java) R 22293 22293 22065 0 -1 4202560 224526 0 0 0 235342 743 0 0 20 0 15 0 62643121 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140447252409904 140446860903461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22297] ppid=22293 vsize=14089220 memory=1452 CPUtime=8.31 cores=1,3,5,7
/proc/22295/task/22297/stat : 22297 (java) S 22293 22293 22065 0 -1 1077944384 24063 0 0 0 810 21 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140447178258704 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22298] ppid=22293 vsize=14089220 memory=1452 CPUtime=8.33 cores=1,3,5,7
/proc/22295/task/22298/stat : 22298 (java) S 22293 22293 22065 0 -1 1077944384 19410 0 0 0 812 21 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140447177206160 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22299] ppid=22293 vsize=14089220 memory=6211088 CPUtime=8.28 cores=1,3,5,7
/proc/22295/task/22299/stat : 22299 (java) S 22293 22293 22065 0 -1 1077944384 26268 0 0 0 809 19 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446841616912 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22300] ppid=22293 vsize=14089220 memory=1452 CPUtime=8.32 cores=1,3,5,7
/proc/22295/task/22300/stat : 22300 (java) S 22293 22293 22065 0 -1 1077944384 24132 0 0 0 812 20 0 0 20 0 15 0 62643122 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446840564368 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22301] ppid=22293 vsize=14089220 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/22295/task/22301/stat : 22301 (java) S 22293 22293 22065 0 -1 1077944384 16800 0 0 0 134 34 0 0 20 0 15 0 62643124 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446789519856 140447248181890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22302] ppid=22293 vsize=14089220 memory=8833 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22302/stat : 22302 (java) S 22293 22293 22065 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446788466080 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22303] ppid=22293 vsize=14089220 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22303/stat : 22303 (java) S 22293 22293 22065 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62643124 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446787413488 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22304] ppid=22293 vsize=14089220 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22304/stat : 22304 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446786362064 140447248189339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22305] ppid=22293 vsize=14089220 memory=6211088 CPUtime=1.39 cores=1,3,5,7
/proc/22295/task/22305/stat : 22305 (java) S 22293 22293 22065 0 -1 1077944384 11582 0 0 0 137 2 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446785308656 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22306] ppid=22293 vsize=14089220 memory=12032 CPUtime=1.48 cores=1,3,5,7
/proc/22295/task/22306/stat : 22306 (java) S 22293 22293 22065 0 -1 1077944384 10614 0 0 0 146 2 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446784256112 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22307] ppid=22293 vsize=14089220 memory=1008 CPUtime=0.47 cores=1,3,5,7
/proc/22295/task/22307/stat : 22307 (java) S 22293 22293 22065 0 -1 1077944384 7052 0 0 0 46 1 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446783203568 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22308] ppid=22293 vsize=14089220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/22295/task/22308/stat : 22308 (java) S 22293 22293 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446782151264 140447248180949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
[pid=22295/tid=22309] ppid=22293 vsize=14089220 memory=1716 CPUtime=0.79 cores=1,3,5,7
/proc/22295/task/22309/stat : 22309 (java) S 22293 22293 22065 0 -1 1077944384 1865 0 0 0 37 42 0 0 20 0 15 0 62643127 14427361280 1552772 33554432000 4194304 4196468 140734476259504 140446781098800 140447248181890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31334400 140734476268673 140734476268849 140734476268849 140734476271567 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 6212540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2371.41 s]
# the end of solver process 22293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001129 s, system=0.001129 s
[startup+2371.43 s]
# the end of solver process 22295 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2391.08 s, system=8.96244 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2371.43
CPU time (s): 2400.04
CPU user time (s): 2391.08
CPU system time (s): 8.96244
CPU usage (%): 101.206
Max. virtual memory (cumulated for all children) (KiB): 14204108
Max. memory (cumulated for all children) (KiB): 7622688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.08
system time used= 8.96244
maximum resident set size= 7664244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82483
involuntary context switches= 2658
# summary of solver processes directly reported to runsolver:
# pid: 22293,22295
# total CPU time (s): 2400.04
# total CPU user time (s): 2391.08
# total CPU system time (s): 8.96244
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.308 second user time and 21.333 second system time
The end