runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14084 MiB free)
memory of node 1: 16384 MiB (15207 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272749-1502814145/watcher-4272749-1502814145 -o /tmp/evaluation-result-4272749-1502814145/solver-4272749-1502814145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 854692948 HOME/instance-4272749-1502814145.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3079, runsolver pid=3076
[startup+0.100083 s]*
/proc/loadavg: 1.74 1.83 1.83 2/198 3080
/proc/meminfo: memFree=29994460/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (runsolver) D 3076 3079 7968 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 35297106 34791424 114 18446744073709551615 4194304 4346622 140730589093408 140730589090040 140224466924247 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 39677952 140730589102136 140730589102629 140730589102629 140730589106122 0
/proc/3079/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.209135 s]*
/proc/loadavg: 1.74 1.83 1.83 2/212 3094
/proc/meminfo: memFree=29982476/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 35297106 9740288 345 18446744073709551615 4194304 5098028 140720311118096 140720311116200 140063216988796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 12 0 0 7196144 7232144 36827136 140720311124346 140720311124550 140720311124550 140720311128043 0
/proc/3079/statm: 2378 345 289 221 0 87 0
[pid=3081] ppid=3079 vsize=13907304 memory=22232 CPUtime=0.05 cores=1,3,5,7
/proc/3081/stat : 3081 (java) S 3079 3079 7968 0 -1 1077944320 4483 0 0 0 5 0 0 0 20 0 14 0 35297118 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 140723588710848 139910095576823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
/proc/3081/statm: 3476826 5558 2557 1 0 3466323 0
[pid=3081/tid=3082] ppid=3079 vsize=13907304 memory=8508281356422317474 CPUtime=0.04 cores=1,3,5,7
/proc/3081/task/3082/stat : 3082 (java) D 3079 3079 7968 0 -1 4202560 2658 0 0 0 4 0 0 0 20 0 14 0 35297119 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139910099814304 139910095598845 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3083] ppid=3079 vsize=13907304 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35297119 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139910037523472 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3084] ppid=3079 vsize=13907304 memory=140224469874304 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 35297119 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909694758032 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3085] ppid=3079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35297119 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909693704976 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3086] ppid=3079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35297119 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909692652432 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3087] ppid=3079 vsize=13907304 memory=140224469874304 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 35297121 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909012343024 139910095587970 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3088] ppid=3079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 35297121 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909011289248 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3089] ppid=3079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 35297121 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 35297124 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 7968 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 14 0 35297124 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909008132848 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 35297124 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909007080304 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13907304 memory=140224469874304 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 14 0 35297124 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 35297124 14241079296 5558 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23612 KiB
[startup+0.313905 s]*
/proc/loadavg: 1.74 1.83 1.83 3/213 3095
/proc/meminfo: memFree=29977340/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 35297106 9740288 345 18446744073709551615 4194304 5098028 140720311118096 140720311116200 140063216988796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 12 0 0 7196144 7232144 36827136 140720311124346 140720311124550 140720311124550 140720311128043 0
/proc/3079/statm: 2378 345 289 221 0 87 0
[pid=3081] ppid=3079 vsize=13974352 memory=28412 CPUtime=0.12 cores=1,3,5,7
/proc/3081/stat : 3081 (java) S 3079 3079 7968 0 -1 1077944320 5038 0 0 0 11 1 0 0 20 0 15 0 35297118 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 140723588710848 139910095576823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
/proc/3081/statm: 3493588 7103 2843 1 0 3482964 0
[pid=3081/tid=3082] ppid=3079 vsize=13974352 memory=4278483708103473607 CPUtime=0.08 cores=1,3,5,7
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 7968 0 -1 4202560 3053 0 0 0 8 0 0 0 20 0 15 0 35297119 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139910099792976 139910095588758 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3083] ppid=3079 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139910037523472 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3084] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35297119 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909694758032 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3085] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909693704976 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3086] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909692652432 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3087] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297121 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909012343024 139910095587970 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3088] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35297121 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909011289248 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3089] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35297121 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 7968 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 35297124 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909008132848 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) R 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909007080304 139910095587970 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 15 0 35297124 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3095] ppid=3079 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35297133 14309736448 7103 18446744073709551615 4194304 4196468 140723588728304 139909003921968 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29792 KiB
[startup+0.700753 s]
/proc/loadavg: 1.74 1.83 1.83 3/213 3095
/proc/meminfo: memFree=29959996/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 35297106 9740288 345 18446744073709551615 4194304 5098028 140720311118096 140720311116200 140063216988796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 12 0 0 7196144 7232144 36827136 140720311124346 140720311124550 140720311124550 140720311128043 0
/proc/3079/statm: 2378 345 289 221 0 87 0
[pid=3081] ppid=3079 vsize=13980732 memory=57680 CPUtime=0.94 cores=1,3,5,7
/proc/3081/stat : 3081 (java) S 3079 3079 7968 0 -1 1077944320 11499 0 0 0 90 4 0 0 20 0 15 0 35297118 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 140723588710848 139910095576823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
/proc/3081/statm: 3495183 14420 3158 1 0 3483476 0
[pid=3081/tid=3082] ppid=3079 vsize=13980732 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 7968 0 -1 4202560 7937 0 0 0 43 3 0 0 20 0 15 0 35297119 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139910099809536 139910079657310 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3083] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139910037523472 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3084] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909694758032 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3085] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909693704976 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3086] ppid=3079 vsize=13980732 memory=16724602654207 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909692652432 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3087] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909012343024 139910095587970 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3088] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909011289248 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3089] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13980732 memory=6655300316396806240 CPUtime=0.11 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 7968 0 -1 1077944384 867 0 0 0 11 0 0 0 20 0 15 0 35297124 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909008132848 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13980732 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 7968 0 -1 1077944384 234 0 0 0 9 0 0 0 20 0 15 0 35297124 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909007080304 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13980732 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 1152 0 0 0 25 0 0 0 20 0 15 0 35297124 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3095] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35297133 14316269568 14420 18446744073709551615 4194304 4196468 140723588728304 139909003921968 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 59060 KiB
[startup+1.50078 s]
/proc/loadavg: 1.74 1.83 1.83 5/213 3095
/proc/meminfo: memFree=29927592/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 35297106 9740288 345 18446744073709551615 4194304 5098028 140720311118096 140720311116200 140063216988796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 12 0 0 7196144 7232144 36827136 140720311124346 140720311124550 140720311124550 140720311128043 0
/proc/3079/statm: 2378 345 289 221 0 87 0
[pid=3081] ppid=3079 vsize=13980732 memory=109488 CPUtime=3.54 cores=1,3,5,7
/proc/3081/stat : 3081 (java) S 3079 3079 7968 0 -1 1077944320 20595 0 0 0 348 6 0 0 20 0 15 0 35297118 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 140723588710848 139910095576823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
/proc/3081/statm: 3495183 27372 3191 1 0 3483476 0
[pid=3081/tid=3082] ppid=3079 vsize=13980732 memory=1380 CPUtime=1.25 cores=1,3,5,7
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 7968 0 -1 4202560 8884 0 0 0 121 4 0 0 20 0 15 0 35297119 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139910099812648 139909717614560 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3083] ppid=3079 vsize=13980732 memory=26560077764646 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139910037523472 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3084] ppid=3079 vsize=13980732 memory=288230377041177902 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909694758032 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3085] ppid=3079 vsize=13980732 memory=288286666899343418 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909693704976 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3086] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35297119 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909692652432 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3087] ppid=3079 vsize=13980732 memory=11105 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909012343024 139910095587970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3088] ppid=3079 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909011289248 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3089] ppid=3079 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13980732 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13980732 memory=11044 CPUtime=0.85 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) R 3079 3079 7968 0 -1 4202560 4698 0 0 0 85 0 0 0 20 0 15 0 35297124 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909008125336 139910079073277 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13980732 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) R 3079 3079 7968 0 -1 4202560 2799 0 0 0 85 0 0 0 20 0 15 0 35297124 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909007066528 139910077101085 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13980732 memory=662364497384251442 CPUtime=0.55 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 2902 0 0 0 55 0 0 0 20 0 15 0 35297124 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3095] ppid=3079 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297133 14316269568 27372 18446744073709551615 4194304 4196468 140723588728304 139909003921968 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 173373 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 173373 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13980732 memory=712984 CPUtime=5.4 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 7968 0 -1 1077944384 24094 0 0 0 538 2 0 0 20 0 15 0 35297124 14316269568 173373 18446744073709551615 4194304 4196468 140723588728304 139909008132848 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13980732 memory=1380 CPUtime=5.94 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 7968 0 -1 1077944384 24587 0 0 0 591 3 0 0 20 0 15 0 35297124 14316269568 173373 18446744073709551615 4194304 4196468 140723588728304 139909007080304 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13980732 memory=4124 CPUtime=0.91 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 9428 0 0 0 89 2 0 0 20 0 15 0 35297124 14316269568 173373 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13980732 memory=21308 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 173373 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3095] ppid=3079 vsize=13980732 memory=4124 CPUtime=1.22 cores=1,3,5,7
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 7968 0 -1 1077944384 1016 0 0 0 54 68 0 0 20 0 15 0 35297133 14316269568 173373 18446744073709551615 4194304 4196468 140723588728304 139909003921968 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 2453.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 694872 KiB
[startup+2442.3 s]
/proc/loadavg: 2.22 1.81 1.67 3/213 3473
/proc/meminfo: memFree=30151672/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 35297106 9740288 345 18446744073709551615 4194304 5098028 140720311118096 140720311116200 140063216988796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 12 0 0 7196144 7232144 36827136 140720311124346 140720311124550 140720311124550 140720311128043 0
/proc/3079/statm: 2378 345 289 221 0 87 0
[pid=3081] ppid=3079 vsize=13980732 memory=551056 CPUtime=2515.51 cores=1,3,5,7
/proc/3081/stat : 3081 (java) S 3079 3079 7968 0 -1 1077944320 256910 0 0 0 250793 758 0 0 20 0 15 0 35297118 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 140723588710848 139910095576823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
/proc/3081/statm: 3495183 137764 3260 1 0 3483476 0
[pid=3081/tid=3082] ppid=3079 vsize=13980732 memory=551056 CPUtime=2419.9 cores=1,3,5,7
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 7968 0 -1 4202560 72474 0 0 0 241968 22 0 0 20 0 15 0 35297119 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139910099816224 139909721343359 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3083] ppid=3079 vsize=13980732 memory=55 CPUtime=20.2 cores=1,3,5,7
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 7968 0 -1 1077944384 19146 0 0 0 1856 164 0 0 20 0 15 0 35297119 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139910037523472 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3084] ppid=3079 vsize=13980732 memory=544432 CPUtime=20.16 cores=1,3,5,7
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 7968 0 -1 1077944384 18251 0 0 0 1848 168 0 0 20 0 15 0 35297119 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909694758032 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3085] ppid=3079 vsize=13980732 memory=556720 CPUtime=20.17 cores=1,3,5,7
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 7968 0 -1 1077944384 20074 0 0 0 1855 162 0 0 20 0 15 0 35297119 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909693704976 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3086] ppid=3079 vsize=13980732 memory=551056 CPUtime=20.17 cores=1,3,5,7
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 7968 0 -1 1077944384 19140 0 0 0 1854 163 0 0 20 0 15 0 35297119 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909692652432 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3087] ppid=3079 vsize=13980732 memory=1700 CPUtime=1.31 cores=1,3,5,7
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 7968 0 -1 1077944384 47335 0 0 0 107 24 0 0 20 0 15 0 35297121 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909012343024 139910095587970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3088] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909011289248 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3089] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13980732 memory=556720 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13980732 memory=1380 CPUtime=5.4 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 7968 0 -1 1077944384 24096 0 0 0 538 2 0 0 20 0 15 0 35297124 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909008132848 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13980732 memory=544432 CPUtime=5.94 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 7968 0 -1 1077944384 24589 0 0 0 591 3 0 0 20 0 15 0 35297124 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909007080304 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13980732 memory=4124 CPUtime=0.91 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 9430 0 0 0 89 2 0 0 20 0 15 0 35297124 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3095] ppid=3079 vsize=13980732 memory=551056 CPUtime=1.25 cores=1,3,5,7
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 7968 0 -1 1077944384 1031 0 0 0 55 70 0 0 20 0 15 0 35297133 14316269568 137764 18446744073709551615 4194304 4196468 140723588728304 139909003921968 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 2515.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 552436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2446.7 s]
/proc/loadavg: 2.20 1.82 1.67 3/213 3473
/proc/meminfo: memFree=30035848/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 35297106 9740288 345 18446744073709551615 4194304 5098028 140720311118096 140720311116200 140063216988796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 12 0 0 7196144 7232144 36827136 140720311124346 140720311124550 140720311124550 140720311128043 0
/proc/3079/statm: 2378 345 289 221 0 87 0
[pid=3081] ppid=3079 vsize=13980732 memory=550528 CPUtime=2520.02 cores=1,3,5,7
/proc/3081/stat : 3081 (java) S 3079 3079 7968 0 -1 1077944320 256922 0 0 0 251243 759 0 0 20 0 15 0 35297118 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 140723588710848 139910095576823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
/proc/3081/statm: 3495183 137632 3260 1 0 3483476 0
[pid=3081/tid=3082] ppid=3079 vsize=13980732 memory=1380 CPUtime=2424.27 cores=1,3,5,7
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 7968 0 -1 4202560 72477 0 0 0 242405 22 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139910099816656 139909723083794 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3083] ppid=3079 vsize=13980732 memory=550528 CPUtime=20.23 cores=1,3,5,7
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 7968 0 -1 1077944384 19148 0 0 0 1859 164 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139910037523472 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3084] ppid=3079 vsize=13980732 memory=544432 CPUtime=20.19 cores=1,3,5,7
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 7968 0 -1 1077944384 18253 0 0 0 1851 168 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909694758032 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3085] ppid=3079 vsize=13980732 memory=551556 CPUtime=20.2 cores=1,3,5,7
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 7968 0 -1 1077944384 20076 0 0 0 1858 162 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909693704976 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3086] ppid=3079 vsize=13980732 memory=550528 CPUtime=20.2 cores=1,3,5,7
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 7968 0 -1 1077944384 19142 0 0 0 1857 163 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909692652432 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3087] ppid=3079 vsize=13980732 memory=550528 CPUtime=1.32 cores=1,3,5,7
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 7968 0 -1 1077944384 47336 0 0 0 108 24 0 0 20 0 15 0 35297121 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909012343024 139910095587970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3088] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909011289248 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3089] ppid=3079 vsize=13980732 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13980732 memory=1380 CPUtime=5.4 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 7968 0 -1 1077944384 24096 0 0 0 538 2 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909008132848 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13980732 memory=1380 CPUtime=5.94 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 7968 0 -1 1077944384 24589 0 0 0 591 3 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909007080304 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13980732 memory=556720 CPUtime=0.91 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 9430 0 0 0 89 2 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3095] ppid=3079 vsize=13980732 memory=544432 CPUtime=1.25 cores=1,3,5,7
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 7968 0 -1 1077944384 1031 0 0 0 55 70 0 0 20 0 15 0 35297133 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909003921968 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 551908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2446.71 s]
# the end of solver process 3079 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000964 s, system=0.000964 s
[startup+2446.71 s]
# the end of solver process 3081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.44 s, system=7.59461 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2446.7 s]
/proc/loadavg: 2.20 1.82 1.67 3/213 3473
/proc/meminfo: memFree=30035848/32770624 swapFree=67108860/67108860
[pid=3079] ppid=3076 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 35297106 9740288 345 18446744073709551615 4194304 5098028 140720311118096 140720311116200 140063216988796 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 12 0 0 7196144 7232144 36827136 140720311124346 140720311124550 140720311124550 140720311128043 0
/proc/3079/statm: 2378 345 289 221 0 87 0
[pid=3081] ppid=3079 vsize=13980732 memory=550528 CPUtime=2520.02 cores=1,3,5,7
/proc/3081/stat : 3081 (java) S 3079 3079 7968 0 -1 1077944320 256922 0 0 0 251243 759 0 0 20 0 15 0 35297118 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 140723588710848 139910095576823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
/proc/3081/statm: 3495183 137632 3260 1 0 3483476 0
[pid=3081/tid=3082] ppid=3079 vsize=13980732 memory=1380 CPUtime=2424.27 cores=1,3,5,7
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 7968 0 -1 4202560 72477 0 0 0 242405 22 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139910099816656 139909723083794 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3083] ppid=3079 vsize=13980732 memory=550528 CPUtime=20.23 cores=1,3,5,7
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 7968 0 -1 1077944384 19148 0 0 0 1859 164 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139910037523472 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3084] ppid=3079 vsize=13980732 memory=544432 CPUtime=20.19 cores=1,3,5,7
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 7968 0 -1 1077944384 18253 0 0 0 1851 168 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909694758032 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3085] ppid=3079 vsize=13980732 memory=551556 CPUtime=20.2 cores=1,3,5,7
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 7968 0 -1 1077944384 20076 0 0 0 1858 162 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909693704976 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3086] ppid=3079 vsize=13980732 memory=550528 CPUtime=20.2 cores=1,3,5,7
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 7968 0 -1 1077944384 19142 0 0 0 1857 163 0 0 20 0 15 0 35297119 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909692652432 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3087] ppid=3079 vsize=13980732 memory=550528 CPUtime=1.32 cores=1,3,5,7
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 7968 0 -1 1077944384 47336 0 0 0 108 24 0 0 20 0 15 0 35297121 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909012343024 139910095587970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3088] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909011289248 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3089] ppid=3079 vsize=13980732 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 35297121 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909010236144 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3090] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909009184720 139910095595419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3091] ppid=3079 vsize=13980732 memory=1380 CPUtime=5.4 cores=1,3,5,7
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 7968 0 -1 1077944384 24096 0 0 0 538 2 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909008132848 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3092] ppid=3079 vsize=13980732 memory=1380 CPUtime=5.94 cores=1,3,5,7
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 7968 0 -1 1077944384 24589 0 0 0 591 3 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909007080304 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3093] ppid=3079 vsize=13980732 memory=556720 CPUtime=0.91 cores=1,3,5,7
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 7968 0 -1 1077944384 9430 0 0 0 89 2 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909006027248 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3094] ppid=3079 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35297124 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909004974944 139910095587029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
[pid=3081/tid=3095] ppid=3079 vsize=13980732 memory=544432 CPUtime=1.25 cores=1,3,5,7
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 7968 0 -1 1077944384 1031 0 0 0 55 70 0 0 20 0 15 0 35297133 14316269568 137632 18446744073709551615 4194304 4196468 140723588728304 139909003921968 139910095587970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 8048640 140723588735410 140723588735586 140723588735586 140723588739023 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 551908 KiB
Child status: 143
Real time (s): 2446.71
CPU time (s): 2520.04
CPU user time (s): 2512.44
CPU system time (s): 7.59461
CPU usage (%): 102.997
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 875748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.44
system time used= 7.59461
maximum resident set size= 874368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257569
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75380
involuntary context switches= 2893
# summary of solver processes directly reported to runsolver:
# pid: 3079,3081
# total CPU time (s): 2520.04
# total CPU user time (s): 2512.44
# total CPU system time (s): 7.59461
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5217 second user time and 25.2559 second system time
The end