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-4255058-1501621644/watcher-4255058-1501621644 -o /tmp/evaluation-result-4255058-1501621644/solver-4255058-1501621644 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10800 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1203312920 HOME/instance-4255058-1501621644.xml
pid=13770
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.72 1.72 1.79 3/196 13773
/proc/meminfo: memFree=31745828/32770624 swapFree=0/191624
[pid=13773] ppid=13770 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (runsolver) D 13770 13773 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10781324 24240128 106 18446744073709551615 4194304 4338465 140734763701856 140734763699496 140416443929303 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 21786624 140734763708508 140734763708998 140734763708998 140734763712458 0
/proc/13773/statm: 5918 106 53 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 1.72 1.72 1.79 3/196 13773
/proc/meminfo: memFree=31745828/32770624 swapFree=0/191624
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200608 s]
/proc/loadavg: 1.72 1.72 1.79 3/196 13773
/proc/meminfo: memFree=31745828/32770624 swapFree=0/191624
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.310453 s]
/proc/loadavg: 1.72 1.72 1.79 3/196 13773
/proc/meminfo: memFree=31745828/32770624 swapFree=0/191624
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700489 s]
/proc/loadavg: 1.72 1.72 1.79 3/196 13773
/proc/meminfo: memFree=31745828/32770624 swapFree=0/191624
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/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: 1.72 1.72 1.79 7/212 13789
/proc/meminfo: memFree=31643864/32770624 swapFree=0/191640
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
[pid=13775] ppid=13773 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/13775/stat : 13775 (java) S 13773 13773 5123 0 -1 1077944320 32471 0 0 0 371 8 0 0 20 0 15 0 10781333 14316269568 37670 18446744073709551615 4194304 4196468 140728838902912 140728838885456 139728444886775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
/proc/13775/statm: 3495183 37670 3184 1 0 3483484 0
[pid=13775/tid=13776] ppid=13773 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/13775/task/13776/stat : 13776 (java) R 13773 13773 5123 0 -1 4202560 9037 0 0 0 130 4 0 0 20 0 15 0 10781334 14316269568 37670 18446744073709551615 4194304 4196468 140728838902912 139728449123368 139728053893760 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13777] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13777/stat : 13777 (java) S 13773 13773 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 37670 18446744073709551615 4194304 4196468 140728838902912 139728379320592 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13778] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13778/stat : 13778 (java) S 13773 13773 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 37670 18446744073709551615 4194304 4196468 140728838902912 139728378268048 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13779] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13779/stat : 13779 (java) S 13773 13773 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139728377215504 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13780] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13780/stat : 13780 (java) S 13773 13773 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139728376162960 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13781] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13781/stat : 13781 (java) S 13773 13773 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727923169776 139728444897922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13782] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13782/stat : 13782 (java) S 13773 13773 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727922116000 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13783] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13783/stat : 13783 (java) S 13773 13773 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727921063408 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13784] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13784/stat : 13784 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727920011984 139728444905371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13785] ppid=13773 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/13775/task/13785/stat : 13785 (java) R 13773 13773 5123 0 -1 4202560 9972 0 0 0 100 1 0 0 20 0 15 0 10781339 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727918944928 139728426430498 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13786] ppid=13773 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/13775/task/13786/stat : 13786 (java) R 13773 13773 5123 0 -1 4202560 9191 0 0 0 99 1 0 0 20 0 15 0 10781339 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727917892576 139728429994442 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13787] ppid=13773 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/13775/task/13787/stat : 13787 (java) S 13773 13773 5123 0 -1 1077944384 3032 0 0 0 40 0 0 0 20 0 15 0 10781339 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727916853488 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13788] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13788/stat : 13788 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727915801184 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13789] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13789/stat : 13789 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781343 14316269568 37699 18446744073709551615 4194304 4196468 140728838902912 139727914748720 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 1.72 1.72 1.79 5/212 13789
/proc/meminfo: memFree=31543816/32770624 swapFree=0/191640
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
[pid=13775] ppid=13773 vsize=13980732 CPUtime=8.45 cores=1,3,5,7
/proc/13775/stat : 13775 (java) S 13773 13773 5123 0 -1 1077944320 61948 0 0 0 831 14 0 0 20 0 15 0 10781333 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 140728838885456 139728444886775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
/proc/13775/statm: 3495183 59342 3211 1 0 3483484 0
[pid=13775/tid=13776] ppid=13773 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/13775/task/13776/stat : 13776 (java) R 13773 13773 5123 0 -1 4202560 9715 0 0 0 287 6 0 0 20 0 15 0 10781334 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139728449123664 139728056668584 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13777] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13777/stat : 13777 (java) S 13773 13773 5123 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139728379320592 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13778] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13778/stat : 13778 (java) S 13773 13773 5123 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139728378268048 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13779] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13779/stat : 13779 (java) S 13773 13773 5123 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139728377215504 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13780] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13780/stat : 13780 (java) S 13773 13773 5123 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139728376162960 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13781] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13781/stat : 13781 (java) S 13773 13773 5123 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727923169776 139728444897922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13782] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13782/stat : 13782 (java) S 13773 13773 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727922116000 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13783] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13783/stat : 13783 (java) S 13773 13773 5123 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727921063408 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13784] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13784/stat : 13784 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727920011984 139728444905371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13785] ppid=13773 vsize=13980732 CPUtime=2.46 cores=1,3,5,7
/proc/13775/task/13785/stat : 13785 (java) S 13773 13773 5123 0 -1 1077944384 12220 0 0 0 244 2 0 0 20 0 15 0 10781339 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727918958576 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13786] ppid=13773 vsize=13980732 CPUtime=2.54 cores=1,3,5,7
/proc/13775/task/13786/stat : 13786 (java) S 13773 13773 5123 0 -1 1077944384 34075 0 0 0 250 4 0 0 20 0 15 0 10781339 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727917906032 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13787] ppid=13773 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/13775/task/13787/stat : 13787 (java) S 13773 13773 5123 0 -1 1077944384 3776 0 0 0 46 0 0 0 20 0 15 0 10781339 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727916853488 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13788] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13788/stat : 13788 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727915801184 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13789] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13789/stat : 13789 (java) S 13773 13773 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10781343 14316269568 59342 18446744073709551615 4194304 4196468 140728838902912 139727914748720 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 1.66 1.71 1.79 5/212 13790
/proc/meminfo: memFree=31527420/32770624 swapFree=0/191652
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
[pid=13775] ppid=13773 vsize=13980732 CPUtime=13.22 cores=1,3,5,7
/proc/13775/stat : 13775 (java) S 13773 13773 5123 0 -1 1077944320 62562 0 0 0 1307 15 0 0 20 0 15 0 10781333 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 140728838885456 139728444886775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
/proc/13775/statm: 3495183 59149 3225 1 0 3483484 0
[pid=13775/tid=13776] ppid=13773 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/13775/task/13776/stat : 13776 (java) R 13773 13773 5123 0 -1 4202560 9737 0 0 0 605 6 0 0 20 0 15 0 10781334 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139728449123464 139728058804713 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13777] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13777/stat : 13777 (java) S 13773 13773 5123 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10781334 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139728379320592 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13778] ppid=13773 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13775/task/13778/stat : 13778 (java) S 13773 13773 5123 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 10781334 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139728378268048 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13779] ppid=13773 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13775/task/13779/stat : 13779 (java) S 13773 13773 5123 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 10781334 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139728377215504 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13780] ppid=13773 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13775/task/13780/stat : 13780 (java) S 13773 13773 5123 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 10781334 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139728376162960 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13781] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13781/stat : 13781 (java) S 13773 13773 5123 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727923169776 139728444897922 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13782] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13782/stat : 13782 (java) S 13773 13773 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727922116000 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13783] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13783/stat : 13783 (java) S 13773 13773 5123 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727921063408 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13784] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13784/stat : 13784 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727920011984 139728444905371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13785] ppid=13773 vsize=13980732 CPUtime=3.06 cores=1,3,5,7
/proc/13775/task/13785/stat : 13785 (java) S 13773 13773 5123 0 -1 1077944384 12530 0 0 0 304 2 0 0 20 0 15 0 10781339 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727918958576 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13786] ppid=13773 vsize=13980732 CPUtime=3.43 cores=1,3,5,7
/proc/13775/task/13786/stat : 13786 (java) S 13773 13773 5123 0 -1 1077944384 34230 0 0 0 339 4 0 0 20 0 15 0 10781339 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727917906032 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13787] ppid=13773 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/13775/task/13787/stat : 13787 (java) S 13773 13773 5123 0 -1 1077944384 3873 0 0 0 52 1 0 0 20 0 15 0 10781339 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727916853488 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13788] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13788/stat : 13788 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727915801184 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13789] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13789/stat : 13789 (java) S 13773 13773 5123 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10781343 14316269568 59149 18446744073709551615 4194304 4196468 140728838902912 139727914748720 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
Current children cumulated CPU time (s) 13.22
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.69 1.72 1.79 3/212 13790
/proc/meminfo: memFree=31530736/32770624 swapFree=0/191652
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
[pid=13775] ppid=13773 vsize=13980732 CPUtime=19.87 cores=1,3,5,7
/proc/13775/stat : 13775 (java) S 13773 13773 5123 0 -1 1077944320 68079 0 0 0 1969 18 0 0 20 0 15 0 10781333 14316269568 59490 18446744073709551615 4194304 4196468 140728838902912 140728838885456 139728444886775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
/proc/13775/statm: 3495183 59490 3225 1 0 3483484 0
[pid=13775/tid=13776] ppid=13773 vsize=13980732 CPUtime=12.47 cores=1,3,5,7
/proc/13775/task/13776/stat : 13776 (java) R 13773 13773 5123 0 -1 4202560 10646 0 0 0 1241 6 0 0 20 0 15 0 10781334 14316269568 59490 18446744073709551615 4194304 4196468 140728838902912 139728449124232 139728057969750 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13777] ppid=13773 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13775/task/13777/stat : 13777 (java) S 13773 13773 5123 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 15 0 10781334 14316269568 59490 18446744073709551615 4194304 4196468 140728838902912 139728379320592 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13778] ppid=13773 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13775/task/13778/stat : 13778 (java) S 13773 13773 5123 0 -1 1077944384 990 0 0 0 3 0 0 0 20 0 15 0 10781334 14316269568 59490 18446744073709551615 4194304 4196468 140728838902912 139728378268048 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
################
# More data... #
################
[pid=13775/tid=13782] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13782/stat : 13782 (java) S 13773 13773 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727922116000 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13783] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13783/stat : 13783 (java) S 13773 13773 5123 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727921063408 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13784] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13784/stat : 13784 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727920011984 139728444905371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13785] ppid=13773 vsize=13980732 CPUtime=3.51 cores=1,3,5,7
/proc/13775/task/13785/stat : 13785 (java) S 13773 13773 5123 0 -1 1077944384 19179 0 0 0 349 2 0 0 20 0 15 0 10781339 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727918958576 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13786] ppid=13773 vsize=13980732 CPUtime=3.84 cores=1,3,5,7
/proc/13775/task/13786/stat : 13786 (java) S 13773 13773 5123 0 -1 1077944384 40558 0 0 0 380 4 0 0 20 0 15 0 10781339 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727917906032 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13787] ppid=13773 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/13775/task/13787/stat : 13787 (java) S 13773 13773 5123 0 -1 1077944384 8430 0 0 0 57 1 0 0 20 0 15 0 10781339 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727916853488 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13788] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13788/stat : 13788 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727915801184 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13789] ppid=13773 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13775/task/13789/stat : 13789 (java) S 13773 13773 5123 0 -1 1077944384 460 0 0 0 2 2 0 0 20 0 15 0 10781343 14316269568 61337 18446744073709551615 4194304 4196468 140728838902912 139727914748720 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
Current children cumulated CPU time (s) 111.58
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.20 1.49 1.69 3/211 13795
/proc/meminfo: memFree=31230884/32770624 swapFree=0/191752
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
[pid=13775] ppid=13773 vsize=13980732 CPUtime=173 cores=1,3,5,7
/proc/13775/stat : 13775 (java) S 13773 13773 5123 0 -1 1077944320 96322 0 0 0 17248 52 0 0 20 0 15 0 10781333 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 140728838885456 139728444886775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
/proc/13775/statm: 3495183 87721 3225 1 0 3483484 0
[pid=13775/tid=13776] ppid=13773 vsize=13980732 CPUtime=160.91 cores=1,3,5,7
/proc/13775/task/13776/stat : 13776 (java) R 13773 13773 5123 0 -1 4202560 16463 0 0 0 16083 8 0 0 20 0 15 0 10781334 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139728449126224 139728054738479 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13777] ppid=13773 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/13775/task/13777/stat : 13777 (java) S 13773 13773 5123 0 -1 1077944384 759 0 0 0 86 7 0 0 20 0 15 0 10781334 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139728379320592 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13778] ppid=13773 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/13775/task/13778/stat : 13778 (java) S 13773 13773 5123 0 -1 1077944384 2911 0 0 0 87 7 0 0 20 0 15 0 10781334 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139728378268048 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13779] ppid=13773 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/13775/task/13779/stat : 13779 (java) S 13773 13773 5123 0 -1 1077944384 1488 0 0 0 85 8 0 0 20 0 15 0 10781334 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139728377215504 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13780] ppid=13773 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/13775/task/13780/stat : 13780 (java) S 13773 13773 5123 0 -1 1077944384 1438 0 0 0 86 8 0 0 20 0 15 0 10781334 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139728376162960 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13781] ppid=13773 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/13775/task/13781/stat : 13781 (java) S 13773 13773 5123 0 -1 1077944384 1672 0 0 0 18 1 0 0 20 0 15 0 10781336 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727923169776 139728444897922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13782] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13782/stat : 13782 (java) S 13773 13773 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727922116000 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13783] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13783/stat : 13783 (java) S 13773 13773 5123 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727921063408 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13784] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13784/stat : 13784 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727920011984 139728444905371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13785] ppid=13773 vsize=13980732 CPUtime=3.51 cores=1,3,5,7
/proc/13775/task/13785/stat : 13785 (java) S 13773 13773 5123 0 -1 1077944384 19780 0 0 0 349 2 0 0 20 0 15 0 10781339 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727918958576 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13786] ppid=13773 vsize=13980732 CPUtime=3.88 cores=1,3,5,7
/proc/13775/task/13786/stat : 13786 (java) S 13773 13773 5123 0 -1 1077944384 41438 0 0 0 384 4 0 0 20 0 15 0 10781339 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727917906032 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13787] ppid=13773 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/13775/task/13787/stat : 13787 (java) S 13773 13773 5123 0 -1 1077944384 8433 0 0 0 57 1 0 0 20 0 15 0 10781339 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727916853488 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13788] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13788/stat : 13788 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727915801184 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13789] ppid=13773 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13775/task/13789/stat : 13789 (java) S 13773 13773 5123 0 -1 1077944384 588 0 0 0 3 4 0 0 20 0 15 0 10781343 14316269568 87721 18446744073709551615 4194304 4196468 140728838902912 139727914748720 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
Current children cumulated CPU time (s) 173
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.26 1.45 1.66 3/211 13875
/proc/meminfo: memFree=31208684/32770624 swapFree=0/191828
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
[pid=13775] ppid=13773 vsize=13980732 CPUtime=234.37 cores=1,3,5,7
/proc/13775/stat : 13775 (java) S 13773 13773 5123 0 -1 1077944320 102723 0 0 0 23371 66 0 0 20 0 15 0 10781333 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 140728838885456 139728444886775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
/proc/13775/statm: 3495183 112145 3225 1 0 3483484 0
[pid=13775/tid=13776] ppid=13773 vsize=13980732 CPUtime=220.33 cores=1,3,5,7
/proc/13775/task/13776/stat : 13776 (java) R 13773 13773 5123 0 -1 4202560 18893 0 0 0 22025 8 0 0 20 0 15 0 10781334 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139728449126544 139728060852743 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13777] ppid=13773 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/13775/task/13777/stat : 13777 (java) S 13773 13773 5123 0 -1 1077944384 1500 0 0 0 128 10 0 0 20 0 15 0 10781334 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139728379320592 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13778] ppid=13773 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/13775/task/13778/stat : 13778 (java) S 13773 13773 5123 0 -1 1077944384 3215 0 0 0 130 10 0 0 20 0 15 0 10781334 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139728378268048 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13779] ppid=13773 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/13775/task/13779/stat : 13779 (java) S 13773 13773 5123 0 -1 1077944384 1868 0 0 0 128 11 0 0 20 0 15 0 10781334 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139728377215504 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13780] ppid=13773 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/13775/task/13780/stat : 13780 (java) S 13773 13773 5123 0 -1 1077944384 1834 0 0 0 128 11 0 0 20 0 15 0 10781334 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139728376162960 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13781] ppid=13773 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/13775/task/13781/stat : 13781 (java) S 13773 13773 5123 0 -1 1077944384 1934 0 0 0 25 2 0 0 20 0 15 0 10781336 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727923169776 139728444897922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13782] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13782/stat : 13782 (java) S 13773 13773 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727922116000 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13783] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13783/stat : 13783 (java) S 13773 13773 5123 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727921063408 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13784] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13784/stat : 13784 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727920011984 139728444905371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13785] ppid=13773 vsize=13980732 CPUtime=3.52 cores=1,3,5,7
/proc/13775/task/13785/stat : 13785 (java) S 13773 13773 5123 0 -1 1077944384 20236 0 0 0 350 2 0 0 20 0 15 0 10781339 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727918958576 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13786] ppid=13773 vsize=13980732 CPUtime=3.9 cores=1,3,5,7
/proc/13775/task/13786/stat : 13786 (java) S 13773 13773 5123 0 -1 1077944384 42099 0 0 0 385 5 0 0 20 0 15 0 10781339 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727917906032 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13787] ppid=13773 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13775/task/13787/stat : 13787 (java) S 13773 13773 5123 0 -1 1077944384 9176 0 0 0 57 2 0 0 20 0 15 0 10781339 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727916853488 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13788] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13788/stat : 13788 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727915801184 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13789] ppid=13773 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13775/task/13789/stat : 13789 (java) S 13773 13773 5123 0 -1 1077944384 616 0 0 0 5 5 0 0 20 0 15 0 10781343 14316269568 112145 18446744073709551615 4194304 4196468 140728838902912 139727914748720 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
Current children cumulated CPU time (s) 234.37
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.46 1.48 1.67 3/211 13875
/proc/meminfo: memFree=31121752/32770624 swapFree=0/191844
[pid=13773] ppid=13770 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13773/stat : 13773 (xcsp3-exec) S 13770 13773 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10781324 9740288 345 18446744073709551615 4194304 5098028 140726925976768 140726925974872 140283919753852 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 20717568 140726925984155 140726925984359 140726925984359 140726925987819 0
/proc/13773/statm: 2378 345 289 221 0 87 0
[pid=13775] ppid=13773 vsize=13980732 CPUtime=252.45 cores=1,3,5,7
/proc/13775/stat : 13775 (java) S 13773 13773 5123 0 -1 1077944320 103093 0 0 0 25176 69 0 0 20 0 15 0 10781333 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 140728838885456 139728444886775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
/proc/13775/statm: 3495183 114346 3225 1 0 3483484 0
[pid=13775/tid=13776] ppid=13773 vsize=13980732 CPUtime=237.88 cores=1,3,5,7
/proc/13775/task/13776/stat : 13776 (java) R 13773 13773 5123 0 -1 4202560 19030 0 0 0 23780 8 0 0 20 0 15 0 10781334 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139728449126448 139728060793087 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13777] ppid=13773 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/13775/task/13777/stat : 13777 (java) S 13773 13773 5123 0 -1 1077944384 1533 0 0 0 140 10 0 0 20 0 15 0 10781334 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139728379320592 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13778] ppid=13773 vsize=13980732 CPUtime=1.52 cores=1,3,5,7
/proc/13775/task/13778/stat : 13778 (java) S 13773 13773 5123 0 -1 1077944384 3263 0 0 0 141 11 0 0 20 0 15 0 10781334 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139728378268048 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13779] ppid=13773 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/13775/task/13779/stat : 13779 (java) S 13773 13773 5123 0 -1 1077944384 1908 0 0 0 140 11 0 0 20 0 15 0 10781334 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139728377215504 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13780] ppid=13773 vsize=13980732 CPUtime=1.52 cores=1,3,5,7
/proc/13775/task/13780/stat : 13780 (java) S 13773 13773 5123 0 -1 1077944384 1945 0 0 0 140 12 0 0 20 0 15 0 10781334 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139728376162960 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13781] ppid=13773 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/13775/task/13781/stat : 13781 (java) S 13773 13773 5123 0 -1 1077944384 1935 0 0 0 26 2 0 0 20 0 15 0 10781336 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727923169776 139728444897922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13782] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13782/stat : 13782 (java) S 13773 13773 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727922116000 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13783] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13783/stat : 13783 (java) S 13773 13773 5123 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10781336 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727921063408 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13784] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13784/stat : 13784 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727920011984 139728444905371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13785] ppid=13773 vsize=13980732 CPUtime=3.52 cores=1,3,5,7
/proc/13775/task/13785/stat : 13785 (java) S 13773 13773 5123 0 -1 1077944384 20236 0 0 0 350 2 0 0 20 0 15 0 10781339 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727918958576 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13786] ppid=13773 vsize=13980732 CPUtime=3.9 cores=1,3,5,7
/proc/13775/task/13786/stat : 13786 (java) S 13773 13773 5123 0 -1 1077944384 42099 0 0 0 385 5 0 0 20 0 15 0 10781339 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727917906032 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13787] ppid=13773 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13775/task/13787/stat : 13787 (java) S 13773 13773 5123 0 -1 1077944384 9176 0 0 0 57 2 0 0 20 0 15 0 10781339 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727916853488 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13788] ppid=13773 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13775/task/13788/stat : 13788 (java) S 13773 13773 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10781339 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727915801184 139728444896981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
[pid=13775/tid=13789] ppid=13773 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13775/task/13789/stat : 13789 (java) S 13773 13773 5123 0 -1 1077944384 616 0 0 0 5 5 0 0 20 0 15 0 10781343 14316269568 114346 18446744073709551615 4194304 4196468 140728838902912 139727914748720 139728444897922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20246528 140728838906324 140728838906499 140728838906499 140728838909903 0
Current children cumulated CPU time (s) 252.45
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13775 sig 9
??? kill 13773 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13773 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=944
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=944
# CPU time returned by wait4() is 0.001888
# while last known CPU time is 252.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 252.45
CPU user time (s): 251.76
CPU system time (s): 0.69
CPU usage (%): 105.183
Max. virtual memory (cumulated for all children) (KiB): 13993528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000944
system time used= 0.000944
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0688 second user time and 1.51427 second system time
The end