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 (8497 MiB free)
memory of node 1: 16384 MiB (15558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269464-1502850514/watcher-4269464-1502850514 -o /tmp/evaluation-result-4269464-1502850514/solver-4269464-1502850514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1927868863 HOME/instance-4269464-1502850514.xml
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16283, runsolver pid=16280
[startup+0.101135 s]*
/proc/loadavg: 2.20 2.15 2.30 3/198 16286
/proc/meminfo: memFree=24632376/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=11657624 memory=8496 CPUtime=0 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 1900 0 0 0 0 0 0 0 20 0 2 0 73392052 11937406976 2124 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 2914406 2124 1151 1 0 2904376 0
[pid=16286/tid=16287] ppid=16283 vsize=11657624 memory=4206989191851631162 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) R 16283 16283 11586 0 -1 4202560 892 0 0 0 0 0 0 0 20 0 2 0 73392052 11937406976 2388 18446744073709551615 4194304 4196468 140724362778992 140687234312608 140687222359968 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 9876 KiB
[startup+0.209654 s]*
/proc/loadavg: 2.20 2.15 2.30 3/212 16300
/proc/meminfo: memFree=24620416/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=13974352 memory=22932 CPUtime=0.06 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 5171 0 0 0 6 0 0 0 20 0 15 0 73392052 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 3493588 5733 2707 1 0 3482964 0
[pid=16286/tid=16287] ppid=16283 vsize=13974352 memory=-6154281511361286500 CPUtime=0.05 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) R 16283 16283 11586 0 -1 4202560 3346 0 0 0 5 0 0 0 20 0 15 0 73392052 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140687234312800 140687211464253 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16288] ppid=16283 vsize=13974352 memory=4211974295634013578 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16288/stat : 16288 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140687164504464 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16289] ppid=16283 vsize=13974352 memory=140569429223040 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16289/stat : 16289 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140687163451664 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16290] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16290/stat : 16290 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140687162399376 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16291] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16291/stat : 16291 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140687161346576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16292] ppid=16283 vsize=13974352 memory=140569429223040 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16292/stat : 16292 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392054 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686708394608 140687230081666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16293] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16293/stat : 16293 (java) S 16283 16283 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73392055 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686707340576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16294] ppid=16283 vsize=13974352 memory=140569429223040 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73392055 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686706288240 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) S 16283 16283 11586 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 73392057 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686704183408 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686703130608 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16298/stat : 16298 (java) S 16283 16283 11586 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 73392057 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686702078320 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16299] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16299/stat : 16299 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392058 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686701025760 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16300] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16300/stat : 16300 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392063 14309736448 5733 18446744073709551615 4194304 4196468 140724362778992 140686699973552 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24312 KiB
[startup+0.310881 s]*
/proc/loadavg: 2.20 2.15 2.30 4/212 16300
/proc/meminfo: memFree=24604992/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=13974352 memory=36764 CPUtime=0.25 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 8783 0 0 0 23 2 0 0 20 0 15 0 73392052 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 3493588 9191 2976 1 0 3482964 0
[pid=16286/tid=16287] ppid=16283 vsize=13974352 memory=140569313683624 CPUtime=0.15 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) R 16283 16283 11586 0 -1 4202560 6039 0 0 0 14 1 0 0 20 0 15 0 73392052 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140687234283968 140687230092445 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16288] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16288/stat : 16288 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140687164504464 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16289] ppid=16283 vsize=13974352 memory=140569429223040 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16289/stat : 16289 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140687163451664 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16290] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16290/stat : 16290 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140687162399376 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16291] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16291/stat : 16291 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392053 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140687161346576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16292] ppid=16283 vsize=13974352 memory=140569429223040 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16292/stat : 16292 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392054 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686708394608 140687230081666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16293] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16293/stat : 16293 (java) S 16283 16283 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73392055 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686707340576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16294] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73392055 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686706288240 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) S 16283 16283 11586 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 15 0 73392057 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686704183408 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) S 16283 16283 11586 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 73392057 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686703130608 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13974352 memory=140569429223040 CPUtime=0.05 cores=1,3,5,7
/proc/16286/task/16298/stat : 16298 (java) S 16283 16283 11586 0 -1 1077944384 717 0 0 0 5 0 0 0 20 0 15 0 73392057 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686702078320 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16299] ppid=16283 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16299/stat : 16299 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392058 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686701025760 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16300] ppid=16283 vsize=13974352 memory=140569429223040 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16300/stat : 16300 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392063 14309736448 9191 18446744073709551615 4194304 4196468 140724362778992 140686699973552 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38144 KiB
[startup+0.704649 s]
/proc/loadavg: 2.20 2.15 2.30 6/212 16300
/proc/meminfo: memFree=24587788/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=13978684 memory=93068 CPUtime=1.28 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 12888 0 0 0 124 4 0 0 20 0 15 0 73392052 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 3494671 23267 3164 1 0 3482964 0
[pid=16286/tid=16287] ppid=16283 vsize=13978684 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) R 16283 16283 11586 0 -1 1077944384 7821 0 0 0 50 2 0 0 20 0 15 0 73392052 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140687234307088 140687230080725 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16288] ppid=16283 vsize=13978684 memory=44 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16288/stat : 16288 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392053 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140687164504464 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16289] ppid=16283 vsize=13978684 memory=8102582798389489969 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16289/stat : 16289 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392053 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140687163451664 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16290] ppid=16283 vsize=13978684 memory=5787495302022849344 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16290/stat : 16290 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392053 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140687162399376 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16291] ppid=16283 vsize=13978684 memory=8023269665315972697 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16291/stat : 16291 (java) S 16283 16283 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73392053 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140687161346576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16292] ppid=16283 vsize=13978684 memory=7674596115929182250 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16292/stat : 16292 (java) S 16283 16283 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73392054 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686708394608 140687230081666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16293] ppid=16283 vsize=13978684 memory=8328453600958622283 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16293/stat : 16293 (java) S 16283 16283 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73392055 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686707340576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16294] ppid=16283 vsize=13978684 memory=-8918990855134196790 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73392055 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686706288240 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13978684 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13978684 memory=-6804530832991035292 CPUtime=0.24 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) R 16283 16283 11586 0 -1 4202560 1478 0 0 0 24 0 0 0 20 0 15 0 73392057 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686704183408 140687211250236 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13978684 memory=7752549240514114323 CPUtime=0.26 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) R 16283 16283 11586 0 -1 4202560 892 0 0 0 26 0 0 0 20 0 15 0 73392057 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686703118480 140687230091866 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13978684 memory=6944656425122700657 CPUtime=0.22 cores=1,3,5,7
/proc/16286/task/16298/stat : 16298 (java) R 16283 16283 11586 0 -1 4202560 1389 0 0 0 22 0 0 0 20 0 15 0 73392057 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686702074048 140687230082454 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16299] ppid=16283 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16299/stat : 16299 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392058 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686701025760 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16300] ppid=16283 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16300/stat : 16300 (java) S 16283 16283 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73392063 14314172416 23267 18446744073709551615 4194304 4196468 140724362778992 140686699973552 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 94448 KiB
[startup+1.50153 s]
/proc/loadavg: 2.20 2.15 2.30 7/212 16300
/proc/meminfo: memFree=24448596/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=13978684 memory=389376 CPUtime=3.8 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 15550 0 0 0 365 15 0 0 20 0 15 0 73392052 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 3494671 97344 3211 1 0 3482964 0
[pid=16286/tid=16287] ppid=16283 vsize=13978684 memory=1380 CPUtime=1.21 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) S 16283 16283 11586 0 -1 1077944384 8019 0 0 0 115 6 0 0 20 0 15 0 73392052 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140687234308384 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16288] ppid=16283 vsize=13978684 memory=141636 CPUtime=0.06 cores=1,3,5,7
/proc/16286/task/16288/stat : 16288 (java) R 16283 16283 11586 0 -1 4202560 86 0 0 0 5 1 0 0 20 0 15 0 73392053 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140687164504464 140687215098393 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16289] ppid=16283 vsize=13978684 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16286/task/16289/stat : 16289 (java) R 16283 16283 11586 0 -1 4202560 88 0 0 0 3 1 0 0 20 0 15 0 73392053 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140687163451864 140687215098393 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16290] ppid=16283 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/16286/task/16290/stat : 16290 (java) R 16283 16283 11586 0 -1 4202560 80 0 0 0 4 1 0 0 20 0 15 0 73392053 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140687162399264 140687215098402 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16291] ppid=16283 vsize=13978684 memory=140569313874896 CPUtime=0.09 cores=1,3,5,7
/proc/16286/task/16291/stat : 16291 (java) R 16283 16283 11586 0 -1 4202560 103 0 0 0 7 2 0 0 20 0 15 0 73392053 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140687161346776 140687215098393 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16292] ppid=16283 vsize=13978684 memory=576461256482450691 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16292/stat : 16292 (java) S 16283 16283 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 73392054 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140686708393120 140687230080725 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16293] ppid=16283 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16293/stat : 16293 (java) S 16283 16283 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 73392055 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140686707340640 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16294] ppid=16283 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73392055 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140686706288256 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13978684 memory=2774 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13978684 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) R 16283 16283 11586 0 -1 4202560 2048 0 0 0 97 0 0 0 20 0 15 0 73392057 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140686704174864 140687214950773 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13978684 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) S 16283 16283 11586 0 -1 1077944384 2121 0 0 0 94 0 0 0 20 0 15 0 73392057 14314172416 97344 18446744073709551615 4194304 4196468 140724362778992 140686703109616 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13978684 memory=4817 CPUtime=0.34 cores=1,3,5,7
################
# More data... #
################
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 73392055 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686706288256 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13980732 memory=2975948 CPUtime=5.52 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) S 16283 16283 11586 0 -1 1077944384 18857 0 0 0 551 1 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686704183408 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13980732 memory=2975948 CPUtime=5.11 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) S 16283 16283 11586 0 -1 1077944384 22532 0 0 0 508 3 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686703130608 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13980732 memory=1380 CPUtime=1.02 cores=1,3,5,7
/proc/16286/task/16298/stat : 16298 (java) S 16283 16283 11586 0 -1 1077944384 16119 0 0 0 100 2 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686702078320 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16299] ppid=16283 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16299/stat : 16299 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392058 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686701025760 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16300] ppid=16283 vsize=13980732 memory=1380 CPUtime=1.06 cores=1,3,5,7
/proc/16286/task/16300/stat : 16300 (java) S 16283 16283 11586 0 -1 1077944384 2025 0 0 0 51 55 0 0 20 0 15 0 73392063 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686699973552 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 2350.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2977328 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/212 16996
/proc/meminfo: memFree=26047284/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=13980732 memory=2975948 CPUtime=2410.92 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 155712 0 0 0 240782 310 0 0 20 0 15 0 73392052 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 3495183 743987 3262 1 0 3483476 0
[pid=16286/tid=16287] ppid=16283 vsize=13980732 memory=1380 CPUtime=2375 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) R 16283 16283 11586 0 -1 4202560 75833 0 0 0 237482 18 0 0 20 0 15 0 73392052 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687234307720 140686847570577 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16288] ppid=16283 vsize=13980732 memory=2975948 CPUtime=5.43 cores=1,3,5,7
/proc/16286/task/16288/stat : 16288 (java) S 16283 16283 11586 0 -1 1077944384 2983 0 0 0 484 59 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687164504464 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16289] ppid=16283 vsize=13980732 memory=1380 CPUtime=5.31 cores=1,3,5,7
/proc/16286/task/16289/stat : 16289 (java) S 16283 16283 11586 0 -1 1077944384 2363 0 0 0 470 61 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687163451664 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16290] ppid=16283 vsize=13980732 memory=65 CPUtime=5.37 cores=1,3,5,7
/proc/16286/task/16290/stat : 16290 (java) S 16283 16283 11586 0 -1 1077944384 2155 0 0 0 480 57 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687162399376 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16291] ppid=16283 vsize=13980732 memory=4616 CPUtime=5.39 cores=1,3,5,7
/proc/16286/task/16291/stat : 16291 (java) S 16283 16283 11586 0 -1 1077944384 3026 0 0 0 480 59 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687161346576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16292] ppid=16283 vsize=13980732 memory=2975948 CPUtime=1.59 cores=1,3,5,7
/proc/16286/task/16292/stat : 16292 (java) S 16283 16283 11586 0 -1 1077944384 8384 0 0 0 157 2 0 0 20 0 15 0 73392054 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686708394608 140687230081666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16293] ppid=16283 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16293/stat : 16293 (java) S 16283 16283 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 73392055 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686707340640 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16294] ppid=16283 vsize=13980732 memory=7235147594880805952 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 73392055 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686706288256 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13980732 memory=1380 CPUtime=5.52 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) S 16283 16283 11586 0 -1 1077944384 18865 0 0 0 551 1 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686704183408 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13980732 memory=4120 CPUtime=5.11 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) S 16283 16283 11586 0 -1 1077944384 22538 0 0 0 508 3 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686703130608 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13980732 memory=40788 CPUtime=1.02 cores=1,3,5,7
/proc/16286/task/16298/stat : 16298 (java) S 16283 16283 11586 0 -1 1077944384 16133 0 0 0 100 2 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686702078320 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16299] ppid=16283 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16299/stat : 16299 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392058 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686701025760 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16300] ppid=16283 vsize=13980732 memory=2975948 CPUtime=1.08 cores=1,3,5,7
/proc/16286/task/16300/stat : 16300 (java) S 16283 16283 11586 0 -1 1077944384 2090 0 0 0 52 56 0 0 20 0 15 0 73392063 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686699973552 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 2410.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2977328 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/212 16998
/proc/meminfo: memFree=26047560/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=13980732 memory=2975948 CPUtime=2470.94 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 157190 0 0 0 246783 311 0 0 20 0 15 0 73392052 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 3495183 743987 3262 1 0 3483476 0
[pid=16286/tid=16287] ppid=16283 vsize=13980732 memory=2975948 CPUtime=2435 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) R 16283 16283 11586 0 -1 4202560 77248 0 0 0 243482 18 0 0 20 0 15 0 73392052 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687234307720 140686848014913 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16288] ppid=16283 vsize=13980732 memory=2975948 CPUtime=5.43 cores=1,3,5,7
/proc/16286/task/16288/stat : 16288 (java) S 16283 16283 11586 0 -1 1077944384 2983 0 0 0 484 59 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687164504464 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16289] ppid=16283 vsize=13980732 memory=1380 CPUtime=5.31 cores=1,3,5,7
/proc/16286/task/16289/stat : 16289 (java) S 16283 16283 11586 0 -1 1077944384 2363 0 0 0 470 61 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687163451664 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16290] ppid=16283 vsize=13980732 memory=2975948 CPUtime=5.37 cores=1,3,5,7
/proc/16286/task/16290/stat : 16290 (java) S 16283 16283 11586 0 -1 1077944384 2155 0 0 0 480 57 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687162399376 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16291] ppid=16283 vsize=13980732 memory=1380 CPUtime=5.39 cores=1,3,5,7
/proc/16286/task/16291/stat : 16291 (java) S 16283 16283 11586 0 -1 1077944384 3026 0 0 0 480 59 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687161346576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16292] ppid=16283 vsize=13980732 memory=1380 CPUtime=1.59 cores=1,3,5,7
/proc/16286/task/16292/stat : 16292 (java) S 16283 16283 11586 0 -1 1077944384 8393 0 0 0 157 2 0 0 20 0 15 0 73392054 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686708394608 140687230081666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16293] ppid=16283 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16293/stat : 16293 (java) S 16283 16283 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 73392055 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686707340640 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16294] ppid=16283 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 73392055 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686706288256 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13980732 memory=1296 CPUtime=5.52 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) S 16283 16283 11586 0 -1 1077944384 18869 0 0 0 551 1 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686704183408 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13980732 memory=1380 CPUtime=5.11 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) S 16283 16283 11586 0 -1 1077944384 22541 0 0 0 508 3 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686703130608 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13980732 memory=1380 CPUtime=1.03 cores=1,3,5,7
/proc/16286/task/16298/stat : 16298 (java) S 16283 16283 11586 0 -1 1077944384 16140 0 0 0 101 2 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686702078320 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16299] ppid=16283 vsize=13980732 memory=2975948 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16299/stat : 16299 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392058 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686701025760 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16300] ppid=16283 vsize=13980732 memory=1380 CPUtime=1.1 cores=1,3,5,7
/proc/16286/task/16300/stat : 16300 (java) S 16283 16283 11586 0 -1 1077944384 2130 0 0 0 53 57 0 0 20 0 15 0 73392063 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686699973552 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 2470.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2977328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/211 17001
/proc/meminfo: memFree=26047080/32770624 swapFree=67108860/67108860
[pid=16283] ppid=16280 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16283/stat : 16283 (xcsp3-exec) S 16280 16283 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 73392042 9740288 345 18446744073709551615 4194304 5098028 140728551527040 140728551525144 140299605000828 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34787328 140728551534968 140728551535173 140728551535173 140728551538667 0
/proc/16283/statm: 2378 345 289 221 0 87 0
[pid=16286] ppid=16283 vsize=13980732 memory=2975948 CPUtime=2520.07 cores=1,3,5,7
/proc/16286/stat : 16286 (java) S 16283 16283 11586 0 -1 1077944320 158410 0 0 0 251695 312 0 0 20 0 15 0 73392052 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140724362761536 140687230070519 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
/proc/16286/statm: 3495183 743987 3262 1 0 3483476 0
[pid=16286/tid=16287] ppid=16283 vsize=13980732 memory=-8774313645642428999 CPUtime=2484.1 cores=1,3,5,7
/proc/16286/task/16287/stat : 16287 (java) R 16283 16283 11586 0 -1 4202560 78405 0 0 0 248392 18 0 0 20 0 15 0 73392052 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687234307720 140686847146713 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16288] ppid=16283 vsize=13980732 memory=1156 CPUtime=5.43 cores=1,3,5,7
/proc/16286/task/16288/stat : 16288 (java) S 16283 16283 11586 0 -1 1077944384 2983 0 0 0 484 59 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687164504464 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16289] ppid=16283 vsize=13980732 memory=3228 CPUtime=5.31 cores=1,3,5,7
/proc/16286/task/16289/stat : 16289 (java) S 16283 16283 11586 0 -1 1077944384 2363 0 0 0 470 61 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687163451664 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16290] ppid=16283 vsize=13980732 memory=7380954931184232512 CPUtime=5.37 cores=1,3,5,7
/proc/16286/task/16290/stat : 16290 (java) S 16283 16283 11586 0 -1 1077944384 2155 0 0 0 480 57 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687162399376 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16291] ppid=16283 vsize=13980732 memory=-8774313645642428999 CPUtime=5.39 cores=1,3,5,7
/proc/16286/task/16291/stat : 16291 (java) S 16283 16283 11586 0 -1 1077944384 3026 0 0 0 480 59 0 0 20 0 15 0 73392053 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140687161346576 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16292] ppid=16283 vsize=13980732 memory=7378981320730765888 CPUtime=1.59 cores=1,3,5,7
/proc/16286/task/16292/stat : 16292 (java) S 16283 16283 11586 0 -1 1077944384 8402 0 0 0 157 2 0 0 20 0 15 0 73392054 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686708394608 140687230081666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16293] ppid=16283 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16293/stat : 16293 (java) S 16283 16283 11586 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 73392055 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686707340640 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16294] ppid=16283 vsize=13980732 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16294/stat : 16294 (java) S 16283 16283 11586 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 73392055 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686706288256 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16295] ppid=16283 vsize=13980732 memory=13568184779278711 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16295/stat : 16295 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686705236560 140687230089115 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16296] ppid=16283 vsize=13980732 memory=2244 CPUtime=5.52 cores=1,3,5,7
/proc/16286/task/16296/stat : 16296 (java) S 16283 16283 11586 0 -1 1077944384 18873 0 0 0 551 1 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686704183408 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16297] ppid=16283 vsize=13980732 memory=16240 CPUtime=5.11 cores=1,3,5,7
/proc/16286/task/16297/stat : 16297 (java) S 16283 16283 11586 0 -1 1077944384 22544 0 0 0 508 3 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686703130608 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16298] ppid=16283 vsize=13980732 memory=23160 CPUtime=1.03 cores=1,3,5,7
/proc/16286/task/16298/stat : 16298 (java) S 16283 16283 11586 0 -1 1077944384 16147 0 0 0 101 2 0 0 20 0 15 0 73392057 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686702078320 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16299] ppid=16283 vsize=13980732 memory=2975948 CPUtime=0 cores=1,3,5,7
/proc/16286/task/16299/stat : 16299 (java) S 16283 16283 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73392058 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686701025760 140687230080725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
[pid=16286/tid=16300] ppid=16283 vsize=13980732 memory=796 CPUtime=1.12 cores=1,3,5,7
/proc/16286/task/16300/stat : 16300 (java) S 16283 16283 11586 0 -1 1077944384 2170 0 0 0 54 58 0 0 20 0 15 0 73392063 14316269568 743987 18446744073709551615 4194304 4196468 140724362778992 140686699973552 140687230081666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 13103104 140724362785201 140724362785377 140724362785377 140724362788815 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2977328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.42 s]
# the end of solver process 16283 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000948 s, system=0.000948 s
[startup+2491.42 s]
# the end of solver process 16286 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.96 s, system=3.14146 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): 2491.42
CPU time (s): 2520.1
CPU user time (s): 2516.96
CPU system time (s): 3.14146
CPU usage (%): 101.151
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2977328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.96
system time used= 3.14146
maximum resident set size= 2976792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57609
involuntary context switches= 935
# summary of solver processes directly reported to runsolver:
# pid: 16283,16286
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.96
# total CPU system time (s): 3.14146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1243 second user time and 24.3361 second system time
The end