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-4248635-1502093115/watcher-4248635-1502093115 -o /tmp/evaluation-result-4248635-1502093115/solver-4248635-1502093115 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 2049606051 HOME/instance-4248635-1502093115.xml
pid=23317
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 7.41 8.18 8.22 5/207 23320
/proc/meminfo: memFree=27678692/32770624 swapFree=0/374612
[pid=23320] ppid=23317 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (runsolver) D 23317 23320 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 108964600 24240128 107 18446744073709551615 4194304 4338465 140726027633952 140726027631592 140309682664151 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29978624 140726027636822 140726027637321 140726027637321 140726027640778 0
/proc/23320/statm: 5918 107 54 36 0 2156 0
[startup+0.10009 s]
/proc/loadavg: 7.41 8.18 8.22 5/207 23320
/proc/meminfo: memFree=27678692/32770624 swapFree=0/374612
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200252 s]
/proc/loadavg: 7.41 8.18 8.22 5/207 23320
/proc/meminfo: memFree=27678692/32770624 swapFree=0/374612
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300328 s]
/proc/loadavg: 7.41 8.18 8.22 5/207 23320
/proc/meminfo: memFree=27678692/32770624 swapFree=0/374612
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700204 s]
/proc/loadavg: 7.41 8.18 8.22 5/207 23320
/proc/meminfo: memFree=27678692/32770624 swapFree=0/374612
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 7.41 8.18 8.22 6/223 23336
/proc/meminfo: memFree=27592124/32770624 swapFree=0/374644
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=12919328 CPUtime=1.9 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23320 23320 2911 0 -1 1077944320 13317 0 0 0 184 6 0 0 20 0 15 0 108964609 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 140731044457392 139661023452919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
/proc/23322/statm: 3229832 39167 3163 1 0 3218124 0
[pid=23322/tid=23323] ppid=23320 vsize=12919328 CPUtime=1.34 cores=1,3,5,7
/proc/23322/task/23323/stat : 23323 (java) R 23320 23320 2911 0 -1 4202560 9355 0 0 0 130 4 0 0 20 0 15 0 108964610 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139661027670016 139660668469968 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23324] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23324/stat : 23324 (java) S 23320 23320 2911 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108964610 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660627278736 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23325] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23325/stat : 23325 (java) S 23320 23320 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108964610 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660626225936 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23326] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23326/stat : 23326 (java) S 23320 23320 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108964610 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660625173648 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23327] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23327/stat : 23327 (java) S 23320 23320 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108964610 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660624120848 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23328] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23328/stat : 23328 (java) S 23320 23320 2911 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660507437168 139661023464066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23329] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23329/stat : 23329 (java) S 23320 23320 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660506383136 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23330] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23330/stat : 23330 (java) S 23320 23320 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660505330800 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23331] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23331/stat : 23331 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108964615 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660504279120 139661023471515 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23332] ppid=23320 vsize=12919328 CPUtime=0.15 cores=1,3,5,7
/proc/23322/task/23332/stat : 23332 (java) S 23320 23320 2911 0 -1 1077944384 869 0 0 0 15 0 0 0 20 0 15 0 108964615 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660503226992 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23333] ppid=23320 vsize=12919328 CPUtime=0.15 cores=1,3,5,7
/proc/23322/task/23333/stat : 23333 (java) S 23320 23320 2911 0 -1 1077944384 472 0 0 0 15 0 0 0 20 0 15 0 108964615 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660502174192 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23334] ppid=23320 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) S 23320 23320 2911 0 -1 1077944384 1282 0 0 0 22 0 0 0 20 0 15 0 108964615 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660501121904 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23335] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23335/stat : 23335 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108964615 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660500069344 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23336] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23336/stat : 23336 (java) S 23320 23320 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108964620 13229391872 39167 18446744073709551615 4194304 4196468 140731044474848 139660499016112 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 12928840
[startup+3.10069 s]
/proc/loadavg: 7.22 8.12 8.21 6/223 23336
/proc/meminfo: memFree=27423176/32770624 swapFree=0/374644
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=12919328 CPUtime=4.04 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23320 23320 2911 0 -1 1077944320 15946 0 0 0 369 35 0 0 20 0 15 0 108964609 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 140731044457392 139661023452919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
/proc/23322/statm: 3229832 99221 3191 1 0 3218124 0
[pid=23322/tid=23323] ppid=23320 vsize=12919328 CPUtime=2.76 cores=1,3,5,7
/proc/23322/task/23323/stat : 23323 (java) R 23320 23320 2911 0 -1 4202560 9454 0 0 0 272 4 0 0 20 0 15 0 108964610 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139661027690928 139660668469968 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23324] ppid=23320 vsize=12919328 CPUtime=0.17 cores=1,3,5,7
/proc/23322/task/23324/stat : 23324 (java) S 23320 23320 2911 0 -1 1077944384 272 0 0 0 10 7 0 0 20 0 15 0 108964610 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660627278736 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23325] ppid=23320 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/23322/task/23325/stat : 23325 (java) S 23320 23320 2911 0 -1 1077944384 263 0 0 0 10 6 0 0 20 0 15 0 108964610 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660626225936 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23326] ppid=23320 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/23322/task/23326/stat : 23326 (java) S 23320 23320 2911 0 -1 1077944384 440 0 0 0 10 6 0 0 20 0 15 0 108964610 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660625173648 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23327] ppid=23320 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/23322/task/23327/stat : 23327 (java) S 23320 23320 2911 0 -1 1077944384 262 0 0 0 9 7 0 0 20 0 15 0 108964610 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660624120848 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23328] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23328/stat : 23328 (java) S 23320 23320 2911 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660507437168 139661023464066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23329] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23329/stat : 23329 (java) S 23320 23320 2911 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660506383136 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23330] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23330/stat : 23330 (java) S 23320 23320 2911 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660505330800 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23331] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23331/stat : 23331 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108964615 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660504279120 139661023471515 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23332] ppid=23320 vsize=12919328 CPUtime=0.15 cores=1,3,5,7
/proc/23322/task/23332/stat : 23332 (java) S 23320 23320 2911 0 -1 1077944384 869 0 0 0 15 0 0 0 20 0 15 0 108964615 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660503226992 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23333] ppid=23320 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/23322/task/23333/stat : 23333 (java) S 23320 23320 2911 0 -1 1077944384 472 0 0 0 16 0 0 0 20 0 15 0 108964615 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660502174192 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23334] ppid=23320 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) S 23320 23320 2911 0 -1 1077944384 2215 0 0 0 24 1 0 0 20 0 15 0 108964615 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660501121904 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23335] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23335/stat : 23335 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108964615 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660500069344 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23336] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23336/stat : 23336 (java) S 23320 23320 2911 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 108964620 13229391872 99221 18446744073709551615 4194304 4196468 140731044474848 139660499016112 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 12928840
[startup+6.30066 s]
/proc/loadavg: 7.22 8.12 8.21 6/223 23336
/proc/meminfo: memFree=26927416/32770624 swapFree=0/374632
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=12919328 CPUtime=8.42 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23320 23320 2911 0 -1 1077944320 33461 0 0 0 777 65 0 0 20 0 15 0 108964609 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 140731044457392 139661023452919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
/proc/23322/statm: 3229832 191106 3209 1 0 3218124 0
[pid=23322/tid=23323] ppid=23320 vsize=12919328 CPUtime=4.79 cores=1,3,5,7
/proc/23322/task/23323/stat : 23323 (java) R 23320 23320 2911 0 -1 4202560 9533 0 0 0 474 5 0 0 20 0 15 0 108964610 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139661027690392 139660668469972 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23324] ppid=23320 vsize=12919328 CPUtime=0.54 cores=1,3,5,7
/proc/23322/task/23324/stat : 23324 (java) S 23320 23320 2911 0 -1 1077944384 4325 0 0 0 40 14 0 0 20 0 15 0 108964610 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660627278736 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23325] ppid=23320 vsize=12919328 CPUtime=0.54 cores=1,3,5,7
/proc/23322/task/23325/stat : 23325 (java) S 23320 23320 2911 0 -1 1077944384 4448 0 0 0 41 13 0 0 20 0 15 0 108964610 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660626225936 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23326] ppid=23320 vsize=12919328 CPUtime=0.54 cores=1,3,5,7
/proc/23322/task/23326/stat : 23326 (java) S 23320 23320 2911 0 -1 1077944384 4388 0 0 0 41 13 0 0 20 0 15 0 108964610 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660625173648 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23327] ppid=23320 vsize=12919328 CPUtime=0.54 cores=1,3,5,7
/proc/23322/task/23327/stat : 23327 (java) S 23320 23320 2911 0 -1 1077944384 3662 0 0 0 40 14 0 0 20 0 15 0 108964610 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660624120848 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23328] ppid=23320 vsize=12919328 CPUtime=0.77 cores=1,3,5,7
/proc/23322/task/23328/stat : 23328 (java) S 23320 23320 2911 0 -1 1077944384 1721 0 0 0 77 0 0 0 20 0 15 0 108964612 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660507437168 139661023464066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23329] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23329/stat : 23329 (java) S 23320 23320 2911 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660506383136 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23330] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23330/stat : 23330 (java) S 23320 23320 2911 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 108964612 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660505330800 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23331] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23331/stat : 23331 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108964615 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660504279120 139661023471515 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23332] ppid=23320 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/23322/task/23332/stat : 23332 (java) S 23320 23320 2911 0 -1 1077944384 926 0 0 0 16 0 0 0 20 0 15 0 108964615 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660503226992 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23333] ppid=23320 vsize=12919328 CPUtime=0.17 cores=1,3,5,7
/proc/23322/task/23333/stat : 23333 (java) S 23320 23320 2911 0 -1 1077944384 733 0 0 0 17 0 0 0 20 0 15 0 108964615 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660502174192 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23334] ppid=23320 vsize=12919328 CPUtime=0.27 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) S 23320 23320 2911 0 -1 1077944384 2284 0 0 0 26 1 0 0 20 0 15 0 108964615 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660501121904 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23335] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23335/stat : 23335 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108964615 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660500069344 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23336] ppid=23320 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23336/stat : 23336 (java) S 23320 23320 2911 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 108964620 13229391872 191106 18446744073709551615 4194304 4196468 140731044474848 139660499016112 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 12928840
[startup+12.7007 s]
/proc/loadavg: 6.80 8.01 8.17 6/223 23336
/proc/meminfo: memFree=26324368/32770624 swapFree=0/374628
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=12919328 CPUtime=17.13 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23320 23320 2911 0 -1 1077944320 39304 0 0 0 1574 139 0 0 20 0 15 0 108964609 13229391872 340721 18446744073709551615 4194304 4196468 140731044474848 140731044457392 139661023452919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
/proc/23322/statm: 3229832 340721 3210 1 0 3218124 0
[pid=23322/tid=23323] ppid=23320 vsize=12919328 CPUtime=9.97 cores=1,3,5,7
/proc/23322/task/23323/stat : 23323 (java) R 23320 23320 2911 0 -1 4202560 9652 0 0 0 991 6 0 0 20 0 15 0 108964610 13229391872 340721 18446744073709551615 4194304 4196468 140731044474848 139661027690968 139660668469936 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23324] ppid=23320 vsize=12919328 CPUtime=1.3 cores=1,3,5,7
/proc/23322/task/23324/stat : 23324 (java) S 23320 23320 2911 0 -1 1077944384 5521 0 0 0 99 31 0 0 20 0 15 0 108964610 13229391872 340721 18446744073709551615 4194304 4196468 140731044474848 139660627278736 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23325] ppid=23320 vsize=12919328 CPUtime=1.3 cores=1,3,5,7
/proc/23322/task/23325/stat : 23325 (java) S 23320 23320 2911 0 -1 1077944384 5362 0 0 0 98 32 0 0 20 0 15 0 108964610 13229391872 340721 18446744073709551615 4194304 4196468 140731044474848 139660626225936 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
################
# More data... #
################
/proc/23322/task/23333/stat : 23333 (java) S 23320 23320 2911 0 -1 1077944384 2925 0 0 0 55 0 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660502174192 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23334] ppid=23320 vsize=13185584 CPUtime=0.54 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) S 23320 23320 2911 0 -1 1077944384 5916 0 0 0 52 2 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660501121904 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23335] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23335/stat : 23335 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660500069344 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23336] ppid=23320 vsize=13185584 CPUtime=0.03 cores=1,3,5,7
/proc/23322/task/23336/stat : 23336 (java) S 23320 23320 2911 0 -1 1077944384 192 0 0 0 2 1 0 0 20 0 19 0 108964620 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660499016112 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23339] ppid=23320 vsize=13185584 CPUtime=0.44 cores=1,3,5,7
/proc/23322/task/23339/stat : 23339 (java) S 23320 23320 2911 0 -1 1077944384 4411 0 0 0 44 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660491005360 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23340] ppid=23320 vsize=13185584 CPUtime=0.48 cores=1,3,5,7
/proc/23322/task/23340/stat : 23340 (java) S 23320 23320 2911 0 -1 1077944384 59 0 0 0 48 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660489954384 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23341] ppid=23320 vsize=13185584 CPUtime=0.38 cores=1,3,5,7
/proc/23322/task/23341/stat : 23341 (java) S 23320 23320 2911 0 -1 1077944384 55 0 0 0 38 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660161168336 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23342] ppid=23320 vsize=13185584 CPUtime=0.79 cores=1,3,5,7
/proc/23322/task/23342/stat : 23342 (java) R 23320 23320 2911 0 -1 4202560 46 0 0 0 79 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660160110008 139660670881125 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
Current children cumulated CPU time (s) 137.19
Current children cumulated vsize (KiB) 13195096
[startup+86.4008 s]
/proc/loadavg: 5.74 7.44 7.96 6/223 23342
/proc/meminfo: memFree=19040840/32770624 swapFree=0/374648
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=13185584 CPUtime=138.79 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23320 23320 2911 0 -1 1077944320 181391 0 0 0 13065 814 0 0 20 0 19 0 108964609 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 140731044457392 139661023452919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
/proc/23322/statm: 3296396 2120441 3243 1 0 3284688 0
[pid=23322/tid=23323] ppid=23320 vsize=13185584 CPUtime=54.14 cores=1,3,5,7
/proc/23322/task/23323/stat : 23323 (java) S 23320 23320 2911 0 -1 1077944384 17645 0 0 0 5405 9 0 0 20 0 19 0 108964610 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139661027693696 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23324] ppid=23320 vsize=13185584 CPUtime=16.56 cores=1,3,5,7
/proc/23322/task/23324/stat : 23324 (java) S 23320 23320 2911 0 -1 1077944384 38280 0 0 0 1453 203 0 0 20 0 19 0 108964610 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660627278736 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23325] ppid=23320 vsize=13185584 CPUtime=16.58 cores=1,3,5,7
/proc/23322/task/23325/stat : 23325 (java) S 23320 23320 2911 0 -1 1077944384 31110 0 0 0 1449 209 0 0 20 0 19 0 108964610 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660626225936 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23326] ppid=23320 vsize=13185584 CPUtime=16.58 cores=1,3,5,7
/proc/23322/task/23326/stat : 23326 (java) S 23320 23320 2911 0 -1 1077944384 33952 0 0 0 1474 184 0 0 20 0 19 0 108964610 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660625173648 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23327] ppid=23320 vsize=13185584 CPUtime=16.54 cores=1,3,5,7
/proc/23322/task/23327/stat : 23327 (java) S 23320 23320 2911 0 -1 1077944384 27231 0 0 0 1455 199 0 0 20 0 19 0 108964610 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660624120848 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23328] ppid=23320 vsize=13185584 CPUtime=12.97 cores=1,3,5,7
/proc/23322/task/23328/stat : 23328 (java) S 23320 23320 2911 0 -1 1077944384 14741 0 0 0 1294 3 0 0 20 0 19 0 108964612 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660507437168 139661023464066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23329] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23329/stat : 23329 (java) S 23320 23320 2911 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 108964612 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660506383200 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23330] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23330/stat : 23330 (java) S 23320 23320 2911 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 19 0 108964612 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660505330816 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23331] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23331/stat : 23331 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660504279120 139661023471515 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23332] ppid=23320 vsize=13185584 CPUtime=0.51 cores=1,3,5,7
/proc/23322/task/23332/stat : 23332 (java) S 23320 23320 2911 0 -1 1077944384 3382 0 0 0 51 0 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660503226992 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23333] ppid=23320 vsize=13185584 CPUtime=0.55 cores=1,3,5,7
/proc/23322/task/23333/stat : 23333 (java) S 23320 23320 2911 0 -1 1077944384 2925 0 0 0 55 0 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660502174192 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23334] ppid=23320 vsize=13185584 CPUtime=0.54 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) S 23320 23320 2911 0 -1 1077944384 5916 0 0 0 52 2 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660501121904 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23335] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23335/stat : 23335 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108964615 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660500069344 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23336] ppid=23320 vsize=13185584 CPUtime=0.03 cores=1,3,5,7
/proc/23322/task/23336/stat : 23336 (java) S 23320 23320 2911 0 -1 1077944384 192 0 0 0 2 1 0 0 20 0 19 0 108964620 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660499016112 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23339] ppid=23320 vsize=13185584 CPUtime=0.44 cores=1,3,5,7
/proc/23322/task/23339/stat : 23339 (java) S 23320 23320 2911 0 -1 1077944384 4411 0 0 0 44 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660491005360 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23340] ppid=23320 vsize=13185584 CPUtime=0.48 cores=1,3,5,7
/proc/23322/task/23340/stat : 23340 (java) S 23320 23320 2911 0 -1 1077944384 59 0 0 0 48 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660489954384 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23341] ppid=23320 vsize=13185584 CPUtime=0.38 cores=1,3,5,7
/proc/23322/task/23341/stat : 23341 (java) S 23320 23320 2911 0 -1 1077944384 55 0 0 0 38 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660161168336 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23342] ppid=23320 vsize=13185584 CPUtime=2.38 cores=1,3,5,7
/proc/23322/task/23342/stat : 23342 (java) R 23320 23320 2911 0 -1 4202560 47 0 0 0 238 0 0 0 20 0 19 0 108972998 13502038016 2120441 18446744073709551615 4194304 4196468 140731044474848 139660160109776 139660670882076 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
Current children cumulated CPU time (s) 138.79
Current children cumulated vsize (KiB) 13195096
[startup+87.2008 s]
/proc/loadavg: 5.74 7.44 7.96 6/223 23342
/proc/meminfo: memFree=19040716/32770624 swapFree=0/374644
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=13185584 CPUtime=139.64 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23320 23320 2911 0 -1 1077944320 183231 0 0 0 13150 814 0 0 20 0 19 0 108964609 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 140731044457392 139661023452919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
/proc/23322/statm: 3296396 2120506 3245 1 0 3284688 0
[pid=23322/tid=23323] ppid=23320 vsize=13185584 CPUtime=54.14 cores=1,3,5,7
/proc/23322/task/23323/stat : 23323 (java) S 23320 23320 2911 0 -1 1077944384 17645 0 0 0 5405 9 0 0 20 0 19 0 108964610 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139661027693696 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23324] ppid=23320 vsize=13185584 CPUtime=16.56 cores=1,3,5,7
/proc/23322/task/23324/stat : 23324 (java) S 23320 23320 2911 0 -1 1077944384 38280 0 0 0 1453 203 0 0 20 0 19 0 108964610 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660627278736 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23325] ppid=23320 vsize=13185584 CPUtime=16.58 cores=1,3,5,7
/proc/23322/task/23325/stat : 23325 (java) S 23320 23320 2911 0 -1 1077944384 31110 0 0 0 1449 209 0 0 20 0 19 0 108964610 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660626225936 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23326] ppid=23320 vsize=13185584 CPUtime=16.58 cores=1,3,5,7
/proc/23322/task/23326/stat : 23326 (java) S 23320 23320 2911 0 -1 1077944384 33952 0 0 0 1474 184 0 0 20 0 19 0 108964610 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660625173648 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23327] ppid=23320 vsize=13185584 CPUtime=16.54 cores=1,3,5,7
/proc/23322/task/23327/stat : 23327 (java) S 23320 23320 2911 0 -1 1077944384 27231 0 0 0 1455 199 0 0 20 0 19 0 108964610 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660624120848 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23328] ppid=23320 vsize=13185584 CPUtime=12.97 cores=1,3,5,7
/proc/23322/task/23328/stat : 23328 (java) S 23320 23320 2911 0 -1 1077944384 14741 0 0 0 1294 3 0 0 20 0 19 0 108964612 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660507437168 139661023464066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23329] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23329/stat : 23329 (java) S 23320 23320 2911 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 108964612 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660506383200 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23330] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23330/stat : 23330 (java) S 23320 23320 2911 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 19 0 108964612 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660505330816 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23331] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23331/stat : 23331 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108964615 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660504279120 139661023471515 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23332] ppid=23320 vsize=13185584 CPUtime=0.53 cores=1,3,5,7
/proc/23322/task/23332/stat : 23332 (java) S 23320 23320 2911 0 -1 1077944384 3614 0 0 0 53 0 0 0 20 0 19 0 108964615 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660503226992 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23333] ppid=23320 vsize=13185584 CPUtime=0.58 cores=1,3,5,7
/proc/23322/task/23333/stat : 23333 (java) S 23320 23320 2911 0 -1 1077944384 4159 0 0 0 58 0 0 0 20 0 19 0 108964615 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660502174192 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23334] ppid=23320 vsize=13185584 CPUtime=0.54 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) S 23320 23320 2911 0 -1 1077944384 5919 0 0 0 52 2 0 0 20 0 19 0 108964615 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660501121904 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23335] ppid=23320 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23335/stat : 23335 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108964615 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660500069344 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23336] ppid=23320 vsize=13185584 CPUtime=0.03 cores=1,3,5,7
/proc/23322/task/23336/stat : 23336 (java) S 23320 23320 2911 0 -1 1077944384 200 0 0 0 2 1 0 0 20 0 19 0 108964620 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660499016112 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23339] ppid=23320 vsize=13185584 CPUtime=0.44 cores=1,3,5,7
/proc/23322/task/23339/stat : 23339 (java) S 23320 23320 2911 0 -1 1077944384 4411 0 0 0 44 0 0 0 20 0 19 0 108972998 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660491005360 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23340] ppid=23320 vsize=13185584 CPUtime=0.48 cores=1,3,5,7
/proc/23322/task/23340/stat : 23340 (java) S 23320 23320 2911 0 -1 1077944384 59 0 0 0 48 0 0 0 20 0 19 0 108972998 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660489954384 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23341] ppid=23320 vsize=13185584 CPUtime=0.38 cores=1,3,5,7
/proc/23322/task/23341/stat : 23341 (java) S 23320 23320 2911 0 -1 1077944384 55 0 0 0 38 0 0 0 20 0 19 0 108972998 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660161168336 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23342] ppid=23320 vsize=13185584 CPUtime=3.18 cores=1,3,5,7
/proc/23322/task/23342/stat : 23342 (java) R 23320 23320 2911 0 -1 4202560 410 0 0 0 318 0 0 0 20 0 19 0 108972998 13502038016 2120506 18446744073709551615 4194304 4196468 140731044474848 139660160109776 139660670881148 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
Current children cumulated CPU time (s) 139.64
Current children cumulated vsize (KiB) 13195096
[startup+87.6016 s]
/proc/loadavg: 5.74 7.44 7.96 6/223 23342
/proc/meminfo: memFree=19040716/32770624 swapFree=0/374644
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=13451840 CPUtime=140.8 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23320 23320 2911 0 -1 1077944320 187175 0 0 0 13264 816 0 0 20 0 19 0 108964609 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 140731044457392 139661023452919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
/proc/23322/statm: 3362960 2120848 3247 1 0 3351252 0
[pid=23322/tid=23323] ppid=23320 vsize=13451840 CPUtime=54.14 cores=1,3,5,7
/proc/23322/task/23323/stat : 23323 (java) S 23320 23320 2911 0 -1 1077944384 18193 0 0 0 5405 9 0 0 20 0 19 0 108964610 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139661027693696 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23324] ppid=23320 vsize=13451840 CPUtime=16.56 cores=1,3,5,7
/proc/23322/task/23324/stat : 23324 (java) S 23320 23320 2911 0 -1 1077944384 38280 0 0 0 1453 203 0 0 20 0 19 0 108964610 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660627278736 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23325] ppid=23320 vsize=13451840 CPUtime=16.58 cores=1,3,5,7
/proc/23322/task/23325/stat : 23325 (java) S 23320 23320 2911 0 -1 1077944384 31110 0 0 0 1449 209 0 0 20 0 19 0 108964610 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660626225936 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23326] ppid=23320 vsize=13451840 CPUtime=16.58 cores=1,3,5,7
/proc/23322/task/23326/stat : 23326 (java) S 23320 23320 2911 0 -1 1077944384 33952 0 0 0 1474 184 0 0 20 0 19 0 108964610 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660625173648 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23327] ppid=23320 vsize=13451840 CPUtime=16.54 cores=1,3,5,7
/proc/23322/task/23327/stat : 23327 (java) S 23320 23320 2911 0 -1 1077944384 27231 0 0 0 1455 199 0 0 20 0 19 0 108964610 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660624120848 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23328] ppid=23320 vsize=13451840 CPUtime=12.97 cores=1,3,5,7
/proc/23322/task/23328/stat : 23328 (java) S 23320 23320 2911 0 -1 1077944384 14783 0 0 0 1294 3 0 0 20 0 19 0 108964612 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660507437168 139661023464066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23329] ppid=23320 vsize=13451840 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23329/stat : 23329 (java) S 23320 23320 2911 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 108964612 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660506383200 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23330] ppid=23320 vsize=13451840 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23330/stat : 23330 (java) S 23320 23320 2911 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 19 0 108964612 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660505330816 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23331] ppid=23320 vsize=13451840 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23331/stat : 23331 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108964615 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660504279120 139661023471515 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23332] ppid=23320 vsize=13451840 CPUtime=0.63 cores=1,3,5,7
/proc/23322/task/23332/stat : 23332 (java) S 23320 23320 2911 0 -1 1077944384 4050 0 0 0 62 1 0 0 20 0 19 0 108964615 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660503226992 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23333] ppid=23320 vsize=13451840 CPUtime=0.66 cores=1,3,5,7
/proc/23322/task/23333/stat : 23333 (java) S 23320 23320 2911 0 -1 1077944384 4396 0 0 0 66 0 0 0 20 0 19 0 108964615 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660502174192 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23334] ppid=23320 vsize=13451840 CPUtime=0.6 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) S 23320 23320 2911 0 -1 1077944384 6896 0 0 0 58 2 0 0 20 0 19 0 108964615 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660501121904 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23335] ppid=23320 vsize=13451840 CPUtime=0 cores=1,3,5,7
/proc/23322/task/23335/stat : 23335 (java) S 23320 23320 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108964615 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660500069344 139661023463125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
[pid=23322/tid=23336] ppid=23320 vsize=13451840 CPUtime=0.03 cores=1,3,5,7
/proc/23322/task/23336/stat : 23336 (java) S 23320 23320 2911 0 -1 1077944384 200 0 0 0 2 1 0 0 20 0 19 0 108964620 13774684160 2120848 18446744073709551615 4194304 4196468 140731044474848 139660499016112 139661023464066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 9695232 140731044479446 140731044479622 140731044479622 140731044483023 0
Current children cumulated CPU time (s) 140.8
Current children cumulated vsize (KiB) 13461352
[startup+87.7008 s]
/proc/loadavg: 5.74 7.44 7.96 6/223 23342
/proc/meminfo: memFree=19040716/32770624 swapFree=0/374644
[pid=23320] ppid=23317 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23320/stat : 23320 (xcsp3-exec) S 23317 23320 2911 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 108964600 9740288 345 18446744073709551615 4194304 5098028 140734063155120 140734063153224 140325169341052 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 11538432 140734063157656 140734063157866 140734063157866 140734063161323 0
/proc/23320/statm: 2378 345 289 221 0 87 0
[pid=23322] ppid=23320 vsize=0 CPUtime=141.15 cores=1,3,5,7
/proc/23322/stat : 23322 (java) Z 23320 23320 2911 0 -1 4227084 187295 0 0 0 13298 817 0 0 20 0 2 0 108964609 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/23322/statm: 0 0 0 0 0 0 0
[pid=23322/tid=23334] ppid=23320 vsize=0 CPUtime=0.62 cores=1,3,5,7
/proc/23322/task/23334/stat : 23334 (java) R 23320 23320 2911 0 -1 4203588 6913 0 0 0 59 3 0 0 20 0 2 0 108964615 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 3 0 0 8 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 141.15
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 87.7323
CPU time (s): 141.189
CPU user time (s): 132.985
CPU system time (s): 8.20416
CPU usage (%): 160.932
Max. virtual memory (cumulated for all children) (KiB): 13461352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.985
system time used= 8.20416
maximum resident set size= 8483672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5983
involuntary context switches= 2020
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.40228 second user time and 0.60476 second system time
The end