runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254014-1501614186/watcher-4254014-1501614186 -o /tmp/evaluation-result-4254014-1501614186/solver-4254014-1501614186 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 455160892 HOME/instance-4254014-1501614186.xml
pid=7274
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.21 2.00 1.78 3/195 7277
/proc/meminfo: memFree=31798144/32770624 swapFree=0/181132
[pid=7277] ppid=7274 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (runsolver) D 7274 7277 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10035593 24240128 107 18446744073709551615 4194304 4338465 140723657409664 140723657407304 139904116228823 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 20500480 140723657412702 140723657413190 140723657413190 140723657416650 0
/proc/7277/statm: 5918 107 54 36 0 2156 0
[startup+0.103434 s]
/proc/loadavg: 2.21 2.00 1.78 3/195 7277
/proc/meminfo: memFree=31798144/32770624 swapFree=0/181132
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200252 s]
/proc/loadavg: 2.21 2.00 1.78 3/195 7277
/proc/meminfo: memFree=31798144/32770624 swapFree=0/181132
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300238 s]
/proc/loadavg: 2.21 2.00 1.78 3/195 7277
/proc/meminfo: memFree=31798144/32770624 swapFree=0/181132
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700199 s]
/proc/loadavg: 2.21 2.00 1.78 3/195 7277
/proc/meminfo: memFree=31798144/32770624 swapFree=0/181132
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50064 s]
/proc/loadavg: 2.21 2.00 1.78 5/211 7294
/proc/meminfo: memFree=31732296/32770624 swapFree=0/181144
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=3.71 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 23160 0 0 0 364 7 0 0 20 0 15 0 10035601 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 21225 3172 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 9058 0 0 0 132 4 0 0 20 0 15 0 10035601 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140328098325328 140327739603456 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7283] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7283/stat : 7283 (java) S 7277 7277 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327692605968 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7284] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7284/stat : 7284 (java) S 7277 7277 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327691553424 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7285] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7285/stat : 7285 (java) S 7277 7277 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327572670960 140328094100098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7286] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7286/stat : 7286 (java) S 7277 7277 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327571617184 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7287] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7287/stat : 7287 (java) S 7277 7277 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10035604 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327570564592 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7288] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7288/stat : 7288 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327569513168 140328094107547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7289] ppid=7277 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/7279/task/7289/stat : 7289 (java) R 7277 7277 5123 0 -1 4202560 4356 0 0 0 98 0 0 0 20 0 15 0 10035606 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327568458832 140328078048448 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7290] ppid=7277 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/7279/task/7290/stat : 7290 (java) R 7277 7277 5123 0 -1 4202560 5815 0 0 0 98 0 0 0 20 0 15 0 10035606 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327567396816 140328078987361 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7291] ppid=7277 vsize=13980732 CPUtime=0.36 cores=0,2,4,6
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 2618 0 0 0 35 1 0 0 20 0 15 0 10035606 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 10035611 14316269568 21225 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 2.21 2.00 1.78 3/211 7294
/proc/meminfo: memFree=31720812/32770624 swapFree=0/181144
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=6.73 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 24738 0 0 0 666 7 0 0 20 0 15 0 10035601 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 24076 3185 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=2.96 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 9176 0 0 0 292 4 0 0 20 0 15 0 10035601 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140328098325192 140327740456789 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7283] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7283/stat : 7283 (java) S 7277 7277 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327692605968 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7284] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7284/stat : 7284 (java) S 7277 7277 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327691553424 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7285] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7285/stat : 7285 (java) S 7277 7277 5123 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327572670960 140328094100098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7286] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7286/stat : 7286 (java) S 7277 7277 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327571617184 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7287] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7287/stat : 7287 (java) S 7277 7277 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10035604 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327570564592 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7288] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7288/stat : 7288 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327569513168 140328094107547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7289] ppid=7277 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/7279/task/7289/stat : 7289 (java) S 7277 7277 5123 0 -1 1077944384 4737 0 0 0 163 0 0 0 20 0 15 0 10035606 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327568459760 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7290] ppid=7277 vsize=13980732 CPUtime=1.69 cores=0,2,4,6
/proc/7279/task/7290/stat : 7290 (java) S 7277 7277 5123 0 -1 1077944384 6631 0 0 0 169 0 0 0 20 0 15 0 10035606 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327567407216 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7291] ppid=7277 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 2843 0 0 0 40 1 0 0 20 0 15 0 10035606 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10035611 14316269568 24076 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.27 2.01 1.79 3/211 7294
/proc/meminfo: memFree=31697276/32770624 swapFree=0/181144
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=10.22 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 29257 0 0 0 1014 8 0 0 20 0 15 0 10035601 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 30517 3191 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=6.16 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 9942 0 0 0 611 5 0 0 20 0 15 0 10035601 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140328098327712 140327740148018 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7283] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7283/stat : 7283 (java) S 7277 7277 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327692605968 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7284] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7284/stat : 7284 (java) S 7277 7277 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327691553424 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7285] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7285/stat : 7285 (java) S 7277 7277 5123 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327572670960 140328094100098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7286] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7286/stat : 7286 (java) S 7277 7277 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327571617184 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7287] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7287/stat : 7287 (java) S 7277 7277 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10035604 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327570564592 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7288] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7288/stat : 7288 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327569513168 140328094107547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7289] ppid=7277 vsize=13980732 CPUtime=1.77 cores=0,2,4,6
/proc/7279/task/7289/stat : 7289 (java) S 7277 7277 5123 0 -1 1077944384 6122 0 0 0 177 0 0 0 20 0 15 0 10035606 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327568459760 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7290] ppid=7277 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/7279/task/7290/stat : 7290 (java) S 7277 7277 5123 0 -1 1077944384 8251 0 0 0 182 0 0 0 20 0 15 0 10035606 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327567407216 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7291] ppid=7277 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 3072 0 0 0 42 1 0 0 20 0 15 0 10035606 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 10035611 14316269568 30517 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.25 2.01 1.79 3/211 7294
/proc/meminfo: memFree=31635300/32770624 swapFree=0/181152
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=16.83 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 32493 0 0 0 1675 8 0 0 20 0 15 0 10035601 14316269568 45401 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 45401 3193 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 10742 0 0 0 1251 5 0 0 20 0 15 0 10035601 14316269568 45401 18446744073709551615 4194304 4196468 140724193932784 140328098327384 140327739603469 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 45401 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 45401 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
################
# More data... #
################
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 5395 0 0 0 44 1 0 0 20 0 15 0 10035606 14316269568 50650 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 50650 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 610 0 0 0 0 1 0 0 20 0 15 0 10035611 14316269568 50650 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 63.46
Current children cumulated vsize (KiB) 13990244
[startup+60.0007 s]
/proc/loadavg: 2.04 2.00 1.79 3/211 7301
/proc/meminfo: memFree=31615936/32770624 swapFree=0/181188
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=64.27 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 41164 0 0 0 6417 10 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 49745 3223 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=59.83 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 12380 0 0 0 5978 5 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140328098328496 140327740457580 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7283] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7283/stat : 7283 (java) S 7277 7277 5123 0 -1 1077944384 819 0 0 0 1 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327692605968 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7284] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7284/stat : 7284 (java) S 7277 7277 5123 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327691553424 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7285] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7285/stat : 7285 (java) S 7277 7277 5123 0 -1 1077944384 901 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327572670960 140328094100098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7286] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7286/stat : 7286 (java) S 7277 7277 5123 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327571617184 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7287] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7287/stat : 7287 (java) S 7277 7277 5123 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10035604 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327570564592 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7288] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7288/stat : 7288 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327569513168 140328094107547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7289] ppid=7277 vsize=13980732 CPUtime=1.92 cores=0,2,4,6
/proc/7279/task/7289/stat : 7289 (java) S 7277 7277 5123 0 -1 1077944384 8033 0 0 0 192 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327568459760 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7290] ppid=7277 vsize=13980732 CPUtime=1.95 cores=0,2,4,6
/proc/7279/task/7290/stat : 7290 (java) S 7277 7277 5123 0 -1 1077944384 9788 0 0 0 194 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327567407216 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7291] ppid=7277 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 5395 0 0 0 44 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 610 0 0 0 0 1 0 0 20 0 15 0 10035611 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 64.27
Current children cumulated vsize (KiB) 13990244
[startup+60.8007 s]
/proc/loadavg: 2.04 2.00 1.79 3/211 7302
/proc/meminfo: memFree=31616396/32770624 swapFree=0/181188
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=65.07 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 41164 0 0 0 6497 10 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 49745 3223 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=60.63 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 12380 0 0 0 6058 5 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140328098328496 140327740091025 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7283] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7283/stat : 7283 (java) S 7277 7277 5123 0 -1 1077944384 819 0 0 0 1 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327692605968 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7284] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7284/stat : 7284 (java) S 7277 7277 5123 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327691553424 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7285] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7285/stat : 7285 (java) S 7277 7277 5123 0 -1 1077944384 901 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327572670960 140328094100098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7286] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7286/stat : 7286 (java) S 7277 7277 5123 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327571617184 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7287] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7287/stat : 7287 (java) S 7277 7277 5123 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10035604 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327570564592 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7288] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7288/stat : 7288 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327569513168 140328094107547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7289] ppid=7277 vsize=13980732 CPUtime=1.92 cores=0,2,4,6
/proc/7279/task/7289/stat : 7289 (java) S 7277 7277 5123 0 -1 1077944384 8033 0 0 0 192 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327568459760 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7290] ppid=7277 vsize=13980732 CPUtime=1.95 cores=0,2,4,6
/proc/7279/task/7290/stat : 7290 (java) S 7277 7277 5123 0 -1 1077944384 9788 0 0 0 194 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327567407216 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7291] ppid=7277 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 5395 0 0 0 44 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 610 0 0 0 0 1 0 0 20 0 15 0 10035611 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 65.07
Current children cumulated vsize (KiB) 13990244
[startup+61.2007 s]
/proc/loadavg: 2.04 2.00 1.79 3/211 7302
/proc/meminfo: memFree=31616396/32770624 swapFree=0/181188
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=65.47 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 41164 0 0 0 6537 10 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 49745 3223 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=61.03 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 12380 0 0 0 6098 5 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140328098328496 140327739603830 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7283] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7283/stat : 7283 (java) S 7277 7277 5123 0 -1 1077944384 819 0 0 0 1 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327692605968 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7284] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7284/stat : 7284 (java) S 7277 7277 5123 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327691553424 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7285] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7285/stat : 7285 (java) S 7277 7277 5123 0 -1 1077944384 901 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327572670960 140328094100098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7286] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7286/stat : 7286 (java) S 7277 7277 5123 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327571617184 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7287] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7287/stat : 7287 (java) S 7277 7277 5123 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10035604 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327570564592 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7288] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7288/stat : 7288 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327569513168 140328094107547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7289] ppid=7277 vsize=13980732 CPUtime=1.92 cores=0,2,4,6
/proc/7279/task/7289/stat : 7289 (java) S 7277 7277 5123 0 -1 1077944384 8033 0 0 0 192 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327568459760 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7290] ppid=7277 vsize=13980732 CPUtime=1.95 cores=0,2,4,6
/proc/7279/task/7290/stat : 7290 (java) S 7277 7277 5123 0 -1 1077944384 9788 0 0 0 194 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327567407216 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7291] ppid=7277 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 5395 0 0 0 44 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 610 0 0 0 0 1 0 0 20 0 15 0 10035611 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 65.47
Current children cumulated vsize (KiB) 13990244
[startup+61.3007 s]
/proc/loadavg: 2.04 2.00 1.79 3/211 7302
/proc/meminfo: memFree=31616396/32770624 swapFree=0/181188
[pid=7277] ppid=7274 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/7277/stat : 7277 (xcsp3-exec) S 7274 7277 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10035593 9740288 344 18446744073709551615 4194304 5098028 140736282135872 140736282133976 140005312508540 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 30760960 140736282136988 140736282137191 140736282137191 140736282140651 0
/proc/7277/statm: 2378 344 289 221 0 87 0
[pid=7279] ppid=7277 vsize=13980732 CPUtime=65.57 cores=0,2,4,6
/proc/7279/stat : 7279 (java) S 7277 7277 5123 0 -1 1077944320 41164 0 0 0 6547 10 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140724193915328 140328094088951 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
/proc/7279/statm: 3495183 49745 3223 1 0 3483484 0
[pid=7279/tid=7280] ppid=7277 vsize=13980732 CPUtime=61.13 cores=0,2,4,6
/proc/7279/task/7280/stat : 7280 (java) R 7277 7277 5123 0 -1 4202560 12380 0 0 0 6108 5 0 0 20 0 15 0 10035601 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140328098328496 140327740456342 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7281] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7281/stat : 7281 (java) S 7277 7277 5123 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327694711056 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7282] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7282/stat : 7282 (java) S 7277 7277 5123 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327693658512 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7283] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7283/stat : 7283 (java) S 7277 7277 5123 0 -1 1077944384 819 0 0 0 1 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327692605968 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7284] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7284/stat : 7284 (java) S 7277 7277 5123 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 10035602 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327691553424 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7285] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7285/stat : 7285 (java) S 7277 7277 5123 0 -1 1077944384 901 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327572670960 140328094100098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7286] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7286/stat : 7286 (java) S 7277 7277 5123 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 10035603 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327571617184 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7287] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7287/stat : 7287 (java) S 7277 7277 5123 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10035604 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327570564592 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7288] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7288/stat : 7288 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327569513168 140328094107547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7289] ppid=7277 vsize=13980732 CPUtime=1.92 cores=0,2,4,6
/proc/7279/task/7289/stat : 7289 (java) S 7277 7277 5123 0 -1 1077944384 8033 0 0 0 192 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327568459760 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7290] ppid=7277 vsize=13980732 CPUtime=1.95 cores=0,2,4,6
/proc/7279/task/7290/stat : 7290 (java) S 7277 7277 5123 0 -1 1077944384 9788 0 0 0 194 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327567407216 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7291] ppid=7277 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/7279/task/7291/stat : 7291 (java) S 7277 7277 5123 0 -1 1077944384 5395 0 0 0 44 1 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327566354672 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7292] ppid=7277 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/7279/task/7292/stat : 7292 (java) S 7277 7277 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10035606 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327565302368 140328094099157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
[pid=7279/tid=7293] ppid=7277 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/7279/task/7293/stat : 7293 (java) S 7277 7277 5123 0 -1 1077944384 610 0 0 0 0 1 0 0 20 0 15 0 10035611 14316269568 49745 18446744073709551615 4194304 4196468 140724193932784 140327564249904 140328094100098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140724193935828 140724193936003 140724193936003 140724193939407 0
Current children cumulated CPU time (s) 65.57
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 61.3397
CPU time (s): 65.6178
CPU user time (s): 65.5096
CPU system time (s): 0.108251
CPU usage (%): 106.974
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.5096
system time used= 0.108251
maximum resident set size= 202604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3591
involuntary context switches= 116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.248694 second user time and 0.387757 second system time
The end