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-4255105-1501619623/watcher-4255105-1501619623 -o /tmp/evaluation-result-4255105-1501619623/solver-4255105-1501619623 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9378 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1830941964 HOME/instance-4255105-1501619623.xml
pid=13754
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.88 1.86 1.82 3/199 13757
/proc/meminfo: memFree=31755760/32770624 swapFree=0/168284
[pid=13757] ppid=13754 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (runsolver) D 13754 13757 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3872928 24240128 106 18446744073709551615 4194304 4338465 140731309005168 140731309002808 139745565131479 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16830464 140731309006942 140731309007431 140731309007431 140731309010890 0
/proc/13757/statm: 5918 106 53 36 0 2156 0
[startup+0.100225 s]
/proc/loadavg: 1.88 1.86 1.82 3/199 13757
/proc/meminfo: memFree=31755760/32770624 swapFree=0/168284
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200289 s]
/proc/loadavg: 1.88 1.86 1.82 3/199 13757
/proc/meminfo: memFree=31755760/32770624 swapFree=0/168284
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300312 s]
/proc/loadavg: 1.88 1.86 1.82 3/199 13757
/proc/meminfo: memFree=31755760/32770624 swapFree=0/168284
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700329 s]
/proc/loadavg: 1.88 1.86 1.82 3/199 13757
/proc/meminfo: memFree=31755760/32770624 swapFree=0/168284
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.88 1.86 1.82 5/215 13773
/proc/meminfo: memFree=31645228/32770624 swapFree=0/168300
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
[pid=13759] ppid=13757 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/13759/stat : 13759 (java) S 13757 13757 3187 0 -1 1077944320 32552 0 0 0 374 8 0 0 20 0 15 0 3872936 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140734557129472 140225860382455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
/proc/13759/statm: 3495183 37729 3173 1 0 3483484 0
[pid=13759/tid=13760] ppid=13757 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/13759/task/13760/stat : 13760 (java) R 13757 13757 3187 0 -1 4202560 9211 0 0 0 132 4 0 0 20 0 15 0 3872937 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225864619320 140225469625094 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13761] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13761/stat : 13761 (java) S 13757 13757 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3872937 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225794816272 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13762] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13762/stat : 13762 (java) S 13757 13757 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3872937 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225793763728 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13763] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13763/stat : 13763 (java) S 13757 13757 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3872937 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225792711184 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13764] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13764/stat : 13764 (java) S 13757 13757 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3872937 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225791658640 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13765] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13765/stat : 13765 (java) S 13757 13757 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225338112496 140225860393602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13766] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13766/stat : 13766 (java) S 13757 13757 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225337058720 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13767] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13767/stat : 13767 (java) S 13757 13757 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225336006128 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13768] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13768/stat : 13768 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225334954704 140225860401051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13769] ppid=13757 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/13759/task/13769/stat : 13769 (java) R 13757 13757 3187 0 -1 4202560 8194 0 0 0 96 0 0 0 20 0 15 0 3872942 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225333882048 140225843599002 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13770] ppid=13757 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/13759/task/13770/stat : 13770 (java) R 13757 13757 3187 0 -1 4202560 9930 0 0 0 95 2 0 0 20 0 15 0 3872942 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225332835296 140225844768724 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13771] ppid=13757 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/13759/task/13771/stat : 13771 (java) S 13757 13757 3187 0 -1 1077944384 3907 0 0 0 49 1 0 0 20 0 15 0 3872942 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225331796208 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13772] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13772/stat : 13772 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225330743904 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13773] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13773/stat : 13773 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872945 14316269568 37729 18446744073709551615 4194304 4196468 140734557146928 140225329691440 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 1.88 1.86 1.82 3/215 13773
/proc/meminfo: memFree=31535920/32770624 swapFree=0/168300
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
[pid=13759] ppid=13757 vsize=13980732 CPUtime=6.88 cores=1,3,5,7
/proc/13759/stat : 13759 (java) S 13757 13757 3187 0 -1 1077944320 36934 0 0 0 674 14 0 0 20 0 15 0 3872936 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140734557129472 140225860382455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
/proc/13759/statm: 3495183 61158 3209 1 0 3483484 0
[pid=13759/tid=13760] ppid=13757 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/13759/task/13760/stat : 13760 (java) R 13757 13757 3187 0 -1 4202560 9845 0 0 0 288 5 0 0 20 0 15 0 3872937 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225864621136 140225470714957 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13761] ppid=13757 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13759/task/13761/stat : 13761 (java) S 13757 13757 3187 0 -1 1077944384 552 0 0 0 1 1 0 0 20 0 15 0 3872937 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225794816272 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13762] ppid=13757 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13759/task/13762/stat : 13762 (java) S 13757 13757 3187 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 3872937 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225793763728 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13763] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13763/stat : 13763 (java) S 13757 13757 3187 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 15 0 3872937 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225792711184 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13764] ppid=13757 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13759/task/13764/stat : 13764 (java) S 13757 13757 3187 0 -1 1077944384 138 0 0 0 1 1 0 0 20 0 15 0 3872937 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225791658640 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13765] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13765/stat : 13765 (java) S 13757 13757 3187 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225338112496 140225860393602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13766] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13766/stat : 13766 (java) S 13757 13757 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225337058720 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13767] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13767/stat : 13767 (java) S 13757 13757 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225336006128 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13768] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13768/stat : 13768 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225334954704 140225860401051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13769] ppid=13757 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/13759/task/13769/stat : 13769 (java) R 13757 13757 3187 0 -1 4202560 9291 0 0 0 161 0 0 0 20 0 15 0 3872942 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225333901296 140225846398189 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13770] ppid=13757 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/13759/task/13770/stat : 13770 (java) R 13757 13757 3187 0 -1 4202560 10378 0 0 0 157 2 0 0 20 0 15 0 3872942 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225332848752 140225841082759 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13771] ppid=13757 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/13759/task/13771/stat : 13771 (java) S 13757 13757 3187 0 -1 1077944384 4865 0 0 0 60 1 0 0 20 0 15 0 3872942 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225331796208 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13772] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13772/stat : 13772 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225330743904 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13773] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13773/stat : 13773 (java) S 13757 13757 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3872945 14316269568 61158 18446744073709551615 4194304 4196468 140734557146928 140225329691440 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.05 1.90 1.83 3/215 13773
/proc/meminfo: memFree=31509696/32770624 swapFree=0/168312
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
[pid=13759] ppid=13757 vsize=13980732 CPUtime=12.62 cores=1,3,5,7
/proc/13759/stat : 13759 (java) S 13757 13757 3187 0 -1 1077944320 38778 0 0 0 1241 21 0 0 20 0 15 0 3872936 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140734557129472 140225860382455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
/proc/13759/statm: 3495183 69612 3223 1 0 3483484 0
[pid=13759/tid=13760] ppid=13757 vsize=13980732 CPUtime=6.08 cores=1,3,5,7
/proc/13759/task/13760/stat : 13760 (java) R 13757 13757 3187 0 -1 4202560 10248 0 0 0 603 5 0 0 20 0 15 0 3872937 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225864621872 140225472886720 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13761] ppid=13757 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13759/task/13761/stat : 13761 (java) S 13757 13757 3187 0 -1 1077944384 598 0 0 0 4 2 0 0 20 0 15 0 3872937 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225794816272 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13762] ppid=13757 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13759/task/13762/stat : 13762 (java) S 13757 13757 3187 0 -1 1077944384 103 0 0 0 4 2 0 0 20 0 15 0 3872937 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225793763728 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13763] ppid=13757 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13759/task/13763/stat : 13763 (java) S 13757 13757 3187 0 -1 1077944384 264 0 0 0 3 2 0 0 20 0 15 0 3872937 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225792711184 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13764] ppid=13757 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13759/task/13764/stat : 13764 (java) S 13757 13757 3187 0 -1 1077944384 206 0 0 0 4 2 0 0 20 0 15 0 3872937 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225791658640 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13765] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13765/stat : 13765 (java) S 13757 13757 3187 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225338112496 140225860393602 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13766] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13766/stat : 13766 (java) S 13757 13757 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225337058784 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13767] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13767/stat : 13767 (java) S 13757 13757 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225336006144 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13768] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13768/stat : 13768 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225334954704 140225860401051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13769] ppid=13757 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/13759/task/13769/stat : 13769 (java) S 13757 13757 3187 0 -1 1077944384 9558 0 0 0 255 1 0 0 20 0 15 0 3872942 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225333901296 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13770] ppid=13757 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/13759/task/13770/stat : 13770 (java) S 13757 13757 3187 0 -1 1077944384 11116 0 0 0 291 2 0 0 20 0 15 0 3872942 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225332848752 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13771] ppid=13757 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/13759/task/13771/stat : 13771 (java) S 13757 13757 3187 0 -1 1077944384 5053 0 0 0 72 1 0 0 20 0 15 0 3872942 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225331796208 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13772] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13772/stat : 13772 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225330743904 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13773] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13773/stat : 13773 (java) S 13757 13757 3187 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 3872945 14316269568 69612 18446744073709551615 4194304 4196468 140734557146928 140225329691440 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.05 1.90 1.83 3/215 13773
/proc/meminfo: memFree=31312400/32770624 swapFree=0/168320
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
[pid=13759] ppid=13757 vsize=13980732 CPUtime=20.63 cores=1,3,5,7
/proc/13759/stat : 13759 (java) S 13757 13757 3187 0 -1 1077944320 49791 0 0 0 2034 29 0 0 20 0 15 0 3872936 14316269568 108927 18446744073709551615 4194304 4196468 140734557146928 140734557129472 140225860382455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
/proc/13759/statm: 3495183 108927 3226 1 0 3483484 0
[pid=13759/tid=13760] ppid=13757 vsize=13980732 CPUtime=12.42 cores=1,3,5,7
/proc/13759/task/13760/stat : 13760 (java) R 13757 13757 3187 0 -1 4202560 11480 0 0 0 1235 7 0 0 20 0 15 0 3872937 14316269568 108927 18446744073709551615 4194304 4196468 140734557146928 140225864621104 140225467539552 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13761] ppid=13757 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/13759/task/13761/stat : 13761 (java) S 13757 13757 3187 0 -1 1077944384 713 0 0 0 8 4 0 0 20 0 15 0 3872937 14316269568 108927 18446744073709551615 4194304 4196468 140734557146928 140225794816272 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13762] ppid=13757 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/13759/task/13762/stat : 13762 (java) S 13757 13757 3187 0 -1 1077944384 400 0 0 0 8 4 0 0 20 0 15 0 3872937 14316269568 108927 18446744073709551615 4194304 4196468 140734557146928 140225793763728 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
################
# More data... #
################
[pid=13759/tid=13766] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13766/stat : 13766 (java) S 13757 13757 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225337058784 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13767] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13767/stat : 13767 (java) S 13757 13757 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225336006144 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13768] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13768/stat : 13768 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225334954704 140225860401051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13769] ppid=13757 vsize=13980732 CPUtime=3.74 cores=1,3,5,7
/proc/13759/task/13769/stat : 13769 (java) S 13757 13757 3187 0 -1 1077944384 18318 0 0 0 372 2 0 0 20 0 15 0 3872942 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225333901296 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13770] ppid=13757 vsize=13980732 CPUtime=3.54 cores=1,3,5,7
/proc/13759/task/13770/stat : 13770 (java) S 13757 13757 3187 0 -1 1077944384 15611 0 0 0 351 3 0 0 20 0 15 0 3872942 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225332848752 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13771] ppid=13757 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/13759/task/13771/stat : 13771 (java) S 13757 13757 3187 0 -1 1077944384 8603 0 0 0 78 2 0 0 20 0 15 0 3872942 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225331796208 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13772] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13772/stat : 13772 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225330743904 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13773] ppid=13757 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13759/task/13773/stat : 13773 (java) S 13757 13757 3187 0 -1 1077944384 193 0 0 0 2 2 0 0 20 0 15 0 3872945 14316269568 274233 18446744073709551615 4194304 4196468 140734557146928 140225329691440 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
Current children cumulated CPU time (s) 111.49
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.83 1.93 1.85 3/216 13862
/proc/meminfo: memFree=30110772/32770624 swapFree=0/168468
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
[pid=13759] ppid=13757 vsize=13980732 CPUtime=172.11 cores=1,3,5,7
/proc/13759/stat : 13759 (java) S 13757 13757 3187 0 -1 1077944320 75132 0 0 0 17142 69 0 0 20 0 15 0 3872936 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140734557129472 140225860382455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
/proc/13759/statm: 3495183 245378 3227 1 0 3483484 0
[pid=13759/tid=13760] ppid=13757 vsize=13980732 CPUtime=161.55 cores=1,3,5,7
/proc/13759/task/13760/stat : 13760 (java) R 13757 13757 3187 0 -1 4202560 22081 0 0 0 16136 19 0 0 20 0 15 0 3872937 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225864621840 140225472325158 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13761] ppid=13757 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/13759/task/13761/stat : 13761 (java) S 13757 13757 3187 0 -1 1077944384 1419 0 0 0 47 10 0 0 20 0 15 0 3872937 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225794816272 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13762] ppid=13757 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/13759/task/13762/stat : 13762 (java) S 13757 13757 3187 0 -1 1077944384 1176 0 0 0 47 9 0 0 20 0 15 0 3872937 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225793763728 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13763] ppid=13757 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/13759/task/13763/stat : 13763 (java) S 13757 13757 3187 0 -1 1077944384 1613 0 0 0 47 9 0 0 20 0 15 0 3872937 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225792711184 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13764] ppid=13757 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/13759/task/13764/stat : 13764 (java) S 13757 13757 3187 0 -1 1077944384 1234 0 0 0 47 9 0 0 20 0 15 0 3872937 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225791658640 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13765] ppid=13757 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13759/task/13765/stat : 13765 (java) S 13757 13757 3187 0 -1 1077944384 1696 0 0 0 2 1 0 0 20 0 15 0 3872939 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225338112496 140225860393602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13766] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13766/stat : 13766 (java) S 13757 13757 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225337058784 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13767] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13767/stat : 13767 (java) S 13757 13757 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225336006144 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13768] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13768/stat : 13768 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225334954704 140225860401051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13769] ppid=13757 vsize=13980732 CPUtime=3.75 cores=1,3,5,7
/proc/13759/task/13769/stat : 13769 (java) S 13757 13757 3187 0 -1 1077944384 18999 0 0 0 373 2 0 0 20 0 15 0 3872942 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225333901296 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13770] ppid=13757 vsize=13980732 CPUtime=3.56 cores=1,3,5,7
/proc/13759/task/13770/stat : 13770 (java) S 13757 13757 3187 0 -1 1077944384 16232 0 0 0 353 3 0 0 20 0 15 0 3872942 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225332848752 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13771] ppid=13757 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/13759/task/13771/stat : 13771 (java) S 13757 13757 3187 0 -1 1077944384 9111 0 0 0 78 2 0 0 20 0 15 0 3872942 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225331796208 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13772] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13772/stat : 13772 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225330743904 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13773] ppid=13757 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13759/task/13773/stat : 13773 (java) S 13757 13757 3187 0 -1 1077944384 216 0 0 0 4 3 0 0 20 0 15 0 3872945 14316269568 245378 18446744073709551615 4194304 4196468 140734557146928 140225329691440 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
Current children cumulated CPU time (s) 172.11
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.76 1.88 1.84 3/215 13864
/proc/meminfo: memFree=30495580/32770624 swapFree=0/168500
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
[pid=13759] ppid=13757 vsize=13980732 CPUtime=232.97 cores=1,3,5,7
/proc/13759/stat : 13759 (java) S 13757 13757 3187 0 -1 1077944320 79784 0 0 0 23214 83 0 0 20 0 15 0 3872936 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140734557129472 140225860382455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
/proc/13759/statm: 3495183 211005 3227 1 0 3483484 0
[pid=13759/tid=13760] ppid=13757 vsize=13980732 CPUtime=221.28 cores=1,3,5,7
/proc/13759/task/13760/stat : 13760 (java) R 13757 13757 3187 0 -1 4202560 23807 0 0 0 22108 20 0 0 20 0 15 0 3872937 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225864621840 140225469806798 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13761] ppid=13757 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/13759/task/13761/stat : 13761 (java) S 13757 13757 3187 0 -1 1077944384 1741 0 0 0 71 12 0 0 20 0 15 0 3872937 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225794816272 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13762] ppid=13757 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/13759/task/13762/stat : 13762 (java) S 13757 13757 3187 0 -1 1077944384 1558 0 0 0 72 12 0 0 20 0 15 0 3872937 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225793763728 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13763] ppid=13757 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/13759/task/13763/stat : 13763 (java) S 13757 13757 3187 0 -1 1077944384 2328 0 0 0 71 12 0 0 20 0 15 0 3872937 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225792711184 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13764] ppid=13757 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/13759/task/13764/stat : 13764 (java) S 13757 13757 3187 0 -1 1077944384 1509 0 0 0 71 12 0 0 20 0 15 0 3872937 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225791658640 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13765] ppid=13757 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13759/task/13765/stat : 13765 (java) S 13757 13757 3187 0 -1 1077944384 1957 0 0 0 3 2 0 0 20 0 15 0 3872939 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225338112496 140225860393602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13766] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13766/stat : 13766 (java) S 13757 13757 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225337058784 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13767] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13767/stat : 13767 (java) S 13757 13757 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225336006144 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13768] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13768/stat : 13768 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225334954704 140225860401051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13769] ppid=13757 vsize=13980732 CPUtime=3.75 cores=1,3,5,7
/proc/13759/task/13769/stat : 13769 (java) S 13757 13757 3187 0 -1 1077944384 19001 0 0 0 373 2 0 0 20 0 15 0 3872942 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225333901296 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13770] ppid=13757 vsize=13980732 CPUtime=3.57 cores=1,3,5,7
/proc/13759/task/13770/stat : 13770 (java) S 13757 13757 3187 0 -1 1077944384 16617 0 0 0 354 3 0 0 20 0 15 0 3872942 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225332848752 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13771] ppid=13757 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/13759/task/13771/stat : 13771 (java) S 13757 13757 3187 0 -1 1077944384 9634 0 0 0 78 2 0 0 20 0 15 0 3872942 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225331796208 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13772] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13772/stat : 13772 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225330743904 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13773] ppid=13757 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13759/task/13773/stat : 13773 (java) S 13757 13757 3187 0 -1 1077944384 277 0 0 0 6 5 0 0 20 0 15 0 3872945 14316269568 211005 18446744073709551615 4194304 4196468 140734557146928 140225329691440 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
Current children cumulated CPU time (s) 232.97
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.60 1.84 1.83 3/215 13865
/proc/meminfo: memFree=30445204/32770624 swapFree=0/168512
[pid=13757] ppid=13754 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13757/stat : 13757 (xcsp3-exec) S 13754 13757 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3872928 9740288 345 18446744073709551615 4194304 5098028 140731385180048 140731385178152 139669088875132 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 31285248 140731385188764 140731385188968 140731385188968 140731385192427 0
/proc/13757/statm: 2378 345 289 221 0 87 0
[pid=13759] ppid=13757 vsize=13980732 CPUtime=251.03 cores=1,3,5,7
/proc/13759/stat : 13759 (java) S 13757 13757 3187 0 -1 1077944320 82511 0 0 0 25016 87 0 0 20 0 15 0 3872936 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140734557129472 140225860382455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
/proc/13759/statm: 3495183 201259 3228 1 0 3483484 0
[pid=13759/tid=13760] ppid=13757 vsize=13980732 CPUtime=238.85 cores=1,3,5,7
/proc/13759/task/13760/stat : 13760 (java) R 13757 13757 3187 0 -1 4202560 24046 0 0 0 23865 20 0 0 20 0 15 0 3872937 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225864621920 140225470183544 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13761] ppid=13757 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/13759/task/13761/stat : 13761 (java) S 13757 13757 3187 0 -1 1077944384 1789 0 0 0 81 13 0 0 20 0 15 0 3872937 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225794816272 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13762] ppid=13757 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/13759/task/13762/stat : 13762 (java) S 13757 13757 3187 0 -1 1077944384 1601 0 0 0 81 13 0 0 20 0 15 0 3872937 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225793763728 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13763] ppid=13757 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/13759/task/13763/stat : 13763 (java) S 13757 13757 3187 0 -1 1077944384 2356 0 0 0 81 13 0 0 20 0 15 0 3872937 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225792711184 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13764] ppid=13757 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/13759/task/13764/stat : 13764 (java) S 13757 13757 3187 0 -1 1077944384 1541 0 0 0 81 13 0 0 20 0 15 0 3872937 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225791658640 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13765] ppid=13757 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13759/task/13765/stat : 13765 (java) S 13757 13757 3187 0 -1 1077944384 1959 0 0 0 4 2 0 0 20 0 15 0 3872939 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225338112496 140225860393602 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13766] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13766/stat : 13766 (java) S 13757 13757 3187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225337058784 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13767] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13767/stat : 13767 (java) S 13757 13757 3187 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 3872939 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225336006144 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13768] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13768/stat : 13768 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225334954704 140225860401051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13769] ppid=13757 vsize=13980732 CPUtime=3.8 cores=1,3,5,7
/proc/13759/task/13769/stat : 13769 (java) S 13757 13757 3187 0 -1 1077944384 21076 0 0 0 378 2 0 0 20 0 15 0 3872942 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225333901296 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13770] ppid=13757 vsize=13980732 CPUtime=3.57 cores=1,3,5,7
/proc/13759/task/13770/stat : 13770 (java) S 13757 13757 3187 0 -1 1077944384 16873 0 0 0 354 3 0 0 20 0 15 0 3872942 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225332848752 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13771] ppid=13757 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/13759/task/13771/stat : 13771 (java) S 13757 13757 3187 0 -1 1077944384 9634 0 0 0 78 2 0 0 20 0 15 0 3872942 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225331796208 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13772] ppid=13757 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13759/task/13772/stat : 13772 (java) S 13757 13757 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3872942 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225330743904 140225860392661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
[pid=13759/tid=13773] ppid=13757 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13759/task/13773/stat : 13773 (java) S 13757 13757 3187 0 -1 1077944384 281 0 0 0 6 5 0 0 20 0 15 0 3872945 14316269568 201259 18446744073709551615 4194304 4196468 140734557146928 140225329691440 140225860393602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9048064 140734557151701 140734557151876 140734557151876 140734557155279 0
Current children cumulated CPU time (s) 251.03
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 13759 sig 9
??? kill 13757 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 13757 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1835
# CPU time returned by wait4() is 0.001835
# while last known CPU time is 251.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 251.03
CPU user time (s): 250.16
CPU system time (s): 0.87
CPU usage (%): 104.591
Max. virtual memory (cumulated for all children) (KiB): 13992064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001835
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.17858 second user time and 1.48243 second system time
The end